UTAP::AbstractBuilder Class Reference

#include <abstractbuilder.h>

Inheritance diagram for UTAP::AbstractBuilder:

Collaboration diagram for UTAP::AbstractBuilder:

Public Member Functions
	AbstractBuilder ()
void	setPosition (uint32_t, uint32_t) override
	Sets the current position. More...
bool	isType (const char *) override
	Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type. More...
void	typeDuplicate () override
	Duplicate type at the top of the type stack. More...
void	typePop () override
	Pop type at the topof the type stack. More...
void	typeBool (PREFIX) override
	Called whenever a boolean type is parsed. More...
void	typeInt (PREFIX) override
	Called whenever an integer type is parsed. More...
void	typeDouble (PREFIX) override
	Called whenever a double type is parsed. More...
void	typeBoundedInt (PREFIX) override
	Called whenever an integer type with a range is parsed. More...
void	typeChannel (PREFIX) override
	Called whenever a channel type is parsed. More...
void	typeClock (PREFIX) override
	Called whenever a clock type is parsed. More...
void	typeVoid () override
	Called whenever a void type is parsed. More...
void	typeScalar (PREFIX) override
	Called whenever a scalar type is parsed. More...
void	typeName (PREFIX, const char *name) override
	Called when a type name has been parsed. More...
void	typeStruct (PREFIX, uint32_t fields) override
	Called when a struct-type has been parsed. More...
void	typeArrayOfSize (size_t) override
	Called to create an array type. More...
void	typeArrayOfType (size_t) override
	Called to create an array type. More...
void	structField (const char *name) override
	Called to declare a field of a structure. More...
void	declTypeDef (const char *name) override
	Used when a typedef declaration was parsed. More...
void	declVar (const char *name, bool init) override
	Called to when a variable declaration has been parsed. More...
void	declInitialiserList (uint32_t num) override
void	declFieldInit (const char *name) override
void	ganttDeclStart (const char *name) override
void	ganttDeclSelect (const char *id) override
void	ganttDeclEnd () override
void	ganttEntryStart () override
void	ganttEntrySelect (const char *id) override
void	ganttEntryEnd () override
void	declProgress (bool) override
	Guard progress measure declaration. More...
void	declParameter (const char *name, bool) override
void	declFuncBegin (const char *name) override
void	declFuncEnd () override
void	procBegin (const char *name, const bool isTA=true, const std::string type="", const std::string mode="") override
void	procEnd () override
void	procState (const char *name, bool hasInvariant, bool hasER) override
void	procStateCommit (const char *name) override
void	procStateUrgent (const char *name) override
void	procStateInit (const char *name) override
void	procBranchpoint (const char *name) override
void	procEdgeBegin (const char *from, const char *to, const bool control, const char *actname) override
void	procEdgeEnd (const char *from, const char *to) override
void	procSelect (const char *id) override
void	procGuard () override
void	procSync (Constants::synchronisation_t type) override
void	procUpdate () override
void	procProb () override
void	procInstanceLine () override
void	instanceName (const char *name, bool templ=true) override
void	instanceNameBegin (const char *name) override
void	instanceNameEnd (const char *name, size_t arguments) override
void	procMessage (const char *from, const char *to, const int loc, const bool pch) override
void	procMessage (Constants::synchronisation_t type) override
void	procCondition (const std::vector< char *> anchors, const int loc, const bool pch, const bool hot) override
void	procCondition () override
void	procLscUpdate (const char *anchor, const int loc, const bool pch) override
void	procLscUpdate () override
void	hasPrechart (const bool pch) override
void	blockBegin () override
void	blockEnd () override
void	emptyStatement () override
void	forBegin () override
void	forEnd () override
void	iterationBegin (const char *name) override
void	iterationEnd (const char *name) override
void	whileBegin () override
void	whileEnd () override
void	doWhileBegin () override
void	doWhileEnd () override
void	ifBegin () override
void	ifCondition () override
void	ifThen () override
void	ifEnd (bool) override
void	breakStatement () override
void	continueStatement () override
void	switchBegin () override
void	switchEnd () override
void	caseBegin () override
void	caseEnd () override
void	defaultBegin () override
void	defaultEnd () override
void	exprStatement () override
void	returnStatement (bool) override
void	assertStatement () override
void	exprTrue () override
void	exprFalse () override
void	exprDouble (double) override
void	exprId (const char *varName) override
void	exprNat (int32_t) override
void	exprCallBegin () override
void	exprCallEnd (uint32_t n) override
void	exprArray () override
void	exprPostIncrement () override
void	exprPreIncrement () override
void	exprPostDecrement () override
void	exprPreDecrement () override
void	exprAssignment (Constants::kind_t op) override
void	exprUnary (Constants::kind_t unaryop) override
void	exprBinary (Constants::kind_t binaryop) override
void	exprNary (Constants::kind_t, uint32_t num) override
void	exprScenario (const char *name) override
void	exprTernary (Constants::kind_t ternaryop, bool firstMissing) override
void	exprInlineIf () override
void	exprComma () override
void	exprDot (const char *) override
void	exprDeadlock () override
void	exprForAllBegin (const char *name) override
void	exprForAllEnd (const char *name) override
void	exprExistsBegin (const char *name) override
void	exprExistsEnd (const char *name) override
void	exprSumBegin (const char *name) override
void	exprSumEnd (const char *name) override
void	exprSync (Constants::synchronisation_t type) override
void	declIO (const char *, int, int) override
void	exprSMCControl () override
void	exprProbaQualitative (Constants::kind_t, Constants::kind_t, double) override
void	exprProbaQuantitative (Constants::kind_t) override
void	exprProbaCompare (Constants::kind_t, Constants::kind_t) override
void	exprProbaExpected (const char *) override
void	exprSimulate (int, bool=false, int=0) override
void	exprBuiltinFunction1 (Constants::kind_t) override
void	exprBuiltinFunction2 (Constants::kind_t) override
void	exprMitlFormula () override
void	exprMitlUntil (int, int) override
void	exprMitlRelease (int, int) override
void	exprMitlDisj () override
void	exprMitlConj () override
void	exprMitlNext () override
void	exprMitlAtom () override
void	instantiationBegin (const char *, size_t, const char *) override
void	instantiationEnd (const char *, size_t, const char *, size_t) override
void	process (const char *) override
void	processListEnd () override
void	done () override
void	handleExpect (const char *text) override
void	property () override
void	scenario (const char *) override
void	parse (const char *) override
void	beforeUpdate () override
void	afterUpdate () override
void	beginChanPriority () override
void	addChanPriority (char separator) override
void	defaultChanPriority () override
void	incProcPriority () override
void	procPriority (const char *) override
void	declDynamicTemplate (const std::string &) override
	Dynamic. More...
