C-Breeze
C Compiler Infrastructure

[ Project home page]

semcheck_expr_visitor Class Reference

Expression checker. More...

#include <semcheck.h>

Inheritance diagram for semcheck_expr_visitor:

Visitor List of all members.

Public Member Functions

virtual void at_const (constNode *the_const)
virtual void at_id (idNode *the_id)
virtual void at_binary (binaryNode *the_binary)
virtual void at_unary (unaryNode *the_unary)
virtual void at_cast (castNode *the_cast)
virtual void at_comma (commaNode *the_comma)
virtual void at_ternary (ternaryNode *the_ternary)
virtual void at_call (callNode *the_call)
virtual void at_initializer (initializerNode *the_initializer)
"at_" methods
These methods define the functions that should be performed when different classes of Nodes are visited. The most specific "at_" method that matches a given Node's class will be called.

virtual void at_node (Node *the_node)
virtual void at_unit (unitNode *the_unit)
virtual void at_def (defNode *the_def)
virtual void at_decl (declNode *the_decl)
virtual void at_subdecl (subdeclNode *the_subdecl)
virtual void at_proc (procNode *the_proc)
virtual void at_type (typeNode *the_type)
virtual void at_prim (primNode *the_prim)
virtual void at_tdef (tdefNode *the_tdef)
virtual void at_ptr (ptrNode *the_ptr)
virtual void at_array (arrayNode *the_array)
virtual void at_func (funcNode *the_func)
virtual void at_sue (sueNode *the_sue)
virtual void at_struct (structNode *the_struct)
virtual void at_union (unionNode *the_union)
virtual void at_enum (enumNode *the_enum)
virtual void at_suespec (suespecNode *the_suespec)
virtual void at_expr (exprNode *the_expr)
virtual void at_index (indexNode *the_index)
virtual void at_stmt (stmtNode *the_stmt)
virtual void at_block (blockNode *the_block)
virtual void at_basicblock (basicblockNode *the_basicblock)
virtual void at_exprstmt (exprstmtNode *the_exprstmt)
virtual void at_target (targetNode *the_target)
virtual void at_label (labelNode *the_label)
virtual void at_case (caseNode *the_case)
virtual void at_selection (selectionNode *the_selection)
virtual void at_if (ifNode *the_if)
virtual void at_switch (switchNode *the_switch)
virtual void at_loop (loopNode *the_loop)
virtual void at_while (whileNode *the_while)
virtual void at_do (doNode *the_do)
virtual void at_for (forNode *the_for)
virtual void at_jump (jumpNode *the_jump)
virtual void at_goto (gotoNode *the_goto)
virtual void at_continue (continueNode *the_continue)
virtual void at_break (breakNode *the_break)
virtual void at_return (returnNode *the_return)
virtual void at_attrib (attribNode *the_attrib)
virtual void at_operand (operandNode *the_oper)
virtual void at_conditiongoto (conditiongotoNode *the_condgoto)
virtual void at_threeAddr (threeAddrNode *the_3addr)
virtual void at_text (textNode *the_text)

Static Public Member Functions

static void check (exprNode *e)
static void check (unitNode *u)

Private Member Functions

typeNodedefault_type ()
typeNodecheck_binary (unsigned int opid, exprNode *lhs, exprNode *rhs, exprNode **new_lhs, exprNode **new_rhs)
typeNodecheck_unary (unsigned int opid, exprNode *ex, exprNode **new_ex)
 semcheck_expr_visitor ()

Detailed Description

Expression checker.

Definition at line 75 of file semcheck.h.


Constructor & Destructor Documentation

semcheck_expr_visitor::semcheck_expr_visitor  )  [inline, private]
 

Definition at line 92 of file semcheck.h.


Member Function Documentation

virtual void Visitor::at_array arrayNode the_array  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 142 of file visitor.h.

References Visitor::at_type().

virtual void Visitor::at_attrib attribNode the_attrib  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 253 of file visitor.h.

References Visitor::at_stmt().

virtual void Visitor::at_basicblock basicblockNode the_basicblock  )  [inline, virtual, inherited]
 

Definition at line 202 of file visitor.h.

References Visitor::at_block().

virtual void semcheck_expr_visitor::at_binary binaryNode the_binary  )  [virtual]
 

Reimplemented from Visitor.

virtual void Visitor::at_block blockNode the_block  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 199 of file visitor.h.

References Visitor::at_stmt().

