Synopsis - Synopsis::TypeAnalysis

# Namespace Synopsis::TypeAnalysis

Classes Summary:
class ConstEvaluator

Evaluate the value of a constant expression.

class Kit

creates and remembers declared types.

class TypeEvaluator

evaluate the type of an expression

class Type
class BuiltinType
class Enum
class Compound
class Class
class Union
class CVType
class Pointer
class Reference
class Array
class Function
class PointerToMember
class Visitor
Functions Summary:
inline bool evaluate_const(const SymbolLookup::Scope* scope, const PTree::Node* node, long& value)

Evaluate the value of a constant expression.

const SymbolLookup::Symbol* resolve_funcall(const PTree::FuncallExpr* funcall, const SymbolLookup::Scope*)

Resolve a function call in the context of the given scope.

inline const Type* type_of(const PTree::Node* node, const SymbolLookup::Scope* s)
Namespace variables Summary:
BuiltinType BOOL
BuiltinType CHAR
BuiltinType WCHAR
BuiltinType SHORT
BuiltinType INT
BuiltinType LONG
BuiltinType FLOAT
BuiltinType DOUBLE
BuiltinType UCHAR
BuiltinType USHORT
BuiltinType UINT
BuiltinType ULONG
BuiltinType SCHAR
BuiltinType SSHORT
BuiltinType SINT
BuiltinType SLONG
Classes Details:
class ConstEvaluator

Evaluate the value of a constant expression.

class Kit

creates and remembers declared types.

class TypeEvaluator

evaluate the type of an expression

Functions Details:
inline bool evaluate_const(const SymbolLookup::Scope* scope, const PTree::Node* node, long& value)

Evaluate the value of a constant expression. TODO: This may also return the type of the expression...

const SymbolLookup::Symbol* resolve_funcall(const PTree::FuncallExpr* funcall, const SymbolLookup::Scope*)

Resolve a function call in the context of the given scope.

Generated on Thu Apr 16 16:27:43 2009 by
synopsis (version devel)