UTAP::SystemBuilder Class Reference

This class constructs a TimedAutomataSystem. More...

#include <systembuilder.h>

Inheritance diagram for UTAP::SystemBuilder:

List of all members.

Public Member Functions
	SystemBuilder (TimedAutomataSystem *)
virtual void	declProgress (bool)
	Guard progress measure declaration.
virtual void	procBegin (const char *name)
virtual void	procEnd ()
virtual void	procState (const char *name, bool hasInvariant)
	Add a state to the current template.
virtual void	procStateCommit (const char *name)
virtual void	procStateUrgent (const char *name)
virtual void	procStateInit (const char *name)
virtual void	procEdgeBegin (const char *from, const char *to, const bool control)
virtual void	procEdgeEnd (const char *from, const char *to)
virtual void	procSelect (const char *id)
virtual void	procGuard ()
virtual void	procSync (Constants::synchronisation_t type)
virtual void	procUpdate ()
virtual void	instantiationBegin (const char *, size_t, const char *)
virtual void	instantiationEnd (const char *, size_t, const char *, size_t)
virtual void	process (const char *)
virtual void	done ()
virtual void	beforeUpdate ()
virtual void	afterUpdate ()
virtual void	incProcPriority ()
virtual void	incChanPriority ()
virtual void	chanPriority ()
virtual void	procPriority (const char *)
virtual void	defaultChanPriority ()
Protected Member Functions
declarations_t *	getCurrentDeclarationBlock ()
virtual variable_t *	addVariable (type_t type, const char *name, expression_t init)
virtual bool	addFunction (type_t type, const char *name)
Protected Attributes
int32_t	currentChanPriority
	The current channel priority level.
int32_t	currentProcPriority
	The current process priority level.
edge_t *	currentEdge
	The edge under construction.

---

Detailed Description

This class constructs a TimedAutomataSystem.

It avoids as much type checking as possible - type checking should be done with the TypeChecker class. However some checks are more convenient to do in SystemBuilder:

• states are not both committed and urgent
• the source and target of an edge is a state
• the dot operator is applied to a process or a structure (StatementBuilder)
• functions are not recursive (StatementBuilder)
• only declared functions are called (ExpressionBuilder)
• functions are called with the correct number of arguments (StatementBuilder)
• the initial state of a template is actually declared as a state
• templates in instantiations have been declared
• identifiers are not declared twice in the same scope (StatementBuilder)
• type names do exist and are declared as types (StatementBuilder)
• processes in the system line have been declared

Left hand side expressions are assigned the correct type by SystemBuilder; if not it would be difficult to represent dot-expressions.

SystemBuilder does not

• check the correctness of variable initialisers, nor does it complete variable initialisers
• type check expressions
• check if arguments to functions or templates match the formal parameters
• check if something is a proper left hand side value
• check if things are assignment compatible
• check conflicting use of synchronisations and guards on edge
• handle properties

Use TypeChecker for these things.

---

Constructor & Destructor Documentation

SystemBuilder::SystemBuilder

(

TimedAutomataSystem *

)

---

Member Function Documentation

bool SystemBuilder::addFunction	(	type_t	type,
		const char *	name
	)			[protected, virtual]

Implements UTAP::StatementBuilder.

variable_t * SystemBuilder::addVariable	(	type_t	type,
		const char *	name,
		expression_t	init
	)			[protected, virtual]

Implements UTAP::StatementBuilder.

void SystemBuilder::afterUpdate

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::beforeUpdate

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::chanPriority

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::declProgress

(

bool

)

[virtual]

Guard progress measure declaration.

Requires two expressions if hasGuard is true, otherwise one.

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::defaultChanPriority

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::done

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

declarations_t * SystemBuilder::getCurrentDeclarationBlock

(

)

[protected]

void SystemBuilder::incChanPriority

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::incProcPriority

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::instantiationBegin	(	const char *	,
		size_t	,
		const char *
	)			[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::instantiationEnd	(	const char *	,
		size_t	,
		const char *	,
		size_t
	)			[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procBegin

(

const char *

name

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procEdgeBegin	(	const char *	from,
		const char *	to,
		const bool	control
	)			[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procEdgeEnd	(	const char *	from,
		const char *	to
	)			[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procEnd

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::process

(

const char *

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procGuard

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procPriority

(

const char *

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procSelect

(

const char *

id

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procState	(	const char *	name,
		bool	hasInvariant
	)			[virtual]

Add a state to the current template.

An invariant expression is expected on and popped from the expression stack if hasInvariant is true.

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procStateCommit

(

const char *

name

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procStateInit

(

const char *

name

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procStateUrgent

(

const char *

name

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

virtual void UTAP::SystemBuilder::procSync

(

Constants::synchronisation_t

type

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procUpdate

(

)

[virtual]

Reimplemented from UTAP::AbstractBuilder.

---

Member Data Documentation

int32_t UTAP::SystemBuilder::currentChanPriority [protected]

The current channel priority level.

edge_t* UTAP::SystemBuilder::currentEdge [protected]

The edge under construction.

int32_t UTAP::SystemBuilder::currentProcPriority [protected]

The current process priority level.

---

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

• systembuilder.h
• systembuilder.cpp

---