PUMA Library Reference Manual
Puma::CSemExpr Class Reference

#include <CSemExpr.h>

Classes

struct  SubObj
 

Public Member Functions

 CSemExpr (ErrorSink &, CStructure *scope)
 
CTypeInforesolveExpr (CTree *expr, CTree *base=(CTree *) 0)
 
void resolveInit (CObjectInfo *, CTree *, CTree *, bool=false)
 
CTypeInforesolve (CTree *, CTree *)
 
CTypeInforesolve (CT_SimpleName *, CTree *)
 
CTypeInforesolve (CT_String *, CTree *)
 
CTypeInforesolve (CT_WideString *, CTree *)
 
CTypeInforesolve (CT_CmpdLiteral *, CTree *)
 
CTypeInforesolve (CT_Bool *, CTree *)
 
CTypeInforesolve (CT_Character *, CTree *)
 
CTypeInforesolve (CT_WideCharacter *, CTree *)
 
CTypeInforesolve (CT_Integer *, CTree *)
 
CTypeInforesolve (CT_Float *, CTree *)
 
CTypeInforesolve (CT_BracedExpr *, CTree *)
 
CTypeInforesolve (CT_BinaryExpr *, CTree *)
 
CTypeInforesolve (CT_UnaryExpr *, CTree *)
 
CTypeInforesolve (CT_AddrExpr *, CTree *)
 
CTypeInforesolve (CT_DerefExpr *, CTree *)
 
CTypeInforesolve (CT_PostfixExpr *, CTree *)
 
CTypeInforesolve (CT_IndexExpr *, CTree *)
 
CTypeInforesolve (CT_SizeofExpr *, CTree *)
 
CTypeInforesolve (CT_AlignofExpr *, CTree *)
 
CTypeInforesolve (CT_OffsetofExpr *, CTree *)
 
CTypeInforesolve (CT_IfThenExpr *, CTree *)
 
CTypeInforesolve (CT_CastExpr *, CTree *)
 
CTypeInforesolve (CT_CallExpr *, CTree *)
 
CTypeInforesolve (CT_MembPtrExpr *, CTree *)
 
CTypeInfobinary_rel (CT_BinaryExpr *)
 
CTypeInfobinary_ass (CT_BinaryExpr *)
 
CTypeInfobinary_log (CT_BinaryExpr *)
 
CTypeInfobinary_and (CT_BinaryExpr *)
 
CTypeInfobinary_equ (CT_BinaryExpr *)
 
CTypeInfobinary_mul (CT_BinaryExpr *)
 
CTypeInfobinary_add (CT_BinaryExpr *)
 
CTypeInfobinary_shift (CT_BinaryExpr *)
 
CTypeInfobinary_comma (CT_BinaryExpr *)
 
CTypeInfoapply_binary_op (CTree *, int)
 
CTypeInfoapplyImplicitConv (CTree *expr, CTree *base, CTypeInfo *type)
 
void overflow (CTree *, int, bool &) const
 
int scan_character (CTree *, LONG_LONG &) const
 
LONG_LONG next_character (const char *&, bool &) const
 
CTypeInfocond_expr_type (CT_IfThenExpr *node, CTypeInfo *t1, CTree *op1, CTypeInfo *t2, CTree *op2, CTypeInfo *t3, CTree *op3)
 

Static Public Member Functions

static bool isConstExpr (CTree *, bool=false)
 
static bool isConstIntExpr (CTree *)
 
static bool isConstantMembPtr (CTree *node)
 
static bool isLvalue (CTree *)
 
static void passOnConstant (CTree *node, CTree *base, CTypeInfo *t1)
 
static CTypeInfocast_to (CTypeInfo *, CTree *, CTree *, bool=true)
 
static CTypeInfopromote (CTree *, CTree *)
 
static CObjectInfofindObject (CTree *, bool const_expr=false)
 
static bool isPtrToObj (CTypeInfo *, unsigned long=0)
 
static bool isModifiable (CTypeInfo *, unsigned long=0)
 
static bool compatible (CTypeInfo *, CTypeInfo *, CConstant *value=0)
 
static bool compatibleBase (CTypeInfo *, CTypeInfo *, CConstant *value=0)
 

Protected Types

enum  SemObjType {
  CLASS,
  UNION,
  ENUM,
  TYPEDEF,
  FCT,
  ATTRIB,
  ARG,
  TAG,
  NON_TAG,
  ANY
}
 

Protected Member Functions

void resolveInit (CObjectInfo *, CTree *, CTree *, bool, Stack< SubObj > &)
 
void singleExprInit (CTree *, CTree *, CTypeInfo *, bool)
 
void findFirst (CTree *, CTypeInfo *&, CObjectInfo *&, CObjectInfo *&, CObjectInfo *, Stack< SubObj > &, bool) const
 
void findNext (CTree *, CTypeInfo *&, CObjectInfo *&, CObjectInfo *&, CObjectInfo *, Stack< SubObj > &, bool) const
 
