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

Information about a message. More...

#include <system.h>

Collaboration diagram for UTAP::message_t:

Public Attributes

int nr = -1
 Placement in input file. More...
 
int location
 
instanceLine_tsrc
 Pointer to source instance line. More...
 
instanceLine_tdst
 Pointer to destination instance line. More...
 
expression_t label
 The label. More...
 
bool isInPrechart
 

Detailed Description

Information about a message.

Messages have a source (src) and a destination (dst) instance lines. The label is stored as an expression.

Definition at line 188 of file system.h.

Member Data Documentation

◆ dst

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

◆ isInPrechart

bool UTAP::message_t::isInPrechart

Definition at line 195 of file system.h.

◆ label

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

◆ location

int UTAP::message_t::location

Definition at line 191 of file system.h.

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

◆ nr

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

◆ src

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


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