UTAP::SystemVisitor Class Reference

#include <system.h>

Inheritance diagram for UTAP::SystemVisitor:

Public Member Functions
virtual	~SystemVisitor ()
virtual void	visitSystemBefore (TimedAutomataSystem *)
virtual void	visitSystemAfter (TimedAutomataSystem *)
virtual void	visitVariable (variable_t &)
virtual bool	visitTemplateBefore (template_t &)
virtual void	visitTemplateAfter (template_t &)
virtual void	visitState (state_t &)
virtual void	visitEdge (edge_t &)
virtual void	visitInstance (instance_t &)
virtual void	visitProcess (instance_t &)
virtual void	visitFunction (function_t &)
virtual void	visitTypeDef (symbol_t)
virtual void	visitIODecl (iodecl_t &)
virtual void	visitProgressMeasure (progress_t &)
virtual void	visitGanttChart (gantt_t &)
virtual void	visitInstanceLine (instanceLine_t &)
virtual void	visitMessage (message_t &)
virtual void	visitCondition (condition_t &)
virtual void	visitUpdate (update_t &)

Detailed Description

Definition at line 447 of file system.h.

Constructor & Destructor Documentation

~SystemVisitor()

virtual UTAP::SystemVisitor::~SystemVisitor ( )

inlinevirtual

Definition at line 450 of file system.h.

Member Function Documentation

visitCondition()

virtual void UTAP::SystemVisitor::visitCondition ( condition_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 467 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), UTAP::TypeChecker::visitCondition(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitEdge()

virtual void UTAP::SystemVisitor::visitEdge ( edge_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 457 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), UTAP::TypeChecker::visitEdge(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitFunction()

virtual void UTAP::SystemVisitor::visitFunction ( function_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 460 of file system.h.

Referenced by visit(), UTAP::TypeChecker::visitFunction(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitGanttChart()

virtual void UTAP::SystemVisitor::visitGanttChart ( gantt_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 464 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitInstance()

virtual void UTAP::SystemVisitor::visitInstance ( instance_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker, and UTAP::CompileTimeComputableValues.

Definition at line 458 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::visitInstance().

Here is the caller graph for this function:

visitInstanceLine()

virtual void UTAP::SystemVisitor::visitInstanceLine ( instanceLine_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 465 of file system.h.

Referenced by visit(), UTAP::TypeChecker::visitInstanceLine(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitIODecl()

virtual void UTAP::SystemVisitor::visitIODecl ( iodecl_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 462 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitMessage()

virtual void UTAP::SystemVisitor::visitMessage ( message_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 466 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), UTAP::TypeChecker::visitMessage(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitProcess()

virtual void UTAP::SystemVisitor::visitProcess ( instance_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 459 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitProgressMeasure()

virtual void UTAP::SystemVisitor::visitProgressMeasure ( progress_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 463 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitState()

virtual void UTAP::SystemVisitor::visitState ( state_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 456 of file system.h.

Referenced by visit(), UTAP::TypeChecker::visitState(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitSystemAfter()

virtual void UTAP::SystemVisitor::visitSystemAfter ( TimedAutomataSystem *  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 452 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitSystemBefore()

virtual void UTAP::SystemVisitor::visitSystemBefore ( TimedAutomataSystem *  )

inlinevirtual

Definition at line 451 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept().

Here is the caller graph for this function:

visitTemplateAfter()

virtual void UTAP::SystemVisitor::visitTemplateAfter ( template_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 455 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitTemplateBefore()

virtual bool UTAP::SystemVisitor::visitTemplateBefore ( template_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 454 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitTypeDef()

virtual void UTAP::SystemVisitor::visitTypeDef ( symbol_t  )

inlinevirtual

Definition at line 461 of file system.h.

Referenced by visit().

Here is the caller graph for this function:

visitUpdate()

virtual void UTAP::SystemVisitor::visitUpdate ( update_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker.

Definition at line 468 of file system.h.

Referenced by UTAP::TimedAutomataSystem::accept(), UTAP::TypeChecker::visitUpdate(), and UTAP::TypeChecker::~TypeChecker().

Here is the caller graph for this function:

visitVariable()

virtual void UTAP::SystemVisitor::visitVariable ( variable_t &  )

inlinevirtual

Reimplemented in UTAP::TypeChecker, and UTAP::CompileTimeComputableValues.

Definition at line 453 of file system.h.

Referenced by visit(), and UTAP::TypeChecker::visitVariable().

Here is the caller graph for this function:

---

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

• system.h