libutap
UTAP::ExpressionBuilder Member List

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

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