C-Breeze
C Compiler Infrastructure

[ Project home page]
Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

scope_walker Class Reference

visits each scope in a unit. More...

#include <scope_walker.h>

Inheritance diagram for scope_walker:

Walker id_lookup_walker name_mangle_walker List of all members.

"at_" methods

These methods define the functions that should be performed when different classes of Nodes are encountered in the AST. The most specific "at_" method that matches a given Node's class will be called.

virtual void at_node (Node *the_node, Order ord)
virtual void at_unit (unitNode *the_unit, Order ord)
virtual void at_def (defNode *the_def, Order ord)
virtual void at_decl (declNode *the_decl, Order ord)
virtual void at_subdecl (subdeclNode *the_subdecl, Order ord)
virtual void at_type (typeNode *the_type, Order ord)
virtual void at_prim (primNode *the_prim, Order ord)
virtual void at_tdef (tdefNode *the_tdef, Order ord)
virtual void at_ptr (ptrNode *the_ptr, Order ord)
virtual void at_array (arrayNode *the_array, Order ord)
virtual void at_sue (sueNode *the_sue, Order ord)
virtual void at_struct (structNode *the_struct, Order ord)
virtual void at_union (unionNode *the_union, Order ord)
virtual void at_enum (enumNode *the_enum, Order ord)
virtual void at_expr (exprNode *the_expr, Order ord)
virtual void at_index (indexNode *the_index, Order ord)
virtual void at_const (constNode *the_const, Order ord)
virtual void at_id (idNode *the_id, Order ord)
virtual void at_binary (binaryNode *the_binary, Order ord)
virtual void at_unary (unaryNode *the_unary, Order ord)
virtual void at_cast (castNode *the_cast, Order ord)
virtual void at_comma (commaNode *the_comma, Order ord)
virtual void at_ternary (ternaryNode *the_ternary, Order ord)
virtual void at_call (callNode *the_call, Order ord)
virtual void at_initializer (initializerNode *the_initializer, Order ord)
virtual void at_stmt (stmtNode *the_stmt, Order ord)
virtual void at_basicblock (basicblockNode *the_basicblock, Order ord)
virtual void at_exprstmt (exprstmtNode *the_exprstmt, Order ord)
virtual void at_target (targetNode *the_target, Order ord)
virtual void at_label (labelNode *the_label, Order ord)
virtual void at_case (caseNode *the_case, Order ord)
virtual void at_selection (selectionNode *the_selection, Order ord)
virtual void at_if (ifNode *the_if, Order ord)
virtual void at_switch (switchNode *the_switch, Order ord)
virtual void at_loop (loopNode *the_loop, Order ord)
virtual void at_while (whileNode *the_while, Order ord)
virtual void at_do (doNode *the_do, Order ord)
virtual void at_for (forNode *the_for, Order ord)
virtual void at_jump (jumpNode *the_jump, Order ord)
virtual void at_goto (gotoNode *the_goto, Order ord)
virtual void at_continue (continueNode *the_continue, Order ord)
virtual void at_break (breakNode *the_break, Order ord)
virtual void at_return (returnNode *the_return, Order ord)
virtual void at_attrib (attribNode *the_attrib, Order ord)
virtual void at_operand (operandNode *the_oper, Order ord)
virtual void at_conditiongoto (conditiongotoNode *the_condgoto, Order ord)
virtual void at_threeAddr (threeAddrNode *the_3addr, Order ord)
virtual void at_text (textNode *the_text, Order ord)

Public Types

enum  Order { Preorder, Postorder, Both }
 The order in which AST Nodes should be visited. More...
enum  Depth { Subtree, NodeOnly }
 Which Nodes in the AST tree should be visited. More...

Public Member Functions

 scope_walker (unitNode *u)
virtual ~scope_walker ()
virtual void at_proc (procNode *the_proc, Order ord)
 Enter and exit scopes.
virtual void at_block (blockNode *the_block, Order ord)
*virtual void at_suespec (suespecNode *the_suespec, Order ord)
virtual void at_func (funcNode *the_func, Order ord)
*Identifiers_table * ids () const
Tags_table * tags () const
Externals_table * externs () const
int symbol_level () const
*bool in_su () const
bool in_enum () const
bool in_formals () const
unitNode * unit ()
 unitNode
*void enter_scope ()
void exit_scope ()

Protected Attributes

procNode * _cur_proc

Private Attributes

unitNode * _unit
Identifiers_table * _ids
Tags_table * _tags
Externals_table * _externs
int _symbol_level
int _in_su
int _in_enum
int _in_formals

Detailed Description

visits each scope in a unit.

Definition at line 45 of file scope_walker.h.

Member Enumeration Documentation

enum Walker::Depth [inherited]
 

Which Nodes in the AST tree should be visited.

Enumeration values:
Subtree  The entire AST should be traversed.
NodeOnly  Only the root Node should be visited.

Definition at line 155 of file walker.h.

enum Walker::Order [inherited]
 

The order in which AST Nodes should be visited.

Enumeration values:
Preorder  Nodes should be visited before their children.
Postorder  Nodes should be visited after their children.
Both  Nodes should be visited both before and after their children.

Definition at line 147 of file walker.h.

Constructor & Destructor Documentation

scope_walker::scope_walker (  unitNode *  u  ) 
 

virtual scope_walker::~scope_walker (   )  [virtual]
 

Member Function Documentation

