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

UTAP::ContextVisitor Class Reference

Extension of SystemVisitor which tracks the context. More...

#include <system.hh>

Inheritance diagram for UTAP::ContextVisitor:

UTAP::SystemVisitor UTAP::XPath UTAP::TypeChecker List of all members.

Public Member Functions

 ContextVisitor (ErrorHandler *)
virtual bool visitTemplateBefore (template_t &)
virtual void visitTemplateAfter (template_t &)

Protected Member Functions

void setContextNone ()
void setContextDeclaration ()
void setContextParameters ()
void setContextInvariant (state_t &)
void setContextGuard (transition_t &)
void setContextSync (transition_t &)
void setContextAssignment (transition_t &)
void setContextInstantiation ()
void handleError (expression_t, const char *)
void handleWarning (expression_t, const char *)

Detailed Description

Extension of SystemVisitor which tracks the context.

It can use this information when reporting errors and warnings to an ErrorHandler.


Constructor & Destructor Documentation

ContextVisitor::ContextVisitor ErrorHandler  ) 
 


Member Function Documentation

void ContextVisitor::handleError expression_t  ,
const char * 
[protected]
 

void ContextVisitor::handleWarning expression_t  ,
const char * 
[protected]
 

void ContextVisitor::setContextAssignment transition_t  )  [protected]
 

void ContextVisitor::setContextDeclaration  )  [protected]
 

void ContextVisitor::setContextGuard transition_t  )  [protected]
 

void ContextVisitor::setContextInstantiation  )  [protected]
 

void ContextVisitor::setContextInvariant state_t  )  [protected]
 

void ContextVisitor::setContextNone  )  [protected]
 

void ContextVisitor::setContextParameters  )  [protected]
 

void ContextVisitor::setContextSync transition_t  )  [protected]
 

void ContextVisitor::visitTemplateAfter template_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.

bool ContextVisitor::visitTemplateBefore template_t  )  [virtual]
 

Reimplemented from UTAP::SystemVisitor.


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