libutap
Public Member Functions | Protected Member Functions | Static Protected Member Functions | Protected Attributes | List of all members
UTAP::StatementBuilder Class Referenceabstract

Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system. More...

#include <statementbuilder.h>

Inheritance diagram for UTAP::StatementBuilder:
UTAP::ExpressionBuilder UTAP::AbstractBuilder UTAP::ParserBuilder UTAP::SystemBuilder

Public Member Functions

 StatementBuilder (TimedAutomataSystem *)
 
virtual void typeArrayOfSize (size_t)
 Called to create an array type. More...
 
virtual void typeArrayOfType (size_t)
 Called to create an array type. More...
 
virtual void typeStruct (PREFIX, uint32_t fields)
 Used to construct a new struct type, which is then pushed onto the type stack. More...
 
virtual void structField (const char *name)
 Used to declare the fields of a structure. More...
 
virtual void declTypeDef (const char *name)
 A type definition. More...
 
virtual void declVar (const char *name, bool init)
 Declare a new variable of the given name. More...
 
virtual void declInitialiserList (uint32_t num)
 
virtual void declFieldInit (const char *name)
 
virtual void declParameter (const char *name, bool)
 
virtual void declFuncBegin (const char *name)
 
virtual void declFuncEnd ()
 
virtual void blockBegin ()
 
virtual void blockEnd ()
 
virtual void emptyStatement ()
 
virtual void forBegin ()
 
virtual void forEnd ()
 
virtual void iterationBegin (const char *name)
 
virtual void iterationEnd (const char *name)
 
virtual void whileBegin ()
 
virtual void whileEnd ()
 
virtual void doWhileBegin ()
 
virtual void doWhileEnd ()
 
virtual void ifBegin ()
 
virtual void ifElse ()
 
virtual void ifEnd (bool)
 
virtual void exprStatement ()
 
virtual void returnStatement (bool)
 
virtual void assertStatement ()
 
virtual void exprCallBegin ()
 
- Public Member Functions inherited from UTAP::ExpressionBuilder
 ExpressionBuilder (TimedAutomataSystem *)
 
ExpressionFragmentsgetExpressions ()
 
virtual void addPosition (uint32_t position, uint32_t offset, uint32_t line, std::string path)
 Add mapping from an absolute position to a relative XML element. More...
 
virtual void handleError (std::string)
 
virtual void handleWarning (std::string)
 
virtual void typeDuplicate ()
 Duplicate type at the top of the type stack. More...
 
virtual void typePop ()
 Pop type at the topof the type stack. More...
 
virtual void typeBool (PREFIX)
 Called whenever a boolean type is parsed. More...
 
virtual void typeInt (PREFIX)
 Called whenever an integer type is parsed. More...
 
virtual void typeDouble (PREFIX)
 Called whenever a double type is parsed. More...
 
virtual void typeBoundedInt (PREFIX)
 Called whenever an integer type with a range is parsed. More...
 
virtual void typeChannel (PREFIX)
 Called whenever a channel type is parsed. More...
 
virtual void typeClock (PREFIX)
 Called whenever a clock type is parsed. More...
 
virtual void typeVoid ()
 Called whenever a void type is parsed. More...
 
virtual void typeScalar (PREFIX)
 Called whenever a scalar type is parsed. More...
 
virtual void typeName (PREFIX, const char *name)
 Called when a type name has been parsed. More...
 
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. More...
 
virtual void exprTrue ()
 
virtual void exprFalse ()
 
virtual void exprDouble (double)
 
virtual void exprId (const char *varName)
 
virtual void exprNat (int32_t)
 
virtual void exprCallEnd (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 exprNary (Constants::kind_t op, uint32_t num)
 
virtual void exprScenario (const char *name)
 
virtual expression_t exprScenario ()
 
virtual void exprTernary (Constants::kind_t ternaryop, bool firstMissing)
 
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)
 
virtual void exprExistsBegin (const char *name)
 
virtual void exprExistsEnd (const char *name)
 
virtual void exprSumBegin (const char *name)
 
virtual void exprSumEnd (const char *name)
 
virtual void exprSMCControl (int)
 
virtual void exprProbaQualitative (int, Constants::kind_t, Constants::kind_t, double)
 
