| addChanPriority(char separator)=0 | UTAP::ParserBuilder | pure virtual |
| addPosition(uint32_t position, uint32_t offset, uint32_t line, const 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 |
| beginChanPriority()=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 |
| continueStatement()=0 | UTAP::ParserBuilder | pure virtual |
| declDynamicTemplate(const std::string &)=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 |
| declIO(const char *, int, int)=0 | UTAP::ParserBuilder | pure virtual |
| declParameter(const char *name, bool ref)=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 |
| exprBuiltinFunction1(Constants::kind_t)=0 | UTAP::ParserBuilder | pure virtual |
| exprBuiltinFunction2(Constants::kind_t)=0 | UTAP::ParserBuilder | pure virtual |
| exprBuiltinFunction3(Constants::kind_t)=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 |
| exprDouble(double)=0 | UTAP::ParserBuilder | pure virtual |
| exprDynamicProcessExpr(const char *)=0 | UTAP::ParserBuilder | pure virtual |
| exprExistsBegin(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprExistsDynamicBegin(const char *, const char *)=0 | UTAP::ParserBuilder | pure virtual |
| exprExistsDynamicEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprExistsEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprExit()=0 | UTAP::ParserBuilder | pure virtual |
| exprFalse()=0 | UTAP::ParserBuilder | pure virtual |
| exprForAllBegin(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprForAllDynamicBegin(const char *, const char *)=0 | UTAP::ParserBuilder | pure virtual |
| exprForAllDynamicEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprForAllEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprForeachDynamicBegin(const char *, const char *)=0 | UTAP::ParserBuilder | pure virtual |
| exprForeachDynamicEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprId(const char *varName)=0 | UTAP::ParserBuilder | pure virtual |
| exprInlineIf()=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlAtom()=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlBox(int, int)=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlConj()=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlDiamond(int, int)=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlDisj()=0 | UTAP::ParserBuilder | pure virtual |
| exprMITLExistsDynamicBegin(const char *, const char *)=0 | UTAP::ParserBuilder | pure virtual |
| exprMITLExistsDynamicEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprMITLForAllDynamicBegin(const char *, const char *)=0 | UTAP::ParserBuilder | pure virtual |
| exprMITLForAllDynamicEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlFormula()=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlNext()=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlRelease(int, int)=0 | UTAP::ParserBuilder | pure virtual |
| exprMitlUntil(int, int)=0 | UTAP::ParserBuilder | pure virtual |
| exprNary(Constants::kind_t, uint32_t num)=0 | UTAP::ParserBuilder | pure virtual |
| exprNat(int32_t)=0 | UTAP::ParserBuilder | pure virtual |
| exprNumOf()=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 |
| exprProbaCompare(Constants::kind_t pathQuant1, Constants::kind_t pathQuant2)=0 | UTAP::ParserBuilder | pure virtual |
| exprProbaExpected(const char *aggregatingOp)=0 | UTAP::ParserBuilder | pure virtual |
| exprProbaQualitative(Constants::kind_t pathQuant, Constants::kind_t compType, double probBound)=0 | UTAP::ParserBuilder | pure virtual |
| exprProbaQuantitative(Constants::kind_t pathQuant)=0 | UTAP::ParserBuilder | pure virtual |
| exprScenario(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprSimulate(int, bool=false, int=0)=0 | UTAP::ParserBuilder | pure virtual |
| exprSMCControl()=0 | UTAP::ParserBuilder | pure virtual |
| exprSpawn(int)=0 | UTAP::ParserBuilder | pure virtual |
| exprStatement()=0 | UTAP::ParserBuilder | pure virtual |
| exprSumBegin(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprSumDynamicBegin(const char *, const char *)=0 | UTAP::ParserBuilder | pure virtual |
| exprSumDynamicEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprSumEnd(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| exprSync(Constants::synchronisation_t type)=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 |
| ganttDeclEnd()=0 | UTAP::ParserBuilder | pure virtual |
| ganttDeclSelect(const char *id)=0 | UTAP::ParserBuilder | pure virtual |
| ganttDeclStart(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| ganttEntryEnd()=0 | UTAP::ParserBuilder | pure virtual |
| ganttEntrySelect(const char *id)=0 | UTAP::ParserBuilder | pure virtual |
| ganttEntryStart()=0 | UTAP::ParserBuilder | pure virtual |
| handleError(const std::string &)=0 | UTAP::ParserBuilder | pure virtual |
| handleError(const char *msg,...) | UTAP::ParserBuilder | |
| handleExpect(const char *text)=0 | UTAP::ParserBuilder | pure virtual |
| handleWarning(const std::string &)=0 | UTAP::ParserBuilder | pure virtual |
| handleWarning(const char *msg,...) | UTAP::ParserBuilder | |
| hasPrechart(const bool pch)=0 | UTAP::ParserBuilder | pure virtual |
| ifBegin()=0 | UTAP::ParserBuilder | pure virtual |
| ifCondition()=0 | UTAP::ParserBuilder | pure virtual |
| ifEnd(bool elsePart)=0 | UTAP::ParserBuilder | pure virtual |
| ifThen()=0 | UTAP::ParserBuilder | pure virtual |
| incProcPriority()=0 | UTAP::ParserBuilder | pure virtual |
| instanceName(const char *name, bool templ=true)=0 | UTAP::ParserBuilder | pure virtual |
| instanceNameBegin(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| instanceNameEnd(const char *name, size_t arguments)=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 |
| lscTemplateNames | UTAP::ParserBuilder | |
| parse(const char *)=0 | UTAP::ParserBuilder | pure virtual |
| PREFIX enum name | UTAP::ParserBuilder | |
| PREFIX_BROADCAST enum value | UTAP::ParserBuilder | |
| PREFIX_CONST enum value | UTAP::ParserBuilder | |
| PREFIX_HYBRID enum value | UTAP::ParserBuilder | |
| PREFIX_NONE enum value | UTAP::ParserBuilder | |
| PREFIX_SYSTEM_META enum value | UTAP::ParserBuilder | |
| PREFIX_URGENT enum value | UTAP::ParserBuilder | |
| PREFIX_URGENT_BROADCAST enum value | UTAP::ParserBuilder | |
| procBegin(const char *name, const bool isTA=true, const std::string type="", const std::string mode="")=0 | UTAP::ParserBuilder | pure virtual |
| procBranchpoint(const char *name)=0 | UTAP::ParserBuilder | pure virtual |
| procCondition(const std::vector< char *> anchors, const int loc, const bool pch, const bool hot)=0 | UTAP::ParserBuilder | pure virtual |
| procCondition()=0 | UTAP::ParserBuilder | pure virtual |
| procEdgeBegin(const char *from, const char *to, const bool control, const char *actname="")=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 |
| processListEnd()=0 | UTAP::ParserBuilder | pure virtual |
| procGuard()=0 | UTAP::ParserBuilder | pure virtual |
| procInstanceLine()=0 | UTAP::ParserBuilder | pure virtual |
| procLscUpdate(const char *anchor, const int loc, const bool pch)=0 | UTAP::ParserBuilder | pure virtual |
| procLscUpdate()=0 | UTAP::ParserBuilder | pure virtual |
| procMessage(const char *from, const char *to, const int loc, const bool pch)=0 | UTAP::ParserBuilder | pure virtual |
| procMessage(Constants::synchronisation_t type)=0 | UTAP::ParserBuilder | pure virtual |
| procPriority(const char *)=0 | UTAP::ParserBuilder | pure virtual |
| procProb()=0 | UTAP::ParserBuilder | pure virtual |
| procSelect(const char *id)=0 | UTAP::ParserBuilder | pure virtual |
| procState(const char *name, bool hasInvariant, bool hasER)=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 |
| queryBegin()=0 | UTAP::ParserBuilder | pure virtual |
| queryComment(const char *comment)=0 | UTAP::ParserBuilder | pure virtual |
| queryEnd()=0 | UTAP::ParserBuilder | pure virtual |
| queryFormula(const char *formula, const char *location)=0 | UTAP::ParserBuilder | pure virtual |
| returnStatement(bool)=0 | UTAP::ParserBuilder | pure virtual |
| scenario(const char *)=0 | UTAP::ParserBuilder | pure virtual |
| setPosition(uint32_t a, uint32_t b)=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(PREFIX)=0 | UTAP::ParserBuilder | pure virtual |
| typeDouble(PREFIX)=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 | inlinevirtual |
1.8.13