#include <expressionbuilder.h>
Inheritance diagram for UTAP::ExpressionBuilder:
Public Member Functions | |
ExpressionBuilder (TimedAutomataSystem *) | |
ExpressionFragments & | getExpressions () |
virtual void | typeName (int32_t prefix, const char *name, int range) |
Push a new type onto the type stack. | |
virtual bool | isType (const char *) |
Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type. | |
virtual bool | isLocation (const char *) |
virtual void | exprTrue () |
virtual void | exprFalse () |
virtual void | exprId (const char *varName) |
virtual void | exprNat (int32_t) |
virtual void | exprCallBegin () |
virtual void | exprCallEnd (uint32_t n) |
virtual void | exprArg (uint32_t n) |
virtual void | exprArray () |
virtual void | exprPostIncrement () |
virtual void | exprPreIncrement () |
virtual void | exprPostDecrement () |
virtual void | exprPreDecrement () |
virtual void | exprAssignment (Constants::kind_t op) |
virtual void | exprUnary (Constants::kind_t unaryop) |
virtual void | exprBinary (Constants::kind_t binaryop) |
virtual void | exprInlineIf () |
virtual void | exprComma () |
virtual void | exprDot (const char *) |
virtual void | exprDeadlock () |
virtual void | exprForAllBegin (const char *name) |
virtual void | exprForAllEnd (const char *name) |
Protected Member Functions | |
void | pushFrame (frame_t) |
void | popFrame () |
bool | resolve (std::string, symbol_t &) |
expression_t | makeConstant (int value) |
type_t | applyPrefix (int32_t prefix, type_t type) |
Given a prefix and a type, this method creates a new type by applying the prefix. | |
virtual bool | allowProcessReferences () |
If this method returns true, it is allowed to access the private identifiers of a process by prefixing the identifier with the process name. | |
Protected Attributes | |
ExpressionFragments | fragments |
TimedAutomataSystem * | system |
UTAP::ExpressionBuilder::TypeFragments | typeFragments |
std::stack< frame_t > | frames |
Classes | |
class | ExpressionFragments |
class | TypeFragments |
|
|
|
If this method returns true, it is allowed to access the private identifiers of a process by prefixing the identifier with the process name. This is only interesting when parsing properties. In this case the method should be overridden by a sub class. |
|
Given a prefix and a type, this method creates a new type by applying the prefix. TypeExceptions might be thrown if the combination of the prefix and the type is illegal. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. Reimplemented in UTAP::SystemBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
|
|
Reimplemented from UTAP::AbstractBuilder. |
|
Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type.
Reimplemented from UTAP::AbstractBuilder. |
|
|
|
|
|
|
|
|
|
Push a new type onto the type stack. This type might subsequently be used to declare e.g. variables. Range indicates the number range or rate expressions (currently, it might be 0, 1 or 2). The corresponding number of fragments will be popped from the expression stack. Reimplemented from UTAP::AbstractBuilder. |
|
|
|
|
|
|
|
|