libutap
0.93
Uppaal Timed Automata Parser
|
#include <system.h>
Public Member Functions | |
bool | addFunction (type_t type, const std::string &, function_t *&) |
Add function declaration. More... | |
std::string | toString (bool global=false) const |
The following methods are used to write the declarations in an XML file. More... | |
std::string | getConstants () const |
std::string | getTypeDefinitions () const |
std::string | getVariables (bool global) const |
std::string | getFunctions () const |
Public Attributes | |
frame_t | frame |
std::list< variable_t > | variables |
Variables. More... | |
std::list< function_t > | functions |
Functions. More... | |
std::list< progress_t > | progress |
Progress measures. More... | |
std::list< iodecl_t > | iodecl |
std::list< gantt_t > | ganttChart |
bool declarations_t::addFunction | ( | type_t | type, |
const std::string & | , | ||
function_t *& | |||
) |
Add function declaration.
Definition at line 130 of file system.cpp.
References UTAP::function_t::uid.
Referenced by UTAP::SystemBuilder::addFunction().
string declarations_t::getConstants | ( | ) | const |
Definition at line 152 of file system.cpp.
References UTAP::Constants::CONSTANT, and variables.
string declarations_t::getFunctions | ( | ) | const |
Definition at line 223 of file system.cpp.
string declarations_t::getTypeDefinitions | ( | ) | const |
Definition at line 177 of file system.cpp.
References UTAP::Constants::TYPEDEF.
string declarations_t::getVariables | ( | bool | global | ) | const |
Definition at line 197 of file system.cpp.
References UTAP::Constants::CONSTANT, and variables.
string declarations_t::toString | ( | bool | global = false | ) | const |
The following methods are used to write the declarations in an XML file.
Definition at line 139 of file system.cpp.
Referenced by UTAP::XMLWriter::declaration(), and UTAP::XMLWriter::taTempl().
frame_t UTAP::declarations_t::frame |
Definition at line 165 of file system.h.
Referenced by UTAP::TimedAutomataSystem::accept(), UTAP::TimedAutomataSystem::addDynamicTemplate(), UTAP::TimedAutomataSystem::addInstance(), UTAP::TimedAutomataSystem::addLscInstance(), UTAP::TimedAutomataSystem::addProcess(), UTAP::TimedAutomataSystem::addTemplate(), UTAP::SignalFlow::checkParams(), UTAP::TimedAutomataSystem::copyVariablesFromTo(), UTAP::ExpressionBuilder::exprCallEnd(), UTAP::ExpressionBuilder::ExpressionBuilder(), UTAP::TimedAutomataSystem::getQueries(), UTAP::SystemBuilder::instanceName(), UTAP::SystemBuilder::procBegin(), UTAP::ExpressionBuilder::pushDynamicFrameOf(), UTAP::TimedAutomataSystem::removeProcess(), and UTAP::TimedAutomataSystem::TimedAutomataSystem().
std::list<function_t> UTAP::declarations_t::functions |
std::list<gantt_t> UTAP::declarations_t::ganttChart |
Definition at line 170 of file system.h.
Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TimedAutomataSystem::addGantt().
std::list<iodecl_t> UTAP::declarations_t::iodecl |
Definition at line 169 of file system.h.
Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TimedAutomataSystem::addIODecl().
std::list<progress_t> UTAP::declarations_t::progress |
Progress measures.
Definition at line 168 of file system.h.
Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TimedAutomataSystem::addProgressMeasure().
std::list<variable_t> UTAP::declarations_t::variables |
Variables.
Definition at line 166 of file system.h.
Referenced by UTAP::TimedAutomataSystem::copyVariablesFromTo(), and UTAP::TimedAutomataSystem::getQueries().