#include <abstractbuilder.h>
Inheritance diagram for UTAP::AbstractBuilder:
Public Member Functions | |
AbstractBuilder () | |
virtual void | setErrorHandler (ErrorHandler *) |
Set the error handler to the given handler. | |
virtual void | setPosition (const position_t &) |
Sets the current position. | |
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. | |
virtual bool | isLocation (const char *) |
virtual void | typeName (int32_t prefix, const char *name, int range) |
Called when a type name has been parsed. | |
virtual void | typeStruct (int32_t prefix, uint32_t fields) |
Called when a struct-type has been parsed. | |
virtual void | structField (const char *name, uint32_t dim) |
Called to declare a field of a structure. | |
virtual void | structFieldEnd () |
Called at the end of a series of field declarations of the same type. | |
virtual void | declTypeDef (const char *name, uint32_t dim) |
Used when a typedef declaration was parsed. | |
virtual void | declTypeDefEnd () |
Called at the end of a series of type name declarations of the same type. | |
virtual void | declVar (const char *name, uint32_t dim, bool init) |
Called to when a variable declaration has been parsed. | |
virtual void | declVarEnd () |
Called at the end of a series of variable declarations of the same type. | |
virtual void | declInitialiserList (uint32_t num) |
virtual void | declFieldInit (const char *name) |
virtual void | declProgress (bool) |
Guard progress measure declaration. | |
virtual void | declParameter (const char *name, bool reference, uint32_t dim) |
virtual void | declParameterEnd () |
virtual void | declFuncBegin (const char *name, uint32_t n) |
virtual void | declFuncEnd () |
virtual void | procTemplateSet (const char *name) |
virtual void | procBegin (const char *name, uint32_t n, uint32_t m) |
virtual void | procEnd () |
virtual void | procState (const char *name, bool hasInvariant) |
virtual void | procStateCommit (const char *name) |
virtual void | procStateUrgent (const char *name) |
virtual void | procStateWinning (const char *name) |
virtual void | procStateLosing (const char *name) |
virtual void | procStateInit (const char *name) |
virtual void | procEdgeBegin (const char *from, const char *to, const bool control) |
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 | 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 | exprTrue () |
virtual void | exprFalse () |
virtual void | exprId (const char *varName) |
virtual void | exprNat (int32_t) |
virtual void | exprCallBegin () |
virtual void | exprCallEnd (uint32_t n) |
virtual void | exprArg (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 | 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 | instantiationBegin (const char *, const char *) |
virtual void | instantiationEnd (const char *, const char *, uint32_t n) |
virtual void | process (const char *) |
virtual void | done () |
virtual void | property (Constants::kind_t, int line) |
virtual void | beforeUpdate () |
virtual void | afterUpdate () |
virtual void | lowPriority (const char *) |
virtual void | samePriority (const char *) |
virtual void | higherPriority (const char *) |
Protected Attributes | |
ErrorHandler * | errorHandler |
position_t | position |
|
|
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Guard progress measure declaration. Requires two expressions if hasGuard is true, otherwise one. Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Used when a typedef declaration was parsed. name is the name of the new type, and dim is the dimension of array types. Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Called at the end of a series of type name declarations of the same type.
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Called to when a variable declaration has been parsed.
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Called at the end of a series of variable declarations of the same type.
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Reimplemented in UTAP::ExpressionBuilder. |
|
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. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Reimplemented from UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Set the error handler to the given handler. Errors are reported by calling this handler or by throwing a TypeException. Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter. |
|
Sets the current position. The current position indicates where in the input file the current productions can be found. Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter. |
|
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::SystemBuilder. |
|
Called at the end of a series of field declarations of the same type.
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Called when a type name has been parsed. Prefix indicates whether the type named was prefixed (e.g. with 'const'). The range argument indicates whether a range was given for the type (in that case two expressions were reported using the exprXXX methods). Implements UTAP::ParserBuilder. Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter. |
|
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::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
Implements UTAP::ParserBuilder. Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder. |
|
|
|
|