#include <builder.h>
Inheritance diagram for UTAP::ParserBuilder:
Public Types | |
PREFIX_NONE = 0 | |
PREFIX_CONST = 1 | |
PREFIX_URGENT = 2 | |
PREFIX_BROADCAST = 4 | |
PREFIX_URGENT_BROADCAST = 6 | |
PREFIX_META = 8 | |
enum | PREFIX { PREFIX_NONE = 0, PREFIX_CONST = 1, PREFIX_URGENT = 2, PREFIX_BROADCAST = 4, PREFIX_URGENT_BROADCAST = 6, PREFIX_META = 8 } |
Public Member Functions | |
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. | |
virtual void | setPosition (uint32_t a, uint32_t b)=0 |
Sets the current position. | |
virtual void | handleError (std::string)=0 |
virtual void | handleWarning (std::string)=0 |
void | handleWarning (const char *msg,...) |
void | handleError (const char *msg,...) |
virtual bool | isType (const char *)=0 |
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 ()=0 |
Duplicate type at the top of the type stack. | |
virtual void | typePop ()=0 |
Pop type at the topof the type stack. | |
virtual void | typeBool (PREFIX)=0 |
Called whenever a boolean type is parsed. | |
virtual void | typeInt (PREFIX)=0 |
Called whenever an integer type is parsed. | |
virtual void | typeBoundedInt (PREFIX)=0 |
Called whenever an integer type with a range is parsed. | |
virtual void | typeChannel (PREFIX)=0 |
Called whenever a channel type is parsed. | |
virtual void | typeClock ()=0 |
Called whenever a clock type is parsed. | |
virtual void | typeVoid ()=0 |
Called whenever a void type is parsed. | |
virtual void | typeArrayOfSize (size_t)=0 |
Called to create an array type. | |
virtual void | typeArrayOfType (size_t)=0 |
Called to create an array type. | |
virtual void | typeScalar (PREFIX)=0 |
Called whenever a scalar type is parsed. | |
virtual void | typeName (PREFIX, const char *name)=0 |
Called when a type name has been parsed. | |
virtual void | typeStruct (PREFIX, uint32_t fields)=0 |
Called when a struct-type has been parsed. | |
virtual void | structField (const char *name)=0 |
Called to declare a field of a structure. | |
virtual void | declTypeDef (const char *name)=0 |
Used when a typedef declaration was parsed. | |
virtual void | declVar (const char *name, bool init)=0 |
Called to when a variable declaration has been parsed. | |
virtual void | declInitialiserList (uint32_t num)=0 |
virtual void | declFieldInit (const char *name)=0 |
virtual void | declProgress (bool hasGuard)=0 |
Guard progress measure declaration. | |
virtual void | declParameter (const char *name, bool ref)=0 |
virtual void | declFuncBegin (const char *name)=0 |
virtual void | declFuncEnd ()=0 |
virtual void | procBegin (const char *name)=0 |
virtual void | procEnd ()=0 |
virtual void | procState (const char *name, bool hasInvariant)=0 |
virtual void | procStateCommit (const char *name)=0 |
virtual void | procStateUrgent (const char *name)=0 |
virtual void | procStateInit (const char *name)=0 |
virtual void | procEdgeBegin (const char *from, const char *to, const bool control)=0 |
virtual void | procEdgeEnd (const char *from, const char *to)=0 |
virtual void | procSelect (const char *id)=0 |
virtual void | procGuard ()=0 |
virtual void | procSync (Constants::synchronisation_t type)=0 |
virtual void | procUpdate ()=0 |
virtual void | blockBegin ()=0 |
virtual void | blockEnd ()=0 |
virtual void | emptyStatement ()=0 |
virtual void | forBegin ()=0 |
virtual void | forEnd ()=0 |
virtual void | iterationBegin (const char *name)=0 |
virtual void | iterationEnd (const char *name)=0 |
virtual void | whileBegin ()=0 |
virtual void | whileEnd ()=0 |
virtual void | doWhileBegin ()=0 |
virtual void | doWhileEnd ()=0 |
virtual void | ifBegin ()=0 |
virtual void | ifElse ()=0 |
virtual void | ifEnd (bool)=0 |
virtual void | breakStatement ()=0 |
virtual void | continueStatement ()=0 |
virtual void | switchBegin ()=0 |
virtual void | switchEnd ()=0 |
virtual void | caseBegin ()=0 |
virtual void | caseEnd ()=0 |
virtual void | defaultBegin ()=0 |
virtual void | defaultEnd ()=0 |
virtual void | exprStatement ()=0 |
virtual void | returnStatement (bool)=0 |
virtual void | assertStatement ()=0 |
virtual void | exprFalse ()=0 |
virtual void | exprTrue ()=0 |
virtual void | exprId (const char *varName)=0 |
virtual void | exprNat (int32_t)=0 |
virtual void | exprCallBegin ()=0 |
virtual void | exprCallEnd (uint32_t n)=0 |
virtual void | exprArray ()=0 |
virtual void | exprPostIncrement ()=0 |
virtual void | exprPreIncrement ()=0 |
virtual void | exprPostDecrement ()=0 |
virtual void | exprPreDecrement ()=0 |
virtual void | exprAssignment (Constants::kind_t op)=0 |
virtual void | exprUnary (Constants::kind_t unaryop)=0 |
virtual void | exprBinary (Constants::kind_t binaryop)=0 |
virtual void | exprTernary (Constants::kind_t ternaryop, bool firstMissing=false)=0 |
virtual void | exprInlineIf ()=0 |
virtual void | exprComma ()=0 |
virtual void | exprDot (const char *)=0 |
virtual void | exprDeadlock ()=0 |
virtual void | exprForAllBegin (const char *name)=0 |
virtual void | exprForAllEnd (const char *name)=0 |
virtual void | exprExistsBegin (const char *name)=0 |
virtual void | exprExistsEnd (const char *name)=0 |
virtual void | instantiationBegin (const char *id, size_t parameters, const char *templ)=0 |
virtual void | instantiationEnd (const char *id, size_t parameters, const char *templ, size_t arguments)=0 |
virtual void | process (const char *)=0 |
virtual void | done ()=0 |
virtual void | property ()=0 |
virtual void | paramProperty (size_t, Constants::kind_t)=0 |
virtual void | declParamId (const char *)=0 |
virtual void | beforeUpdate ()=0 |
virtual void | afterUpdate ()=0 |
virtual void | incProcPriority ()=0 |
virtual void | incChanPriority ()=0 |
virtual void | chanPriority ()=0 |
virtual void | procPriority (const char *)=0 |
virtual void | defaultChanPriority ()=0 |
virtual void | ssQueryBegin ()=0 |
virtual void | ssQueryEnd ()=0 |
The parser itself will only parse the system - it will not actually store or otherwise process the input. Instead, the parser is configured with an implementation of the ParserBuilder interface. Productions in the BNF implemented by the parser correspond to methods in the ParserBuilder interface.
Errors (such as type errors) can be reported back to the parser by either throwing a TypeException or by calling an error method in the ErrorHandler that has been set by a call to setErrorHandler().
Expressions are reported in reverse polish notation using the exprXXX methods.
The proper protocol for declaring a new type name is to
The proper protocol for declaring a variable is to
virtual UTAP::ParserBuilder::~ParserBuilder | ( | ) | [inline, virtual] |
virtual void UTAP::ParserBuilder::addPosition | ( | uint32_t | position, | |
uint32_t | offset, | |||
uint32_t | line, | |||
std::string | path | |||
) | [pure virtual] |
Add mapping from an absolute position to a relative XML element.
Implemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::afterUpdate | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::assertStatement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::beforeUpdate | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::blockBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::blockEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::breakStatement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::caseBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::caseEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::chanPriority | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::continueStatement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::declFieldInit | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::declFuncBegin | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::declFuncEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::declInitialiserList | ( | uint32_t | num | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::declParameter | ( | const char * | name, | |
bool | ref | |||
) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::declParamId | ( | const char * | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::declProgress | ( | bool | hasGuard | ) | [pure virtual] |
Guard progress measure declaration.
Requires two expressions if hasGuard is true, otherwise one.
Implemented in UTAP::AbstractBuilder, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::declTypeDef | ( | const char * | name | ) | [pure virtual] |
Used when a typedef declaration was parsed.
name is the name of the new type.
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::declVar | ( | const char * | name, | |
bool | init | |||
) | [pure virtual] |
Called to when a variable declaration has been parsed.
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::defaultBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::defaultChanPriority | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::defaultEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::done | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::doWhileBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::doWhileEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::emptyStatement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::exprArray | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprAssignment | ( | Constants::kind_t | op | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprBinary | ( | Constants::kind_t | binaryop | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprCallBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::exprCallEnd | ( | uint32_t | n | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprComma | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprDeadlock | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprDot | ( | const char * | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprExistsBegin | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprExistsEnd | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprFalse | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprForAllBegin | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprForAllEnd | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprId | ( | const char * | varName | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprInlineIf | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprNat | ( | int32_t | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprPostDecrement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprPostIncrement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprPreDecrement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprPreIncrement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprStatement | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::exprTernary | ( | Constants::kind_t | ternaryop, | |
bool | firstMissing = false | |||
) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::ExpressionBuilder.
virtual void UTAP::ParserBuilder::exprTrue | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::exprUnary | ( | Constants::kind_t | unaryop | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::forBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::forEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
void ParserBuilder::handleError | ( | const char * | msg, | |
... | ||||
) |
virtual void UTAP::ParserBuilder::handleError | ( | std::string | ) | [pure virtual] |
Implemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
void ParserBuilder::handleWarning | ( | const char * | msg, | |
... | ||||
) |
virtual void UTAP::ParserBuilder::handleWarning | ( | std::string | ) | [pure virtual] |
Implemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::ifBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::ifElse | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::ifEnd | ( | bool | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::incChanPriority | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::incProcPriority | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::instantiationBegin | ( | const char * | id, | |
size_t | parameters, | |||
const char * | templ | |||
) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::instantiationEnd | ( | const char * | id, | |
size_t | parameters, | |||
const char * | templ, | |||
size_t | arguments | |||
) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual bool UTAP::ParserBuilder::isType | ( | const char * | ) | [pure 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.
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::iterationBegin | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::iterationEnd | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::paramProperty | ( | size_t | , | |
Constants::kind_t | ||||
) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::procBegin | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procEdgeBegin | ( | const char * | from, | |
const char * | to, | |||
const bool | control | |||
) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procEdgeEnd | ( | const char * | from, | |
const char * | to | |||
) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::process | ( | const char * | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procGuard | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procPriority | ( | const char * | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procSelect | ( | const char * | id | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procState | ( | const char * | name, | |
bool | hasInvariant | |||
) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procStateCommit | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procStateInit | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procStateUrgent | ( | const char * | name | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procSync | ( | Constants::synchronisation_t | type | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::procUpdate | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.
virtual void UTAP::ParserBuilder::property | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::returnStatement | ( | bool | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::setPosition | ( | uint32_t | a, | |
uint32_t | b | |||
) | [pure virtual] |
Sets the current position.
The current position indicates where in the input file the current productions can be found.
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::ssQueryBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::ssQueryEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::structField | ( | const char * | name | ) | [pure 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.
Implemented in UTAP::AbstractBuilder, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::switchBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::switchEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder.
virtual void UTAP::ParserBuilder::typeArrayOfSize | ( | size_t | ) | [pure virtual] |
Called to create an array type.
The size of the array was previously pushed as an expression.
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::typeArrayOfType | ( | size_t | ) | [pure virtual] |
Called to create an array type.
The size of the array was previously pushed as a type.
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::typeBool | ( | PREFIX | ) | [pure virtual] |
Called whenever a boolean type is parsed.
virtual void UTAP::ParserBuilder::typeBoundedInt | ( | PREFIX | ) | [pure virtual] |
Called whenever an integer type with a range is parsed.
Expressions for the lower and upper have been pushed before.
virtual void UTAP::ParserBuilder::typeChannel | ( | PREFIX | ) | [pure virtual] |
Called whenever a channel type is parsed.
virtual void UTAP::ParserBuilder::typeClock | ( | ) | [pure virtual] |
Called whenever a clock type is parsed.
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::typeDuplicate | ( | ) | [pure virtual] |
Duplicate type at the top of the type stack.
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::typeInt | ( | PREFIX | ) | [pure virtual] |
Called whenever an integer type is parsed.
virtual void UTAP::ParserBuilder::typeName | ( | PREFIX | , | |
const char * | name | |||
) | [pure virtual] |
Called when a type name has been parsed.
Prefix indicates whether the type named was prefixed (e.g. with 'const').
virtual void UTAP::ParserBuilder::typePop | ( | ) | [pure virtual] |
Pop type at the topof the type stack.
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::typeScalar | ( | PREFIX | ) | [pure virtual] |
Called whenever a scalar type is parsed.
The size of the scalar set was pushed as an expression before.
virtual void UTAP::ParserBuilder::typeStruct | ( | PREFIX | , | |
uint32_t | fields | |||
) | [pure virtual] |
Called when a struct-type has been parsed.
Prior to the call 'fields' fields must have been declared using the structXXX methods.
virtual void UTAP::ParserBuilder::typeVoid | ( | ) | [pure virtual] |
Called whenever a void type is parsed.
Implemented in UTAP::AbstractBuilder, UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.
virtual void UTAP::ParserBuilder::whileBegin | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.
virtual void UTAP::ParserBuilder::whileEnd | ( | ) | [pure virtual] |
Implemented in UTAP::AbstractBuilder, UTAP::PrettyPrinter, and UTAP::StatementBuilder.