libutap  0.93
Uppaal Timed Automata Parser
UTAP::update_t Struct Reference

Information about an update. More...

#include <system.h>

Collaboration diagram for UTAP::update_t:

Public Attributes

int nr = -1
 Placement in input file. More...
 
int location
 
instanceLine_tanchor
 Pointer to anchor instance line. More...
 
expression_t label
 The label. More...
 
bool isInPrechart
 

Detailed Description

Information about an update.

Update have an anchor instance line. The label is stored as an expression.

Definition at line 213 of file system.h.

Member Data Documentation

◆ anchor

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().

◆ isInPrechart

bool UTAP::update_t::isInPrechart

Definition at line 219 of file system.h.

◆ label

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().

◆ location

int UTAP::update_t::location

Definition at line 216 of file system.h.

Referenced by UTAP::template_t::getUpdate().

◆ nr

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().


The documentation for this struct was generated from the following file: