Information about an edge. More...

#include <system.h>

Collaboration diagram for UTAP::edge_t:

[legend]

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_t *	src
	Pointer to source location. More...

branchpoint_t *	srcb
	Pointer to source branchpoint. More...

state_t *	dst
	Pointer to destination location. More...

branchpoint_t *	dstb
	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.

Definition at line 85 of file system.h.

Member Function Documentation

◆ toString()

string edge_t::toString ( ) const

Definition at line 62 of file system.cpp.

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

Here is the caller graph for this function:

Member Data Documentation

◆ actname

std::string UTAP::edge_t::actname

Definition at line 89 of file system.h.

◆ assign

expression_t UTAP::edge_t::assign

The assignment.

Definition at line 96 of file system.h.

Referenced by UTAP::XMLWriter::labels(), UTAP::SystemBuilder::procEdgeBegin(), UTAP::SystemBuilder::procUpdate(), and UTAP::TypeChecker::visitEdge().

◆ control

bool UTAP::edge_t::control

Controllable (true/false)

Definition at line 88 of file system.h.

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

◆ dst

state_t* UTAP::edge_t::dst

Pointer to destination location.

Definition at line 92 of file system.h.

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

◆ dstb

branchpoint_t* UTAP::edge_t::dstb

Pointer to destination branchpoint.

Definition at line 93 of file system.h.

◆ guard

expression_t UTAP::edge_t::guard

The guard.

Definition at line 95 of file system.h.

Referenced by UTAP::XMLWriter::labels(), UTAP::SystemBuilder::procEdgeBegin(), UTAP::SystemBuilder::procGuard(), and UTAP::TypeChecker::visitEdge().

◆ nr

int UTAP::edge_t::nr

Placement in input file.

Definition at line 87 of file system.h.

◆ select

frame_t UTAP::edge_t::select

Frame for non-deterministic select.

Definition at line 94 of file system.h.

Referenced by UTAP::XMLWriter::labels(), UTAP::SystemBuilder::procEdgeBegin(), UTAP::SystemBuilder::procSelect(), and UTAP::TypeChecker::visitEdge().

◆ selectValues

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

The select values, if any.

Definition at line 102 of file system.h.

◆ src

state_t* UTAP::edge_t::src

Pointer to source location.

Definition at line 90 of file system.h.

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

◆ srcb

branchpoint_t* UTAP::edge_t::srcb

Pointer to source branchpoint.

Definition at line 91 of file system.h.

◆ sync

expression_t UTAP::edge_t::sync

The synchronisation.

Definition at line 97 of file system.h.

Referenced by UTAP::XMLWriter::labels(), UTAP::SystemBuilder::procSync(), and UTAP::TypeChecker::visitEdge().

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

Public Member Functions

Public Attributes