void	exprSpawn (int) override
void	exprExit () override
void	exprNumOf () override
void	exprForAllDynamicBegin (const char *, const char *) override
void	exprForAllDynamicEnd (const char *name) override
void	exprExistsDynamicBegin (const char *, const char *) override
void	exprExistsDynamicEnd (const char *name) override
void	exprSumDynamicBegin (const char *, const char *) override
void	exprSumDynamicEnd (const char *) override
void	exprForeachDynamicBegin (const char *, const char *) override
void	exprForeachDynamicEnd (const char *name) override
void	exprDynamicProcessExpr (const char *) override
void	exprMITLForAllDynamicBegin (const char *, const char *) override
void	exprMITLForAllDynamicEnd (const char *name) override
void	exprMITLExistsDynamicBegin (const char *, const char *) override
void	exprMITLExistsDynamicEnd (const char *name) override
void	queryBegin () override
	Verification queries. More...
void	queryFormula (const char *formula, const char *location) override
void	queryComment (const char *comment) override
void	queryEnd () override
Public Member Functions inherited from UTAP::ParserBuilder
virtual	~ParserBuilder ()
virtual void	addPosition (uint32_t position, uint32_t offset, uint32_t line, const std::string &path)=0
	Add mapping from an absolute position to a relative XML element. More...
virtual void	handleError (const std::string &)=0
virtual void	handleWarning (const std::string &)=0
void	handleWarning (const char *msg,...)
void	handleError (const char *msg,...)
virtual void	exprBuiltinFunction3 (Constants::kind_t)=0
virtual void	exprMitlDiamond (int, int)=0
virtual void	exprMitlBox (int, int)=0

Protected Attributes
position_t	position

Additional Inherited Members
Public Types inherited from UTAP::ParserBuilder
enum	PREFIX {   PREFIX_NONE = 0, PREFIX_CONST = 1, PREFIX_URGENT = 2, PREFIX_BROADCAST = 4,   PREFIX_URGENT_BROADCAST = 6, PREFIX_SYSTEM_META = 8, PREFIX_HYBRID = 16 }
Public Attributes inherited from UTAP::ParserBuilder
std::vector< std::string >	lscTemplateNames

Detailed Description

Definition at line 45 of file abstractbuilder.h.

Constructor & Destructor Documentation

AbstractBuilder()

AbstractBuilder::AbstractBuilder

