UTAP::SystemBuilder Member List

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

AbstractBuilder()UTAP::AbstractBuilder
addFunction(type_t type, const char *name)UTAP::SystemBuilder [protected, virtual]
addPosition(uint32_t position, uint32_t offset, uint32_t line, std::string path)UTAP::ExpressionBuilder [virtual]
addVariable(type_t type, const char *name, expression_t init)UTAP::SystemBuilder [protected, virtual]
afterUpdate()UTAP::SystemBuilder [virtual]
allowProcessReferences()UTAP::ExpressionBuilder [inline, protected, virtual]
applyPrefix(PREFIX, type_t type)UTAP::ExpressionBuilder [protected]
assertStatement()UTAP::StatementBuilder [virtual]
beforeUpdate()UTAP::SystemBuilder [virtual]
blockBegin()UTAP::StatementBuilder [virtual]
blockEnd()UTAP::StatementBuilder [virtual]
blocksUTAP::StatementBuilder [protected]
breakStatement()UTAP::AbstractBuilder [virtual]
caseBegin()UTAP::AbstractBuilder [virtual]
caseEnd()UTAP::AbstractBuilder [virtual]
chanPriority()UTAP::SystemBuilder [virtual]
collectDependencies(std::set< symbol_t > &, expression_t)UTAP::StatementBuilder [protected, static]
collectDependencies(std::set< symbol_t > &, type_t)UTAP::StatementBuilder [protected, static]
continueStatement()UTAP::AbstractBuilder [virtual]
currentChanPriorityUTAP::SystemBuilder [protected]
currentEdgeUTAP::SystemBuilder [protected]
currentFunUTAP::StatementBuilder [protected]
currentProcPriorityUTAP::SystemBuilder [protected]
currentTemplateUTAP::ExpressionBuilder [protected]
declFieldInit(const char *name)UTAP::StatementBuilder [virtual]
declFuncBegin(const char *name)UTAP::StatementBuilder [virtual]
declFuncEnd()UTAP::StatementBuilder [virtual]
declInitialiserList(uint32_t num)UTAP::StatementBuilder [virtual]
declParameter(const char *name, bool)UTAP::StatementBuilder [virtual]
declParamId(const char *)UTAP::AbstractBuilder [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]
emptyStatement()UTAP::StatementBuilder [virtual]
exprArray()UTAP::ExpressionBuilder [virtual]
exprAssignment(Constants::kind_t op)UTAP::ExpressionBuilder [virtual]
exprBinary(Constants::kind_t binaryop)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]
ExpressionBuilder(TimedAutomataSystem *)UTAP::ExpressionBuilder
exprExistsBegin(const char *name)UTAP::ExpressionBuilder [virtual]
exprExistsEnd(const char *name)UTAP::ExpressionBuilder [virtual]
exprFalse()UTAP::ExpressionBuilder [virtual]
exprForAllBegin(const char *name)UTAP::ExpressionBuilder [virtual]
exprForAllEnd(const char *name)UTAP::ExpressionBuilder [virtual]
exprId(const char *varName)UTAP::ExpressionBuilder [virtual]
exprInlineIf()UTAP::ExpressionBuilder [virtual]
exprNat(int32_t)UTAP::ExpressionBuilder [virtual]
exprPostDecrement()UTAP::ExpressionBuilder [virtual]
exprPostIncrement()UTAP::ExpressionBuilder [virtual]
exprPreDecrement()UTAP::ExpressionBuilder [virtual]
exprPreIncrement()UTAP::ExpressionBuilder [virtual]
exprStatement()UTAP::StatementBuilder [virtual]
exprTernary(Constants::kind_t ternaryop, bool firstMissing)UTAP::ExpressionBuilder [virtual]
exprTrue()UTAP::ExpressionBuilder [virtual]
exprUnary(Constants::kind_t unaryop)UTAP::ExpressionBuilder [virtual]
fieldsUTAP::StatementBuilder [protected]
forBegin()UTAP::StatementBuilder [virtual]
forEnd()UTAP::StatementBuilder [virtual]
fragmentsUTAP::ExpressionBuilder [protected]
framesUTAP::ExpressionBuilder [protected]
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
ifBegin()UTAP::StatementBuilder [virtual]
ifElse()UTAP::StatementBuilder [virtual]
ifEnd(bool)UTAP::StatementBuilder [virtual]
incChanPriority()UTAP::SystemBuilder [virtual]
incProcPriority()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]
labelsUTAP::StatementBuilder [protected]
makeConstant(int value)UTAP::ExpressionBuilder [protected]
paramProperty(size_t, Constants::kind_t)UTAP::AbstractBuilder [virtual]
paramsUTAP::StatementBuilder [protected]
popFrame()UTAP::ExpressionBuilder [protected]
positionUTAP::AbstractBuilder [protected]
PREFIX enum nameUTAP::ParserBuilder
PREFIX_BROADCAST enum valueUTAP::ParserBuilder
PREFIX_CONST enum valueUTAP::ParserBuilder
PREFIX_META enum valueUTAP::ParserBuilder
PREFIX_NONE enum valueUTAP::ParserBuilder
PREFIX_URGENT enum valueUTAP::ParserBuilder
PREFIX_URGENT_BROADCAST enum valueUTAP::ParserBuilder
procBegin(const char *name)UTAP::SystemBuilder [virtual]
procEdgeBegin(const char *from, const char *to, const bool control)UTAP::SystemBuilder [virtual]
procEdgeEnd(const char *from, const char *to)UTAP::SystemBuilder [virtual]
procEnd()UTAP::SystemBuilder [virtual]
process(const char *)UTAP::SystemBuilder [virtual]
procGuard()UTAP::SystemBuilder [virtual]
procPriority(const char *)UTAP::SystemBuilder [virtual]
procSelect(const char *id)UTAP::SystemBuilder [virtual]
procState(const char *name, bool hasInvariant)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]
pushFrame(frame_t)UTAP::ExpressionBuilder [protected]
resolve(std::string, symbol_t &)UTAP::ExpressionBuilder [protected]
returnStatement(bool)UTAP::StatementBuilder [virtual]
scalar_countUTAP::ExpressionBuilder [protected]
setPosition(uint32_t, uint32_t)UTAP::AbstractBuilder [virtual]
ssQueryBegin()UTAP::AbstractBuilder [virtual]
ssQueryEnd()UTAP::AbstractBuilder [virtual]
StatementBuilder(TimedAutomataSystem *)UTAP::StatementBuilder
structField(const char *name)UTAP::StatementBuilder [virtual]
switchBegin()UTAP::AbstractBuilder [virtual]
switchEnd()UTAP::AbstractBuilder [virtual]
systemUTAP::ExpressionBuilder [protected]
SystemBuilder(TimedAutomataSystem *)UTAP::SystemBuilder
typeArrayOfSize(size_t)UTAP::StatementBuilder [virtual]
typeArrayOfType(size_t)UTAP::StatementBuilder [virtual]
typeBool(PREFIX)UTAP::ExpressionBuilder [virtual]
UTAP::ParserBuilder::typeBool(PREFIX)=0UTAP::ParserBuilder [pure virtual]
typeBoundedInt(PREFIX)UTAP::ExpressionBuilder [virtual]
UTAP::ParserBuilder::typeBoundedInt(PREFIX)=0UTAP::ParserBuilder [pure virtual]
typeChannel(PREFIX)UTAP::ExpressionBuilder [virtual]
UTAP::ParserBuilder::typeChannel(PREFIX)=0UTAP::ParserBuilder [pure virtual]
typeClock()UTAP::ExpressionBuilder [virtual]
typeDuplicate()UTAP::ExpressionBuilder [virtual]
typeFragmentsUTAP::ExpressionBuilder [protected]
typeInt(PREFIX)UTAP::ExpressionBuilder [virtual]
UTAP::ParserBuilder::typeInt(PREFIX)=0UTAP::ParserBuilder [pure virtual]
typeName(PREFIX, const char *name)UTAP::ExpressionBuilder [virtual]
UTAP::ParserBuilder::typeName(PREFIX, const char *name)=0UTAP::ParserBuilder [pure virtual]
typePop()UTAP::ExpressionBuilder [virtual]
typeScalar(PREFIX)UTAP::ExpressionBuilder [virtual]
UTAP::ParserBuilder::typeScalar(PREFIX)=0UTAP::ParserBuilder [pure virtual]
typeStruct(PREFIX, uint32_t fields)UTAP::StatementBuilder [virtual]
UTAP::ParserBuilder::typeStruct(PREFIX, uint32_t fields)=0UTAP::ParserBuilder [pure virtual]
typeVoid()UTAP::ExpressionBuilder [virtual]
whileBegin()UTAP::StatementBuilder [virtual]
whileEnd()UTAP::StatementBuilder [virtual]
~ParserBuilder()UTAP::ParserBuilder [inline, virtual]


Generated on Thu Feb 22 14:46:53 2007 for libutap by  doxygen 1.4.7