#include <prettyprinter.h>

Inheritance diagram for UTAP::PrettyPrinter:

Collaboration diagram for UTAP::PrettyPrinter:

Public Member Functions
	PrettyPrinter (std::ostream &stream)

void	addPosition (uint32_t position, uint32_t offset, uint32_t line, const std::string &path) override
	Add mapping from an absolute position to a relative XML element. More...

void	handleError (const std::string &) override

void	handleWarning (const std::string &) override

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	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 *type) override
	Called when a type name has been parsed. More...

void	typePop () override
	Pop type at the topof the type stack. More...

void	typeDuplicate () override
	Duplicate type at the top of the type stack. More...

void	typeArrayOfSize (size_t n) override
	Called to create an array type. More...

void	typeArrayOfType (size_t n) override
	Called to create an array type. More...

void	typeStruct (PREFIX prefix, uint32_t n) override
	Called when a struct-type has been parsed. 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 *id, 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	declParameter (const char *name, bool) override

void	declFuncBegin (const char *name) override

void	declFuncEnd () 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	exprStatement () override

void	returnStatement (bool hasValue) override

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

void	procState (const char *id, bool hasInvariant, bool hasExpRate) override

void	procBranchpoint (const char *id) override

void	procStateUrgent (const char *id) override

void	procStateCommit (const char *id) override

void	procStateInit (const char *id) override

void	procSelect (const char *id) override

void	procGuard () override

void	procSync (Constants::synchronisation_t type) override

void	procUpdate () override

void	procProb () override

void	procEdgeBegin (const char source, const char target, const bool control)

void	procEdgeBegin (const char source, const char target, const bool control, const char *actname) override

void	procEdgeEnd (const char source, const char target) override

void	procEnd () override

void	exprId (const char *id) override

void	exprNat (int32_t n) override

void	exprDouble (double d) override

void	exprTrue () override

void	exprFalse () 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 op) override

void	exprBinary (Constants::kind_t op) override

void	exprNary (Constants::kind_t op, uint32_t num) override

void	exprScenario (const char *name) override

void	exprTernary (Constants::kind_t op, 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	exprProbaQuantitative (Constants::kind_t) override

void	exprSimulate (int, bool, int) override

void	exprMitlDiamond (int, int) override

void	exprMitlBox (int, int) override

void	exprBuiltinFunction1 (Constants::kind_t kind) override

void	exprBuiltinFunction2 (Constants::kind_t kind) override

void	exprBuiltinFunction3 (Constants::kind_t kind) override

void	beforeUpdate () override

void	afterUpdate () 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 *id) override

void	processListEnd () override

void	done () 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::AbstractBuilder
	AbstractBuilder ()

void	setPosition (uint32_t, uint32_t) override
	Sets the current position. More...

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	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	switchBegin () override

void	switchEnd () override

void	caseBegin () override

void	caseEnd () override

void	defaultBegin () override

void	defaultEnd () override

void	assertStatement () 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	exprProbaCompare (Constants::kind_t, Constants::kind_t) override

void	exprProbaExpected (const char *) 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	handleExpect (const char *text) override

void	property () override

void	scenario (const char *) override

void	parse (const char *) 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

Public Member Functions inherited from UTAP::ParserBuilder
virtual	~ParserBuilder ()

void	handleWarning (const char *msg,...)

void	handleError (const char *msg,...)

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

Protected Attributes inherited from UTAP::AbstractBuilder
position_t	position

Detailed Description

Definition at line 34 of file prettyprinter.h.

Constructor & Destructor Documentation

◆ PrettyPrinter()

PrettyPrinter::PrettyPrinter ( std::ostream & stream )

Definition at line 53 of file prettyprinter.cpp.

Member Function Documentation

◆ addPosition()

void PrettyPrinter::addPosition	(	uint32_t	position,
		uint32_t	offset,
		uint32_t	line,
		const std::string &	path
	)

overridevirtual

Add mapping from an absolute position to a relative XML element.

Implements UTAP::ParserBuilder.

Definition at line 62 of file prettyprinter.cpp.

◆ afterUpdate()

void PrettyPrinter::afterUpdate ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1165 of file prettyprinter.cpp.

◆ beforeUpdate()

void PrettyPrinter::beforeUpdate ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1155 of file prettyprinter.cpp.

◆ blockBegin()

void PrettyPrinter::blockBegin ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 345 of file prettyprinter.cpp.

◆ blockEnd()

void PrettyPrinter::blockEnd ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 353 of file prettyprinter.cpp.

◆ breakStatement()

void PrettyPrinter::breakStatement ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 468 of file prettyprinter.cpp.

◆ continueStatement()

void PrettyPrinter::continueStatement ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 474 of file prettyprinter.cpp.

◆ declFieldInit()

void PrettyPrinter::declFieldInit ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 299 of file prettyprinter.cpp.

◆ declFuncBegin()

void PrettyPrinter::declFuncBegin ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 327 of file prettyprinter.cpp.

◆ declFuncEnd()

void PrettyPrinter::declFuncEnd ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 338 of file prettyprinter.cpp.

◆ declInitialiserList()

void PrettyPrinter::declInitialiserList ( uint32_t num )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 250 of file prettyprinter.cpp.

◆ declParameter()

void PrettyPrinter::declParameter	(	const char *	name,
		bool	ref
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 307 of file prettyprinter.cpp.

◆ declTypeDef()

void PrettyPrinter::declTypeDef ( const char * name )

overridevirtual

Used when a typedef declaration was parsed.

name is the name of the new type.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 205 of file prettyprinter.cpp.

References types.

◆ declVar()

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

overridevirtual

Called to when a variable declaration has been parsed.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 222 of file prettyprinter.cpp.

◆ done()

void PrettyPrinter::done ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1221 of file prettyprinter.cpp.

◆ doWhileBegin()

void PrettyPrinter::doWhileBegin ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 423 of file prettyprinter.cpp.

◆ doWhileEnd()

void PrettyPrinter::doWhileEnd ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 428 of file prettyprinter.cpp.

◆ emptyStatement()

void PrettyPrinter::emptyStatement ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 361 of file prettyprinter.cpp.

◆ exprArray()

void PrettyPrinter::exprArray ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 795 of file prettyprinter.cpp.

◆ exprAssignment()

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

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 879 of file prettyprinter.cpp.

References UTAP::Constants::ASSAND, UTAP::Constants::ASSDIV, UTAP::Constants::ASSIGN, UTAP::Constants::ASSLSHIFT, UTAP::Constants::ASSMINUS, UTAP::Constants::ASSMOD, UTAP::Constants::ASSMULT, UTAP::Constants::ASSOR, UTAP::Constants::ASSPLUS, UTAP::Constants::ASSRSHIFT, and UTAP::Constants::ASSXOR.

◆ exprBinary()

void PrettyPrinter::exprBinary ( Constants::kind_t op )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 964 of file prettyprinter.cpp.

References UTAP::Constants::AND, UTAP::Constants::BIT_AND, UTAP::Constants::BIT_LSHIFT, UTAP::Constants::BIT_OR, UTAP::Constants::BIT_RSHIFT, UTAP::Constants::BIT_XOR, UTAP::Constants::CONSISTENCY, UTAP::Constants::CONTROL_TOPT_DEF1, UTAP::Constants::DIV, UTAP::Constants::EQ, UTAP::Constants::FRACTION, UTAP::Constants::GE, UTAP::Constants::GT, UTAP::Constants::LE, UTAP::Constants::LT, UTAP::Constants::MAX, UTAP::Constants::MIN, UTAP::Constants::MINUS, UTAP::Constants::MOD, UTAP::Constants::MULT, UTAP::Constants::NEQ, UTAP::Constants::OR, UTAP::Constants::PLUS, UTAP::Constants::PO_CONTROL, UTAP::Constants::REFINEMENT_GE, UTAP::Constants::REFINEMENT_LE, UTAP::Constants::SIMULATION_GE, UTAP::Constants::SIMULATION_LE, and UTAP::Constants::TIOQUOTIENT.

◆ exprBuiltinFunction1()

void PrettyPrinter::exprBuiltinFunction1 ( Constants::kind_t kind )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 860 of file prettyprinter.cpp.

References getBuiltinFunName().

Here is the call graph for this function:

◆ exprBuiltinFunction2()

void PrettyPrinter::exprBuiltinFunction2 ( Constants::kind_t kind )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 865 of file prettyprinter.cpp.

References getBuiltinFunName().

Here is the call graph for this function:

◆ exprBuiltinFunction3()

void PrettyPrinter::exprBuiltinFunction3 ( Constants::kind_t kind )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 871 of file prettyprinter.cpp.

References getBuiltinFunName().

Here is the call graph for this function:

◆ exprCallBegin()

void PrettyPrinter::exprCallBegin ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 775 of file prettyprinter.cpp.

◆ exprCallEnd()

void PrettyPrinter::exprCallEnd ( uint32_t n )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 780 of file prettyprinter.cpp.

◆ exprComma()

void PrettyPrinter::exprComma ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1097 of file prettyprinter.cpp.

◆ exprDeadlock()

void PrettyPrinter::exprDeadlock ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1111 of file prettyprinter.cpp.

◆ exprDot()

void PrettyPrinter::exprDot ( const char * field )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1106 of file prettyprinter.cpp.

◆ exprDouble()

void PrettyPrinter::exprDouble ( double d )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 755 of file prettyprinter.cpp.

◆ exprExistsBegin()

void PrettyPrinter::exprExistsBegin ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1129 of file prettyprinter.cpp.

◆ exprExistsEnd()

void PrettyPrinter::exprExistsEnd ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1135 of file prettyprinter.cpp.

◆ exprFalse()

void PrettyPrinter::exprFalse ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 770 of file prettyprinter.cpp.

◆ exprForAllBegin()

void PrettyPrinter::exprForAllBegin ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1116 of file prettyprinter.cpp.

◆ exprForAllEnd()

void PrettyPrinter::exprForAllEnd ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1122 of file prettyprinter.cpp.

◆ exprId()

void PrettyPrinter::exprId ( const char * id )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 740 of file prettyprinter.cpp.

◆ exprInlineIf()

void PrettyPrinter::exprInlineIf ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1087 of file prettyprinter.cpp.

◆ exprMitlBox()

void PrettyPrinter::exprMitlBox	(	int	low,
		int	high
	)

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 1249 of file prettyprinter.cpp.

◆ exprMitlDiamond()

void PrettyPrinter::exprMitlDiamond	(	int	low,
		int	high
	)

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 1240 of file prettyprinter.cpp.

◆ exprNary()

void PrettyPrinter::exprNary	(	Constants::kind_t	op,
		uint32_t	num
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 269 of file prettyprinter.cpp.

References UTAP::Constants::LIST, UTAP::Constants::SYNTAX_COMPOSITION, UTAP::Constants::TIOCOMPOSITION, and UTAP::Constants::TIOCONJUNCTION.

◆ exprNat()

void PrettyPrinter::exprNat ( int32_t n )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 745 of file prettyprinter.cpp.

◆ exprPostDecrement()

void PrettyPrinter::exprPostDecrement ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 812 of file prettyprinter.cpp.

◆ exprPostIncrement()

void PrettyPrinter::exprPostIncrement ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 802 of file prettyprinter.cpp.

◆ exprPreDecrement()

void PrettyPrinter::exprPreDecrement ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 817 of file prettyprinter.cpp.

◆ exprPreIncrement()

void PrettyPrinter::exprPreIncrement ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 807 of file prettyprinter.cpp.

◆ exprProbaQuantitative()

void PrettyPrinter::exprProbaQuantitative ( Constants::kind_t type )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1223 of file prettyprinter.cpp.

◆ exprScenario()

void PrettyPrinter::exprScenario ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 262 of file prettyprinter.cpp.

◆ exprSimulate()

void PrettyPrinter::exprSimulate	(	int	nbExpr,
		bool	hasReach,
		int	nbOfAcceptingRuns
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1258 of file prettyprinter.cpp.

◆ exprStatement()

void PrettyPrinter::exprStatement ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 480 of file prettyprinter.cpp.

◆ exprSumBegin()

void PrettyPrinter::exprSumBegin ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1142 of file prettyprinter.cpp.

◆ exprSumEnd()

void PrettyPrinter::exprSumEnd ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1148 of file prettyprinter.cpp.

◆ exprTernary()

void PrettyPrinter::exprTernary	(	Constants::kind_t	op,
		bool	firstMissing
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1065 of file prettyprinter.cpp.

References UTAP::Constants::CONTROL_TOPT, and UTAP::Constants::SMC_CONTROL.

◆ exprTrue()

void PrettyPrinter::exprTrue ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 765 of file prettyprinter.cpp.

◆ exprUnary()

void PrettyPrinter::exprUnary ( Constants::kind_t op )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 925 of file prettyprinter.cpp.

References UTAP::Constants::CONTROL, UTAP::Constants::CONTROL_TOPT_DEF2, UTAP::Constants::EF_CONTROL, UTAP::Constants::IMPLEMENTATION, UTAP::Constants::MINUS, UTAP::Constants::NOT, UTAP::Constants::PLUS, UTAP::Constants::RATE, and UTAP::Constants::SPECIFICATION.

◆ forBegin()

void PrettyPrinter::forBegin ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 381 of file prettyprinter.cpp.

◆ forEnd()

void PrettyPrinter::forEnd ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 387 of file prettyprinter.cpp.

◆ handleError()

void PrettyPrinter::handleError ( const std::string & msg )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 68 of file prettyprinter.cpp.

◆ handleWarning()

void PrettyPrinter::handleWarning ( const std::string & msg )

overridevirtual

Implements UTAP::ParserBuilder.

Definition at line 73 of file prettyprinter.cpp.

◆ ifBegin()

void PrettyPrinter::ifBegin ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 433 of file prettyprinter.cpp.

◆ ifCondition()

void PrettyPrinter::ifCondition ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 439 of file prettyprinter.cpp.

◆ ifEnd()

void PrettyPrinter::ifEnd ( bool hasElse )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 448 of file prettyprinter.cpp.

◆ ifThen()

void PrettyPrinter::ifThen ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 443 of file prettyprinter.cpp.

◆ instantiationBegin()

void PrettyPrinter::instantiationBegin	(	const char *	id,
		size_t	,
		const char *	templ
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1175 of file prettyprinter.cpp.

◆ instantiationEnd()

void PrettyPrinter::instantiationEnd	(	const char *	id,
		size_t	parameters,
		const char *	templ,
		size_t	arguments
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1180 of file prettyprinter.cpp.

◆ isType()

bool PrettyPrinter::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.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 79 of file prettyprinter.cpp.

References types.

◆ iterationBegin()

void PrettyPrinter::iterationBegin ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 367 of file prettyprinter.cpp.

◆ iterationEnd()

void PrettyPrinter::iterationEnd ( const char * name )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 375 of file prettyprinter.cpp.

◆ procBegin()

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

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 501 of file prettyprinter.cpp.

◆ procBranchpoint()

void PrettyPrinter::procBranchpoint ( const char * id )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 551 of file prettyprinter.cpp.

◆ procEdgeBegin() [1/2]

void PrettyPrinter::procEdgeBegin	(	const char *	source,
		const char *	target,
		const bool	control
	)

Definition at line 646 of file prettyprinter.cpp.

◆ procEdgeBegin() [2/2]

void PrettyPrinter::procEdgeBegin	(	const char *	source,
		const char *	target,
		const bool	control,
		const char *	actname
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 652 of file prettyprinter.cpp.

◆ procEdgeEnd()

void PrettyPrinter::procEdgeEnd	(	const char *	source,
		const char *	target
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 680 of file prettyprinter.cpp.

◆ procEnd()

void PrettyPrinter::procEnd ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 728 of file prettyprinter.cpp.

◆ process()

void PrettyPrinter::process ( const char * id )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1203 of file prettyprinter.cpp.

◆ processListEnd()

void PrettyPrinter::processListEnd ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1216 of file prettyprinter.cpp.

◆ procGuard()

void PrettyPrinter::procGuard ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 614 of file prettyprinter.cpp.

◆ procProb()

void PrettyPrinter::procProb ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 641 of file prettyprinter.cpp.

◆ procSelect()

void PrettyPrinter::procSelect ( const char * id )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 599 of file prettyprinter.cpp.

◆ procState()

void PrettyPrinter::procState	(	const char *	id,
		bool	hasInvariant,
		bool	hasExpRate
	)

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 514 of file prettyprinter.cpp.

◆ procStateCommit()

void PrettyPrinter::procStateCommit ( const char * id )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 563 of file prettyprinter.cpp.

◆ procStateInit()

void PrettyPrinter::procStateInit ( const char * id )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 569 of file prettyprinter.cpp.

◆ procStateUrgent()

void PrettyPrinter::procStateUrgent ( const char * id )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 557 of file prettyprinter.cpp.

◆ procSync()

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

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 619 of file prettyprinter.cpp.

References UTAP::Constants::SYNC_BANG, UTAP::Constants::SYNC_CSP, and UTAP::Constants::SYNC_QUE.

◆ procUpdate()

void PrettyPrinter::procUpdate ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 636 of file prettyprinter.cpp.

◆ queryBegin()

void PrettyPrinter::queryBegin ( )

overridevirtual

Verification queries.

Built-in verification queries if any.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1302 of file prettyprinter.cpp.

◆ queryComment()

void PrettyPrinter::queryComment ( const char * comment )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1310 of file prettyprinter.cpp.

◆ queryEnd()

void PrettyPrinter::queryEnd ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1314 of file prettyprinter.cpp.

◆ queryFormula()

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

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 1306 of file prettyprinter.cpp.

◆ returnStatement()

void PrettyPrinter::returnStatement ( bool hasValue )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 487 of file prettyprinter.cpp.

◆ structField()

void PrettyPrinter::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.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 193 of file prettyprinter.cpp.

◆ typeArrayOfSize()

void PrettyPrinter::typeArrayOfSize ( size_t )

overridevirtual

Called to create an array type.

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

Reimplemented from UTAP::AbstractBuilder.

Definition at line 165 of file prettyprinter.cpp.

◆ typeArrayOfType()

void PrettyPrinter::typeArrayOfType ( size_t )

overridevirtual

Called to create an array type.

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

Reimplemented from UTAP::AbstractBuilder.

Definition at line 171 of file prettyprinter.cpp.

◆ typeBool()

void PrettyPrinter::typeBool ( PREFIX )

overridevirtual

Called whenever a boolean type is parsed.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 94 of file prettyprinter.cpp.

References prefix_label.

◆ typeBoundedInt()

void PrettyPrinter::typeBoundedInt ( PREFIX )

overridevirtual

Called whenever an integer type with a range is parsed.

Expressions for the lower and upper have been pushed before.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 118 of file prettyprinter.cpp.

References prefix_label.

◆ typeChannel()

void PrettyPrinter::typeChannel ( PREFIX )

overridevirtual

Called whenever a channel type is parsed.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 132 of file prettyprinter.cpp.

References prefix_label.

◆ typeClock()

void PrettyPrinter::typeClock ( PREFIX )

overridevirtual

Called whenever a clock type is parsed.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 137 of file prettyprinter.cpp.

References prefix_label.

◆ typeDouble()

void PrettyPrinter::typeDouble ( PREFIX )

overridevirtual

Called whenever a double type is parsed.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 110 of file prettyprinter.cpp.

References prefix_label.

◆ typeDuplicate()

void PrettyPrinter::typeDuplicate ( )

overridevirtual

Duplicate type at the top of the type stack.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 84 of file prettyprinter.cpp.

◆ typeInt()

void PrettyPrinter::typeInt ( PREFIX )

overridevirtual

Called whenever an integer type is parsed.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 102 of file prettyprinter.cpp.

References prefix_label.

◆ typeName()

void PrettyPrinter::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').

Reimplemented from UTAP::AbstractBuilder.

Definition at line 157 of file prettyprinter.cpp.

References prefix_label.

◆ typePop()

void PrettyPrinter::typePop ( )

overridevirtual

Pop type at the topof the type stack.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 89 of file prettyprinter.cpp.

◆ typeScalar()

void PrettyPrinter::typeScalar ( PREFIX )

overridevirtual

Called whenever a scalar type is parsed.

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

Reimplemented from UTAP::AbstractBuilder.

Definition at line 147 of file prettyprinter.cpp.

References prefix_label.

◆ typeStruct()

void PrettyPrinter::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.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 176 of file prettyprinter.cpp.

References prefix_label.

◆ typeVoid()

void PrettyPrinter::typeVoid ( )

overridevirtual

Called whenever a void type is parsed.

Reimplemented from UTAP::AbstractBuilder.

Definition at line 142 of file prettyprinter.cpp.

◆ whileBegin()

void PrettyPrinter::whileBegin ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 403 of file prettyprinter.cpp.

◆ whileEnd()

void PrettyPrinter::whileEnd ( )

overridevirtual

Reimplemented from UTAP::AbstractBuilder.

Definition at line 409 of file prettyprinter.cpp.

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

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ PrettyPrinter()

Member Function Documentation

◆ addPosition()

◆ afterUpdate()

◆ beforeUpdate()

◆ blockBegin()

◆ blockEnd()

◆ breakStatement()

◆ continueStatement()

◆ declFieldInit()

◆ declFuncBegin()

◆ declFuncEnd()

◆ declInitialiserList()

◆ declParameter()

◆ declTypeDef()

◆ declVar()

◆ done()

◆ doWhileBegin()

◆ doWhileEnd()

◆ emptyStatement()

◆ exprArray()

◆ exprAssignment()

◆ exprBinary()

◆ exprBuiltinFunction1()

◆ exprBuiltinFunction2()

◆ exprBuiltinFunction3()

◆ exprCallBegin()

◆ exprCallEnd()

◆ exprComma()

◆ exprDeadlock()

◆ exprDot()

◆ exprDouble()

◆ exprExistsBegin()

◆ exprExistsEnd()

◆ exprFalse()

◆ exprForAllBegin()

◆ exprForAllEnd()

◆ exprId()

◆ exprInlineIf()

◆ exprMitlBox()

◆ exprMitlDiamond()

◆ exprNary()

◆ exprNat()

◆ exprPostDecrement()

◆ exprPostIncrement()

◆ exprPreDecrement()

◆ exprPreIncrement()

◆ exprProbaQuantitative()

◆ exprScenario()

◆ exprSimulate()

◆ exprStatement()

◆ exprSumBegin()

◆ exprSumEnd()

◆ exprTernary()

◆ exprTrue()

◆ exprUnary()

◆ forBegin()

◆ forEnd()

◆ handleError()

◆ handleWarning()

◆ ifBegin()

◆ ifCondition()

◆ ifEnd()

◆ ifThen()

◆ instantiationBegin()

◆ instantiationEnd()

◆ isType()

◆ iterationBegin()

◆ iterationEnd()

◆ procBegin()

◆ procBranchpoint()

◆ procEdgeBegin() [1/2]

◆ procEdgeBegin() [2/2]

◆ procEdgeEnd()

◆ procEnd()

◆ process()