(

)

Definition at line 56 of file abstractbuilder.cpp.

Member Function Documentation

addChanPriority()

void AbstractBuilder::addChanPriority ( char  separator )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 747 of file abstractbuilder.cpp.

afterUpdate()

void AbstractBuilder::afterUpdate ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 737 of file abstractbuilder.cpp.

assertStatement()

void AbstractBuilder::assertStatement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::StatementBuilder.

Definition at line 467 of file abstractbuilder.cpp.

beforeUpdate()

void AbstractBuilder::beforeUpdate ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 732 of file abstractbuilder.cpp.

beginChanPriority()

void AbstractBuilder::beginChanPriority ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 742 of file abstractbuilder.cpp.

blockBegin()

void AbstractBuilder::blockBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 341 of file abstractbuilder.cpp.

blockEnd()

void AbstractBuilder::blockEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 346 of file abstractbuilder.cpp.

breakStatement()

void AbstractBuilder::breakStatement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter.

Definition at line 416 of file abstractbuilder.cpp.

caseBegin()

void AbstractBuilder::caseBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 436 of file abstractbuilder.cpp.

caseEnd()

void AbstractBuilder::caseEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 442 of file abstractbuilder.cpp.

continueStatement()

void AbstractBuilder::continueStatement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter.

Definition at line 421 of file abstractbuilder.cpp.

declDynamicTemplate()

void AbstractBuilder::declDynamicTemplate ( const std::string &  )

overridevirtual

Dynamic.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 777 of file abstractbuilder.cpp.

declFieldInit()

void AbstractBuilder::declFieldInit ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 161 of file abstractbuilder.cpp.

declFuncBegin()

void AbstractBuilder::declFuncBegin ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 206 of file abstractbuilder.cpp.

declFuncEnd()

void AbstractBuilder::declFuncEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 211 of file abstractbuilder.cpp.

declInitialiserList()

void AbstractBuilder::declInitialiserList ( uint32_t  num )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 156 of file abstractbuilder.cpp.

declIO()

