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