AbstractBuilder() | UTAP::AbstractBuilder | |
addChanPriority(char separator) | UTAP::SystemBuilder | virtual |
addFunction(type_t type, const char *name) | UTAP::SystemBuilder | protectedvirtual |
addPosition(uint32_t position, uint32_t offset, uint32_t line, std::string path) | UTAP::ExpressionBuilder | virtual |
addSelectSymbolToFrame(const char *name, frame_t &) | UTAP::SystemBuilder | protected |
addVariable(type_t type, const char *name, expression_t init) | UTAP::SystemBuilder | protectedvirtual |
afterUpdate() | UTAP::SystemBuilder | virtual |
allowProcessReferences() | UTAP::ExpressionBuilder | inlineprotectedvirtual |
applyPrefix(PREFIX, type_t type) | UTAP::ExpressionBuilder | protected |
assertStatement() | UTAP::StatementBuilder | virtual |
beforeUpdate() | UTAP::SystemBuilder | virtual |
beginChanPriority() | UTAP::SystemBuilder | virtual |
blockBegin() | UTAP::StatementBuilder | virtual |
blockEnd() | UTAP::StatementBuilder | virtual |
blocks | UTAP::StatementBuilder | protected |
breakStatement() | UTAP::AbstractBuilder | virtual |
caseBegin() | UTAP::AbstractBuilder | virtual |
caseEnd() | UTAP::AbstractBuilder | virtual |
collectDependencies(std::set< symbol_t > &, expression_t) | UTAP::StatementBuilder | protectedstatic |
collectDependencies(std::set< symbol_t > &, type_t) | UTAP::StatementBuilder | protectedstatic |
continueStatement() | UTAP::AbstractBuilder | virtual |
currentCondition | UTAP::SystemBuilder | protected |
currentEdge | UTAP::SystemBuilder | protected |
currentFun | UTAP::StatementBuilder | protected |
currentGantt | UTAP::SystemBuilder | protected |
currentInstanceLine | UTAP::SystemBuilder | protected |
currentIODecl | UTAP::SystemBuilder | protected |
currentMessage | UTAP::SystemBuilder | protected |
currentProcPriority | UTAP::SystemBuilder | protected |
currentQuery | UTAP::SystemBuilder | protected |
currentTemplate | UTAP::ExpressionBuilder | protected |
currentUpdate | UTAP::SystemBuilder | protected |
declDynamicTemplate(std::string) | UTAP::SystemBuilder | virtual |
declFieldInit(const char *name) | UTAP::StatementBuilder | virtual |
declFuncBegin(const char *name) | UTAP::StatementBuilder | virtual |
declFuncEnd() | UTAP::StatementBuilder | virtual |
declHybridRec(expression_t) | UTAP::SystemBuilder | protected |
declInitialiserList(uint32_t num) | UTAP::StatementBuilder | virtual |
declIO(const char *, int, int) | UTAP::SystemBuilder | virtual |
declParameter(const char *name, bool) | UTAP::StatementBuilder | virtual |
declProgress(bool) | UTAP::SystemBuilder | virtual |
declTypeDef(const char *name) | UTAP::StatementBuilder | virtual |
declVar(const char *name, bool init) | UTAP::StatementBuilder | virtual |
defaultBegin() | UTAP::AbstractBuilder | virtual |
defaultChanPriority() | UTAP::SystemBuilder | virtual |
defaultEnd() | UTAP::AbstractBuilder | virtual |
done() | UTAP::SystemBuilder | virtual |
doWhileBegin() | UTAP::StatementBuilder | virtual |
doWhileEnd() | UTAP::StatementBuilder | virtual |
dynamicFrames | UTAP::ExpressionBuilder | protected |
emptyStatement() | UTAP::StatementBuilder | virtual |
exprArray() | UTAP::ExpressionBuilder | virtual |
exprAssignment(Constants::kind_t op) | UTAP::ExpressionBuilder | virtual |
exprBinary(Constants::kind_t binaryop) | UTAP::ExpressionBuilder | virtual |
exprBuiltinFunction1(Constants::kind_t) | UTAP::ExpressionBuilder | virtual |
exprBuiltinFunction2(Constants::kind_t) | UTAP::ExpressionBuilder | virtual |
exprCallBegin() | UTAP::StatementBuilder | virtual |
exprCallEnd(uint32_t n) | UTAP::ExpressionBuilder | virtual |
exprComma() | UTAP::ExpressionBuilder | virtual |
exprDeadlock() | UTAP::ExpressionBuilder | virtual |
exprDot(const char *) | UTAP::ExpressionBuilder | virtual |
exprDouble(double) | UTAP::ExpressionBuilder | virtual |
exprDynamicProcessExpr(const char *) | UTAP::AbstractBuilder | virtual |
ExpressionBuilder(TimedAutomataSystem *) | UTAP::ExpressionBuilder | |
exprExistsBegin(const char *name) | UTAP::ExpressionBuilder | virtual |
exprExistsDynamicBegin(const char *, const char *) | UTAP::ExpressionBuilder | virtual |
exprExistsDynamicEnd(const char *) | UTAP::ExpressionBuilder | virtual |
exprExistsEnd(const char *name) | UTAP::ExpressionBuilder | virtual |
exprExit() | UTAP::ExpressionBuilder | virtual |
exprFalse() | UTAP::ExpressionBuilder | virtual |
exprForAllBegin(const char *name) | UTAP::ExpressionBuilder | virtual |
exprForAllDynamicBegin(const char *, const char *) | UTAP::ExpressionBuilder | virtual |
exprForAllDynamicEnd(const char *name) | UTAP::ExpressionBuilder | virtual |
exprForAllEnd(const char *name) | UTAP::ExpressionBuilder | virtual |
exprForeachDynamicBegin(const char *, const char *) | UTAP::ExpressionBuilder | virtual |
exprForeachDynamicEnd(const char *name) | UTAP::ExpressionBuilder | virtual |
exprId(const char *varName) | UTAP::ExpressionBuilder | virtual |
exprInlineIf() | UTAP::ExpressionBuilder | virtual |
exprMitlAtom() | UTAP::ExpressionBuilder | virtual |
exprMitlBox(int, int) | UTAP::ExpressionBuilder | virtual |
exprMitlConj() | UTAP::ExpressionBuilder | virtual |
exprMitlDiamond(int, int) | UTAP::ExpressionBuilder | virtual |
exprMitlDisj() | UTAP::ExpressionBuilder | virtual |
exprMITLExistsDynamicBegin(const char *, const char *) | UTAP::AbstractBuilder | virtual |
exprMITLExistsDynamicEnd(const char *name) | UTAP::AbstractBuilder | virtual |
exprMITLForAllDynamicBegin(const char *, const char *) | UTAP::AbstractBuilder | virtual |
exprMITLForAllDynamicEnd(const char *name) | UTAP::AbstractBuilder | virtual |
exprMitlFormula() | UTAP::ExpressionBuilder | virtual |
exprMitlNext() | UTAP::ExpressionBuilder | virtual |
exprMitlRelease(int, int) | UTAP::ExpressionBuilder | virtual |
exprMitlUntil(int, int) | UTAP::ExpressionBuilder | virtual |
exprNary(Constants::kind_t op, uint32_t num) | UTAP::ExpressionBuilder | virtual |
exprNat(int32_t) | UTAP::ExpressionBuilder | virtual |
exprNumOf() | UTAP::ExpressionBuilder | virtual |
exprPostDecrement() | UTAP::ExpressionBuilder | virtual |
exprPostIncrement() | UTAP::ExpressionBuilder | virtual |
exprPreDecrement() | UTAP::ExpressionBuilder | virtual |
exprPreIncrement() | UTAP::ExpressionBuilder | virtual |
exprProbaCompare(int, Constants::kind_t, int, Constants::kind_t) | UTAP::ExpressionBuilder | virtual |
exprProbaExpected(int, const char *) | UTAP::ExpressionBuilder | virtual |
exprProbaQualitative(int, Constants::kind_t, Constants::kind_t, double) | UTAP::ExpressionBuilder | virtual |
exprProbaQuantitative(int, Constants::kind_t, bool stopCondition=false) | UTAP::ExpressionBuilder | virtual |
UTAP::AbstractBuilder::exprProbaQuantitative(int, Constants::kind_t) | UTAP::AbstractBuilder | virtual |
exprScenario(const char *name) | UTAP::ExpressionBuilder | virtual |
exprScenario() | UTAP::ExpressionBuilder | virtual |
exprSimulate(int, int, int, bool=false, int=0) | UTAP::ExpressionBuilder | virtual |
UTAP::AbstractBuilder::exprSimulate(int, int, int) | UTAP::AbstractBuilder | virtual |
exprSMCControl(int) | UTAP::ExpressionBuilder | virtual |
exprSpawn(int params) | UTAP::ExpressionBuilder | virtual |
exprStatement() | UTAP::StatementBuilder | virtual |
exprSumBegin(const char *name) | UTAP::ExpressionBuilder | virtual |
exprSumDynamicBegin(const char *, const char *) | UTAP::ExpressionBuilder | virtual |
exprSumDynamicEnd(const char *name) | UTAP::ExpressionBuilder | virtual |
exprSumEnd(const char *name) | UTAP::ExpressionBuilder | virtual |
exprSync(Constants::synchronisation_t type) | UTAP::SystemBuilder | virtual |
exprTernary(Constants::kind_t ternaryop, bool firstMissing) | UTAP::ExpressionBuilder | virtual |
exprTrue() | UTAP::ExpressionBuilder | virtual |
exprUnary(Constants::kind_t unaryop) | UTAP::ExpressionBuilder | virtual |
fields | UTAP::StatementBuilder | protected |
forBegin() | UTAP::StatementBuilder | virtual |
forEnd() | UTAP::StatementBuilder | virtual |
fragments | UTAP::ExpressionBuilder | protected |
frames | UTAP::ExpressionBuilder | protected |
ganttDeclEnd() | UTAP::SystemBuilder | virtual |
ganttDeclSelect(const char *id) | UTAP::SystemBuilder | virtual |
ganttDeclStart(const char *name) | UTAP::SystemBuilder | virtual |
ganttEntryEnd() | UTAP::SystemBuilder | virtual |
ganttEntrySelect(const char *id) | UTAP::SystemBuilder | virtual |
ganttEntryStart() | UTAP::SystemBuilder | virtual |
getCurrentDeclarationBlock() | UTAP::SystemBuilder | protected |
getExpressions() | UTAP::ExpressionBuilder | |
handleError(std::string) | UTAP::ExpressionBuilder | virtual |
UTAP::AbstractBuilder::handleError(const char *msg,...) | UTAP::ParserBuilder | |
handleWarning(std::string) | UTAP::ExpressionBuilder | virtual |
UTAP::AbstractBuilder::handleWarning(const char *msg,...) | UTAP::ParserBuilder | |
hasPrechart(const bool pch) | UTAP::SystemBuilder | virtual |
ifBegin() | UTAP::StatementBuilder | virtual |
ifElse() | UTAP::StatementBuilder | virtual |
ifEnd(bool) | UTAP::StatementBuilder | virtual |
incProcPriority() | UTAP::SystemBuilder | virtual |
instanceName(const char *name, bool templ=true) | UTAP::SystemBuilder | virtual |
instanceNameBegin(const char *name) | UTAP::SystemBuilder | virtual |
instanceNameEnd(const char *name, size_t arguments) | UTAP::SystemBuilder | virtual |
instantiationBegin(const char *, size_t, const char *) | UTAP::SystemBuilder | virtual |
instantiationEnd(const char *, size_t, const char *, size_t) | UTAP::SystemBuilder | virtual |
isType(const char *) | UTAP::ExpressionBuilder | virtual |
iterationBegin(const char *name) | UTAP::StatementBuilder | virtual |
iterationEnd(const char *name) | UTAP::StatementBuilder | virtual |
labels | UTAP::StatementBuilder | protected |
lscTemplateNames | UTAP::ParserBuilder | |
makeConstant(int value) | UTAP::ExpressionBuilder | protected |
makeConstant(double value) | UTAP::ExpressionBuilder | protected |
params | UTAP::StatementBuilder | protected |
parse(const char *) | UTAP::AbstractBuilder | virtual |
popDynamicFrameOf(std::string name) | UTAP::ExpressionBuilder | virtual |
popFrame() | UTAP::ExpressionBuilder | protected |
position | UTAP::AbstractBuilder | protected |
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="") | UTAP::SystemBuilder | virtual |
procBranchpoint(const char *name) | UTAP::SystemBuilder | virtual |
procCondition(const std::vector< char * > anchors, const int loc, const bool pch, const bool hot) | UTAP::SystemBuilder | virtual |
procCondition() | UTAP::SystemBuilder | virtual |
procEdgeBegin(const char *from, const char *to, const bool control, const char *actname) | UTAP::SystemBuilder | virtual |
procEdgeEnd(const char *from=0, const char *to=0) | UTAP::SystemBuilder | virtual |
procEnd() | UTAP::SystemBuilder | virtual |
process(const char *) | UTAP::SystemBuilder | virtual |
processListEnd() | UTAP::SystemBuilder | virtual |
procGuard() | UTAP::SystemBuilder | virtual |
procInstanceLine() | UTAP::SystemBuilder | virtual |
procLscUpdate(const char *anchor, const int loc, const bool pch) | UTAP::SystemBuilder | virtual |
procLscUpdate() | UTAP::SystemBuilder | virtual |
procMessage(const char *from, const char *to, const int loc, const bool pch) | UTAP::SystemBuilder | virtual |
procMessage(Constants::synchronisation_t type) | UTAP::SystemBuilder | virtual |
procPriority(const char *) | UTAP::SystemBuilder | virtual |
procProb() | UTAP::SystemBuilder | virtual |
procSelect(const char *id) | UTAP::SystemBuilder | virtual |
procState(const char *name, bool hasInvariant, bool hasER) | UTAP::SystemBuilder | virtual |
procStateCommit(const char *name) | UTAP::SystemBuilder | virtual |
procStateInit(const char *name) | UTAP::SystemBuilder | virtual |
procStateUrgent(const char *name) | UTAP::SystemBuilder | virtual |
procSync(Constants::synchronisation_t type) | UTAP::SystemBuilder | virtual |
procUpdate() | UTAP::SystemBuilder | virtual |
property() | UTAP::AbstractBuilder | virtual |
pushDynamicFrameOf(template_t *t, std::string name) | UTAP::ExpressionBuilder | virtual |
pushFrame(frame_t) | UTAP::ExpressionBuilder | protected |
queryBegin() | UTAP::SystemBuilder | virtual |
queryComment(const char *comment) | UTAP::SystemBuilder | virtual |
queryEnd() | UTAP::SystemBuilder | virtual |
queryFormula(const char *formula, const char *location) | UTAP::SystemBuilder | virtual |
resolve(std::string, symbol_t &) | UTAP::ExpressionBuilder | protected |
returnStatement(bool) | UTAP::StatementBuilder | virtual |
scalar_count | UTAP::ExpressionBuilder | protected |
scenario(const char *) | UTAP::AbstractBuilder | virtual |
setPosition(uint32_t, uint32_t) | UTAP::AbstractBuilder | virtual |
StatementBuilder(TimedAutomataSystem *) | UTAP::StatementBuilder | |
structField(const char *name) | UTAP::StatementBuilder | virtual |
switchBegin() | UTAP::AbstractBuilder | virtual |
switchEnd() | UTAP::AbstractBuilder | virtual |
system | UTAP::ExpressionBuilder | protected |
SystemBuilder(TimedAutomataSystem *) | UTAP::SystemBuilder | |
typeArrayOfSize(size_t) | UTAP::StatementBuilder | virtual |
typeArrayOfType(size_t) | UTAP::StatementBuilder | virtual |
typeBool(PREFIX) | UTAP::ExpressionBuilder | virtual |
typeBoundedInt(PREFIX) | UTAP::ExpressionBuilder | virtual |
typeChannel(PREFIX) | UTAP::ExpressionBuilder | virtual |
typeClock(PREFIX) | UTAP::ExpressionBuilder | virtual |
typeDouble(PREFIX) | UTAP::ExpressionBuilder | virtual |
typeDuplicate() | UTAP::ExpressionBuilder | virtual |
typeFragments | UTAP::ExpressionBuilder | protected |
typeInt(PREFIX) | UTAP::ExpressionBuilder | virtual |
typeName(PREFIX, const char *name) | UTAP::ExpressionBuilder | virtual |
typePop() | UTAP::ExpressionBuilder | virtual |
typeScalar(PREFIX) | UTAP::ExpressionBuilder | virtual |
typeStruct(PREFIX, uint32_t fields) | UTAP::StatementBuilder | virtual |
typeVoid() | UTAP::ExpressionBuilder | virtual |
whileBegin() | UTAP::StatementBuilder | virtual |
whileEnd() | UTAP::StatementBuilder | virtual |
~ParserBuilder() | UTAP::ParserBuilder | inlinevirtual |