| addPosition(uint32_t position, uint32_t offset, uint32_t line, std::string path)=0 | UTAP::ParserBuilder | [pure virtual] |
| afterUpdate()=0 | UTAP::ParserBuilder | [pure virtual] |
| assertStatement()=0 | UTAP::ParserBuilder | [pure virtual] |
| beforeUpdate()=0 | UTAP::ParserBuilder | [pure virtual] |
| blockBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| blockEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| breakStatement()=0 | UTAP::ParserBuilder | [pure virtual] |
| caseBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| caseEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| chanPriority()=0 | UTAP::ParserBuilder | [pure virtual] |
| continueStatement()=0 | UTAP::ParserBuilder | [pure virtual] |
| declFieldInit(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| declFuncBegin(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| declFuncEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| declInitialiserList(uint32_t num)=0 | UTAP::ParserBuilder | [pure virtual] |
| declParameter(const char *name, bool ref)=0 | UTAP::ParserBuilder | [pure virtual] |
| declParamId(const char *)=0 | UTAP::ParserBuilder | [pure virtual] |
| declProgress(bool hasGuard)=0 | UTAP::ParserBuilder | [pure virtual] |
| declTypeDef(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| declVar(const char *name, bool init)=0 | UTAP::ParserBuilder | [pure virtual] |
| defaultBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| defaultChanPriority()=0 | UTAP::ParserBuilder | [pure virtual] |
| defaultEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| done()=0 | UTAP::ParserBuilder | [pure virtual] |
| doWhileBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| doWhileEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| emptyStatement()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprArray()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprAssignment(Constants::kind_t op)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprBinary(Constants::kind_t binaryop)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprCallBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprCallEnd(uint32_t n)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprComma()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprDeadlock()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprDot(const char *)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprExistsBegin(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprExistsEnd(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprFalse()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprForAllBegin(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprForAllEnd(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprId(const char *varName)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprInlineIf()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprNat(int32_t)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprPostDecrement()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprPostIncrement()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprPreDecrement()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprPreIncrement()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprStatement()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprTernary(Constants::kind_t ternaryop, bool firstMissing=false)=0 | UTAP::ParserBuilder | [pure virtual] |
| exprTrue()=0 | UTAP::ParserBuilder | [pure virtual] |
| exprUnary(Constants::kind_t unaryop)=0 | UTAP::ParserBuilder | [pure virtual] |
| forBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| forEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| handleError(std::string)=0 | UTAP::ParserBuilder | [pure virtual] |
| handleError(const char *msg,...) | UTAP::ParserBuilder | |
| handleWarning(std::string)=0 | UTAP::ParserBuilder | [pure virtual] |
| handleWarning(const char *msg,...) | UTAP::ParserBuilder | |
| ifBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| ifElse()=0 | UTAP::ParserBuilder | [pure virtual] |
| ifEnd(bool)=0 | UTAP::ParserBuilder | [pure virtual] |
| incChanPriority()=0 | UTAP::ParserBuilder | [pure virtual] |
| incProcPriority()=0 | UTAP::ParserBuilder | [pure virtual] |
| instantiationBegin(const char *id, size_t parameters, const char *templ)=0 | UTAP::ParserBuilder | [pure virtual] |
| instantiationEnd(const char *id, size_t parameters, const char *templ, size_t arguments)=0 | UTAP::ParserBuilder | [pure virtual] |
| isType(const char *)=0 | UTAP::ParserBuilder | [pure virtual] |
| iterationBegin(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| iterationEnd(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| paramProperty(size_t, Constants::kind_t)=0 | UTAP::ParserBuilder | [pure virtual] |
| PREFIX enum name | UTAP::ParserBuilder | |
| PREFIX_BROADCAST enum value | UTAP::ParserBuilder | |
| PREFIX_CONST enum value | UTAP::ParserBuilder | |
| PREFIX_META enum value | UTAP::ParserBuilder | |
| PREFIX_NONE enum value | UTAP::ParserBuilder | |
| PREFIX_URGENT enum value | UTAP::ParserBuilder | |
| PREFIX_URGENT_BROADCAST enum value | UTAP::ParserBuilder | |
| procBegin(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| procEdgeBegin(const char *from, const char *to, const bool control)=0 | UTAP::ParserBuilder | [pure virtual] |
| procEdgeEnd(const char *from, const char *to)=0 | UTAP::ParserBuilder | [pure virtual] |
| procEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| process(const char *)=0 | UTAP::ParserBuilder | [pure virtual] |
| procGuard()=0 | UTAP::ParserBuilder | [pure virtual] |
| procPriority(const char *)=0 | UTAP::ParserBuilder | [pure virtual] |
| procSelect(const char *id)=0 | UTAP::ParserBuilder | [pure virtual] |
| procState(const char *name, bool hasInvariant)=0 | UTAP::ParserBuilder | [pure virtual] |
| procStateCommit(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| procStateInit(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| procStateUrgent(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| procSync(Constants::synchronisation_t type)=0 | UTAP::ParserBuilder | [pure virtual] |
| procUpdate()=0 | UTAP::ParserBuilder | [pure virtual] |
| property()=0 | UTAP::ParserBuilder | [pure virtual] |
| returnStatement(bool)=0 | UTAP::ParserBuilder | [pure virtual] |
| setPosition(uint32_t a, uint32_t b)=0 | UTAP::ParserBuilder | [pure virtual] |
| ssQueryBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| ssQueryEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| structField(const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| switchBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| switchEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| typeArrayOfSize(size_t)=0 | UTAP::ParserBuilder | [pure virtual] |
| typeArrayOfType(size_t)=0 | UTAP::ParserBuilder | [pure virtual] |
| typeBool(PREFIX)=0 | UTAP::ParserBuilder | [pure virtual] |
| typeBoundedInt(PREFIX)=0 | UTAP::ParserBuilder | [pure virtual] |
| typeChannel(PREFIX)=0 | UTAP::ParserBuilder | [pure virtual] |
| typeClock()=0 | UTAP::ParserBuilder | [pure virtual] |
| typeDuplicate()=0 | UTAP::ParserBuilder | [pure virtual] |
| typeInt(PREFIX)=0 | UTAP::ParserBuilder | [pure virtual] |
| typeName(PREFIX, const char *name)=0 | UTAP::ParserBuilder | [pure virtual] |
| typePop()=0 | UTAP::ParserBuilder | [pure virtual] |
| typeScalar(PREFIX)=0 | UTAP::ParserBuilder | [pure virtual] |
| typeStruct(PREFIX, uint32_t fields)=0 | UTAP::ParserBuilder | [pure virtual] |
| typeVoid()=0 | UTAP::ParserBuilder | [pure virtual] |
| whileBegin()=0 | UTAP::ParserBuilder | [pure virtual] |
| whileEnd()=0 | UTAP::ParserBuilder | [pure virtual] |
| ~ParserBuilder() | UTAP::ParserBuilder | [inline, virtual] |