libutap
Public Member Functions | Public Attributes | List of all members
UTAP::edge_t Struct Reference

Information about an edge. More...

#include <system.h>

Public Member Functions

std::string toString () const
 

Public Attributes

int nr
 Placement in input file. More...
 
bool control
 Controllable (true/false) More...
 
std::string actname
 
state_tsrc
 Pointer to source location. More...
 
branchpoint_tsrcb
 Pointer to source branchpoint. More...
 
state_tdst
 Pointer to destination location. More...
 
branchpoint_tdstb
 Pointer to destination branchpoint. More...
 
frame_t select
 Frame for non-deterministic select. More...
 
expression_t guard
 The guard. More...
 
expression_t assign
 The assignment. More...
 
expression_t sync
 The synchronisation. More...
 
std::list< int32_t > selectValues
 The select values, if any. More...
 

Detailed Description

Information about an edge.

Edges have a source (src) and a destination (dst), which may be locations or branchpoints. The unused of these pointers should be set to NULL. The guard, synchronisation and assignment are stored as expressions.

Member Function Documentation

string edge_t::toString ( ) const

Member Data Documentation

std::string UTAP::edge_t::actname
expression_t UTAP::edge_t::assign
bool UTAP::edge_t::control

Controllable (true/false)

Referenced by UTAP::TypeChecker::visitEdge().

state_t* UTAP::edge_t::dst

Pointer to destination location.

Referenced by UTAP::XMLWriter::target(), and UTAP::TypeChecker::visitEdge().

branchpoint_t* UTAP::edge_t::dstb

Pointer to destination branchpoint.

expression_t UTAP::edge_t::guard
int UTAP::edge_t::nr

Placement in input file.

frame_t UTAP::edge_t::select
std::list<int32_t> UTAP::edge_t::selectValues

The select values, if any.

state_t* UTAP::edge_t::src

Pointer to source location.

Referenced by UTAP::XMLWriter::source(), and UTAP::XMLWriter::transition().

branchpoint_t* UTAP::edge_t::srcb

Pointer to source branchpoint.

expression_t UTAP::edge_t::sync

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