virtual void exprProbaQuantitative (int, Constants::kind_t, bool stopCondition=false)
 
virtual void exprProbaCompare (int, Constants::kind_t, int, Constants::kind_t)
 
virtual void exprProbaExpected (int, const char *)
 
virtual void exprBuiltinFunction1 (Constants::kind_t)
 
virtual void exprBuiltinFunction2 (Constants::kind_t)
 
virtual void exprSimulate (int, int, int, bool=false, int=0)
 
virtual void exprMitlFormula ()
 
virtual void exprMitlUntil (int, int)
 
virtual void exprMitlRelease (int, int)
 
virtual void exprMitlDisj ()
 
virtual void exprMitlConj ()
 
virtual void exprMitlNext ()
 
virtual void exprMitlAtom ()
 
virtual void exprMitlDiamond (int, int)
 
virtual void exprMitlBox (int, int)
 
virtual void exprSpawn (int params)
 
virtual void exprExit ()
 
virtual void exprNumOf ()
 
virtual void exprForAllDynamicBegin (const char *, const char *)
 
virtual void exprForAllDynamicEnd (const char *name)
 
virtual void exprExistsDynamicBegin (const char *, const char *)
 
virtual void exprExistsDynamicEnd (const char *)
 
virtual void exprSumDynamicBegin (const char *, const char *)
 
virtual void exprSumDynamicEnd (const char *name)
 
virtual void exprForeachDynamicBegin (const char *, const char *)
 
virtual void exprForeachDynamicEnd (const char *name)
 
virtual void pushDynamicFrameOf (template_t *t, std::string name)
 
virtual void popDynamicFrameOf (std::string name)
 
- Public Member Functions inherited from UTAP::AbstractBuilder
 AbstractBuilder ()
 
virtual void setPosition (uint32_t, uint32_t)
 Sets the current position. More...
 
virtual void ganttDeclStart (const char *name)
 
virtual void ganttDeclSelect (const char *id)
 
virtual void ganttDeclEnd ()
 
virtual void ganttEntryStart ()
 
virtual void ganttEntrySelect (const char *id)
 
virtual void ganttEntryEnd ()
 
virtual void declProgress (bool)
 Guard progress measure declaration. More...
 
virtual void procBegin (const char *name, const bool isTA=true, const std::string type="", const std::string mode="")
 
virtual void procEnd ()
 
virtual void procState (const char *name, bool hasInvariant, bool hasER)
 
virtual void procStateCommit (const char *name)
 
virtual void procStateUrgent (const char *name)
 
virtual void procStateInit (const char *name)
 
virtual void procBranchpoint (const char *name)
 
virtual void procEdgeBegin (const char *from, const char *to, const bool control, const char *actname)
 
virtual void procEdgeEnd (const char *from, const char *to)
 
virtual void procSelect (const char *id)
 
virtual void procGuard ()
 
virtual void procSync (Constants::synchronisation_t type)
 
virtual void procUpdate ()
 
virtual void procProb ()
 
virtual void procInstanceLine ()
 
virtual void instanceName (const char *name, bool templ=true)
 
virtual void instanceNameBegin (const char *name)
 
virtual void instanceNameEnd (const char *name, size_t arguments)
 
virtual void procMessage (const char *from, const char *to, const int loc, const bool pch)
 
virtual void procMessage (Constants::synchronisation_t type)
 
virtual void procCondition (const std::vector< char * > anchors, const int loc, const bool pch, const bool hot)
 
virtual void procCondition ()
 
virtual void procLscUpdate (const char *anchor, const int loc, const bool pch)
 
virtual void procLscUpdate ()
 
virtual void hasPrechart (const bool pch)
 
virtual void breakStatement ()
 
virtual void continueStatement ()
 
virtual void switchBegin ()
 
virtual void switchEnd ()
 
virtual void caseBegin ()
 
virtual void caseEnd ()
 
virtual void defaultBegin ()
 
virtual void defaultEnd ()
 
virtual void exprSync (Constants::synchronisation_t type)
 
virtual void declIO (const char *, int, int)
 
virtual void exprProbaQuantitative (int, Constants::kind_t)
 
virtual void exprSimulate (int, int, int)
 
virtual void instantiationBegin (const char *, size_t, const char *)
 
