Main Page | Namespace List | Class Hierarchy | Compound List | File List | Namespace Members | Compound 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::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)

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

void TypeChecker::visitConstant variable_t  )  [virtual]
 

void TypeChecker::visitInstance instance_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

void TypeChecker::visitProperty expression_t   )  [virtual]
 

void TypeChecker::visitState state_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

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.


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