libutap
0.93
Uppaal Timed Automata Parser
|
#include <expressionbuilder.h>
Public Member Functions | |
type_t & | operator[] (int idx) |
void | push (type_t value) |
void | pop () |
void | duplicate () |
Definition at line 68 of file expressionbuilder.h.
|
inline |
Definition at line 79 of file expressionbuilder.h.
Referenced by UTAP::ExpressionBuilder::typeDuplicate().
|
inline |
Definition at line 73 of file expressionbuilder.h.
|
inline |
Definition at line 77 of file expressionbuilder.h.
Referenced by UTAP::SystemBuilder::addSelectSymbolToFrame(), UTAP::StatementBuilder::declFuncBegin(), UTAP::StatementBuilder::declParameter(), UTAP::StatementBuilder::declTypeDef(), UTAP::StatementBuilder::declVar(), UTAP::ExpressionBuilder::exprForAllBegin(), UTAP::StatementBuilder::iterationBegin(), UTAP::StatementBuilder::structField(), UTAP::StatementBuilder::typeArrayOfType(), and UTAP::ExpressionBuilder::typePop().
|
inline |
Definition at line 75 of file expressionbuilder.h.
Referenced by UTAP::ExpressionBuilder::typeBool(), UTAP::ExpressionBuilder::typeBoundedInt(), UTAP::ExpressionBuilder::typeChannel(), UTAP::ExpressionBuilder::typeClock(), UTAP::ExpressionBuilder::typeDouble(), UTAP::ExpressionBuilder::typeInt(), UTAP::ExpressionBuilder::typeName(), UTAP::ExpressionBuilder::typeScalar(), UTAP::StatementBuilder::typeStruct(), and UTAP::ExpressionBuilder::typeVoid().