libutap
|
#include <prettyprinter.h>
Public Member Functions | |
PrettyPrinter (std::ostream &stream) | |
virtual void | addPosition (uint32_t position, uint32_t offset, uint32_t line, std::string path) |
Add mapping from an absolute position to a relative XML element. More... | |
virtual void | handleError (std::string) |
virtual void | handleWarning (std::string) |
virtual bool | isType (const char *) |
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... | |
virtual void | typeBool (PREFIX) |
Called whenever a boolean type is parsed. More... | |
virtual void | typeInt (PREFIX) |
Called whenever an integer type is parsed. More... | |
virtual void | typeDouble (PREFIX) |
Called whenever a double type is parsed. More... | |
virtual void | typeBoundedInt (PREFIX) |
Called whenever an integer type with a range is parsed. More... | |
virtual void | typeChannel (PREFIX) |
Called whenever a channel type is parsed. More... | |
virtual void | typeClock () |
virtual void | typeClock (PREFIX) |
Called whenever a clock type is parsed. More... | |
virtual void | typeVoid () |
Called whenever a void type is parsed. More... | |
virtual void | typeScalar (PREFIX) |
Called whenever a scalar type is parsed. More... | |
virtual void | typeName (PREFIX, const char *type) |
Called when a type name has been parsed. More... | |
virtual void | typePop () |
Pop type at the topof the type stack. More... | |
virtual void | typeDuplicate () |
Duplicate type at the top of the type stack. More... | |
virtual void | typeArrayOfSize (size_t n) |
Called to create an array type. More... | |
virtual void | typeArrayOfType (size_t n) |
Called to create an array type. More... | |
virtual void | typeStruct (PREFIX prefix, uint32_t n) |
Called when a struct-type has been parsed. More... | |
virtual void | structField (const char *name) |
Called to declare a field of a structure. More... | |
virtual void | declTypeDef (const char *name) |
Used when a typedef declaration was parsed. More... | |
virtual void | declVar (const char *id, bool init) |
Called to when a variable declaration has been parsed. More... | |
virtual void | declInitialiserList (uint32_t num) |
virtual void | declFieldInit (const char *name) |
virtual void | declParameter (const char *name, bool) |
virtual void | declFuncBegin (const char *name) |
virtual void | declFuncEnd () |
virtual void | blockBegin () |
virtual void | blockEnd () |
virtual void | emptyStatement () |
virtual void | forBegin () |
virtual void | forEnd () |
virtual void | iterationBegin (const char *name) |
virtual void | iterationEnd (const char *name) |
virtual void | whileBegin () |
virtual void | whileEnd () |
virtual void | doWhileBegin () |
virtual void | doWhileEnd () |
virtual void | ifBegin () |
virtual void | ifElse () |
virtual void | ifEnd (bool) |
virtual void | breakStatement () |
virtual void | continueStatement () |
virtual void | exprStatement () |
virtual void | returnStatement (bool hasValue) |
virtual void | procBegin (const char *name, const bool isTA=true, const std::string type="", const std::string mode="") |
virtual void | procState (const char *id, bool hasInvariant) |
virtual void | procState (const char *id, bool hasInvariant, bool hasExpRate) |
virtual void | procStateUrgent (const char *id) |
virtual void | procStateCommit (const char *id) |
virtual void | procStateInit (const char *id) |
virtual void | procSelect (const char *id) |
virtual void | procGuard () |
virtual void | procSync (Constants::synchronisation_t type) |
virtual void | procUpdate () |
virtual void | procEdgeBegin (const char *source, const char *target, const bool control) |
virtual void | procEdgeBegin (const char *source, const char *target, const bool control, const char *actname) |
virtual void | procEdgeEnd (const char *source, const char *target) |
virtual void | procEnd () |
virtual void | exprId (const char *id) |
virtual void | exprNat (int32_t n) |
virtual void | exprTrue () |
virtual void | exprFalse () |
virtual void | exprCallBegin () |
virtual void | exprCallEnd (uint32_t n) |
virtual void | exprArray () |
virtual void | exprPostIncrement () |
virtual void | exprPreIncrement () |
virtual void | exprPostDecrement () |
virtual void | exprPreDecrement () |
virtual void | exprAssignment (Constants::kind_t op) |
virtual void | exprUnary (Constants::kind_t op) |
virtual void | exprBinary (Constants::kind_t op) |
virtual void | exprNary (Constants::kind_t op, uint32_t num) |
virtual void | exprScenario (const char *name) |
virtual void | exprTernary (Constants::kind_t op) |
virtual void | exprInlineIf () |
virtual void | exprComma () |
virtual void | exprDot (const char *) |
virtual void | exprDeadlock () |
virtual void | exprForAllBegin (const char *name) |
virtual void | exprForAllEnd (const char *name) |
virtual void | exprExistsBegin (const char *name) |
virtual void | exprExistsEnd (const char *name) |
virtual void | exprSumBegin (const char *name) |
virtual void | exprSumEnd (const char *name) |
virtual void | exprProba (bool, int, double, int) |
virtual void | exprProba2 (bool, int) |
virtual void | exprProbaQuantitative (int, Constants::kind_t, bool) |
virtual void | exprMitlDiamond (int, int) |
virtual void | exprMitlBox (int, int) |
virtual void | exprSimulate (int, int, int, bool, int) |
virtual void | beforeUpdate () |
virtual void | afterUpdate () |
virtual void | instantiationBegin (const char *, size_t, const char *) |
virtual void | instantiationEnd (const char *, size_t, const char *, size_t) |
virtual void | process (const char *id) |
virtual void | processListEnd () |
virtual void | done () |
virtual void | queryBegin () |
Verification queries. More... | |
virtual void | queryFormula (const char *) |
virtual void | queryComment (const char *) |
virtual void | queryEnd () |
![]() | |
AbstractBuilder () | |
virtual void | setPosition (uint32_t, uint32_t) |
Sets the current position. More... | |
virtual void | ganttDeclStart (const char *name) |
virtual void | ganttDeclSelect (const char *id) |
virtual void | ganttDeclEnd () |
virtual void | ganttEntryStart () |
virtual void | ganttEntrySelect (const char *id) |
virtual void | ganttEntryEnd () |
virtual void | declProgress (bool) |
Guard progress measure declaration. More... | |
virtual void | procBranchpoint (const char *name) |
virtual void | procProb () |
virtual void | procInstanceLine () |
virtual void | instanceName (const char *name, bool templ=true) |
virtual void | instanceNameBegin (const char *name) |
virtual void | instanceNameEnd (const char *name, size_t arguments) |
virtual void | procMessage (const char *from, const char *to, const int loc, const bool pch) |
virtual void | procMessage (Constants::synchronisation_t type) |
virtual void | procCondition (const std::vector< char * > anchors, const int loc, const bool pch, const bool hot) |
virtual void | procCondition () |
virtual void | procLscUpdate (const char *anchor, const int loc, const bool pch) |
virtual void | procLscUpdate () |
virtual void | hasPrechart (const bool pch) |
virtual void | switchBegin () |
virtual void | switchEnd () |
virtual void | caseBegin () |
virtual void | caseEnd () |
virtual void | defaultBegin () |
virtual void | defaultEnd () |
virtual void | assertStatement () |
virtual void | exprDouble (double) |
virtual void | exprTernary (Constants::kind_t ternaryop, bool firstMissing) |
virtual void | exprSync (Constants::synchronisation_t type) |
virtual void | declIO (const char *, int, int) |
virtual void | exprSMCControl (int) |
virtual void | exprProbaQualitative (int, Constants::kind_t, Constants::kind_t, double) |
virtual void | exprProbaQuantitative (int, Constants::kind_t) |
virtual void | exprProbaCompare (int, Constants::kind_t, int, Constants::kind_t) |
virtual void | exprProbaExpected (int, const char *) |
virtual void | exprSimulate (int, int, int) |
virtual void | exprBuiltinFunction1 (Constants::kind_t) |
virtual void | exprBuiltinFunction2 (Constants::kind_t) |
virtual void | exprMitlFormula () |
virtual void | exprMitlUntil (int, int) |
virtual void | exprMitlRelease (int, int) |
virtual void | exprMitlDisj () |
virtual void | exprMitlConj () |
virtual void | exprMitlNext () |
virtual void | exprMitlAtom () |
virtual void | property () |
virtual void | scenario (const char *) |
virtual void | parse (const char *) |
virtual void | beginChanPriority () |
virtual void | addChanPriority (char separator) |
virtual void | defaultChanPriority () |
virtual void | incProcPriority () |
virtual void | procPriority (const char *) |
virtual void | declDynamicTemplate (std::string) |
Dynamic. More... | |
virtual void | exprSpawn (int) |
virtual void | exprExit () |
virtual void | exprNumOf () |
virtual void | exprForAllDynamicBegin (const char *, const char *) |
virtual void | exprForAllDynamicEnd (const char *name) |
virtual void | exprExistsDynamicBegin (const char *, const char *) |
virtual void | exprExistsDynamicEnd (const char *name) |
virtual void | exprSumDynamicBegin (const char *, const char *) |
virtual void | exprSumDynamicEnd (const char *) |
virtual void | exprForeachDynamicBegin (const char *, const char *) |
virtual void | exprForeachDynamicEnd (const char *name) |
virtual void | exprDynamicProcessExpr (const char *) |
virtual void | exprMITLForAllDynamicBegin (const char *, const char *) |
virtual void | exprMITLForAllDynamicEnd (const char *name) |
virtual void | exprMITLExistsDynamicBegin (const char *, const char *) |
virtual void | exprMITLExistsDynamicEnd (const char *name) |
virtual void | queryFormula (const char *formula, const char *location) |
![]() | |
virtual | ~ParserBuilder () |
void | handleWarning (const char *msg,...) |
void | handleError (const char *msg,...) |
Additional Inherited Members | |
![]() | |
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 } |
![]() | |
std::vector< std::string > | lscTemplateNames |
![]() | |
position_t | position |
PrettyPrinter::PrettyPrinter | ( | std::ostream & | stream | ) |
|
virtual |
Add mapping from an absolute position to a relative XML element.
Implements UTAP::ParserBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Used when a typedef declaration was parsed.
name is the name of the new type.
Reimplemented from UTAP::AbstractBuilder.
References types.
|
virtual |
Called to when a variable declaration has been parsed.
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
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.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
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::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.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
References UTAP::Constants::LIST, UTAP::Constants::SYNTAX_COMPOSITION, UTAP::Constants::TIOCOMPOSITION, and UTAP::Constants::TIOCONJUNCTION.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
References UTAP::Constants::BOX, and UTAP::Constants::LE.
|
virtual |
References UTAP::Constants::BOX.
|
virtual |
Implements UTAP::ParserBuilder.
References UTAP::Constants::BOX.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
References UTAP::Constants::CONTROL_TOPT, and UTAP::Constants::SMC_CONTROL.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
References UTAP::Constants::CONTROL, UTAP::Constants::CONTROL_TOPT_DEF2, UTAP::Constants::EF_CONTROL, UTAP::Constants::FRACTION, UTAP::Constants::IMPLEMENTATION, UTAP::Constants::MINUS, UTAP::Constants::NOT, UTAP::Constants::PLUS, UTAP::Constants::RATE, and UTAP::Constants::SPECIFICATION.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
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.
References types.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
References UTAP::Constants::SYNC_BANG, UTAP::Constants::SYNC_CSP, and UTAP::Constants::SYNC_QUE.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Verification queries.
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
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.
|
virtual |
Called to create an array type.
The size of the array was previously pushed as an expression.
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Called to create an array type.
The size of the array was previously pushed as a type.
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Called whenever a boolean type is parsed.
Reimplemented from UTAP::AbstractBuilder.
References prefix_label.
|
virtual |
Called whenever an integer type with a range is parsed.
Expressions for the lower and upper have been pushed before.
Reimplemented from UTAP::AbstractBuilder.
References prefix_label.
|
virtual |
Called whenever a channel type is parsed.
Reimplemented from UTAP::AbstractBuilder.
References prefix_label.
|
virtual |
|
virtual |
Called whenever a clock type is parsed.
Reimplemented from UTAP::AbstractBuilder.
References prefix_label.
|
virtual |
Called whenever a double type is parsed.
Reimplemented from UTAP::AbstractBuilder.
References prefix_label.
|
virtual |
Duplicate type at the top of the type stack.
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Called whenever an integer type is parsed.
Reimplemented from UTAP::AbstractBuilder.
References prefix_label.
|
virtual |
Called when a type name has been parsed.
Prefix indicates whether the type named was prefixed (e.g. with 'const').
Reimplemented from UTAP::AbstractBuilder.
References prefix_label.
|
virtual |
Pop type at the topof the type stack.
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Called whenever a scalar type is parsed.
The size of the scalar set was pushed as an expression before.
Reimplemented from UTAP::AbstractBuilder.
References prefix_label.
|
virtual |
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.
References prefix_label.
|
virtual |
Called whenever a void type is parsed.
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.
|
virtual |
Reimplemented from UTAP::AbstractBuilder.