virtual void instantiationEnd (const char *, size_t, const char *, size_t)
 
virtual void process (const char *)
 
virtual void processListEnd ()
 
virtual void done ()
 
virtual void property ()
 
virtual void scenario (const char *)
 
virtual void parse (const char *)
 
virtual void beforeUpdate ()
 
virtual void afterUpdate ()
 
virtual void beginChanPriority ()
 
virtual void addChanPriority (char separator)
 
virtual void defaultChanPriority ()
 
virtual void incProcPriority ()
 
virtual void procPriority (const char *)
 
virtual void declDynamicTemplate (std::string)
 Dynamic. More...
 
virtual void exprDynamicProcessExpr (const char *)
 
virtual void exprMITLForAllDynamicBegin (const char *, const char *)
 
virtual void exprMITLForAllDynamicEnd (const char *name)
 
virtual void exprMITLExistsDynamicBegin (const char *, const char *)
 
virtual void exprMITLExistsDynamicEnd (const char *name)
 
virtual void queryBegin ()
 Verification queries. More...
 
virtual void queryFormula (const char *formula, const char *location)
 
virtual void queryComment (const char *comment)
 
virtual void queryEnd ()
 
- Public Member Functions inherited from UTAP::ParserBuilder
virtual ~ParserBuilder ()
 
void handleWarning (const char *msg,...)
 
void handleError (const char *msg,...)
 

Protected Member Functions

virtual variable_taddVariable (type_t type, const char *name, expression_t init)=0
 
virtual bool addFunction (type_t type, const char *name)=0
 
- Protected Member Functions inherited from UTAP::ExpressionBuilder
void pushFrame (frame_t)
 Push a new frame. More...
 
void popFrame ()
 Pop the topmost frame. More...
 
bool resolve (std::string, symbol_t &)
 
expression_t makeConstant (int value)
 
expression_t makeConstant (double value)
 
type_t applyPrefix (PREFIX, type_t type)
 Given a prefix and a type, this method creates a new type by applying the prefix. More...
 
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. More...
 

Static Protected Member Functions

static void collectDependencies (std::set< symbol_t > &, expression_t)
 
static void collectDependencies (std::set< symbol_t > &, type_t)
 

Protected Attributes

frame_t params
 The params frame is used temporarily during parameter parsing. More...
 
function_tcurrentFun
 The function currently being parsed. More...
 
std::vector< BlockStatement * > blocks
 Stack of nested statement blocks. More...
 
std::vector< type_tfields
 The types of a struct. More...
 
std::vector< std::string > labels
 The labels of a struct. More...
 
- Protected Attributes inherited from UTAP::ExpressionBuilder
ExpressionFragments fragments
 Expression stack. More...
 
TypeFragments typeFragments
 Type stack. More...
 
std::stack< frame_tframes
 Frame stack. More...
 
TimedAutomataSystemsystem
 Pointer to the system under construction. More...
 
template_tcurrentTemplate
 The template currently being parsed. More...
 
int32_t scalar_count
 Counter for creating unique scalarset names. More...
 
std::map< std::string, frame_tdynamicFrames
 
- Protected Attributes inherited from UTAP::AbstractBuilder
position_t position
 

Additional Inherited Members

- Public Types inherited from UTAP::ParserBuilder
enum  PREFIX {
  PREFIX_NONE = 0, PREFIX_CONST = 1, PREFIX_URGENT = 2, PREFIX_BROADCAST = 4,
  PREFIX_URGENT_BROADCAST = 6, PREFIX_SYSTEM_META = 8, PREFIX_HYBRID = 16
}
 
- Public Attributes inherited from UTAP::ParserBuilder
std::vector< std::string > lscTemplateNames
 

Detailed Description

Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system.

Constructor & Destructor Documentation

StatementBuilder::StatementBuilder ( TimedAutomataSystem system)

Member Function Documentation

virtual bool UTAP::StatementBuilder::addFunction ( type_t  type,
const char *  name 
)
protectedpure virtual

Implemented in UTAP::SystemBuilder.

Referenced by declFuncBegin().

virtual variable_t* UTAP::StatementBuilder::addVariable ( type_t  type,
const char *  name,
expression_t  init 
)
protectedpure virtual

Implemented in UTAP::SystemBuilder.

