UTAP::TimedAutomataSystem Class Reference

#include <system.h>

List of all members.

Public Member Functions
	TimedAutomataSystem ()
virtual	~TimedAutomataSystem ()
declarations_t &	getGlobals ()
	Returns the global declarations of the system.
std::list< template_t > &	getTemplates ()
	Returns the templates of the system.
std::list< instance_t > &	getProcesses ()
	Returns the processes of the system.
void	addPosition (uint32_t position, uint32_t offset, uint32_t line, std::string path)
const Positions::line_t &	findPosition (uint32_t position) const
variable_t *	addVariableToFunction (function_t *, frame_t, type_t, std::string, expression_t initital)
variable_t *	addVariable (declarations_t *, type_t type, std::string, expression_t initial)
void	addProgressMeasure (declarations_t *, expression_t guard, expression_t measure)
template_t &	addTemplate (std::string, frame_t params)
instance_t &	addInstance (std::string name, instance_t &instance, frame_t params, const std::vector< expression_t > &arguments)
void	addProcess (instance_t &instance)
void	accept (SystemVisitor &)
void	setBeforeUpdate (expression_t)
expression_t	getBeforeUpdate ()
void	setAfterUpdate (expression_t)
expression_t	getAfterUpdate ()
void	setChanPriority (expression_t chan, int priority)
const std::list< chan_priority_t > &	getChanPriorities () const
std::list< chan_priority_t > &	getMutableChanPriorities ()
void	setDefaultChanPriority (int priority)
int	getTauPriority () const
void	setProcPriority (const char *name, int priority)
	Sets process priority for process name.
int	getProcPriority (const char *name) const
	Returns process priority for process name.
bool	hasPriorityDeclaration () const
	Returns true if system has some priority declaration.
void	addError (position_t, std::string)
void	addWarning (position_t, std::string)
bool	hasErrors () const
bool	hasWarnings () const
const std::vector< error_t > &	getErrors () const
const std::vector< error_t > &	getWarnings () const
void	clearErrors ()
void	clearWarnings ()
Protected Member Functions
variable_t *	addVariable (std::list< variable_t > &variables, frame_t frame, type_t type, std::string)
Protected Attributes
bool	hasPriorities
int	defaultChanPriority
std::list< chan_priority_t >	chanPriorities
std::map< std::string, int >	procPriority
std::list< template_t >	templates
std::list< instance_t >	instances
std::list< instance_t >	processes
declarations_t	global
expression_t	beforeUpdate
expression_t	afterUpdate

---

Constructor & Destructor Documentation

TimedAutomataSystem::TimedAutomataSystem

(

)

TimedAutomataSystem::~TimedAutomataSystem

(

)

[virtual]

---

Member Function Documentation

void TimedAutomataSystem::accept

(

SystemVisitor &

)

void TimedAutomataSystem::addError	(	position_t	,
		std::string
	)

instance_t& UTAP::TimedAutomataSystem::addInstance	(	std::string	name,
		instance_t &	instance,
		frame_t	params,
		const std::vector< expression_t > &	arguments
	)

void TimedAutomataSystem::addPosition	(	uint32_t	position,
		uint32_t	offset,
		uint32_t	line,
		std::string	path
	)

void TimedAutomataSystem::addProcess

(

instance_t &

instance

)

void TimedAutomataSystem::addProgressMeasure	(	declarations_t *	,
		expression_t	guard,
		expression_t	measure
	)

template_t& UTAP::TimedAutomataSystem::addTemplate	(	std::string	,
		frame_t	params
	)

variable_t* UTAP::TimedAutomataSystem::addVariable	(	std::list< variable_t > &	variables,
		frame_t	frame,
		type_t	type,
		std::string
	)			[protected]

variable_t* UTAP::TimedAutomataSystem::addVariable	(	declarations_t *	,
		type_t	type,
		std::string	,
		expression_t	initial
	)

variable_t* UTAP::TimedAutomataSystem::addVariableToFunction	(	function_t *	,
		frame_t	,
		type_t	,
		std::string	,
		expression_t	initital
	)

void TimedAutomataSystem::addWarning	(	position_t	,
		std::string
	)

void TimedAutomataSystem::clearErrors

(

)

void TimedAutomataSystem::clearWarnings

(

)

const Positions::line_t & TimedAutomataSystem::findPosition

(

uint32_t

position

)

const

expression_t TimedAutomataSystem::getAfterUpdate

(

)

expression_t TimedAutomataSystem::getBeforeUpdate

(

)

const std::list< chan_priority_t > & TimedAutomataSystem::getChanPriorities

(

)

const

const vector< UTAP::error_t > & TimedAutomataSystem::getErrors

(

)

const

declarations_t & TimedAutomataSystem::getGlobals

(

)

Returns the global declarations of the system.

std::list< chan_priority_t > & TimedAutomataSystem::getMutableChanPriorities

(

)

list< instance_t > & TimedAutomataSystem::getProcesses

(

)

Returns the processes of the system.

int TimedAutomataSystem::getProcPriority

(

const char *

name

)

const

Returns process priority for process name.

int TimedAutomataSystem::getTauPriority

(

)

const

list< template_t > & TimedAutomataSystem::getTemplates

(

)

Returns the templates of the system.

const vector< UTAP::error_t > & TimedAutomataSystem::getWarnings

(

)

const

bool TimedAutomataSystem::hasErrors

(

)

const

bool TimedAutomataSystem::hasPriorityDeclaration

(

)

const

Returns true if system has some priority declaration.

bool TimedAutomataSystem::hasWarnings

(

)

const

void TimedAutomataSystem::setAfterUpdate

(

expression_t

)

void TimedAutomataSystem::setBeforeUpdate

(

expression_t

)

void TimedAutomataSystem::setChanPriority	(	expression_t	chan,
		int	priority
	)

void TimedAutomataSystem::setDefaultChanPriority

(

int

priority

)

void TimedAutomataSystem::setProcPriority	(	const char *	name,
		int	priority
	)

Sets process priority for process name.

---

Member Data Documentation

expression_t UTAP::TimedAutomataSystem::afterUpdate [protected]

expression_t UTAP::TimedAutomataSystem::beforeUpdate [protected]

std::list<chan_priority_t> UTAP::TimedAutomataSystem::chanPriorities [protected]

int UTAP::TimedAutomataSystem::defaultChanPriority [protected]

declarations_t UTAP::TimedAutomataSystem::global [protected]

bool UTAP::TimedAutomataSystem::hasPriorities [protected]

std::list<instance_t> UTAP::TimedAutomataSystem::instances [protected]

std::list<instance_t> UTAP::TimedAutomataSystem::processes [protected]

std::map<std::string,int> UTAP::TimedAutomataSystem::procPriority [protected]

std::list<template_t> UTAP::TimedAutomataSystem::templates [protected]

---

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

• system.h
• system.cpp

---