void pushSubObj (CTypeInfo *&, CObjectInfo *&, Stack< SubObj > &) const
 
void popSubObj (CTypeInfo *&, CObjectInfo *&, CObjectInfo *&, Stack< SubObj > &) const
 
CObjectInfonextMember (CStructure *, CObjectInfo *) const
 
CObjectInfolookup (CT_SimpleName *, SemObjType, bool=false) const
 
CObjectInfolookup (const char *, CStructure *, SemObjType, bool, unsigned long int) const
 
CObjectInfoType (const char *, CStructure *, SemObjType, unsigned long int) const
 
CObjectInfoAttribute (const char *, CStructure *, unsigned long int) const
 
CObjectInfoFunction (const char *, CStructure *, unsigned long int) const
 
bool known_here (CObjectInfo *, unsigned long int) const
 

Protected Attributes

ErrorSinkerr
 
CStructurecurrent_scope
 
int conv_to_ptr
 

Member Enumeration Documentation

◆ SemObjType

Enumerator
CLASS 
UNION 
ENUM 
TYPEDEF 
FCT 
ATTRIB 
ARG 
TAG 
NON_TAG 
ANY 

Constructor & Destructor Documentation

◆ CSemExpr()

Puma::CSemExpr::CSemExpr ( ErrorSink e,
CStructure scope 
)
inline

Member Function Documentation

◆ apply_binary_op()

CTypeInfo* Puma::CSemExpr::apply_binary_op ( CTree ,
int   
)

◆ applyImplicitConv()

CTypeInfo* Puma::CSemExpr::applyImplicitConv ( CTree expr,
CTree base,
CTypeInfo type 
)

◆ Attribute()

CObjectInfo* Puma::CSemExpr::Attribute ( const char *  ,
CStructure ,
unsigned long int   
) const
protected

◆ binary_add()

CTypeInfo* Puma::CSemExpr::binary_add ( CT_BinaryExpr )

◆ binary_and()

CTypeInfo* Puma::CSemExpr::binary_and ( CT_BinaryExpr )

◆ binary_ass()

CTypeInfo* Puma::CSemExpr::binary_ass ( CT_BinaryExpr )

◆ binary_comma()

CTypeInfo* Puma::CSemExpr::binary_comma ( CT_BinaryExpr )

◆ binary_equ()

CTypeInfo* Puma::CSemExpr::binary_equ ( CT_BinaryExpr )

◆ binary_log()

CTypeInfo* Puma::CSemExpr::binary_log ( CT_BinaryExpr )

◆ binary_mul()

CTypeInfo* Puma::CSemExpr::binary_mul ( CT_BinaryExpr )

◆ binary_rel()

CTypeInfo* Puma::CSemExpr::binary_rel ( CT_BinaryExpr )

◆ binary_shift()

CTypeInfo* Puma::CSemExpr::binary_shift ( CT_BinaryExpr )

◆ cast_to()

static CTypeInfo* Puma::CSemExpr::cast_to ( CTypeInfo ,
CTree ,
CTree ,
bool  = true 
)
static

◆ compatible()

static bool Puma::CSemExpr::compatible ( CTypeInfo ,
CTypeInfo ,
CConstant value = 0 
)
static

◆ compatibleBase()

bool Puma::CSemExpr::compatibleBase ( CTypeInfo t1,
CTypeInfo t2,
CConstant value = 0 
)
inlinestatic

◆ cond_expr_type()

CTypeInfo* Puma::CSemExpr::cond_expr_type ( CT_IfThenExpr node,
CTypeInfo t1,
CTree op1,
CTypeInfo t2,
CTree op2,
CTypeInfo t3,
CTree op3 
)

◆ findFirst()

void Puma::CSemExpr::findFirst ( CTree ,
CTypeInfo *&  ,
CObjectInfo *&  ,
CObjectInfo *&  ,
CObjectInfo ,
Stack< SubObj > &  ,
bool   
) const
protected

◆ findNext()

void Puma::CSemExpr::findNext ( CTree ,
CTypeInfo *&  ,
CObjectInfo *&  ,
CObjectInfo *&  ,
CObjectInfo ,
Stack< SubObj > &  ,
bool   
) const
protected

◆ findObject()

static CObjectInfo* Puma::CSemExpr::findObject ( CTree ,
bool  const_expr = false 
)
static

◆ Function()

CObjectInfo* Puma::CSemExpr::Function ( const char *  ,
CStructure ,
unsigned long int   
) const
protected

◆ isConstantMembPtr()

static bool Puma::CSemExpr::isConstantMembPtr ( CTree node)
static

◆ isConstExpr()

static bool Puma::CSemExpr::isConstExpr ( CTree ,
bool  = false 
)
static

◆ isConstIntExpr()

static bool Puma::CSemExpr::isConstIntExpr ( CTree )
static

◆ isLvalue()

static bool Puma::CSemExpr::isLvalue ( CTree )
static

◆ isModifiable()

bool Puma::CSemExpr::isModifiable ( CTypeInfo type,
unsigned long  pos = 0 
)
inlinestatic

◆ isPtrToObj()

bool Puma::CSemExpr::isPtrToObj ( CTypeInfo type,
unsigned long  pos = 0 
)
inlinestatic

◆ known_here()

bool Puma::CSemExpr::known_here ( CObjectInfo ,
unsigned long int   
) const
protected

◆ lookup() [1/2]

CObjectInfo* Puma::CSemExpr::lookup ( const char *  ,
CStructure ,
SemObjType  ,
bool  ,
unsigned long int   
) const
protected

◆ lookup() [2/2]

CObjectInfo* Puma::CSemExpr::lookup ( CT_SimpleName ,
SemObjType  ,
bool  = false 
) const
protected

◆ next_character()

LONG_LONG Puma::CSemExpr::next_character ( const char *&  ,
bool &   
) const

◆ nextMember()

CObjectInfo* Puma::CSemExpr::nextMember ( CStructure ,
CObjectInfo  
) const
protected

◆ overflow()

void Puma::CSemExpr::overflow ( CTree ,
int  ,
bool &   
) const

◆ passOnConstant()

static void Puma::CSemExpr::passOnConstant ( CTree node,
CTree base,
CTypeInfo t1 
)
static

◆ popSubObj()

void Puma::CSemExpr::popSubObj ( CTypeInfo *&  ,
CObjectInfo *&  ,
CObjectInfo *&  ,
Stack< SubObj > &   
) const
protected

◆ promote()

static CTypeInfo* Puma::CSemExpr::promote ( CTree ,
CTree  
)
static

◆ pushSubObj()

void Puma::CSemExpr::pushSubObj ( CTypeInfo *&  ,
CObjectInfo *&  ,
Stack< SubObj > &   
) const
protected

◆ resolve() [1/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_AddrExpr ,
CTree  
)

◆ resolve() [2/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_AlignofExpr ,
CTree  
)

◆ resolve() [3/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_BinaryExpr ,
CTree  
)

◆ resolve() [4/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_Bool ,
CTree  
)

◆ resolve() [5/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_BracedExpr ,
CTree  
)

◆ resolve() [6/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_CallExpr ,
CTree  
)

◆ resolve() [7/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_CastExpr ,
CTree  
)

◆ resolve() [8/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_Character ,
CTree  
)

◆ resolve() [9/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_CmpdLiteral ,
CTree  
)

◆ resolve() [10/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_DerefExpr ,
CTree  
)

◆ resolve() [11/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_Float ,
CTree  
)

◆ resolve() [12/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_IfThenExpr ,
CTree  
)

◆ resolve() [13/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_IndexExpr ,
CTree  
)

◆ resolve() [14/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_Integer ,
CTree  
)

◆ resolve() [15/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_MembPtrExpr ,
CTree  
)

◆ resolve() [16/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_OffsetofExpr ,
CTree  
)

◆ resolve() [17/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_PostfixExpr ,
CTree  
)

◆ resolve() [18/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_SimpleName ,
CTree  
)

◆ resolve() [19/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_SizeofExpr ,
CTree  
)

◆ resolve() [20/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_String ,
CTree  
)

◆ resolve() [21/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_UnaryExpr ,
CTree  
)

◆ resolve() [22/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_WideCharacter ,
CTree  
)

◆ resolve() [23/24]

CTypeInfo* Puma::CSemExpr::resolve ( CT_WideString ,
CTree  
)

◆ resolve() [24/24]

CTypeInfo* Puma::CSemExpr::resolve ( CTree ,
CTree  
)

◆ resolveExpr()

CTypeInfo* Puma::CSemExpr::resolveExpr ( CTree expr,
CTree base = (CTree *) 0 
)

◆ resolveInit() [1/2]

void Puma::CSemExpr::resolveInit ( CObjectInfo ,
CTree ,
CTree ,
bool  ,
Stack< SubObj > &   
)
protected

◆ resolveInit() [2/2]

void Puma::CSemExpr::resolveInit ( CObjectInfo ,
CTree ,
CTree ,
bool  = false 
)

◆ scan_character()

int Puma::CSemExpr::scan_character ( CTree ,
LONG_LONG  
) const

◆ singleExprInit()

void Puma::CSemExpr::singleExprInit ( CTree ,
CTree ,
CTypeInfo ,
bool   
)
protected

◆ Type()

CObjectInfo* Puma::CSemExpr::Type ( const char *  ,
CStructure ,
SemObjType  ,
unsigned long int   
) const
protected

Member Data Documentation

◆ conv_to_ptr

int Puma::CSemExpr::conv_to_ptr
protected

◆ current_scope

CStructure* Puma::CSemExpr::current_scope
protected

◆ err

ErrorSink& Puma::CSemExpr::err
protected