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

UTAP::OldTypeChecker Class Reference

#include <oldtypechecker.hh>

Inheritance diagram for UTAP::OldTypeChecker:

UTAP::ParserBuilder List of all members.

Public Member Functions

 OldTypeChecker (TimedAutomataSystem *)
virtual void setErrorHandler (ErrorHandler *)
virtual void setPosition (const position_t &)
virtual bool isType (const char *)
virtual bool isLocation (const char *)
virtual void declType (uint32_t prefix, const char *name, bool range)
virtual void declStruct (uint32_t prefix, uint32_t fields)
virtual void declField (const char *name, uint32_t dim)
virtual void declFieldEnd ()
virtual void declTypeDef (const char *name, uint32_t dim)
virtual void declTypeDefEnd ()
virtual void declVar (const char *name, uint32_t dim, bool init)
virtual void declVarEnd ()
virtual void declInitialiserList (uint32_t num)
virtual void declFieldInit (const char *name)
virtual void declParameter (const char *name, bool reference, uint32_t dim)
virtual void declParameterEnd ()
virtual void declFuncBegin (const char *name, uint32_t n)
virtual void declFuncEnd ()
virtual void procBegin (const char *name, uint32_t n)
virtual void procEnd ()
virtual void procState (const char *name)
virtual void procStateCommit (const char *name)
virtual void procStateUrgent (const char *name)
virtual void procStateInit (const char *name)
virtual void procTransition (const char *from, const char *to)
virtual void procGuard ()
virtual void procSync (uint32_t type)
virtual void procUpdate ()
virtual void blockBegin ()
virtual void blockEnd ()
virtual void emptyStatement ()
virtual void forBegin ()
virtual void forEnd ()
virtual void whileBegin ()
virtual void whileEnd ()
virtual void doWhileBegin ()
virtual void doWhileEnd ()
virtual void ifBegin ()
virtual void ifElse ()
virtual void ifEnd (bool)
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 exprStatement ()
virtual void returnStatement (bool)
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 (uint32_t op)
virtual void exprUnary (uint32_t unaryop)
virtual void exprBinary (uint32_t binaryop)
virtual void exprInlineIf ()
virtual void exprComma ()
virtual void exprDot (const char *)
virtual void exprDeadlock ()
virtual void instantiationBegin (const char *, const char *)
virtual void instantiationEnd (const char *, const char *, uint32_t n)
virtual void process (const char *)
virtual void done ()
virtual void property (uint32_t kind, int line)
virtual void beforeUpdate ()
virtual void afterUpdate ()

Protected Member Functions

virtual bool allowProcessReferences ()
virtual void property (int kind, int line, ExpressionProgram &)

Protected Attributes

bool strict_range
type_t BOOL
TimedAutomataSystemsystem
ErrorHandlererrorHandler
position_t position

Static Protected Attributes

const char *const unsupported
const char *const invalid_type = "Invalid type"

Constructor & Destructor Documentation

OldTypeChecker::OldTypeChecker TimedAutomataSystem  ) 
 


Member Function Documentation

void OldTypeChecker::afterUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

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

void OldTypeChecker::beforeUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::blockBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::blockEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::breakStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::caseBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::caseEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::continueStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declField const char *  name,
uint32_t  dim
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declFieldEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declFieldInit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declFuncBegin const char *  name,
uint32_t  n
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declFuncEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declInitialiserList uint32_t  num  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declParameter const char *  name,
bool  reference,
uint32_t  dim
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declParameterEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declStruct uint32_t  prefix,
uint32_t  fields
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declType uint32_t  prefix,
const char *  name,
bool  range
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declTypeDef const char *  name,
uint32_t  dim
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declTypeDefEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declVar const char *  name,
uint32_t  dim,
bool  init
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::declVarEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::defaultBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::defaultEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::done  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::doWhileBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::doWhileEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::emptyStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprArg uint32_t  n  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprArray  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprAssignment uint32_t  op  )  [virtual]
 

void OldTypeChecker::exprBinary uint32_t  binaryop  )  [virtual]
 

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

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprCallEnd uint32_t  n  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprComma  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprDeadlock  )  [virtual]
 

Implements UTAP::ParserBuilder.

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

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprFalse  )  [virtual]
 

Implements UTAP::ParserBuilder.

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

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprInlineIf  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprNat int32_t   )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprPostDecrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprPostIncrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprPreDecrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprPreIncrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprTrue  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::exprUnary uint32_t  unaryop  )  [virtual]
 

void OldTypeChecker::forBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::forEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::ifBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::ifElse  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::ifEnd bool   )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::instantiationBegin const char *  ,
const char * 
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::instantiationEnd const char *  ,
const char *  ,
uint32_t  n
[virtual]
 

Implements UTAP::ParserBuilder.

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

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

Implements UTAP::ParserBuilder.

void OldTypeChecker::procBegin const char *  name,
uint32_t  n
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::procEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::process const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::procGuard  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::procState const char *  name  )  [virtual]
 

void OldTypeChecker::procStateCommit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::procStateInit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::procStateUrgent const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::procSync uint32_t  type  )  [virtual]
 

void OldTypeChecker::procTransition const char *  from,
const char *  to
[virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::procUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::property uint32_t  kind,
int  line
[virtual]
 

virtual void UTAP::OldTypeChecker::property int  kind,
int  line,
ExpressionProgram & 
[inline, protected, virtual]
 

void OldTypeChecker::returnStatement bool   )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::setErrorHandler ErrorHandler  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::setPosition const position_t  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::switchBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::switchEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::whileBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void OldTypeChecker::whileEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.


Member Data Documentation

type_t UTAP::OldTypeChecker::BOOL [protected]
 

ErrorHandler* UTAP::OldTypeChecker::errorHandler [protected]
 

const char *const OldTypeChecker::invalid_type = "Invalid type" [static, protected]
 

position_t UTAP::OldTypeChecker::position [protected]
 

bool UTAP::OldTypeChecker::strict_range [protected]
 

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

const char *const OldTypeChecker::unsupported [static, protected]
 

Initial value:

"Internal error: Feature not supported in this mode."


The documentation for this class was generated from the following files:
Generated on Wed Jul 2 12:08:19 2003 for libutap by doxygen 1.3.2