void AbstractBuilder::declIO ( const char *  , int  , int    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 772 of file abstractbuilder.cpp.

declParameter()

void AbstractBuilder::declParameter ( const char *  name, bool    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 201 of file abstractbuilder.cpp.

declProgress()

void AbstractBuilder::declProgress ( bool  hasGuard )

overridevirtual

Guard progress measure declaration.

Requires two expressions if hasGuard is true, otherwise one.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 196 of file abstractbuilder.cpp.

declTypeDef()

void AbstractBuilder::declTypeDef ( const char *  name )

overridevirtual

Used when a typedef declaration was parsed.

name is the name of the new type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 146 of file abstractbuilder.cpp.

declVar()

void AbstractBuilder::declVar ( const char *  name, bool  init  )

overridevirtual

Called to when a variable declaration has been parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 151 of file abstractbuilder.cpp.

defaultBegin()

void AbstractBuilder::defaultBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 447 of file abstractbuilder.cpp.

defaultChanPriority()

void AbstractBuilder::defaultChanPriority ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 752 of file abstractbuilder.cpp.

defaultEnd()

void AbstractBuilder::defaultEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 452 of file abstractbuilder.cpp.

done()

void AbstractBuilder::done ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 719 of file abstractbuilder.cpp.

doWhileBegin()

void AbstractBuilder::doWhileBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 386 of file abstractbuilder.cpp.

doWhileEnd()

void AbstractBuilder::doWhileEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 391 of file abstractbuilder.cpp.

emptyStatement()

void AbstractBuilder::emptyStatement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 351 of file abstractbuilder.cpp.

exprArray()

void AbstractBuilder::exprArray ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 507 of file abstractbuilder.cpp.

exprAssignment()

void AbstractBuilder::exprAssignment ( Constants::kind_t  op )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 532 of file abstractbuilder.cpp.

exprBinary()

void AbstractBuilder::exprBinary ( Constants::kind_t  binaryop )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 542 of file abstractbuilder.cpp.

exprBuiltinFunction1()

void AbstractBuilder::exprBuiltinFunction1 ( Constants::kind_t  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 609 of file abstractbuilder.cpp.

exprBuiltinFunction2()

void AbstractBuilder::exprBuiltinFunction2 ( Constants::kind_t  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 614 of file abstractbuilder.cpp.

exprCallBegin()

void AbstractBuilder::exprCallBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 497 of file abstractbuilder.cpp.

exprCallEnd()

void AbstractBuilder::exprCallEnd ( uint32_t  n )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 502 of file abstractbuilder.cpp.

exprComma()

void AbstractBuilder::exprComma ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 569 of file abstractbuilder.cpp.

exprDeadlock()

void AbstractBuilder::exprDeadlock ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 579 of file abstractbuilder.cpp.

exprDot()

void AbstractBuilder::exprDot ( const char *  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 574 of file abstractbuilder.cpp.

exprDouble()

void AbstractBuilder::exprDouble ( double  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 482 of file abstractbuilder.cpp.

exprDynamicProcessExpr()

void AbstractBuilder::exprDynamicProcessExpr ( const char *  )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 830 of file abstractbuilder.cpp.

exprExistsBegin()

void AbstractBuilder::exprExistsBegin ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 678 of file abstractbuilder.cpp.

exprExistsDynamicBegin()

void AbstractBuilder::exprExistsDynamicBegin ( const char *  , const char *    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 803 of file abstractbuilder.cpp.

exprExistsDynamicEnd()

void AbstractBuilder::exprExistsDynamicEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 808 of file abstractbuilder.cpp.

exprExistsEnd()

void AbstractBuilder::exprExistsEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 683 of file abstractbuilder.cpp.

exprExit()

void AbstractBuilder::exprExit ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 786 of file abstractbuilder.cpp.

exprFalse()

void AbstractBuilder::exprFalse ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 477 of file abstractbuilder.cpp.

exprForAllBegin()

void AbstractBuilder::exprForAllBegin ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 584 of file abstractbuilder.cpp.

exprForAllDynamicBegin()

void AbstractBuilder::exprForAllDynamicBegin ( const char *  , const char *    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 795 of file abstractbuilder.cpp.

exprForAllDynamicEnd()

void AbstractBuilder::exprForAllDynamicEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 799 of file abstractbuilder.cpp.

exprForAllEnd()

void AbstractBuilder::exprForAllEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 589 of file abstractbuilder.cpp.

exprForeachDynamicBegin()

void AbstractBuilder::exprForeachDynamicBegin ( const char *  , const char *    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 821 of file abstractbuilder.cpp.

exprForeachDynamicEnd()

void AbstractBuilder::exprForeachDynamicEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 826 of file abstractbuilder.cpp.

exprId()

void AbstractBuilder::exprId ( const char *  varName )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 487 of file abstractbuilder.cpp.

exprInlineIf()

void AbstractBuilder::exprInlineIf ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 564 of file abstractbuilder.cpp.

exprMitlAtom()

void AbstractBuilder::exprMitlAtom ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 649 of file abstractbuilder.cpp.

exprMitlConj()

void AbstractBuilder::exprMitlConj ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 639 of file abstractbuilder.cpp.

exprMitlDisj()

void AbstractBuilder::exprMitlDisj ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 634 of file abstractbuilder.cpp.

exprMITLExistsDynamicBegin()

void AbstractBuilder::exprMITLExistsDynamicBegin ( const char *  , const char *    )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 844 of file abstractbuilder.cpp.

exprMITLExistsDynamicEnd()

void AbstractBuilder::exprMITLExistsDynamicEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 848 of file abstractbuilder.cpp.

exprMITLForAllDynamicBegin()

void AbstractBuilder::exprMITLForAllDynamicBegin ( const char *  , const char *    )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 835 of file abstractbuilder.cpp.

exprMITLForAllDynamicEnd()

void AbstractBuilder::exprMITLForAllDynamicEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 840 of file abstractbuilder.cpp.

exprMitlFormula()

void AbstractBuilder::exprMitlFormula ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 619 of file abstractbuilder.cpp.

exprMitlNext()

void AbstractBuilder::exprMitlNext ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 644 of file abstractbuilder.cpp.

exprMitlRelease()

void AbstractBuilder::exprMitlRelease ( int  , int    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 629 of file abstractbuilder.cpp.

exprMitlUntil()

void AbstractBuilder::exprMitlUntil ( int  , int    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 624 of file abstractbuilder.cpp.

exprNary()

void AbstractBuilder::exprNary ( Constants::kind_t  kind, uint32_t  num  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 547 of file abstractbuilder.cpp.

exprNat()

void AbstractBuilder::exprNat ( int32_t  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 492 of file abstractbuilder.cpp.

exprNumOf()

void AbstractBuilder::exprNumOf ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 790 of file abstractbuilder.cpp.

exprPostDecrement()

void AbstractBuilder::exprPostDecrement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 522 of file abstractbuilder.cpp.

exprPostIncrement()

void AbstractBuilder::exprPostIncrement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 512 of file abstractbuilder.cpp.

exprPreDecrement()

void AbstractBuilder::exprPreDecrement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 527 of file abstractbuilder.cpp.

exprPreIncrement()

void AbstractBuilder::exprPreIncrement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 517 of file abstractbuilder.cpp.

exprProbaCompare()

void AbstractBuilder::exprProbaCompare ( Constants::kind_t  , Constants::kind_t    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 668 of file abstractbuilder.cpp.

exprProbaExpected()

void AbstractBuilder::exprProbaExpected ( const char *  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 673 of file abstractbuilder.cpp.

exprProbaQualitative()

void AbstractBuilder::exprProbaQualitative ( Constants::kind_t  , Constants::kind_t  , double    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 658 of file abstractbuilder.cpp.

exprProbaQuantitative()

void AbstractBuilder::exprProbaQuantitative ( Constants::kind_t  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 663 of file abstractbuilder.cpp.

exprScenario()

void AbstractBuilder::exprScenario ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 553 of file abstractbuilder.cpp.

exprSimulate()

void AbstractBuilder::exprSimulate ( int  , bool  = false, int  = 0  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 604 of file abstractbuilder.cpp.

exprSMCControl()

void AbstractBuilder::exprSMCControl ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 653 of file abstractbuilder.cpp.

exprSpawn()

void AbstractBuilder::exprSpawn ( int  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 782 of file abstractbuilder.cpp.

exprStatement()

void AbstractBuilder::exprStatement ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 457 of file abstractbuilder.cpp.

exprSumBegin()

void AbstractBuilder::exprSumBegin ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 594 of file abstractbuilder.cpp.

exprSumDynamicBegin()

void AbstractBuilder::exprSumDynamicBegin ( const char *  , const char *    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 812 of file abstractbuilder.cpp.

exprSumDynamicEnd()

void AbstractBuilder::exprSumDynamicEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

Definition at line 817 of file abstractbuilder.cpp.

exprSumEnd()

void AbstractBuilder::exprSumEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 599 of file abstractbuilder.cpp.

exprSync()

void AbstractBuilder::exprSync ( Constants::synchronisation_t  type )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 767 of file abstractbuilder.cpp.

exprTernary()

void AbstractBuilder::exprTernary ( Constants::kind_t  ternaryop, bool  firstMissing  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 559 of file abstractbuilder.cpp.

exprTrue()

void AbstractBuilder::exprTrue ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 472 of file abstractbuilder.cpp.

exprUnary()

void AbstractBuilder::exprUnary ( Constants::kind_t  unaryop )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 537 of file abstractbuilder.cpp.

forBegin()

void AbstractBuilder::forBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 356 of file abstractbuilder.cpp.

forEnd()

void AbstractBuilder::forEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 361 of file abstractbuilder.cpp.

ganttDeclEnd()

void AbstractBuilder::ganttDeclEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 176 of file abstractbuilder.cpp.

ganttDeclSelect()

void AbstractBuilder::ganttDeclSelect ( const char *  id )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 171 of file abstractbuilder.cpp.

ganttDeclStart()

void AbstractBuilder::ganttDeclStart ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 166 of file abstractbuilder.cpp.

ganttEntryEnd()

void AbstractBuilder::ganttEntryEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 191 of file abstractbuilder.cpp.

ganttEntrySelect()

void AbstractBuilder::ganttEntrySelect ( const char *  id )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 186 of file abstractbuilder.cpp.

ganttEntryStart()

void AbstractBuilder::ganttEntryStart ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 181 of file abstractbuilder.cpp.

handleExpect()

void AbstractBuilder::handleExpect ( const char *  text )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 723 of file abstractbuilder.cpp.

hasPrechart()

void AbstractBuilder::hasPrechart ( const bool  pch )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 335 of file abstractbuilder.cpp.

ifBegin()

void AbstractBuilder::ifBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 396 of file abstractbuilder.cpp.

ifCondition()

void AbstractBuilder::ifCondition ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 401 of file abstractbuilder.cpp.

ifEnd()

void AbstractBuilder::ifEnd ( bool  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 411 of file abstractbuilder.cpp.

ifThen()

void AbstractBuilder::ifThen ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 406 of file abstractbuilder.cpp.

incProcPriority()

void AbstractBuilder::incProcPriority ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 757 of file abstractbuilder.cpp.

instanceName()

void AbstractBuilder::instanceName ( const char *  name, bool  templ = true  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 308 of file abstractbuilder.cpp.

instanceNameBegin()

void AbstractBuilder::instanceNameBegin ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 298 of file abstractbuilder.cpp.

instanceNameEnd()

void AbstractBuilder::instanceNameEnd ( const char *  name, size_t  arguments  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 303 of file abstractbuilder.cpp.

instantiationBegin()

void AbstractBuilder::instantiationBegin ( const char *  , size_t  , const char *    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 688 of file abstractbuilder.cpp.

instantiationEnd()

void AbstractBuilder::instantiationEnd ( const char *  , size_t  , const char *  , size_t    )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 693 of file abstractbuilder.cpp.

isType()

bool AbstractBuilder::isType ( const char *  )

overridevirtual

Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 66 of file abstractbuilder.cpp.

iterationBegin()

void AbstractBuilder::iterationBegin ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 366 of file abstractbuilder.cpp.

iterationEnd()

void AbstractBuilder::iterationEnd ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 371 of file abstractbuilder.cpp.

parse()

void AbstractBuilder::parse ( const char *  )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 713 of file abstractbuilder.cpp.

procBegin()

void AbstractBuilder::procBegin ( const char *  name, const bool  isTA = true, const std::string  type = "", const std::string  mode = ""  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 216 of file abstractbuilder.cpp.

procBranchpoint()

void AbstractBuilder::procBranchpoint ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 247 of file abstractbuilder.cpp.

procCondition() [1/2]

void AbstractBuilder::procCondition ( const std::vector< char *>  anchors, const int  loc, const bool  pch, const bool  hot  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 318 of file abstractbuilder.cpp.

procCondition() [2/2]

void AbstractBuilder::procCondition ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 323 of file abstractbuilder.cpp.

procEdgeBegin()

void AbstractBuilder::procEdgeBegin ( const char *  from, const char *  to, const bool  control, const char *  actname  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 252 of file abstractbuilder.cpp.

procEdgeEnd()

void AbstractBuilder::procEdgeEnd ( const char *  from, const char *  to  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 258 of file abstractbuilder.cpp.

procEnd()

void AbstractBuilder::procEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 222 of file abstractbuilder.cpp.

process()

void AbstractBuilder::process ( const char *  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 698 of file abstractbuilder.cpp.

Referenced by UTAP::ExpressionBuilder::exprDot(), UTAP::ExpressionBuilder::exprExistsDynamicEnd(), UTAP::ExpressionBuilder::exprForAllDynamicEnd(), UTAP::ExpressionBuilder::exprForeachDynamicEnd(), and UTAP::ExpressionBuilder::exprSumDynamicEnd().

Here is the caller graph for this function:

processListEnd()

void AbstractBuilder::processListEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 702 of file abstractbuilder.cpp.

procGuard()

void AbstractBuilder::procGuard ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 268 of file abstractbuilder.cpp.

procInstanceLine()

void AbstractBuilder::procInstanceLine ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 293 of file abstractbuilder.cpp.

procLscUpdate() [1/2]

void AbstractBuilder::procLscUpdate ( const char *  anchor, const int  loc, const bool  pch  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 327 of file abstractbuilder.cpp.

procLscUpdate() [2/2]

void AbstractBuilder::procLscUpdate ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 331 of file abstractbuilder.cpp.

procMessage() [1/2]

void AbstractBuilder::procMessage ( const char *  from, const char *  to, const int  loc, const bool  pch  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 313 of file abstractbuilder.cpp.

procMessage() [2/2]

void AbstractBuilder::procMessage ( Constants::synchronisation_t  type )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 288 of file abstractbuilder.cpp.

procPriority()

void AbstractBuilder::procPriority ( const char *  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

Definition at line 762 of file abstractbuilder.cpp.

procProb()

void AbstractBuilder::procProb ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 282 of file abstractbuilder.cpp.

procSelect()

void AbstractBuilder::procSelect ( const char *  id )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 263 of file abstractbuilder.cpp.

procState()

void AbstractBuilder::procState ( const char *  name, bool  hasInvariant, bool  hasER  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 227 of file abstractbuilder.cpp.

procStateCommit()

void AbstractBuilder::procStateCommit ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 232 of file abstractbuilder.cpp.

procStateInit()

void AbstractBuilder::procStateInit ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 242 of file abstractbuilder.cpp.

procStateUrgent()

void AbstractBuilder::procStateUrgent ( const char *  name )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 237 of file abstractbuilder.cpp.

procSync()

void AbstractBuilder::procSync ( Constants::synchronisation_t  type )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 273 of file abstractbuilder.cpp.

procUpdate()

void AbstractBuilder::procUpdate ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.

Definition at line 278 of file abstractbuilder.cpp.

property()

void AbstractBuilder::property ( )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 727 of file abstractbuilder.cpp.

queryBegin()

void AbstractBuilder::queryBegin ( )

overridevirtual

Verification queries.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 852 of file abstractbuilder.cpp.

queryComment()

void AbstractBuilder::queryComment ( const char *  comment )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 864 of file abstractbuilder.cpp.

queryEnd()

void AbstractBuilder::queryEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 856 of file abstractbuilder.cpp.

queryFormula()

void AbstractBuilder::queryFormula ( const char *  formula, const char *  location  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

Definition at line 860 of file abstractbuilder.cpp.

returnStatement()

void AbstractBuilder::returnStatement ( bool  )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 462 of file abstractbuilder.cpp.

scenario()

void AbstractBuilder::scenario ( const char *  )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 708 of file abstractbuilder.cpp.

setPosition()

void AbstractBuilder::setPosition ( uint32_t  a, uint32_t  b  )

overridevirtual

Sets the current position.

The current position indicates where in the input file the current productions can be found.

Implements UTAP::ParserBuilder.

Definition at line 60 of file abstractbuilder.cpp.

structField()

void AbstractBuilder::structField ( const char *  name )

overridevirtual

Called to declare a field of a structure.

The type of the field has been reported using a typeXXX method prior to the call of structField(). In case of array fields, 'dim' expressions indicating the array sizes have been reported.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 141 of file abstractbuilder.cpp.

switchBegin()

void AbstractBuilder::switchBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 426 of file abstractbuilder.cpp.

switchEnd()

void AbstractBuilder::switchEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 431 of file abstractbuilder.cpp.

typeArrayOfSize()

void AbstractBuilder::typeArrayOfSize ( size_t  )

overridevirtual

Called to create an array type.

The size of the array was previously pushed as an expression.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 131 of file abstractbuilder.cpp.

typeArrayOfType()

void AbstractBuilder::typeArrayOfType ( size_t  )

overridevirtual

Called to create an array type.

The size of the array was previously pushed as a type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 136 of file abstractbuilder.cpp.

typeBool()

void AbstractBuilder::typeBool ( PREFIX  )

overridevirtual

Called whenever a boolean type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 81 of file abstractbuilder.cpp.

typeBoundedInt()

void AbstractBuilder::typeBoundedInt ( PREFIX  )

overridevirtual

Called whenever an integer type with a range is parsed.

Expressions for the lower and upper have been pushed before.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 96 of file abstractbuilder.cpp.

typeChannel()

void AbstractBuilder::typeChannel ( PREFIX  )

overridevirtual

Called whenever a channel type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 101 of file abstractbuilder.cpp.

typeClock()

void AbstractBuilder::typeClock ( PREFIX  )

overridevirtual

Called whenever a clock type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 106 of file abstractbuilder.cpp.

typeDouble()

void AbstractBuilder::typeDouble ( PREFIX  )

overridevirtual

Called whenever a double type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 91 of file abstractbuilder.cpp.

typeDuplicate()

void AbstractBuilder::typeDuplicate ( )

overridevirtual

Duplicate type at the top of the type stack.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 71 of file abstractbuilder.cpp.

typeInt()

void AbstractBuilder::typeInt ( PREFIX  )

overridevirtual

Called whenever an integer type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 86 of file abstractbuilder.cpp.

typeName()

void AbstractBuilder::typeName ( PREFIX  , const char *  name  )

overridevirtual

Called when a type name has been parsed.

Prefix indicates whether the type named was prefixed (e.g. with 'const').

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 121 of file abstractbuilder.cpp.

typePop()

void AbstractBuilder::typePop ( )

overridevirtual

Pop type at the topof the type stack.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 76 of file abstractbuilder.cpp.

typeScalar()

void AbstractBuilder::typeScalar ( PREFIX  )

overridevirtual

Called whenever a scalar type is parsed.

The size of the scalar set was pushed as an expression before.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 116 of file abstractbuilder.cpp.

typeStruct()

void AbstractBuilder::typeStruct ( PREFIX  , uint32_t  fields  )

overridevirtual

Called when a struct-type has been parsed.

Prior to the call 'fields' fields must have been declared using the structXXX methods.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 126 of file abstractbuilder.cpp.

typeVoid()

void AbstractBuilder::typeVoid ( )

overridevirtual

Called whenever a void type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

Definition at line 111 of file abstractbuilder.cpp.

whileBegin()

void AbstractBuilder::whileBegin ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 376 of file abstractbuilder.cpp.

whileEnd()

void AbstractBuilder::whileEnd ( )

overridevirtual

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.

Definition at line 381 of file abstractbuilder.cpp.

Member Data Documentation

position

position_t UTAP::AbstractBuilder::position

protected

Definition at line 48 of file abstractbuilder.h.

Referenced by UTAP::ExpressionBuilder::applyPrefix(), UTAP::StatementBuilder::declFieldInit(), UTAP::StatementBuilder::declFuncBegin(), UTAP::StatementBuilder::declInitialiserList(), UTAP::StatementBuilder::declTypeDef(), UTAP::ExpressionBuilder::exprArray(), UTAP::ExpressionBuilder::exprAssignment(), UTAP::ExpressionBuilder::exprBinary(), UTAP::ExpressionBuilder::exprBuiltinFunction1(), UTAP::ExpressionBuilder::exprBuiltinFunction2(), UTAP::ExpressionBuilder::exprBuiltinFunction3(), UTAP::ExpressionBuilder::exprCallEnd(), UTAP::ExpressionBuilder::exprComma(), UTAP::ExpressionBuilder::exprDeadlock(), UTAP::ExpressionBuilder::exprDot(), UTAP::ExpressionBuilder::exprExistsDynamicBegin(), UTAP::ExpressionBuilder::exprExistsDynamicEnd(), UTAP::ExpressionBuilder::exprExistsEnd(), UTAP::ExpressionBuilder::exprExit(), UTAP::ExpressionBuilder::exprForAllDynamicBegin(), UTAP::ExpressionBuilder::exprForAllDynamicEnd(), UTAP::ExpressionBuilder::exprForAllEnd(), UTAP::ExpressionBuilder::exprForeachDynamicBegin(), UTAP::ExpressionBuilder::exprForeachDynamicEnd(), UTAP::ExpressionBuilder::exprId(), UTAP::ExpressionBuilder::exprInlineIf(), UTAP::ExpressionBuilder::exprMitlAtom(), UTAP::ExpressionBuilder::exprMitlBox(), UTAP::ExpressionBuilder::exprMitlConj(), UTAP::ExpressionBuilder::exprMitlDiamond(), UTAP::ExpressionBuilder::exprMitlDisj(), UTAP::ExpressionBuilder::exprMitlFormula(), UTAP::ExpressionBuilder::exprMitlNext(), UTAP::ExpressionBuilder::exprMitlRelease(), UTAP::ExpressionBuilder::exprMitlUntil(), UTAP::ExpressionBuilder::exprNary(), UTAP::ExpressionBuilder::exprNumOf(), UTAP::ExpressionBuilder::exprPostDecrement(), UTAP::ExpressionBuilder::exprPostIncrement(), UTAP::ExpressionBuilder::exprPreDecrement(), UTAP::ExpressionBuilder::exprPreIncrement(), UTAP::ExpressionBuilder::exprProbaCompare(), UTAP::ExpressionBuilder::exprProbaExpected(), UTAP::ExpressionBuilder::exprProbaQualitative(), UTAP::ExpressionBuilder::exprProbaQuantitative(), UTAP::ExpressionBuilder::exprScenario(), UTAP::ExpressionBuilder::exprSimulate(), UTAP::ExpressionBuilder::exprSMCControl(), UTAP::ExpressionBuilder::exprSpawn(), UTAP::ExpressionBuilder::exprSumDynamicBegin(), UTAP::ExpressionBuilder::exprSumDynamicEnd(), UTAP::ExpressionBuilder::exprSumEnd(), UTAP::ExpressionBuilder::exprTernary(), UTAP::ExpressionBuilder::exprUnary(), UTAP::ExpressionBuilder::handleError(), UTAP::ExpressionBuilder::handleWarning(), UTAP::ExpressionBuilder::makeConstant(), UTAP::SystemBuilder::procMessage(), UTAP::SystemBuilder::procStateCommit(), UTAP::SystemBuilder::procStateUrgent(), UTAP::SystemBuilder::procSync(), UTAP::StatementBuilder::typeArrayOfType(), UTAP::ExpressionBuilder::typeBool(), UTAP::ExpressionBuilder::typeBoundedInt(), UTAP::ExpressionBuilder::typeChannel(), UTAP::ExpressionBuilder::typeClock(), UTAP::ExpressionBuilder::typeDouble(), UTAP::ExpressionBuilder::typeInt(), UTAP::ExpressionBuilder::typeName(), UTAP::ExpressionBuilder::typeScalar(), UTAP::StatementBuilder::typeStruct(), and UTAP::ExpressionBuilder::typeVoid().

---

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

• abstractbuilder.h
• abstractbuilder.cpp