Referenced by Visitor::at_basicblock().

virtual void Visitor::at_break breakNode the_break  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 247 of file visitor.h.

References Visitor::at_jump().

virtual void semcheck_expr_visitor::at_call callNode the_call  )  [virtual]
 

Reimplemented from Visitor.

virtual void Visitor::at_case caseNode the_case  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 214 of file visitor.h.

References Visitor::at_target().

virtual void semcheck_expr_visitor::at_cast castNode the_cast  )  [virtual]
 

Reimplemented from Visitor.

virtual void semcheck_expr_visitor::at_comma commaNode the_comma  )  [virtual]
 

Reimplemented from Visitor.

virtual void Visitor::at_conditiongoto conditiongotoNode the_condgoto  )  [inline, virtual, inherited]
 

Definition at line 259 of file visitor.h.

References Visitor::at_goto().

virtual void semcheck_expr_visitor::at_const constNode the_const  )  [virtual]
 

Reimplemented from Visitor.

virtual void Visitor::at_continue continueNode the_continue  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 244 of file visitor.h.

References Visitor::at_jump().

virtual void Visitor::at_decl declNode the_decl  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 121 of file visitor.h.

References Visitor::at_def().

Referenced by Visitor::at_subdecl().

virtual void Visitor::at_def defNode the_def  )  [inline, virtual, inherited]
 

Definition at line 118 of file visitor.h.

References Visitor::at_node().

Referenced by Visitor::at_decl(), and Visitor::at_proc().

virtual void Visitor::at_do doNode the_do  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 232 of file visitor.h.

References Visitor::at_loop().

virtual void Visitor::at_enum enumNode the_enum  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 157 of file visitor.h.

References Visitor::at_sue().

virtual void Visitor::at_expr exprNode the_expr  )  [inline, virtual, inherited]
 

Definition at line 163 of file visitor.h.

References Visitor::at_node().

Referenced by Visitor::at_binary(), Visitor::at_call(), Visitor::at_cast(), Visitor::at_comma(), Visitor::at_index(), Visitor::at_initializer(), Visitor::at_operand(), Visitor::at_ternary(), and Visitor::at_unary().

virtual void Visitor::at_exprstmt exprstmtNode the_exprstmt  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 205 of file visitor.h.

References Visitor::at_stmt().

virtual void Visitor::at_for forNode the_for  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 235 of file visitor.h.

References Visitor::at_loop().

virtual void Visitor::at_func funcNode the_func  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 145 of file visitor.h.

References Visitor::at_type().

virtual void Visitor::at_goto gotoNode the_goto  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 241 of file visitor.h.

References Visitor::at_jump().

Referenced by Visitor::at_conditiongoto().

virtual void semcheck_expr_visitor::at_id idNode the_id  )  [virtual]
 

Reimplemented from Visitor.

virtual void Visitor::at_if ifNode the_if  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 220 of file visitor.h.

References Visitor::at_selection().

virtual void Visitor::at_index indexNode the_index  )  [inline, virtual, inherited]
 

Definition at line 166 of file visitor.h.

References Visitor::at_expr().

Referenced by Visitor::at_const(), and Visitor::at_id().

virtual void semcheck_expr_visitor::at_initializer initializerNode the_initializer  )  [virtual]
 

Reimplemented from Visitor.

virtual void Visitor::at_jump jumpNode the_jump  )  [inline, virtual, inherited]
 

Definition at line 238 of file visitor.h.

References Visitor::at_stmt().

Referenced by Visitor::at_break(), Visitor::at_continue(), Visitor::at_goto(), and Visitor::at_return().

virtual void Visitor::at_label labelNode the_label  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 211 of file visitor.h.

References Visitor::at_target().

virtual void Visitor::at_loop loopNode the_loop  )  [inline, virtual, inherited]
 

Definition at line 226 of file visitor.h.

References Visitor::at_stmt().

Referenced by Visitor::at_do(), Visitor::at_for(), and Visitor::at_while().

virtual void Visitor::at_node Node the_node  )  [inline, virtual, inherited]
 

Definition at line 111 of file visitor.h.

Referenced by Visitor::at_def(), Visitor::at_expr(), Visitor::at_stmt(), Visitor::at_text(), Visitor::at_type(), and Visitor::at_unit().

virtual void Visitor::at_operand operandNode the_oper  )  [inline, virtual, inherited]
 

Definition at line 256 of file visitor.h.

References Visitor::at_expr().

virtual void Visitor::at_prim primNode the_prim  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 133 of file visitor.h.

References Visitor::at_type().

virtual void Visitor::at_proc procNode the_proc  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 127 of file visitor.h.

References Visitor::at_def().

virtual void Visitor::at_ptr ptrNode the_ptr  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 139 of file visitor.h.

References Visitor::at_type().

virtual void Visitor::at_return returnNode the_return  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 250 of file visitor.h.

References Visitor::at_jump().

virtual void Visitor::at_selection selectionNode the_selection  )  [inline, virtual, inherited]
 

Definition at line 217 of file visitor.h.

References Visitor::at_stmt().

Referenced by Visitor::at_if(), and Visitor::at_switch().

virtual void Visitor::at_stmt stmtNode the_stmt  )  [inline, virtual, inherited]
 

Definition at line 196 of file visitor.h.

References Visitor::at_node().

Referenced by Visitor::at_attrib(), Visitor::at_block(), Visitor::at_exprstmt(), Visitor::at_jump(), Visitor::at_loop(), Visitor::at_selection(), Visitor::at_target(), and Visitor::at_threeAddr().

virtual void Visitor::at_struct structNode the_struct  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 151 of file visitor.h.

References Visitor::at_sue().

virtual void Visitor::at_subdecl subdeclNode the_subdecl  )  [inline, virtual, inherited]
 

Definition at line 124 of file visitor.h.

References Visitor::at_decl().

virtual void Visitor::at_sue sueNode the_sue  )  [inline, virtual, inherited]
 

Reimplemented in print_tree_visitor.

Definition at line 148 of file visitor.h.

References Visitor::at_type().

Referenced by Visitor::at_enum(), Visitor::at_struct(), and Visitor::at_union().

virtual void Visitor::at_suespec suespecNode the_suespec  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 160 of file visitor.h.

References Visitor::at_type().

virtual void Visitor::at_switch switchNode the_switch  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 223 of file visitor.h.

References Visitor::at_selection().

virtual void Visitor::at_target targetNode the_target  )  [inline, virtual, inherited]
 

Definition at line 208 of file visitor.h.

References Visitor::at_stmt().

Referenced by Visitor::at_case(), and Visitor::at_label().

virtual void Visitor::at_tdef tdefNode the_tdef  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 136 of file visitor.h.

References Visitor::at_type().

virtual void semcheck_expr_visitor::at_ternary ternaryNode the_ternary  )  [virtual]
 

Reimplemented from Visitor.

virtual void Visitor::at_text textNode the_text  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 265 of file visitor.h.

References Visitor::at_node().

virtual void Visitor::at_threeAddr threeAddrNode the_3addr  )  [inline, virtual, inherited]
 

Definition at line 262 of file visitor.h.

References Visitor::at_stmt().

virtual void Visitor::at_type typeNode the_type  )  [inline, virtual, inherited]
 

Definition at line 130 of file visitor.h.

References Visitor::at_node().

Referenced by Visitor::at_array(), Visitor::at_func(), Visitor::at_prim(), Visitor::at_ptr(), Visitor::at_sue(), Visitor::at_suespec(), and Visitor::at_tdef().

virtual void semcheck_expr_visitor::at_unary unaryNode the_unary  )  [virtual]
 

Reimplemented from Visitor.

virtual void Visitor::at_union unionNode the_union  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 154 of file visitor.h.

References Visitor::at_sue().

virtual void Visitor::at_unit unitNode the_unit  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 115 of file visitor.h.

References Visitor::at_node().

virtual void Visitor::at_while whileNode the_while  )  [inline, virtual, inherited]
 

Reimplemented in tree_visitor, and print_tree_visitor.

Definition at line 229 of file visitor.h.

References Visitor::at_loop().

static void semcheck_expr_visitor::check unitNode u  )  [static]
 

static void semcheck_expr_visitor::check exprNode e  )  [static]
 

typeNode* semcheck_expr_visitor::check_binary unsigned int  opid,
exprNode lhs,
exprNode rhs,
exprNode **  new_lhs,
exprNode **  new_rhs
[private]
 

typeNode* semcheck_expr_visitor::check_unary unsigned int  opid,
exprNode ex,
exprNode **  new_ex
[private]
 

typeNode* semcheck_expr_visitor::default_type  )  [private]
 


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

Generated on February 1, 2006
Back to the C-Breeze home page