libutap  0.93
Uppaal Timed Automata Parser
UTAP::ExpressionBuilder::ExpressionFragments Class Reference

#include <expressionbuilder.h>

Public Member Functions

expression_toperator[] (int idx)
 
void push (expression_t e)
 
void pop ()
 
void pop (uint32_t n)
 
uint32_t size ()
 

Detailed Description

Definition at line 53 of file expressionbuilder.h.

Member Function Documentation

◆ operator[]()

expression_t& UTAP::ExpressionBuilder::ExpressionFragments::operator[] ( int  idx)
inline

Definition at line 58 of file expressionbuilder.h.

◆ pop() [1/2]

void UTAP::ExpressionBuilder::ExpressionFragments::pop ( )
inline

Definition at line 62 of file expressionbuilder.h.

Referenced by UTAP::SystemBuilder::addChanPriority(), UTAP::SystemBuilder::afterUpdate(), UTAP::StatementBuilder::assertStatement(), UTAP::SystemBuilder::beforeUpdate(), UTAP::SystemBuilder::beginChanPriority(), UTAP::StatementBuilder::declInitialiserList(), UTAP::SystemBuilder::declIO(), UTAP::SystemBuilder::declProgress(), UTAP::StatementBuilder::declVar(), UTAP::StatementBuilder::doWhileEnd(), UTAP::ExpressionBuilder::exprArray(), UTAP::ExpressionBuilder::exprAssignment(), UTAP::ExpressionBuilder::exprBinary(), UTAP::ExpressionBuilder::exprBuiltinFunction2(), UTAP::ExpressionBuilder::exprBuiltinFunction3(), UTAP::ExpressionBuilder::exprCallEnd(), UTAP::ExpressionBuilder::exprComma(), UTAP::ExpressionBuilder::exprExistsDynamicEnd(), UTAP::ExpressionBuilder::exprForAllDynamicEnd(), UTAP::ExpressionBuilder::exprForeachDynamicEnd(), UTAP::ExpressionBuilder::exprInlineIf(), UTAP::ExpressionBuilder::exprMitlAtom(), UTAP::ExpressionBuilder::exprMitlBox(), UTAP::ExpressionBuilder::exprMitlConj(), UTAP::ExpressionBuilder::exprMitlDiamond(), UTAP::ExpressionBuilder::exprMitlDisj(), UTAP::ExpressionBuilder::exprMitlFormula(), UTAP::ExpressionBuilder::exprMitlNext(), UTAP::ExpressionBuilder::exprMitlRelease(), UTAP::ExpressionBuilder::exprMitlUntil(), UTAP::ExpressionBuilder::exprNary(), UTAP::ExpressionBuilder::exprNumOf(), UTAP::ExpressionBuilder::exprProbaCompare(), UTAP::ExpressionBuilder::exprProbaExpected(), UTAP::ExpressionBuilder::exprProbaQualitative(), UTAP::ExpressionBuilder::exprProbaQuantitative(), UTAP::ExpressionBuilder::exprSimulate(), UTAP::ExpressionBuilder::exprSMCControl(), UTAP::ExpressionBuilder::exprSpawn(), UTAP::StatementBuilder::exprStatement(), UTAP::ExpressionBuilder::exprSumDynamicEnd(), UTAP::SystemBuilder::exprSync(), UTAP::ExpressionBuilder::exprTernary(), UTAP::StatementBuilder::forEnd(), UTAP::SystemBuilder::ganttEntryEnd(), UTAP::StatementBuilder::ifEnd(), UTAP::SystemBuilder::instanceNameEnd(), UTAP::SystemBuilder::instantiationEnd(), UTAP::SystemBuilder::procCondition(), UTAP::SystemBuilder::procGuard(), UTAP::SystemBuilder::procLscUpdate(), UTAP::SystemBuilder::procMessage(), UTAP::SystemBuilder::procProb(), UTAP::SystemBuilder::procState(), UTAP::SystemBuilder::procSync(), UTAP::SystemBuilder::procUpdate(), UTAP::StatementBuilder::returnStatement(), UTAP::StatementBuilder::typeArrayOfSize(), UTAP::ExpressionBuilder::typeBoundedInt(), UTAP::ExpressionBuilder::typeScalar(), and UTAP::StatementBuilder::whileEnd().

◆ pop() [2/2]

void ExpressionBuilder::ExpressionFragments::pop ( uint32_t  n)

Definition at line 57 of file expressionbuilder.cpp.

◆ push()

void UTAP::ExpressionBuilder::ExpressionFragments::push ( expression_t  e)
inline

Definition at line 60 of file expressionbuilder.h.

Referenced by UTAP::StatementBuilder::declInitialiserList(), UTAP::SystemBuilder::defaultChanPriority(), UTAP::ExpressionBuilder::exprArray(), UTAP::ExpressionBuilder::exprAssignment(), UTAP::ExpressionBuilder::exprBinary(), UTAP::ExpressionBuilder::exprCallEnd(), UTAP::ExpressionBuilder::exprComma(), UTAP::ExpressionBuilder::exprDeadlock(), UTAP::ExpressionBuilder::exprDouble(), UTAP::ExpressionBuilder::exprExistsDynamicEnd(), UTAP::ExpressionBuilder::exprExit(), UTAP::ExpressionBuilder::exprFalse(), UTAP::ExpressionBuilder::exprForAllDynamicEnd(), UTAP::ExpressionBuilder::exprForeachDynamicEnd(), UTAP::ExpressionBuilder::exprId(), UTAP::ExpressionBuilder::exprInlineIf(), UTAP::ExpressionBuilder::exprMitlAtom(), UTAP::ExpressionBuilder::exprMitlBox(), UTAP::ExpressionBuilder::exprMitlConj(), UTAP::ExpressionBuilder::exprMitlDiamond(), UTAP::ExpressionBuilder::exprMitlDisj(), UTAP::ExpressionBuilder::exprMitlFormula(), UTAP::ExpressionBuilder::exprMitlNext(), UTAP::ExpressionBuilder::exprMitlRelease(), UTAP::ExpressionBuilder::exprMitlUntil(), UTAP::ExpressionBuilder::exprNary(), UTAP::ExpressionBuilder::exprNat(), UTAP::ExpressionBuilder::exprNumOf(), UTAP::ExpressionBuilder::exprProbaCompare(), UTAP::ExpressionBuilder::exprProbaExpected(), UTAP::ExpressionBuilder::exprProbaQualitative(), UTAP::ExpressionBuilder::exprProbaQuantitative(), UTAP::ExpressionBuilder::exprScenario(), UTAP::ExpressionBuilder::exprSimulate(), UTAP::ExpressionBuilder::exprSMCControl(), UTAP::ExpressionBuilder::exprSpawn(), UTAP::ExpressionBuilder::exprSumDynamicEnd(), UTAP::ExpressionBuilder::exprTernary(), UTAP::ExpressionBuilder::exprTrue(), and UTAP::StatementBuilder::typeArrayOfSize().

Here is the caller graph for this function:

◆ size()

uint32_t UTAP::ExpressionBuilder::ExpressionFragments::size ( )
inline

Definition at line 65 of file expressionbuilder.h.


The documentation for this class was generated from the following files: