UTAP::CompileTimeComputableValues Class Reference

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

#include <typechecker.h>

Inheritance diagram for UTAP::CompileTimeComputableValues:

List of all members.

Public Member Functions
virtual void	visitVariable (variable_t &)
virtual void	visitInstance (instance_t &)
bool	contains (symbol_t) const

---

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.

---

Member Function Documentation

bool CompileTimeComputableValues::contains

(

symbol_t

)

const

void CompileTimeComputableValues::visitInstance

(

instance_t &

)

[virtual]

Reimplemented from UTAP::SystemVisitor.

void CompileTimeComputableValues::visitVariable

(

variable_t &

)

[virtual]

Reimplemented from UTAP::SystemVisitor.

---

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

• typechecker.h
• typechecker.cpp

---