#include <abstractbuilder.h>
Inheritance diagram for UTAP::AbstractBuilder:
Public Member Functions | |
| AbstractBuilder () | |
| virtual void | setPosition (uint32_t, uint32_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 void | typeDuplicate () |
| Duplicate type at the top of the type stack. | |
| virtual void | typePop () |
| Pop type at the topof the type stack. | |
| virtual void | typeBool (PREFIX) |
| virtual void | typeInt (PREFIX) |
| virtual void | typeBoundedInt (PREFIX) |
| virtual void | typeChannel (PREFIX) |
| virtual void | typeClock () |
| Called whenever a clock type is parsed. | |
| virtual void | typeVoid () |
| Called whenever a void type is parsed. | |
| virtual void | typeScalar (PREFIX) |
| virtual void | typeName (PREFIX, const char *name) |
| virtual void | typeStruct (PREFIX, uint32_t fields) |
| virtual void | typeArrayOfSize (size_t) |
| Called to create an array type. | |
| virtual void | typeArrayOfType (size_t) |
| Called to create an array type. | |
| virtual void | structField (const char *name) |
| Called to declare a field of a structure. | |
| virtual void | declTypeDef (const char *name) |
| Used when a typedef declaration was parsed. | |
| virtual void | declVar (const char *name, bool init) |
| Called to when a variable declaration has been parsed. | |
| 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) |
| virtual void | declFuncBegin (const char *name) |
| virtual void | declFuncEnd () |
| virtual void | procBegin (const char *name) |
| 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 | 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 | assertStatement () |
| 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 | 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 | 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 | 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 | done () |
| virtual void | property () |
| virtual void | paramProperty (size_t, Constants::kind_t) |
| virtual void | declParamId (const char *) |
| virtual void | beforeUpdate () |
| virtual void | afterUpdate () |
| virtual void | incProcPriority () |
| virtual void | incChanPriority () |
| virtual void | chanPriority () |
| virtual void | procPriority (const char *) |
| virtual void | defaultChanPriority () |
| virtual void | ssQueryBegin () |
| virtual void | ssQueryEnd () |
Protected Attributes | |
| position_t | position |
| AbstractBuilder::AbstractBuilder | ( | ) |
| void AbstractBuilder::afterUpdate | ( | ) | [virtual] |
| void AbstractBuilder::assertStatement | ( | ) | [virtual] |
| void AbstractBuilder::beforeUpdate | ( | ) | [virtual] |
| void AbstractBuilder::blockBegin | ( | ) | [virtual] |
| void AbstractBuilder::blockEnd | ( | ) | [virtual] |
| void AbstractBuilder::breakStatement | ( | ) | [virtual] |
| void AbstractBuilder::caseBegin | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::caseEnd | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::chanPriority | ( | ) | [virtual] |
| void AbstractBuilder::continueStatement | ( | ) | [virtual] |
| void AbstractBuilder::declFieldInit | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::declFuncBegin | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::declFuncEnd | ( | ) | [virtual] |
| void AbstractBuilder::declInitialiserList | ( | uint32_t | num | ) | [virtual] |
| void AbstractBuilder::declParameter | ( | const char * | name, | |
| bool | ||||
| ) | [virtual] |
| void AbstractBuilder::declParamId | ( | const char * | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::declProgress | ( | bool | ) | [virtual] |
Guard progress measure declaration.
Requires two expressions if hasGuard is true, otherwise one.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::SystemBuilder.
| void AbstractBuilder::declTypeDef | ( | const char * | name | ) | [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.
| void AbstractBuilder::declVar | ( | const char * | name, | |
| bool | init | |||
| ) | [virtual] |
Called to when a variable declaration has been parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::PrettyPrinter, and UTAP::StatementBuilder.
| void AbstractBuilder::defaultBegin | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::defaultChanPriority | ( | ) | [virtual] |
| void AbstractBuilder::defaultEnd | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::done | ( | ) | [virtual] |
| void AbstractBuilder::doWhileBegin | ( | ) | [virtual] |
| void AbstractBuilder::doWhileEnd | ( | ) | [virtual] |
| void AbstractBuilder::emptyStatement | ( | ) | [virtual] |
| void AbstractBuilder::exprArray | ( | ) | [virtual] |
| void AbstractBuilder::exprAssignment | ( | Constants::kind_t | op | ) | [virtual] |
| void AbstractBuilder::exprBinary | ( | Constants::kind_t | binaryop | ) | [virtual] |
| void AbstractBuilder::exprCallBegin | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
| void AbstractBuilder::exprCallEnd | ( | uint32_t | n | ) | [virtual] |
| void AbstractBuilder::exprComma | ( | ) | [virtual] |
| void AbstractBuilder::exprDeadlock | ( | ) | [virtual] |
| void AbstractBuilder::exprDot | ( | const char * | ) | [virtual] |
| void AbstractBuilder::exprExistsBegin | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::exprExistsEnd | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::exprFalse | ( | ) | [virtual] |
| void AbstractBuilder::exprForAllBegin | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::exprForAllEnd | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::exprId | ( | const char * | varName | ) | [virtual] |
| void AbstractBuilder::exprInlineIf | ( | ) | [virtual] |
| void AbstractBuilder::exprNat | ( | int32_t | ) | [virtual] |
| void AbstractBuilder::exprPostDecrement | ( | ) | [virtual] |
| void AbstractBuilder::exprPostIncrement | ( | ) | [virtual] |
| void AbstractBuilder::exprPreDecrement | ( | ) | [virtual] |
| void AbstractBuilder::exprPreIncrement | ( | ) | [virtual] |
| void AbstractBuilder::exprStatement | ( | ) | [virtual] |
| void AbstractBuilder::exprTernary | ( | Constants::kind_t | ternaryop, | |
| bool | firstMissing | |||
| ) | [virtual] |
| void AbstractBuilder::exprTrue | ( | ) | [virtual] |
| void AbstractBuilder::exprUnary | ( | Constants::kind_t | unaryop | ) | [virtual] |
| void AbstractBuilder::forBegin | ( | ) | [virtual] |
| void AbstractBuilder::forEnd | ( | ) | [virtual] |
| void AbstractBuilder::ifBegin | ( | ) | [virtual] |
| void AbstractBuilder::ifElse | ( | ) | [virtual] |
| void AbstractBuilder::ifEnd | ( | bool | ) | [virtual] |
| void AbstractBuilder::incChanPriority | ( | ) | [virtual] |
| void AbstractBuilder::incProcPriority | ( | ) | [virtual] |
| void AbstractBuilder::instantiationBegin | ( | const char * | , | |
| size_t | , | |||
| const char * | ||||
| ) | [virtual] |
| void AbstractBuilder::instantiationEnd | ( | const char * | , | |
| size_t | , | |||
| const char * | , | |||
| size_t | ||||
| ) | [virtual] |
| bool AbstractBuilder::isType | ( | const char * | ) | [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.
| void AbstractBuilder::iterationBegin | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::iterationEnd | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::paramProperty | ( | size_t | , | |
| Constants::kind_t | ||||
| ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::procBegin | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::procEdgeBegin | ( | const char * | from, | |
| const char * | to, | |||
| const bool | control | |||
| ) | [virtual] |
| void AbstractBuilder::procEdgeEnd | ( | const char * | from, | |
| const char * | to | |||
| ) | [virtual] |
| void AbstractBuilder::procEnd | ( | ) | [virtual] |
| void AbstractBuilder::process | ( | const char * | ) | [virtual] |
| void AbstractBuilder::procGuard | ( | ) | [virtual] |
| void AbstractBuilder::procPriority | ( | const char * | ) | [virtual] |
| void AbstractBuilder::procSelect | ( | const char * | id | ) | [virtual] |
| void AbstractBuilder::procState | ( | const char * | name, | |
| bool | hasInvariant | |||
| ) | [virtual] |
| void AbstractBuilder::procStateCommit | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::procStateInit | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::procStateUrgent | ( | const char * | name | ) | [virtual] |
| void AbstractBuilder::procSync | ( | Constants::synchronisation_t | type | ) | [virtual] |
| void AbstractBuilder::procUpdate | ( | ) | [virtual] |
| void AbstractBuilder::property | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::returnStatement | ( | bool | ) | [virtual] |
| void AbstractBuilder::setPosition | ( | uint32_t | , | |
| uint32_t | ||||
| ) | [virtual] |
Sets the current position.
The current position indicates where in the input file the current productions can be found.
Implements UTAP::ParserBuilder.
| void AbstractBuilder::ssQueryBegin | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::ssQueryEnd | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::structField | ( | const char * | name | ) | [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::StatementBuilder.
| void AbstractBuilder::switchBegin | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::switchEnd | ( | ) | [virtual] |
Implements UTAP::ParserBuilder.
| void AbstractBuilder::typeArrayOfSize | ( | size_t | ) | [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.
| void AbstractBuilder::typeArrayOfType | ( | size_t | ) | [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.
| void AbstractBuilder::typeBool | ( | PREFIX | ) | [virtual] |
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typeBoundedInt | ( | PREFIX | ) | [virtual] |
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typeChannel | ( | PREFIX | ) | [virtual] |
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typeClock | ( | ) | [virtual] |
Called whenever a clock type is parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typeDuplicate | ( | ) | [virtual] |
Duplicate type at the top of the type stack.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typeInt | ( | PREFIX | ) | [virtual] |
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typeName | ( | PREFIX | , | |
| const char * | name | |||
| ) | [virtual] |
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typePop | ( | ) | [virtual] |
Pop type at the topof the type stack.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typeScalar | ( | PREFIX | ) | [virtual] |
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::typeStruct | ( | PREFIX | , | |
| uint32_t | fields | |||
| ) | [virtual] |
Reimplemented in UTAP::StatementBuilder.
| void AbstractBuilder::typeVoid | ( | ) | [virtual] |
Called whenever a void type is parsed.
Implements UTAP::ParserBuilder.
Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
| void AbstractBuilder::whileBegin | ( | ) | [virtual] |
| void AbstractBuilder::whileEnd | ( | ) | [virtual] |
position_t UTAP::AbstractBuilder::position [protected] |
1.4.7