#include <oldtypechecker.hh>
Inheritance diagram for UTAP::OldTypeChecker:
Public Member Functions | |
OldTypeChecker (TimedAutomataSystem *) | |
virtual void | setErrorHandler (ErrorHandler *) |
virtual void | setPosition (const position_t &) |
virtual bool | isType (const char *) |
virtual bool | isLocation (const char *) |
virtual void | declType (uint32_t prefix, const char *name, bool range) |
virtual void | declStruct (uint32_t prefix, uint32_t fields) |
virtual void | declField (const char *name, uint32_t dim) |
virtual void | declFieldEnd () |
virtual void | declTypeDef (const char *name, uint32_t dim) |
virtual void | declTypeDefEnd () |
virtual void | declVar (const char *name, uint32_t dim, bool init) |
virtual void | declVarEnd () |
virtual void | declInitialiserList (uint32_t num) |
virtual void | declFieldInit (const char *name) |
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 | procBegin (const char *name, uint32_t n) |
virtual void | procEnd () |
virtual void | procState (const char *name) |
virtual void | procStateCommit (const char *name) |
virtual void | procStateUrgent (const char *name) |
virtual void | procStateInit (const char *name) |
virtual void | procTransition (const char *from, const char *to) |
virtual void | procGuard () |
virtual void | procSync (uint32_t type) |
virtual void | procUpdate () |
virtual void | blockBegin () |
virtual void | blockEnd () |
virtual void | emptyStatement () |
virtual void | forBegin () |
virtual void | forEnd () |
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 (const char *functionName) |
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 (uint32_t op) |
virtual void | exprUnary (uint32_t unaryop) |
virtual void | exprBinary (uint32_t binaryop) |
virtual void | exprInlineIf () |
virtual void | exprComma () |
virtual void | exprDot (const char *) |
virtual void | exprDeadlock () |
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 (uint32_t kind, int line) |
virtual void | beforeUpdate () |
virtual void | afterUpdate () |
Protected Member Functions | |
virtual bool | allowProcessReferences () |
virtual void | property (int kind, int line, ExpressionProgram &) |
Protected Attributes | |
bool | strict_range |
type_t | BOOL |
TimedAutomataSystem * | system |
ErrorHandler * | errorHandler |
position_t | position |
Static Protected Attributes | |
const char *const | unsupported |
const char *const | invalid_type = "Invalid type" |
|
|
|
Implements UTAP::ParserBuilder. |
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Initial value:
"Internal error: Feature not supported in this mode."
|