libutap
|
Information about an update. More...
#include <system.h>
Public Member Functions | |
update_t () | |
Public Attributes | |
int | nr |
Placement in input file. More... | |
int | location |
instanceLine_t * | anchor |
Pointer to anchor instance line. More... | |
expression_t | label |
The label. More... | |
bool | isInPrechart |
Information about an update.
Update have an anchor instance line. The label is stored as an expression.
|
inline |
instanceLine_t* UTAP::update_t::anchor |
Pointer to anchor instance line.
Referenced by UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getUpdate().
bool UTAP::update_t::isInPrechart |
Referenced by UTAP::simregion_t::isInPrechart().
expression_t UTAP::update_t::label |
The label.
Referenced by UTAP::SystemBuilder::procLscUpdate(), UTAP::simregion_t::toString(), and UTAP::TypeChecker::visitUpdate().
int UTAP::update_t::location |
Referenced by UTAP::simregion_t::getLoc(), and UTAP::template_t::getUpdate().
int UTAP::update_t::nr |
Placement in input file.
Referenced by UTAP::template_t::addUpdate(), UTAP::simregion_t::getLoc(), UTAP::instanceLine_t::getSimregions(), UTAP::template_t::getSimregions(), UTAP::simregion_t::isInPrechart(), and UTAP::simregion_t::toString().