Information about a location. More...
#include <system.h>
Public Member Functions | |
| std::string | toString () const |
Public Attributes | |
| symbol_t | uid |
| The symbol of the location. More... | |
| expression_t | invariant |
| The invariant. More... | |
| expression_t | exponentialRate |
| expression_t | costRate |
| Rate expression. More... | |
| int32_t | locNr |
| Location number in template. More... | |
Detailed Description
Information about a location.
The symbol's user data points to this structure, i.e. s.uid.getData() is a pointer to s. Notice that the rate list is generated by the type checker; until then the rate expressions are part of the invariant.
Member Function Documentation
◆ toString()
| string state_t::toString | ( | ) | const |
Definition at line 55 of file system.cpp.
Member Data Documentation
◆ costRate
| expression_t UTAP::state_t::costRate |
Rate expression.
Definition at line 61 of file system.h.
Referenced by UTAP::TypeChecker::visitState().
◆ exponentialRate
| expression_t UTAP::state_t::exponentialRate |
Definition at line 60 of file system.h.
Referenced by UTAP::template_t::addLocation(), and UTAP::TypeChecker::visitState().
◆ invariant
| expression_t UTAP::state_t::invariant |
The invariant.
Definition at line 59 of file system.h.
Referenced by UTAP::template_t::addLocation(), UTAP::XMLWriter::location(), UTAP::TypeChecker::visitEdge(), and UTAP::TypeChecker::visitState().
◆ locNr
| int32_t UTAP::state_t::locNr |
Location number in template.
Definition at line 62 of file system.h.
Referenced by UTAP::template_t::addLocation(), UTAP::XMLWriter::location(), UTAP::XMLWriter::source(), UTAP::XMLWriter::target(), and UTAP::XMLWriter::writeStateAttributes().
◆ uid
| symbol_t UTAP::state_t::uid |
The symbol of the location.
Definition at line 58 of file system.h.
Referenced by UTAP::template_t::addLocation(), UTAP::XMLWriter::location(), UTAP::XMLWriter::name(), and UTAP::XMLWriter::transition().
The documentation for this struct was generated from the following files:
