| libutap
    0.93
    Uppaal Timed Automata Parser | 
Information about a message. More...
#include <system.h>

| Public Attributes | |
| int | nr = -1 | 
| 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.
| instanceLine_t* UTAP::message_t::dst | 
Pointer to destination instance line.
Definition at line 193 of file system.h.
Referenced by UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().
| expression_t UTAP::message_t::label | 
The label.
Definition at line 194 of file system.h.
Referenced by UTAP::SystemBuilder::procMessage(), and UTAP::TypeChecker::visitMessage().
| int UTAP::message_t::location | 
Definition at line 191 of file system.h.
Referenced by UTAP::template_t::getSimregions().
| int UTAP::message_t::nr = -1 | 
Placement in input file.
Definition at line 190 of file system.h.
Referenced by UTAP::template_t::addMessage(), and UTAP::instanceLine_t::getSimregions().
| instanceLine_t* UTAP::message_t::src | 
Pointer to source instance line.
Definition at line 192 of file system.h.
Referenced by UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().