Common.cpp

Go to the documentation of this file.

/** @file Common.cpp
* @author Gabor Madl
* @date Created 08/2005
* @brief Common declarations used in DREAM.
*
*
* =================================================================
* DREAM License v2.0
* 
* DREAM - Distributed Real-time Embedded Analysis Method
* http://dre.sourceforge.net.
* Copyright (c) 2005-2007 Gabor Madl, All Rights Reserved.
* 
* This file is part of DREAM.
* 
* DREAM is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 as
* published by the Free Software Foundation. No future versions of
* the GPL license may be automatically applied to DREAM. It is in
* the sole discretion of the copyright holder to determine whether
* DREAM may be released under a different license or terms. There
* are no restrictions on the use of DREAM for any purpose.
* 
* DREAM is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
* 
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
* MA 02110-1301, USA.
* 
* By submitting comments, suggestions, code, code snippets,
* techniques (including that of usage), and algorithms, submitters
* acknowledge that they have the right to do so, that any such
* submissions are given freely and unreservedly, and that they
* waive any claims to copyright or ownership. In addition,
* submitters acknowledge that any such submission might become
* part of the copyright maintained on the overall body of code,
* which comprises DREAM. By making a submission, submitter agrees
* to these terms. Furthermore, submitters acknowledge that the
* incorporation or modification of such submissions is entirely
* at the discretion of the moderators of the DREAM project.
* 
* DREAM links to the Libxml2 third party library. Please see 
* COPYING-libxml for the copyright information of Libxml2.
* =================================================================
*/

#include "Common.h"
#include "Exception.h"

DREAM::uint Option::number_of_repetitions_ = 0;
DREAM::uint Option::optimization_space_ = 0;
DREAM::uint Option::simulation_time_ = 0;
bool Option::branching_ = true;
bool Option::race_condition_ = true;
bool Option::race_condition_combination_ = true;
bool Option::race_condition_zero_ = false;
bool Option::verbose1_ = false;
#ifdef DREAM_VERBOSE2
bool Option::verbose2_ = true;
#endif
bool Option::non_executing_tasks_ = false;

namespace DREAM
{

double random (uint size)
{
        if (size == 0)
                return 0;

        double x = ((double)rand () / ((double) (RAND_MAX)+ (double) (1)));
        return (x * size);
}

std::string& operator<< (std::string& out, const std::string& parameter)
#ifdef DREAM_ENHANCED_EXCEPTION_CHECKING
        throw (std::bad_exception)
#endif
{
        out += parameter;
        return out;
}

#ifdef DREAM_ENHANCED_EXCEPTION_CHECKING
std::string& operator<< (std::string& out, const char* parameter)
        throw (std::bad_exception)
#else
std::string& operator<< (std::string& out, const char* parameter)
#endif
// link issue: inline std::string& operator<< (std::string& out, const char* parameter)
{
        out += parameter;
        return out;
}

std::string& operator<< (std::string& out, uint parameter)
#ifdef DREAM_ENHANCED_EXCEPTION_CHECKING
        throw (std::bad_exception)
#endif
{
        // Review size of char[]
        char number[char_size];
        snprintf (number, char_size, "%d", parameter);
        out += number;
        return out;
}

std::string& operator<< (std::string& out, double parameter)
#ifdef DREAM_ENHANCED_EXCEPTION_CHECKING
        throw (std::bad_exception)
#endif
{
        // Review size of double[]
        char number[double_size];
        snprintf (number, double_size, "%.2f", parameter);
        out += number;
        return out;
}

};

---