libutap
|
Information about a condition. More...
#include <system.h>
Public Member Functions | |
condition_t () | |
Public Attributes | |
int | nr |
Placement in input file. More... | |
int | location |
std::vector< instanceLine_t * > | anchors |
Pointer to anchor instance lines. More... | |
expression_t | label |
The label. More... | |
bool | isInPrechart |
bool | isHot |
Information about a condition.
Conditions have an anchor instance lines. The label is stored as an expression.
|
inline |
std::vector<instanceLine_t*> UTAP::condition_t::anchors |
Pointer to anchor instance lines.
Referenced by UTAP::template_t::getCondition(), UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().
bool UTAP::condition_t::isHot |
bool UTAP::condition_t::isInPrechart |
expression_t UTAP::condition_t::label |
The label.
Referenced by UTAP::SystemBuilder::procCondition(), and UTAP::TypeChecker::visitCondition().
int UTAP::condition_t::location |
Referenced by UTAP::template_t::getCondition(), and UTAP::template_t::getSimregions().
int UTAP::condition_t::nr |
Placement in input file.
Referenced by UTAP::template_t::addCondition(), UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().