Common.h File Reference

Author:
Gabor Madl Common declarations used in DREAM.
More...

#include "../datastructures/AVLTree.h"
#include "../datastructures/AVLTree.cpp"
#include "../datastructures/LinkedList.h"
#include "../datastructures/LinkedList.cpp"
#include <iostream>
#include <iomanip>
#include <string>
#include <vector>
#include <map>
#include <time.h>

Go to the source code of this file.

Namespaces

namespace  DREAM

Classes

struct  DREAM::clear_vector
 struct to be used in std::for_each to clear elements from vectors. More...
struct  DREAM::delete_item
 struct to be used in std::for_each to delete elements from vectors. More...
struct  DREAM::delete_object
 struct to be used in std::for_each to delete elements from vectors. More...
struct  DREAM::consume_pair
 struct to be used in std::for_each to call consume () on std::pair->second. More...
struct  DREAM::delete_pair
 struct to be used in std::for_each to delete std::pairs. More...
struct  DREAM::reset_pair
 struct to be used in std::for_each to call reset () on std::pair->second. More...
struct  DREAM::stop_pair
 struct to be used in std::for_each to call stop () on std::pair->second. More...
struct  DREAM::transition_pair
 struct to be used in std::for_each to call take_transitions () on std::pair->second. More...
struct  Option
 Global options. More...

Defines

#define DREAM_VERBOSE
 Specifies verbose output.
#define DREAM_BRANCHING
 Enables the dynamic checking of events.
#define DREAM_RACE_CONDITION
 Enables the checking of race conditions (except between zero-time events).
#define DREAM_RACE_CONDITION_COMBINATION
 Enables the checking of race conditions combinations.
#define char_size   32
#define double_size   128
#define maxuint   4294967295

Typedefs

typedef unsigned int DREAM::uint
 Unsigned int type definition.
typedef unsigned char DREAM::uchar
typedef enum DREAM::context_enum DREAM::Context
 Enum type definition for best case, worst case, or a random value.
typedef std::map< std::string,
DREAM::Node * > 
DREAM::NODE_MAP
 NODE_MAP type definition.
typedef std::pair< std::string,
DREAM::Node * > 
DREAM::NODE_PAIR
 NODE_PAIR type definition.
typedef std::map< std::string,
DREAM::Task * > 
DREAM::TASK_MAP
 TASK_MAP type definition.
typedef std::pair< std::string,
DREAM::Task * > 
DREAM::TASK_PAIR
 TASK_PAIR type definition.
typedef std::map< uint, DREAM::Task * > DREAM::TASK_UINT_MAP
 TASK_UINT_MAP type definition.
typedef std::pair< uint, DREAM::Task * > DREAM::TASK_UINT_PAIR
 TASK_UINT_PAIR type definition.
typedef std::map< uint, DREAM::Thread * > DREAM::THREAD_MAP
 THREAD_MAP type definition.
typedef std::pair< uint, DREAM::Thread * > DREAM::THREAD_PAIR
 THREAD_PAIR type definition.
typedef std::map< std::string,
DREAM::Thread * > 
DREAM::THREAD_STR_MAP
 THREAD_STR_MAP type definition.
typedef std::pair< std::string,
DREAM::Thread * > 
DREAM::THREAD_STR_PAIR
 THREAD_STR_PAIR type definition.
typedef std::map< std::string,
DREAM::Scheduler * > 
DREAM::SCHEDULER_MAP
 SCHEDULER_MAP type definition.
typedef std::pair< std::string,
DREAM::Scheduler * > 
DREAM::SCHEDULER_PAIR
 SCHEDULER_PAIR type definition.
typedef DREAM::AVLTree< double,
DREAM::QoSLevel * > 
DREAM::QOS_AVLTREE
 QOS_AVLTREE type definition.
typedef DREAM::AVLTree< std::string,
DREAM::Node * > 
DREAM::NODE_AVLTREE
 NODE_AVLTREE type definition.
typedef DREAM::AVLTree< std::string,
DREAM::Task * > 
DREAM::TASK_AVLTREE
 TASK_AVLTREE type definition.
typedef DREAM::LinkedList<
DREAM::TASK_AVLTREE * > 
DREAM::TASK_AVLTREE_LIST
 TASK_AVLTREE_LIST type definition.
typedef DREAM::LinkedList<
std::string > 
DREAM::TASK_ID_LIST
 TASK_ID_LIST type definition.

Enumerations

enum  DREAM::context_enum {
  DREAM::bestcase, DREAM::worstcase, DREAM::randomcase, DREAM::branchingpoint,
  DREAM::repeat
}
 Enum type definition for best case, worst case, or a random value. More...

Functions

double DREAM::random (uint size)
 Randomize function with a value between 0 and the parameter size.
std::string & DREAM::operator<< (std::string &out, const std::string &parameter)
 Operator overloading for appending std::string to std:string.
std::string & DREAM::operator<< (std::string &out, const char *)
 Operator overloading for appending std::string to std:string.
std::string & DREAM::operator<< (std::string &out, uint parameter)
 Operator overloading for appending uint to std:string.
std::string & DREAM::operator<< (std::string &out, double parameter)
 Operator overloading for appending double to std:string.


Detailed Description

Author:
Gabor Madl Common declarations used in DREAM.

Date:
Created 08/2005
================================================================= 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. =================================================================

Definition in file Common.h.


Define Documentation

#define char_size   32

Definition at line 119 of file Common.h.

Referenced by DREAM::chartouint(), and DREAM::operator<<().

#define double_size   128

Definition at line 120 of file Common.h.

Referenced by DREAM::operator<<(), and DREAM::Solution::visitor().

#define DREAM_BRANCHING

Enables the dynamic checking of events.

If disabled, the model checking method is faster but inaccurate. The example/test/model_check_branching1 example tests this functionality.

Definition at line 71 of file Common.h.

#define DREAM_RACE_CONDITION

Enables the checking of race conditions (except between zero-time events).

If disabled, the model checking method is faster but inaccurate. The example/test/model_check_branching2 example tests this functionality and the DREAM_BRANCHING functionality as well.

Definition at line 76 of file Common.h.

#define DREAM_RACE_CONDITION_COMBINATION

Enables the checking of race conditions combinations.

If disabled, the model checking method is faster but inaccurate. The example/test/model_check_branching3 example tests this functionality, the DREAM_BRANCHING and DREAM_RACE_CONDITION functionalities.

Definition at line 81 of file Common.h.

#define DREAM_VERBOSE

Specifies verbose output.

Definition at line 63 of file Common.h.

#define maxuint   4294967295

Definition at line 121 of file Common.h.

Referenced by DREAM::Timer::priority(), and DREAM::FixedPriorityScheduler::schedule().


Generated on Fri Jul 27 18:30:03 2007 for DREAM by  doxygen 1.5.1