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

Public Attributes | |
| int | nr = -1 | 
| 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.
| instanceLine_t* UTAP::update_t::anchor | 
Pointer to anchor instance line.
Definition at line 217 of file system.h.
Referenced by UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getUpdate().
| expression_t UTAP::update_t::label | 
The label.
Definition at line 218 of file system.h.
Referenced by UTAP::SystemBuilder::procLscUpdate(), and UTAP::TypeChecker::visitUpdate().
| int UTAP::update_t::location | 
Definition at line 216 of file system.h.
Referenced by UTAP::template_t::getUpdate().
| int UTAP::update_t::nr = -1 | 
Placement in input file.
Definition at line 215 of file system.h.
Referenced by UTAP::template_t::addUpdate(), UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().