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

UTAP::TypeChecker Class Reference

A visitor which type checks the system it visits. More...

#include <typechecker.hh>

Inheritance diagram for UTAP::TypeChecker:

UTAP::ContextVisitor UTAP::StatementVisitor UTAP::SystemVisitor UTAP::XPath List of all members.

Public Member Functions

 TypeChecker (ErrorHandler *errorHandler)
virtual ~TypeChecker ()
virtual void visitSystemBefore (TimedAutomataSystem *)
virtual void visitVariable (variable_t &)
virtual void visitConstant (variable_t &)
virtual void visitState (state_t &)
virtual void visitTransition (transition_t &)
virtual void visitInstance (instance_t &)
virtual void visitProperty (expression_t)
virtual void visitFunction (function_t &)
virtual int32_t visitEmptyStatement (EmptyStatement *stat)
virtual int32_t visitExprStatement (ExprStatement *stat)
virtual int32_t visitForStatement (ForStatement *stat)
virtual int32_t visitWhileStatement (WhileStatement *stat)
virtual int32_t visitDoWhileStatement (DoWhileStatement *stat)
virtual int32_t visitBlockStatement (BlockStatement *stat)
virtual int32_t visitSwitchStatement (SwitchStatement *stat)
virtual int32_t visitCaseStatement (CaseStatement *stat)
virtual int32_t visitDefaultStatement (DefaultStatement *stat)
virtual int32_t visitIfStatement (IfStatement *stat)
virtual int32_t visitBreakStatement (BreakStatement *stat)
virtual int32_t visitContinueStatement (ContinueStatement *stat)
virtual int32_t visitReturnStatement (ReturnStatement *stat)

Detailed Description

A visitor which type checks the system it visits.


Constructor & Destructor Documentation

TypeChecker::TypeChecker ErrorHandler errorHandler  ) 
 

virtual UTAP::TypeChecker::~TypeChecker  )  [inline, virtual]
 


Member Function Documentation

int32_t TypeChecker::visitBlockStatement BlockStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

int32_t TypeChecker::visitBreakStatement BreakStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

int32_t TypeChecker::visitCaseStatement CaseStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

void TypeChecker::visitConstant variable_t  )  [virtual]
 

int32_t TypeChecker::visitContinueStatement ContinueStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

int32_t TypeChecker::visitDefaultStatement DefaultStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

int32_t TypeChecker::visitDoWhileStatement DoWhileStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

int32_t TypeChecker::visitEmptyStatement EmptyStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

int32_t TypeChecker::visitExprStatement ExprStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

int32_t TypeChecker::visitForStatement ForStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

void TypeChecker::visitFunction function_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

int32_t TypeChecker::visitIfStatement IfStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

void TypeChecker::visitInstance instance_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

void TypeChecker::visitProperty expression_t   )  [virtual]
 

int32_t TypeChecker::visitReturnStatement ReturnStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

void TypeChecker::visitState state_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

int32_t TypeChecker::visitSwitchStatement SwitchStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.

void TypeChecker::visitSystemBefore TimedAutomataSystem  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

void TypeChecker::visitTransition transition_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

void TypeChecker::visitVariable variable_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

int32_t TypeChecker::visitWhileStatement WhileStatement stat  )  [virtual]
 

Implements UTAP::StatementVisitor.


The documentation for this class was generated from the following files:
Generated on Sat May 15 12:33:44 2004 for libutap by doxygen 1.3.7