libutap  0.93
Uppaal Timed Automata Parser
UTAP::SystemBuilder Member List

This is the complete list of members for UTAP::SystemBuilder, including all inherited members.

AbstractBuilder()UTAP::AbstractBuilder
addChanPriority(char separator) overrideUTAP::SystemBuildervirtual
addFunction(type_t type, const char *name) overrideUTAP::SystemBuilderprotectedvirtual
addPosition(uint32_t position, uint32_t offset, uint32_t line, const std::string &path) overrideUTAP::ExpressionBuildervirtual
addSelectSymbolToFrame(const char *name, frame_t &)UTAP::SystemBuilderprotected
addVariable(type_t type, const char *name, expression_t init) overrideUTAP::SystemBuilderprotectedvirtual
afterUpdate() overrideUTAP::SystemBuildervirtual
allowProcessReferences()UTAP::ExpressionBuilderinlineprotectedvirtual
applyPrefix(PREFIX, type_t type)UTAP::ExpressionBuilderprotected
assertStatement() overrideUTAP::StatementBuildervirtual
beforeUpdate() overrideUTAP::SystemBuildervirtual
beginChanPriority() overrideUTAP::SystemBuildervirtual
blockBegin() overrideUTAP::StatementBuildervirtual
blockEnd() overrideUTAP::StatementBuildervirtual
blocksUTAP::StatementBuilderprotected
breakStatement() overrideUTAP::AbstractBuildervirtual
caseBegin() overrideUTAP::AbstractBuildervirtual
caseEnd() overrideUTAP::AbstractBuildervirtual
collectDependencies(std::set< symbol_t > &, expression_t)UTAP::StatementBuilderprotectedstatic
collectDependencies(std::set< symbol_t > &, type_t)UTAP::StatementBuilderprotectedstatic
continueStatement() overrideUTAP::AbstractBuildervirtual
currentConditionUTAP::SystemBuilderprotected
currentEdgeUTAP::SystemBuilderprotected
currentFunUTAP::StatementBuilderprotected
currentGanttUTAP::SystemBuilderprotected
currentInstanceLineUTAP::SystemBuilderprotected
currentIODeclUTAP::SystemBuilderprotected
currentMessageUTAP::SystemBuilderprotected
currentProcPriorityUTAP::SystemBuilderprotected
currentQueryUTAP::SystemBuilderprotected
currentTemplateUTAP::ExpressionBuilderprotected
currentUpdateUTAP::SystemBuilderprotected
declDynamicTemplate(const std::string &) overrideUTAP::SystemBuildervirtual
declFieldInit(const char *name) overrideUTAP::StatementBuildervirtual
declFuncBegin(const char *name) overrideUTAP::StatementBuildervirtual
declFuncEnd() overrideUTAP::StatementBuildervirtual
declHybridRec(expression_t)UTAP::SystemBuilderprotected
declInitialiserList(uint32_t num) overrideUTAP::StatementBuildervirtual
declIO(const char *, int, int) overrideUTAP::SystemBuildervirtual
declParameter(const char *name, bool) overrideUTAP::StatementBuildervirtual
declProgress(bool) overrideUTAP::SystemBuildervirtual
declTypeDef(const char *name) overrideUTAP::StatementBuildervirtual
declVar(const char *name, bool init) overrideUTAP::StatementBuildervirtual
defaultBegin() overrideUTAP::AbstractBuildervirtual
defaultChanPriority() overrideUTAP::SystemBuildervirtual
defaultEnd() overrideUTAP::AbstractBuildervirtual
done() overrideUTAP::SystemBuildervirtual
doWhileBegin() overrideUTAP::StatementBuildervirtual
doWhileEnd() overrideUTAP::StatementBuildervirtual
dynamicFramesUTAP::ExpressionBuilderprotected
emptyStatement() overrideUTAP::StatementBuildervirtual
exprArray() overrideUTAP::ExpressionBuildervirtual
exprAssignment(Constants::kind_t op) overrideUTAP::ExpressionBuildervirtual
exprBinary(Constants::kind_t binaryop) overrideUTAP::ExpressionBuildervirtual
exprBuiltinFunction1(Constants::kind_t) overrideUTAP::ExpressionBuildervirtual
exprBuiltinFunction2(Constants::kind_t) overrideUTAP::ExpressionBuildervirtual
exprBuiltinFunction3(Constants::kind_t) overrideUTAP::ExpressionBuildervirtual
exprCallBegin() overrideUTAP::StatementBuildervirtual
exprCallEnd(uint32_t n) overrideUTAP::ExpressionBuildervirtual
exprComma() overrideUTAP::ExpressionBuildervirtual
exprDeadlock() overrideUTAP::ExpressionBuildervirtual
exprDot(const char *) overrideUTAP::ExpressionBuildervirtual
exprDouble(double) overrideUTAP::ExpressionBuildervirtual
exprDynamicProcessExpr(const char *) overrideUTAP::AbstractBuildervirtual
ExpressionBuilder(TimedAutomataSystem *)UTAP::ExpressionBuilder
exprExistsBegin(const char *name) overrideUTAP::ExpressionBuildervirtual
exprExistsDynamicBegin(const char *, const char *) overrideUTAP::ExpressionBuildervirtual
exprExistsDynamicEnd(const char *) overrideUTAP::ExpressionBuildervirtual
exprExistsEnd(const char *name) overrideUTAP::ExpressionBuildervirtual
exprExit() overrideUTAP::ExpressionBuildervirtual
exprFalse() overrideUTAP::ExpressionBuildervirtual
exprForAllBegin(const char *name) overrideUTAP::ExpressionBuildervirtual
exprForAllDynamicBegin(const char *, const char *) overrideUTAP::ExpressionBuildervirtual
exprForAllDynamicEnd(const char *name) overrideUTAP::ExpressionBuildervirtual
exprForAllEnd(const char *name) overrideUTAP::ExpressionBuildervirtual
exprForeachDynamicBegin(const char *, const char *) overrideUTAP::ExpressionBuildervirtual
exprForeachDynamicEnd(const char *name) overrideUTAP::ExpressionBuildervirtual
exprId(const char *varName) overrideUTAP::ExpressionBuildervirtual
exprInlineIf() overrideUTAP::ExpressionBuildervirtual
exprMitlAtom() overrideUTAP::ExpressionBuildervirtual
exprMitlBox(int, int) overrideUTAP::ExpressionBuildervirtual
exprMitlConj() overrideUTAP::ExpressionBuildervirtual
exprMitlDiamond(int, int) overrideUTAP::ExpressionBuildervirtual
exprMitlDisj() overrideUTAP::ExpressionBuildervirtual
exprMITLExistsDynamicBegin(const char *, const char *) overrideUTAP::AbstractBuildervirtual
exprMITLExistsDynamicEnd(const char *name) overrideUTAP::AbstractBuildervirtual
exprMITLForAllDynamicBegin(const char *, const char *) overrideUTAP::AbstractBuildervirtual
exprMITLForAllDynamicEnd(const char *name) overrideUTAP::AbstractBuildervirtual
exprMitlFormula() overrideUTAP::ExpressionBuildervirtual
exprMitlNext() overrideUTAP::ExpressionBuildervirtual
exprMitlRelease(int, int) overrideUTAP::ExpressionBuildervirtual
exprMitlUntil(int, int) overrideUTAP::ExpressionBuildervirtual
exprNary(Constants::kind_t op, uint32_t num) overrideUTAP::ExpressionBuildervirtual
exprNat(int32_t) overrideUTAP::ExpressionBuildervirtual
exprNumOf() overrideUTAP::ExpressionBuildervirtual
exprPostDecrement() overrideUTAP::ExpressionBuildervirtual
exprPostIncrement() overrideUTAP::ExpressionBuildervirtual
exprPreDecrement() overrideUTAP::ExpressionBuildervirtual
exprPreIncrement() overrideUTAP::ExpressionBuildervirtual
exprProbaCompare(Constants::kind_t, Constants::kind_t) overrideUTAP::ExpressionBuildervirtual
exprProbaExpected(const char *aggregatingOp) overrideUTAP::ExpressionBuildervirtual
exprProbaQualitative(Constants::kind_t, Constants::kind_t, double) overrideUTAP::ExpressionBuildervirtual
exprProbaQuantitative(Constants::kind_t) overrideUTAP::ExpressionBuildervirtual
exprScenario(const char *name) overrideUTAP::ExpressionBuildervirtual
exprScenario()UTAP::ExpressionBuilder
exprSimulate(int, bool=false, int=0) overrideUTAP::ExpressionBuildervirtual
exprSMCControl() overrideUTAP::ExpressionBuildervirtual
exprSpawn(int params) overrideUTAP::ExpressionBuildervirtual
exprStatement() overrideUTAP::StatementBuildervirtual
exprSumBegin(const char *name) overrideUTAP::ExpressionBuildervirtual
exprSumDynamicBegin(const char *, const char *) overrideUTAP::ExpressionBuildervirtual
exprSumDynamicEnd(const char *name) overrideUTAP::ExpressionBuildervirtual
exprSumEnd(const char *name) overrideUTAP::ExpressionBuildervirtual
exprSync(Constants::synchronisation_t type) overrideUTAP::SystemBuildervirtual
exprTernary(Constants::kind_t ternaryop, bool firstMissing) overrideUTAP::ExpressionBuildervirtual
exprTrue() overrideUTAP::ExpressionBuildervirtual
exprUnary(Constants::kind_t unaryop) overrideUTAP::ExpressionBuildervirtual
fieldsUTAP::StatementBuilderprotected
forBegin() overrideUTAP::StatementBuildervirtual
forEnd() overrideUTAP::StatementBuildervirtual
fragmentsUTAP::ExpressionBuilderprotected
framesUTAP::ExpressionBuilderprotected
ganttDeclEnd() overrideUTAP::SystemBuildervirtual
ganttDeclSelect(const char *id) overrideUTAP::SystemBuildervirtual
ganttDeclStart(const char *name) overrideUTAP::SystemBuildervirtual
ganttEntryEnd() overrideUTAP::SystemBuildervirtual
ganttEntrySelect(const char *id) overrideUTAP::SystemBuildervirtual
ganttEntryStart() overrideUTAP::SystemBuildervirtual
getCurrentDeclarationBlock()UTAP::SystemBuilderprotected
getExpressions()UTAP::ExpressionBuilder
handleError(const std::string &) overrideUTAP::ExpressionBuildervirtual
UTAP::AbstractBuilder::handleError(const char *msg,...)UTAP::ParserBuilder
handleExpect(const char *text) overrideUTAP::AbstractBuildervirtual
handleWarning(const std::string &) overrideUTAP::ExpressionBuildervirtual
UTAP::AbstractBuilder::handleWarning(const char *msg,...)UTAP::ParserBuilder
hasPrechart(const bool pch) overrideUTAP::SystemBuildervirtual
ifBegin() overrideUTAP::StatementBuilderinlinevirtual
ifCondition() overrideUTAP::StatementBuilderinlinevirtual
ifEnd(bool) overrideUTAP::StatementBuildervirtual
ifThen() overrideUTAP::StatementBuilderinlinevirtual
incProcPriority() overrideUTAP::SystemBuildervirtual
instanceName(const char *name, bool templ=true) overrideUTAP::SystemBuildervirtual
instanceNameBegin(const char *name) overrideUTAP::SystemBuildervirtual
instanceNameEnd(const char *name, size_t arguments) overrideUTAP::SystemBuildervirtual
instantiationBegin(const char *, size_t, const char *) overrideUTAP::SystemBuildervirtual
instantiationEnd(const char *, size_t, const char *, size_t) overrideUTAP::SystemBuildervirtual
isType(const char *) overrideUTAP::ExpressionBuildervirtual
iterationBegin(const char *name) overrideUTAP::StatementBuildervirtual
iterationEnd(const char *name) overrideUTAP::StatementBuildervirtual
labelsUTAP::StatementBuilderprotected
lscTemplateNamesUTAP::ParserBuilder
makeConstant(int value)UTAP::ExpressionBuilderprotected
makeConstant(double value)UTAP::ExpressionBuilderprotected
paramsUTAP::StatementBuilderprotected
parse(const char *) overrideUTAP::AbstractBuildervirtual
popDynamicFrameOf(const std::string &name)UTAP::ExpressionBuilder
popFrame()UTAP::ExpressionBuilderprotected
positionUTAP::AbstractBuilderprotected
PREFIX enum nameUTAP::ParserBuilder
PREFIX_BROADCAST enum valueUTAP::ParserBuilder
PREFIX_CONST enum valueUTAP::ParserBuilder
PREFIX_HYBRID enum valueUTAP::ParserBuilder
PREFIX_NONE enum valueUTAP::ParserBuilder
PREFIX_SYSTEM_META enum valueUTAP::ParserBuilder
PREFIX_URGENT enum valueUTAP::ParserBuilder
PREFIX_URGENT_BROADCAST enum valueUTAP::ParserBuilder
procBegin(const char *name, const bool isTA=true, const std::string type="", const std::string mode="") overrideUTAP::SystemBuildervirtual
procBranchpoint(const char *name) overrideUTAP::SystemBuildervirtual
procCondition(const std::vector< char *> anchors, const int loc, const bool pch, const bool hot) overrideUTAP::SystemBuildervirtual
procCondition() overrideUTAP::SystemBuildervirtual
procEdgeBegin(const char *from, const char *to, const bool control, const char *actname) overrideUTAP::SystemBuildervirtual
procEdgeEnd(const char *from=0, const char *to=0) overrideUTAP::SystemBuildervirtual
procEnd() overrideUTAP::SystemBuildervirtual
process(const char *) overrideUTAP::SystemBuildervirtual
processListEnd() overrideUTAP::SystemBuildervirtual
procGuard() overrideUTAP::SystemBuildervirtual
procInstanceLine() overrideUTAP::SystemBuildervirtual
procLscUpdate(const char *anchor, const int loc, const bool pch) overrideUTAP::SystemBuildervirtual
procLscUpdate() overrideUTAP::SystemBuildervirtual
procMessage(const char *from, const char *to, const int loc, const bool pch) overrideUTAP::SystemBuildervirtual
procMessage(Constants::synchronisation_t type) overrideUTAP::SystemBuildervirtual
procPriority(const char *) overrideUTAP::SystemBuildervirtual
procProb() overrideUTAP::SystemBuildervirtual
procSelect(const char *id) overrideUTAP::SystemBuildervirtual
procState(const char *name, bool hasInvariant, bool hasER) overrideUTAP::SystemBuildervirtual
procStateCommit(const char *name) overrideUTAP::SystemBuildervirtual
procStateInit(const char *name) overrideUTAP::SystemBuildervirtual
procStateUrgent(const char *name) overrideUTAP::SystemBuildervirtual
procSync(Constants::synchronisation_t type) overrideUTAP::SystemBuildervirtual
procUpdate() overrideUTAP::SystemBuildervirtual
property() overrideUTAP::AbstractBuildervirtual
pushDynamicFrameOf(template_t *t, const std::string &name)UTAP::ExpressionBuilder
pushFrame(frame_t)UTAP::ExpressionBuilderprotected
queryBegin() overrideUTAP::SystemBuildervirtual
queryComment(const char *comment) overrideUTAP::SystemBuildervirtual
queryEnd() overrideUTAP::SystemBuildervirtual
queryFormula(const char *formula, const char *location) overrideUTAP::SystemBuildervirtual
resolve(const std::string &, symbol_t &)UTAP::ExpressionBuilderprotected
returnStatement(bool) overrideUTAP::StatementBuildervirtual
scalar_countUTAP::ExpressionBuilderprotected
scenario(const char *) overrideUTAP::AbstractBuildervirtual
setPosition(uint32_t, uint32_t) overrideUTAP::AbstractBuildervirtual
StatementBuilder(TimedAutomataSystem *)UTAP::StatementBuilder
structField(const char *name) overrideUTAP::StatementBuildervirtual
switchBegin() overrideUTAP::AbstractBuildervirtual
switchEnd() overrideUTAP::AbstractBuildervirtual
systemUTAP::ExpressionBuilderprotected
SystemBuilder(TimedAutomataSystem *)UTAP::SystemBuilder
typeArrayOfSize(size_t) overrideUTAP::StatementBuildervirtual
typeArrayOfType(size_t) overrideUTAP::StatementBuildervirtual
typeBool(PREFIX) overrideUTAP::ExpressionBuildervirtual
typeBoundedInt(PREFIX) overrideUTAP::ExpressionBuildervirtual
typeChannel(PREFIX) overrideUTAP::ExpressionBuildervirtual
typeClock(PREFIX) overrideUTAP::ExpressionBuildervirtual
typeDouble(PREFIX) overrideUTAP::ExpressionBuildervirtual
typeDuplicate() overrideUTAP::ExpressionBuildervirtual
typeFragmentsUTAP::ExpressionBuilderprotected
typeInt(PREFIX) overrideUTAP::ExpressionBuildervirtual
typeName(PREFIX, const char *name) overrideUTAP::ExpressionBuildervirtual
typePop() overrideUTAP::ExpressionBuildervirtual
typeScalar(PREFIX) overrideUTAP::ExpressionBuildervirtual
typeStruct(PREFIX, uint32_t fields) overrideUTAP::StatementBuildervirtual
typeVoid() overrideUTAP::ExpressionBuildervirtual
whileBegin() overrideUTAP::StatementBuildervirtual
whileEnd() overrideUTAP::StatementBuildervirtual
~ParserBuilder()UTAP::ParserBuilderinlinevirtual
~StatementBuilder()UTAP::StatementBuilder