UTAP::CompileTimeComputableValues Class Reference

Visitor which collects all compile time computable symbols. More...

#include <typechecker.h>

Inheritance diagram for UTAP::CompileTimeComputableValues:

Collaboration diagram for UTAP::CompileTimeComputableValues:

Public Member Functions
void	visitVariable (variable_t &) override
void	visitInstance (instance_t &) override
bool	contains (symbol_t) const
Public Member Functions inherited from UTAP::SystemVisitor
virtual	~SystemVisitor ()
virtual void	visitSystemBefore (TimedAutomataSystem *)
virtual void	visitSystemAfter (TimedAutomataSystem *)
virtual bool	visitTemplateBefore (template_t &)
virtual void	visitTemplateAfter (template_t &)
virtual void	visitState (state_t &)
virtual void	visitEdge (edge_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

Visitor which collects all compile time computable symbols.

These are all global and template local constants and all constant non-reference template parameters. Variables with mixed storage are not considered compile time computable.

Definition at line 41 of file typechecker.h.

Member Function Documentation

contains()

bool CompileTimeComputableValues::contains

(

symbol_t

symbol

)

const

Definition at line 291 of file typechecker.cpp.

References UTAP::Constants::AND, UTAP::expression_t::createBinary(), UTAP::expression_t::createConstant(), UTAP::type_t::createPrimitive(), UTAP::expression_t::empty(), UTAP::Constants::EQ, UTAP::Constants::FORALL, UTAP::expression_t::getKind(), UTAP::expression_t::getPosition(), UTAP::expression_t::getType(), UTAP::Constants::INVARIANT, UTAP::Constants::INVARIANT_WR, UTAP::type_t::is(), isCost(), isInvariant(), isInvariantWR(), UTAP::Constants::LT, UTAP::Constants::RATE, and variables.

Referenced by UTAP::TypeChecker::TypeChecker().

Here is the call graph for this function:

Here is the caller graph for this function:

visitInstance()

void CompileTimeComputableValues::visitInstance ( instance_t &  temp )

overridevirtual

Reimplemented from UTAP::SystemVisitor.

Definition at line 278 of file typechecker.cpp.

References UTAP::frame_t::getSize(), UTAP::type_t::is(), UTAP::type_t::isConstant(), UTAP::type_t::isDouble(), UTAP::instance_t::parameters, UTAP::Constants::REF, and variables.

Referenced by UTAP::TypeChecker::~TypeChecker().

Here is the call graph for this function:

Here is the caller graph for this function:

visitVariable()

void CompileTimeComputableValues::visitVariable ( variable_t &  variable )

overridevirtual

Reimplemented from UTAP::SystemVisitor.

Definition at line 270 of file typechecker.cpp.

References UTAP::symbol_t::getType(), UTAP::type_t::isConstant(), UTAP::variable_t::uid, and variables.

Referenced by UTAP::TypeChecker::~TypeChecker().

Here is the call graph for this function:

Here is the caller graph for this function:

---

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

• typechecker.h
• typechecker.cpp