libutap  0.93
Uppaal Timed Automata Parser
UTAP::declarations_t Struct Reference

#include <system.h>

Inheritance diagram for UTAP::declarations_t:
Collaboration diagram for UTAP::declarations_t:

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_tvariables
 Variables. More...
 
std::list< function_tfunctions
 Functions. More...
 
std::list< progress_tprogress
 Progress measures. More...
 
std::list< iodecl_tiodecl
 
std::list< gantt_tganttChart
 

Detailed Description

Definition at line 163 of file system.h.

Member Function Documentation

◆ addFunction()

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

Here is the caller graph for this function:

◆ getConstants()

string declarations_t::getConstants ( ) const

Definition at line 152 of file system.cpp.

References UTAP::Constants::CONSTANT, and variables.

◆ getFunctions()

string declarations_t::getFunctions ( ) const

Definition at line 223 of file system.cpp.

◆ getTypeDefinitions()

string declarations_t::getTypeDefinitions ( ) const

Definition at line 177 of file system.cpp.

References UTAP::Constants::TYPEDEF.

◆ getVariables()

string declarations_t::getVariables ( bool  global) const

Definition at line 197 of file system.cpp.

References UTAP::Constants::CONSTANT, and variables.

◆ toString()

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

Here is the caller graph for this function:

Member Data Documentation

◆ frame

◆ functions

std::list<function_t> UTAP::declarations_t::functions

Functions.

Definition at line 167 of file system.h.

◆ ganttChart

std::list<gantt_t> UTAP::declarations_t::ganttChart

◆ iodecl

std::list<iodecl_t> UTAP::declarations_t::iodecl

◆ progress

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

◆ variables

std::list<variable_t> UTAP::declarations_t::variables

The documentation for this struct was generated from the following files: