libutap
|
#include <abstractbuilder.h>
Public Member Functions | |
AbstractBuilder () | |
virtual void | setPosition (uint32_t, uint32_t) |
Sets the current position. More... | |
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 | typeDuplicate () |
Duplicate type at the top of the type stack. More... | |
virtual void | typePop () |
Pop type at the topof the type stack. 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 (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 *name) |
Called when a type name has been parsed. More... | |
virtual void | typeStruct (PREFIX, uint32_t fields) |
Called when a struct-type has been parsed. More... | |
virtual void | typeArrayOfSize (size_t) |
Called to create an array type. More... | |
virtual void | typeArrayOfType (size_t) |
Called to create an array type. 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 *name, 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 | 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 | declParameter (const char *name, bool) |
virtual void | declFuncBegin (const char *name) |
virtual void | declFuncEnd () |
virtual void | procBegin (const char *name, const bool isTA=true, const std::string type="", const std::string mode="") |
virtual void | procEnd () |
virtual void | procState (const char *name, bool hasInvariant, bool hasER) |
virtual void | procStateCommit (const char *name) |
virtual void | procStateUrgent (const char *name) |
virtual void | procStateInit (const char *name) |
virtual void | procBranchpoint (const char *name) |
virtual void | procEdgeBegin (const char *from, const char *to, const bool control, const char *actname) |
virtual void | procEdgeEnd (const char *from, const char *to) |
virtual void | procSelect (const char *id) |
virtual void | procGuard () |
virtual void | procSync (Constants::synchronisation_t type) |
virtual void | procUpdate () |
virtual void | 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 | 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 | switchBegin () |
virtual void | switchEnd () |
virtual void | caseBegin () |
virtual void | caseEnd () |
virtual void | defaultBegin () |
virtual void | defaultEnd () |
virtual void | exprStatement () |
virtual void | returnStatement (bool) |
virtual void | assertStatement () |
virtual void | exprTrue () |
virtual void | exprFalse () |
virtual void | exprDouble (double) |
virtual void | exprId (const char *varName) |
virtual void | exprNat (int32_t) |
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 unaryop) |
virtual void | exprBinary (Constants::kind_t binaryop) |
virtual void | exprNary (Constants::kind_t, uint32_t num) |
virtual void | exprScenario (const char *name) |
virtual void | exprTernary (Constants::kind_t ternaryop, bool firstMissing) |
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 | 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 | instantiationBegin (const char *, size_t, const char *) |
virtual void | instantiationEnd (const char *, size_t, const char *, size_t) |
virtual void | process (const char *) |
virtual void | processListEnd () |
virtual void | done () |
virtual void | property () |
virtual void | scenario (const char *) |
virtual void | parse (const char *) |
virtual void | beforeUpdate () |
virtual void | afterUpdate () |
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 | queryBegin () |
Verification queries. More... | |
virtual void | queryFormula (const char *formula, const char *location) |
virtual void | queryComment (const char *comment) |
virtual void | queryEnd () |
![]() | |
virtual | ~ParserBuilder () |
virtual void | addPosition (uint32_t position, uint32_t offset, uint32_t line, std::string path)=0 |
Add mapping from an absolute position to a relative XML element. More... | |
virtual void | handleError (std::string)=0 |
virtual void | handleWarning (std::string)=0 |
void | handleWarning (const char *msg,...) |
void | handleError (const char *msg,...) |
virtual void | exprProbaQuantitative (int, Constants::kind_t, bool=false)=0 |
virtual void | exprMitlDiamond (int, int)=0 |
virtual void | exprMitlBox (int, int)=0 |
virtual void | exprSimulate (int, int, int, bool=false, int=0)=0 |
Protected Attributes | |
position_t | position |
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 |
AbstractBuilder::AbstractBuilder | ( | ) |
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter.
|
virtual |
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Guard progress measure declaration.
Requires two expressions if hasGuard is true, otherwise one.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
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.
|
virtual |
Called to when a variable declaration has been parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.
|
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.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.
Referenced by UTAP::ExpressionBuilder::exprDot(), UTAP::ExpressionBuilder::exprExistsDynamicEnd(), UTAP::ExpressionBuilder::exprForAllDynamicEnd(), UTAP::ExpressionBuilder::exprForeachDynamicEnd(), and UTAP::ExpressionBuilder::exprSumDynamicEnd().
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Verification queries.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Sets the current position.
The current position indicates where in the input file the current productions can be found.
Implements UTAP::ParserBuilder.
References UTAP::position_t::end, position, and UTAP::position_t::start.
|
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.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
|
virtual |
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.
|
virtual |
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.
|
virtual |
Called whenever a boolean type is parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
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.
|
virtual |
Called whenever a channel type is parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Called whenever a clock type is parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Called whenever a double type is parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Duplicate type at the top of the type stack.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Called whenever an integer type is parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
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.
|
virtual |
Pop type at the topof the type stack.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
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.
|
virtual |
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.
|
virtual |
Called whenever a void type is parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
virtual |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
|
protected |
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::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(), setPosition(), 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().