Referenced by declVar(), and iterationBegin().

void StatementBuilder::assertStatement ( )
virtual
void StatementBuilder::blockBegin ( )
virtual
void StatementBuilder::blockEnd ( )
virtual
void StatementBuilder::collectDependencies ( std::set< symbol_t > &  dependencies,
expression_t  expr 
)
staticprotected
void StatementBuilder::collectDependencies ( std::set< symbol_t > &  dependencies,
type_t  type 
)
staticprotected
void StatementBuilder::declFieldInit ( const char *  name)
virtual
void StatementBuilder::declFuncBegin ( const char *  name)
virtual
void StatementBuilder::declFuncEnd ( )
virtual
void StatementBuilder::declInitialiserList ( uint32_t  num)
virtual
void StatementBuilder::declParameter ( const char *  name,
bool  ref 
)
virtual
void StatementBuilder::declTypeDef ( const char *  name)
virtual

A type definition.

Assign the name to the given type on the type fragment stack. In case of array types, dim constant expressions are expected on and popped from the expression stack.

Reimplemented from UTAP::AbstractBuilder.

References UTAP::type_t::createTypeDef(), UTAP::ExpressionBuilder::frames, UTAP::ExpressionBuilder::TypeFragments::pop(), UTAP::AbstractBuilder::position, and UTAP::ExpressionBuilder::typeFragments.

void StatementBuilder::declVar ( const char *  name,
bool  hasInit 
)
virtual

Declare a new variable of the given name.

The type is expected to be on the type stack. If the variable has an initialiser (the init parameter is true), then a constant expression is expected at the top of the expression stack. The expressions will be popped of the stack (the type is left untouched).

Reimplemented from UTAP::AbstractBuilder.

References addVariable(), currentFun, UTAP::ExpressionBuilder::fragments, UTAP::ExpressionBuilder::handleError(), initialisable(), mustInitialise(), UTAP::ExpressionBuilder::ExpressionFragments::pop(), UTAP::ExpressionBuilder::TypeFragments::pop(), and UTAP::ExpressionBuilder::typeFragments.

void StatementBuilder::doWhileBegin ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void StatementBuilder::doWhileEnd ( )
virtual
void StatementBuilder::emptyStatement ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

References blocks.

void StatementBuilder::exprCallBegin ( )
virtual
void StatementBuilder::exprStatement ( )
virtual
void StatementBuilder::forBegin ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void StatementBuilder::forEnd ( )
virtual
void StatementBuilder::ifBegin ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void StatementBuilder::ifElse ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void StatementBuilder::ifEnd ( bool  elsePart)
virtual
void StatementBuilder::iterationBegin ( const char *  name)
virtual
void StatementBuilder::iterationEnd ( const char *  name)
virtual
void StatementBuilder::returnStatement ( bool  args)
virtual
void StatementBuilder::structField ( const char *  name)
virtual
void StatementBuilder::typeArrayOfSize ( size_t  )
virtual
void StatementBuilder::typeArrayOfType ( size_t  )
virtual
void StatementBuilder::typeStruct ( PREFIX  prefix,
uint32_t  n 
)
virtual

Used to construct a new struct type, which is then pushed onto the type stack.

The type is based on n fields, which are expected to be on and will be popped off the type stack.

Reimplemented from UTAP::AbstractBuilder.

References UTAP::ExpressionBuilder::applyPrefix(), UTAP::type_t::createRecord(), fields, labels, UTAP::AbstractBuilder::position, UTAP::ExpressionBuilder::TypeFragments::push(), and UTAP::ExpressionBuilder::typeFragments.

void StatementBuilder::whileBegin ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void StatementBuilder::whileEnd ( )
virtual

Member Data Documentation

std::vector<BlockStatement*> UTAP::StatementBuilder::blocks
protected
function_t* UTAP::StatementBuilder::currentFun
protected
std::vector<type_t> UTAP::StatementBuilder::fields
protected

The types of a struct.

Referenced by declInitialiserList(), structField(), and typeStruct().

std::vector<std::string> UTAP::StatementBuilder::labels
protected

The labels of a struct.

Referenced by declFuncBegin(), declInitialiserList(), structField(), and typeStruct().

frame_t UTAP::StatementBuilder::params
protected

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