Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

UTAP::ExpressionBuilder Class Reference

#include <expressionbuilder.h>

Inheritance diagram for UTAP::ExpressionBuilder:

UTAP::AbstractBuilder UTAP::ParserBuilder UTAP::SystemBuilder List of all members.

Public Member Functions

 ExpressionBuilder (TimedAutomataSystem *)
ExpressionFragmentsgetExpressions ()
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 (const char *functionName)
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 ()

Protected Member Functions

void setFrame (frame_t)
expression_t makeConstant (int value)
virtual bool allowProcessReferences ()

Protected Attributes

ExpressionFragments fragments
TimedAutomataSystemsystem
frame_t frame

Classes

class  ExpressionFragments

Constructor & Destructor Documentation

ExpressionBuilder::ExpressionBuilder TimedAutomataSystem  ) 
 


Member Function Documentation

virtual bool UTAP::ExpressionBuilder::allowProcessReferences  )  [inline, protected, virtual]
 

void ExpressionBuilder::exprArg uint32_t  n  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprArray  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprAssignment Constants::kind_t  op  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprBinary Constants::kind_t  binaryop  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprCallBegin const char *  functionName  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

Reimplemented in UTAP::SystemBuilder.

void ExpressionBuilder::exprCallEnd uint32_t  n  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprComma  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprDeadlock  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprDot const char *   )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprFalse  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprId const char *  varName  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprInlineIf  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprNat int32_t   )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprPostDecrement  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprPostIncrement  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprPreDecrement  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprPreIncrement  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprTrue  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void ExpressionBuilder::exprUnary Constants::kind_t  unaryop  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

ExpressionBuilder::ExpressionFragments & ExpressionBuilder::getExpressions  ) 
 

bool ExpressionBuilder::isLocation const char *   )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

bool ExpressionBuilder::isType const char *   )  [virtual]
 

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.

expression_t ExpressionBuilder::makeConstant int  value  )  [protected]
 

void UTAP::ExpressionBuilder::setFrame frame_t   )  [protected]
 


Member Data Documentation

ExpressionFragments UTAP::ExpressionBuilder::fragments [protected]
 

frame_t UTAP::ExpressionBuilder::frame [protected]
 

TimedAutomataSystem* UTAP::ExpressionBuilder::system [protected]
 


The documentation for this class was generated from the following files:
Generated on Thu Feb 17 15:20:59 2005 for libutap by  doxygen 1.4.1