Synopsis/TypeAnalysis/TypeEvaluator.hh

Includes from this file:

include Synopsis/PTree/Visitor.hh
include Synopsis/PTree/Atoms.hh
include Synopsis/PTree/Lists.hh
include Synopsis/SymbolLookup/Scope.hh
include Synopsis/TypeAnalysis/Type.hh

Declarations in this file:

Classes in Synopsis::TypeAnalysis

evaluate the type of an expression

Data members in Synopsis::TypeAnalysis::TypeEvaluator

my_scope

my_type

Functions in Synopsis::TypeAnalysis

type_of(const PTree::Node*,const SymbolLookup::Scope*)

Local variables in Synopsis::TypeAnalysis::`type_of(const PTree::Node,const SymbolLookup::Scope)

evaluator

Member functions in Synopsis::TypeAnalysis::TypeEvaluator

TypeEvaluator(const SymbolLookup::Scope*)

evaluate(const PTree::Node*)

visit(PTree::ArrayExpr*)

visit(PTree::ArrowMemberExpr*)

visit(PTree::AssignExpr*)

visit(PTree::CastExpr*)

visit(PTree::CondExpr*)

visit(PTree::DeleteExpr*)

visit(PTree::DotMemberExpr*)

visit(PTree::FstyleCastExpr*)

visit(PTree::FuncallExpr*)

visit(PTree::Identifier*)

visit(PTree::InfixExpr*)

visit(PTree::Kwd::This*)

visit(PTree::Literal*)

visit(PTree::Name*)

visit(PTree::NewExpr*)

visit(PTree::ParenExpr*)

visit(PTree::PmExpr*)

visit(PTree::PostfixExpr*)

visit(PTree::SizeofExpr*)

visit(PTree::ThrowExpr*)

visit(PTree::TypeidExpr*)

visit(PTree::TypeofExpr*)

visit(PTree::UnaryExpr*)

Parameters in Synopsis::TypeAnalysis::TypeEvaluator::`TypeEvaluator(const SymbolLookup::Scope*)

s

Parameters in Synopsis::TypeAnalysis::`type_of(const PTree::Node,const SymbolLookup::Scope)

node

s

Thises in Synopsis::TypeAnalysis::TypeEvaluator::`TypeEvaluator(const SymbolLookup::Scope*)

this