libutap
|
Information about a message. More...
#include <system.h>
Public Member Functions | |
message_t () | |
Public Attributes | |
int | nr |
Placement in input file. More... | |
int | location |
instanceLine_t * | src |
Pointer to source instance line. More... | |
instanceLine_t * | dst |
Pointer to destination instance line. More... | |
expression_t | label |
The label. More... | |
bool | isInPrechart |
Information about a message.
Messages have a source (src) and a destination (dst) instance lines. The label is stored as an expression.
|
inline |
instanceLine_t* UTAP::message_t::dst |
Pointer to destination instance line.
Referenced by UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().
bool UTAP::message_t::isInPrechart |
expression_t UTAP::message_t::label |
The label.
Referenced by UTAP::SystemBuilder::procMessage(), and UTAP::TypeChecker::visitMessage().
int UTAP::message_t::location |
Referenced by UTAP::template_t::getSimregions().
int UTAP::message_t::nr |
Placement in input file.
Referenced by UTAP::template_t::addMessage(), and UTAP::instanceLine_t::getSimregions().
instanceLine_t* UTAP::message_t::src |
Pointer to source instance line.
Referenced by UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().