virtual void Walker::at_array (  arrayNode *  the_array,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 254 of file walker.h.

References Walker::at_type().

virtual void Walker::at_attrib (  attribNode *  the_attrib,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in print_walker.

Definition at line 365 of file walker.h.

References Walker::at_stmt().

virtual void Walker::at_basicblock (  basicblockNode *  the_basicblock,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in print_walker, LivenessWalker, LivenessComments, and reachingDefinitionsWalker.

Definition at line 314 of file walker.h.

References Walker::at_block().

virtual void Walker::at_binary (  binaryNode *  the_binary,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in gcWalker, id_lookup_walker, TreeChecker, and print_walker.

Definition at line 287 of file walker.h.

References Walker::at_expr().

virtual void scope_walker::at_block (  blockNode *  the_block,
Order  ord
)  [virtual]
 

Reimplemented from Walker.

virtual void Walker::at_break (  breakNode *  the_break,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in ref_fix_walker, set_container_walker, TreeChecker, and print_walker.

Definition at line 359 of file walker.h.

References Walker::at_jump().

virtual void Walker::at_call (  callNode *  the_call,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in id_lookup_walker, Linker, ref_fix_walker, TreeChecker, and print_walker.

Definition at line 302 of file walker.h.

References Walker::at_expr().

virtual void Walker::at_case (  caseNode *  the_case,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in ref_fix_walker, semcheck_walker, set_container_walker, TreeChecker, and print_walker.

Definition at line 326 of file walker.h.

References Walker::at_target().

virtual void Walker::at_cast (  castNode *  the_cast,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 293 of file walker.h.

References Walker::at_expr().

virtual void Walker::at_comma (  commaNode *  the_comma,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 296 of file walker.h.

References Walker::at_expr().

virtual void Walker::at_conditiongoto (  conditiongotoNode *  the_condgoto,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, print_walker, LivenessWalker, and LivenessComments.

Definition at line 371 of file walker.h.

References Walker::at_goto().

virtual void Walker::at_const (  constNode *  the_const,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 281 of file walker.h.

References Walker::at_index().

virtual void Walker::at_continue (  continueNode *  the_continue,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in ref_fix_walker, set_container_walker, TreeChecker, and print_walker.

Definition at line 356 of file walker.h.

References Walker::at_jump().

virtual void Walker::at_decl (  declNode *  the_decl,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in id_lookup_walker, name_mangle_walker, semcheck_walker, TreeChecker, ProcWalker, print_walker, has_struct_walker, and UnificationBasedPtr.

Definition at line 233 of file walker.h.

References Walker::at_def().

Referenced by Walker::at_subdecl().

virtual void Walker::at_def (  defNode *  the_def,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 230 of file walker.h.

References Walker::at_node().

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

virtual void Walker::at_do (  doNode *  the_do,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in print_walker.

Definition at line 344 of file walker.h.

References Walker::at_loop().

virtual void Walker::at_enum (  enumNode *  the_enum,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in enum_value_walker, and id_lookup_walker.

Definition at line 269 of file walker.h.

References Walker::at_sue().

virtual void Walker::at_expr (  exprNode *  the_expr,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 275 of file walker.h.

References Walker::at_node().

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

virtual void Walker::at_exprstmt (  exprstmtNode *  the_exprstmt,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in semcheck_walker, and print_walker.

Definition at line 317 of file walker.h.

References Walker::at_stmt().

virtual void Walker::at_for (  forNode *  the_for,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in semcheck_walker, TreeChecker, and print_walker.

Definition at line 347 of file walker.h.

References Walker::at_loop().

virtual void Walker::at_goto (  gotoNode *  the_goto,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in goto_label_walker, fix_goto_walker, ref_fix_walker, TreeChecker, ProcWalker, and print_walker.

Definition at line 353 of file walker.h.

References Walker::at_jump().

Referenced by Walker::at_conditiongoto().

virtual void Walker::at_id (  idNode *  the_id,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in callGraph, id_lookup_walker, Linker, name_mangle_walker, ref_fix_walker, TreeChecker, and print_walker.

Definition at line 284 of file walker.h.

References Walker::at_index().

virtual void Walker::at_if (  ifNode *  the_if,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 332 of file walker.h.

References Walker::at_selection().

virtual void Walker::at_index (  indexNode *  the_index,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 278 of file walker.h.

References Walker::at_expr().

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

virtual void Walker::at_initializer (  initializerNode *  the_initializer,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 305 of file walker.h.

References Walker::at_expr().

virtual void Walker::at_jump (  jumpNode *  the_jump,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 350 of file walker.h.

References Walker::at_stmt().

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

virtual void Walker::at_label (  labelNode *  the_label,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in goto_label_walker, name_mangle_walker, TreeChecker, ProcWalker, and print_walker.

Definition at line 323 of file walker.h.

References Walker::at_target().

virtual void Walker::at_loop (  loopNode *  the_loop,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in semcheck_walker, set_container_walker, TreeChecker, and init_flowproblem_walker.

Definition at line 338 of file walker.h.

References Walker::at_stmt().

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

virtual void Walker::at_node (  Node *  the_node,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in gcWalker, goto_label_walker, set_container_walker, sue_complete_walker, TreeChecker, and df_number_walker.

Definition at line 223 of file walker.h.

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

virtual void Walker::at_operand (  operandNode *  the_oper,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 368 of file walker.h.

References Walker::at_expr().

virtual void Walker::at_prim (  primNode *  the_prim,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in print_walker.

Definition at line 245 of file walker.h.

References Walker::at_type().

virtual void scope_walker::at_proc (  procNode *  the_proc,
Order  ord
)  [virtual]
 

Enter and exit scopes.

Reimplemented from Walker.

Reimplemented in id_lookup_walker, and name_mangle_walker.

virtual void Walker::at_ptr (  ptrNode *  the_ptr,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in print_walker.

Definition at line 251 of file walker.h.

References Walker::at_type().

virtual void Walker::at_return (  returnNode *  the_return,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in ref_fix_walker, semcheck_walker, set_container_walker, TreeChecker, print_walker, LivenessWalker, and LivenessComments.

Definition at line 362 of file walker.h.

References Walker::at_jump().

virtual void Walker::at_selection (  selectionNode *  the_selection,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in semcheck_walker.

Definition at line 329 of file walker.h.

References Walker::at_stmt().

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

virtual void Walker::at_stmt (  stmtNode *  the_stmt,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in init_flowproblem_walker, and LivenessWalker.

Definition at line 308 of file walker.h.

References Walker::at_node().

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

virtual void Walker::at_struct (  structNode *  the_struct,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 263 of file walker.h.

References Walker::at_sue().

virtual void Walker::at_subdecl (  subdeclNode *  the_subdecl,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 236 of file walker.h.

References Walker::at_decl().

virtual void Walker::at_sue (  sueNode *  the_sue,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in id_lookup_walker, print_walker, and has_struct_walker.

Definition at line 260 of file walker.h.

References Walker::at_type().

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

virtual void Walker::at_switch (  switchNode *  the_switch,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in set_container_walker, TreeChecker, ProcWalker, print_walker, and init_flowproblem_walker.

Definition at line 335 of file walker.h.

References Walker::at_selection().

virtual void Walker::at_target (  targetNode *  the_target,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in init_flowproblem_walker.

Definition at line 320 of file walker.h.

References Walker::at_stmt().

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

virtual void Walker::at_tdef (  tdefNode *  the_tdef,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in id_lookup_walker, ref_fix_walker, TreeChecker, and print_walker.

Definition at line 248 of file walker.h.

References Walker::at_type().

virtual void Walker::at_ternary (  ternaryNode *  the_ternary,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 299 of file walker.h.

References Walker::at_expr().

virtual void Walker::at_text (  textNode *  the_text,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in print_walker.

Definition at line 377 of file walker.h.

References Walker::at_node().

virtual void Walker::at_threeAddr (  threeAddrNode *  the_3addr,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in Linker, TreeChecker, print_walker, LivenessWalker, LivenessComments, and UnificationBasedPtr.

Definition at line 374 of file walker.h.

References Walker::at_stmt().

virtual void Walker::at_type (  typeNode *  the_type,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker.

Definition at line 242 of file walker.h.

References Walker::at_node().

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

virtual void Walker::at_unary (  unaryNode *  the_unary,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TreeChecker, and print_walker.

Definition at line 290 of file walker.h.

References Walker::at_expr().

virtual void Walker::at_union (  unionNode *  the_union,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 266 of file walker.h.

References Walker::at_sue().

virtual void Walker::at_unit (  unitNode *  the_unit,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in gcWalker, TreeChecker, print_walker, and UnificationBasedPtr.

Definition at line 227 of file walker.h.

References Walker::at_node().

virtual void Walker::at_while (  whileNode *  the_while,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in print_walker.

Definition at line 341 of file walker.h.

References Walker::at_loop().

Depth Walker::depth (   )  const [inline, inherited]
 

Return which Nodes of an AST should be visited.

A value of SubTree specifies that the entire AST should be traversed. A value of NodeOnly specifies that only the root Node in the AST should be visited.

Definition at line 211 of file walker.h.

References Walker::_depth.

Order Walker::order (   )  const [inline, inherited]
 

Return the order in which Nodes of an AST should be visited.

Nodes can be visited before their children (Preorder), after their children (Postorder), or both (Both).

Definition at line 203 of file walker.h.

References Walker::_order.

Referenced by df_number_walker::at_node().

unitNode* scope_walker::unit (   )  [inline]
 

unitNode

Definition at line 100 of file scope_walker.h.

References _unit.

Member Data Documentation

procNode* scope_walker::_cur_proc [protected]
 

Definition at line 61 of file scope_walker.h.

Externals_table* scope_walker::_externs [private]
 

Definition at line 53 of file scope_walker.h.

Referenced by externs().

Identifiers_table* scope_walker::_ids [private]
 

Definition at line 51 of file scope_walker.h.

Referenced by ids().

int scope_walker::_in_enum [private]
 

Definition at line 57 of file scope_walker.h.

Referenced by in_enum().

int scope_walker::_in_formals [private]
 

Definition at line 58 of file scope_walker.h.

Referenced by in_formals().

int scope_walker::_in_su [private]
 

Definition at line 56 of file scope_walker.h.

Referenced by in_su().

int scope_walker::_symbol_level [private]
 

Definition at line 54 of file scope_walker.h.

Referenced by symbol_level().

Tags_table* scope_walker::_tags [private]
 

Definition at line 52 of file scope_walker.h.

Referenced by tags().

unitNode* scope_walker::_unit [private]
 

Definition at line 49 of file scope_walker.h.

Referenced by unit().

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

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