|
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().