PUMA Library Reference Manual
Loading...
Searching...
No Matches
List of all members | Classes | Public Member Functions | Static Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes
Puma::CSemExpr Class Reference

#include <CSemExpr.h>

Classes

struct  SubObj
 

Public Member Functions

 CSemExpr (ErrorSink &, CStructure *scope)
 
CTypeInfo * resolveExpr (CTree *expr, CTree *base=(CTree *) 0)
 
void resolveInit (CObjectInfo *, CTree *, CTree *, bool=false)
 
CTypeInfo * resolve (CTree *, CTree *)
 
CTypeInfo * resolve (CT_SimpleName *, CTree *)
 
CTypeInfo * resolve (CT_String *, CTree *)
 
CTypeInfo * resolve (CT_WideString *, CTree *)
 
CTypeInfo * resolve (CT_CmpdLiteral *, CTree *)
 
CTypeInfo * resolve (CT_Bool *, CTree *)
 
CTypeInfo * resolve (CT_Character *, CTree *)
 
CTypeInfo * resolve (CT_WideCharacter *, CTree *)
 
CTypeInfo * resolve (CT_Integer *, CTree *)
 
CTypeInfo * resolve (CT_Float *, CTree *)
 
CTypeInfo * resolve (CT_BracedExpr *, CTree *)
 
CTypeInfo * resolve (CT_BinaryExpr *, CTree *)
 
CTypeInfo * resolve (CT_UnaryExpr *, CTree *)
 
CTypeInfo * resolve (CT_AddrExpr *, CTree *)
 
CTypeInfo * resolve (CT_DerefExpr *, CTree *)
 
CTypeInfo * resolve (CT_PostfixExpr *, CTree *)
 
CTypeInfo * resolve (CT_IndexExpr *, CTree *)
 
CTypeInfo * resolve (CT_SizeofExpr *, CTree *)
 
CTypeInfo * resolve (CT_AlignofExpr *, CTree *)
 
CTypeInfo * resolve (CT_OffsetofExpr *, CTree *)
 
CTypeInfo * resolve (CT_IfThenExpr *, CTree *)
 
CTypeInfo * resolve (CT_CastExpr *, CTree *)
 
CTypeInfo * resolve (CT_CallExpr *, CTree *)
 
CTypeInfo * resolve (CT_MembPtrExpr *, CTree *)
 
CTypeInfo * binary_rel (CT_BinaryExpr *)
 
CTypeInfo * binary_ass (CT_BinaryExpr *)
 
CTypeInfo * binary_log (CT_BinaryExpr *)
 
CTypeInfo * binary_and (CT_BinaryExpr *)
 
CTypeInfo * binary_equ (CT_BinaryExpr *)
 
CTypeInfo * binary_mul (CT_BinaryExpr *)
 
CTypeInfo * binary_add (CT_BinaryExpr *)
 
CTypeInfo * binary_shift (CT_BinaryExpr *)
 
CTypeInfo * binary_comma (CT_BinaryExpr *)
 
CTypeInfo * apply_binary_op (CTree *, int)
 
CTypeInfo * applyImplicitConv (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
 
CTypeInfo * cond_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 CTypeInfo * cast_to (CTypeInfo *, CTree *, CTree *, bool=true)
 
static CTypeInfo * promote (CTree *, CTree *)
 
static CObjectInfo * findObject (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
 
CObjectInfo * nextMember (CStructure *, CObjectInfo *) const
 
CObjectInfo * lookup (CT_SimpleName *, SemObjType, bool=false) const
 
CObjectInfo * lookup (const char *, CStructure *, SemObjType, bool, unsigned long int) const
 
CObjectInfo * Type (const char *, CStructure *, SemObjType, unsigned long int) const
 
CObjectInfo * Attribute (const char *, CStructure *, unsigned long int) const
 
CObjectInfo * Function (const char *, CStructure *, unsigned long int) const
 
bool known_here (CObjectInfo *, unsigned long int) const
 

Protected Attributes

ErrorSink & err
 
CStructure * current_scope
 
int conv_to_ptr
 

Member Enumeration Documentation

◆ SemObjType

enum Puma::CSemExpr::SemObjType
protected
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