C-Breeze
C Compiler Infrastructure

[ Project home page]

ref_clone_changer Class Reference

Performs a deep copy on part of the AST. More...

#include <ref_clone_changer.h>

Inheritance diagram for ref_clone_changer:

Changer List of all members.

Public Types

enum  Order { Preorder, Postorder, Both }
enum  Depth { Subtree, NodeOnly }

Public Member Functions

Accessors
Methods to get and set fields in the class.

Order order () const
 Return the order in which Nodes of an AST should be visited.
Depth depth () const
 Return which Nodes of an AST should be visited.
bool delete_old () const
 Return whether this Changer deletes Nodes which are removed from the AST by "at_" methods.
"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 Node * at_unit (unitNode *the_unit, Order ord)
virtual Node * at_def (defNode *the_def, Order ord)
virtual Node * at_subdecl (subdeclNode *the_subdecl, Order ord)
virtual Node * at_proc (procNode *the_proc, Order ord)
virtual Node * at_type (typeNode *the_type, Order ord)
virtual Node * at_prim (primNode *the_prim, Order ord)
virtual Node * at_tdef (tdefNode *the_tdef, Order ord)
virtual Node * at_ptr (ptrNode *the_ptr, Order ord)
virtual Node * at_array (arrayNode *the_array, Order ord)
virtual Node * at_func (funcNode *the_func, Order ord)
virtual Node * at_sue (sueNode *the_sue, Order ord)
virtual Node * at_struct (structNode *the_struct, Order ord)
virtual Node * at_union (unionNode *the_union, Order ord)
virtual Node * at_enum (enumNode *the_enum, Order ord)
virtual Node * at_suespec (suespecNode *the_suespec, Order ord)
virtual Node * at_expr (exprNode *the_expr, Order ord)
virtual Node * at_index (indexNode *the_index, Order ord)
virtual Node * at_const (constNode *the_const, Order ord)
virtual Node * at_id (idNode *the_id, Order ord)
virtual Node * at_binary (binaryNode *the_binary, Order ord)
virtual Node * at_unary (unaryNode *the_unary, Order ord)
virtual Node * at_cast (castNode *the_cast, Order ord)
virtual Node * at_comma (commaNode *the_comma, Order ord)
virtual Node * at_ternary (ternaryNode *the_ternary, Order ord)
virtual Node * at_call (callNode *the_call, Order ord)
virtual Node * at_initializer (initializerNode *the_initializer, Order ord)
virtual Node * at_stmt (stmtNode *the_stmt, Order ord)
virtual Node * at_block (blockNode *the_block, Order ord)
virtual Node * at_basicblock (basicblockNode *the_basicblock, Order ord)
virtual Node * at_exprstmt (exprstmtNode *the_exprstmt, Order ord)
virtual Node * at_target (targetNode *the_target, Order ord)
virtual Node * at_case (caseNode *the_case, Order ord)
virtual Node * at_selection (selectionNode *the_selection, Order ord)
virtual Node * at_if (ifNode *the_if, Order ord)
virtual Node * at_loop (loopNode *the_loop, Order ord)
virtual Node * at_while (whileNode *the_while, Order ord)
virtual Node * at_do (doNode *the_do, Order ord)
virtual Node * at_for (forNode *the_for, Order ord)
virtual Node * at_jump (jumpNode *the_jump, Order ord)
virtual Node * at_goto (gotoNode *the_goto, Order ord)
virtual Node * at_continue (continueNode *the_continue, Order ord)
virtual Node * at_break (breakNode *the_break, Order ord)
virtual Node * at_return (returnNode *the_return, Order ord)
virtual Node * at_attrib (attribNode *the_attrib, Order ord)
virtual Node * at_operand (operandNode *the_oper, Order ord)
virtual Node * at_conditiongoto (conditiongotoNode *the_condgoto, Order ord)
virtual Node * at_threeAddr (threeAddrNode *the_3addr, Order ord)
virtual Node * at_text (textNode *the_text, Order ord)

Static Public Member Functions

static Node * clone (Node *n, bool nil_bad_links)
 Entry point for ref_clone_changer.

Private Member Functions

node_map * map () const
 ref_clone_changer ()
virtual Node * at_node (Node *the_node, Order ord)
virtual Node * at_decl (declNode *the_decl, Order ord)
virtual Node * at_label (labelNode *the_label, Order ord)
virtual Node * at_switch (switchNode *the_switch, Order ord)

Private Attributes

node_map * _map

Detailed Description

Performs a deep copy on part of the AST.

This Changer performs a deep copy on the portion of the AST underneath the Node given to it. In addition to copying the structure, it also updates internal links between Nodes in the structure. These links include those between idNode & declNode, tdefNode & the relevant typeNode, callNode & procNode, caseNode & switchNode, gotoNode (including conditiongotoNode) & labelNode, continueNode/breakNode & the container stmtNode, returnNode & procNode, and procNode & the related return_label() & return_decl() in dismantled code.

Definition at line 60 of file ref_clone_changer.h.


Member Enumeration Documentation

enum Changer::Depth [inherited]
 

Enumeration values:
Subtree 
NodeOnly 

Definition at line 148 of file changer.h.

enum Changer::Order [inherited]
 

Enumeration values:
Preorder 
Postorder 
Both 

Definition at line 147 of file changer.h.


Constructor & Destructor Documentation

ref_clone_changer::ref_clone_changer (   )  [inline, private]
 

Definition at line 89 of file ref_clone_changer.h.


Member Function Documentation

virtual Node* Changer::at_array (  arrayNode *  the_array,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 253 of file changer.h.

References Changer::at_type().

virtual Node* Changer::at_attrib (  attribNode *  the_attrib,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 364 of file changer.h.

References Changer::at_stmt().

virtual Node* Changer::at_basicblock (  basicblockNode *  the_basicblock,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in constantFoldingChanger.

Definition at line 313 of file changer.h.

References Changer::at_block().

virtual Node* Changer::at_binary (  binaryNode *  the_binary,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in SelectionDismantle, ArrowDismantle, and ExpressionDismantle.

Definition at line 286 of file changer.h.

References Changer::at_expr().

virtual Node* Changer::at_block (  blockNode *  the_block,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in StaticToGlobalDismantle, and InitializerDismantle.

Definition at line 310 of file changer.h.

References Changer::at_stmt().

Referenced by Changer::at_basicblock().

virtual Node* Changer::at_break (  breakNode *  the_break,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in BreakContinueChanger.

Definition at line 358 of file changer.h.

References Changer::at_jump().

virtual Node* Changer::at_call (  callNode *  the_call,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in ExpressionDismantle.

Definition at line 301 of file changer.h.

References Changer::at_expr().

virtual Node* Changer::at_case (  caseNode *  the_case,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 325 of file changer.h.

References Changer::at_target().

virtual Node* Changer::at_cast (  castNode *  the_cast,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in ExpressionDismantle.

Definition at line 292 of file changer.h.

References Changer::at_expr().

virtual Node* Changer::at_comma (  commaNode *  the_comma,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in ExpressionDismantle.

Definition at line 295 of file changer.h.

References Changer::at_expr().

virtual Node* Changer::at_conditiongoto (  conditiongotoNode *  the_condgoto,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in constantPropChanger, constantFoldingChanger, and constantsChanger.

Definition at line 370 of file changer.h.

References Changer::at_goto().

virtual Node* Changer::at_const (  constNode *  the_const,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 280 of file changer.h.

References Changer::at_index().

virtual Node* Changer::at_continue (  continueNode *  the_continue,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in BreakContinueChanger.

Definition at line 355 of file changer.h.

References Changer::at_jump().

virtual Node* ref_clone_changer::at_decl (  declNode *  the_decl,
Order  ord
)  [inline, private, virtual]
 

Reimplemented from Changer.

Definition at line 101 of file ref_clone_changer.h.

References at_node(), and declNode::ref_list().

virtual Node* Changer::at_def (  defNode *  the_def,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 229 of file changer.h.

References Changer::at_node().

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

virtual Node* Changer::at_do (  doNode *  the_do,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in LoopDismantle.

Definition at line 343 of file changer.h.

References Changer::at_loop().

virtual Node* Changer::at_enum (  enumNode *  the_enum,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 268 of file changer.h.

References Changer::at_sue().

virtual Node* Changer::at_expr (  exprNode *  the_expr,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 274 of file changer.h.

References Changer::at_node().

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

virtual Node* Changer::at_exprstmt (  exprstmtNode *  the_exprstmt,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in SelectionDismantle, ExpressionDismantle, and FlattenDismantle.

Definition at line 316 of file changer.h.

References Changer::at_stmt().

virtual Node* Changer::at_for (  forNode *  the_for,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in LoopDismantle.

Definition at line 346 of file changer.h.

References Changer::at_loop().

virtual Node* Changer::at_func (  funcNode *  the_func,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 256 of file changer.h.

References Changer::at_type().

virtual Node* Changer::at_goto (  gotoNode *  the_goto,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in FlattenDismantle.

Definition at line 352 of file changer.h.

References Changer::at_jump().

Referenced by Changer::at_conditiongoto().

virtual Node* Changer::at_id (  idNode *  the_id,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in UnusedDeclarationCleanupChanger, and constantsChanger.

Definition at line 283 of file changer.h.

References Changer::at_index().

virtual Node* Changer::at_if (  ifNode *  the_if,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in SelectionDismantle.

Definition at line 331 of file changer.h.

References Changer::at_selection().

virtual Node* Changer::at_index (  indexNode *  the_index,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 277 of file changer.h.

References Changer::at_expr().

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

virtual Node* Changer::at_initializer (  initializerNode *  the_initializer,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 304 of file changer.h.

References Changer::at_expr().

virtual Node* Changer::at_jump (  jumpNode *  the_jump,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 349 of file changer.h.

References Changer::at_stmt().

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

virtual Node* ref_clone_changer::at_label (  labelNode *  the_label,
Order  ord
)  [inline, private, virtual]
 

Reimplemented from Changer.

Definition at line 107 of file ref_clone_changer.h.

References at_node(), and labelNode::references().

virtual Node* Changer::at_loop (  loopNode *  the_loop,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 337 of file changer.h.

References Changer::at_stmt().

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

virtual Node* ref_clone_changer::at_node (  Node *  the_node,
Order  ord
)  [inline, private, virtual]
 

Reimplemented from Changer.

Definition at line 94 of file ref_clone_changer.h.

References Node::clone().

Referenced by at_decl(), at_label(), and at_switch().

virtual Node* Changer::at_operand (  operandNode *  the_oper,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 367 of file changer.h.

References Changer::at_expr().

virtual Node* Changer::at_prim (  primNode *  the_prim,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 244 of file changer.h.

References Changer::at_type().

virtual Node* Changer::at_proc (  procNode *  the_proc,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in Dismantle, StaticToGlobalDismantle, ControlDismantle, ReturnDismantle, FlattenDismantle, function_inline, cfg_changer, copyPropChanger, deadCodeEliminationChanger, and UnusedDeclarationCleanupChanger.

Definition at line 238 of file changer.h.

References Changer::at_def().

virtual Node* Changer::at_ptr (  ptrNode *  the_ptr,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 250 of file changer.h.

References Changer::at_type().

virtual Node* Changer::at_return (  returnNode *  the_return,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in SelectionDismantle, ReturnDismantle, FlattenDismantle, and constantPropChanger.

Definition at line 361 of file changer.h.

References Changer::at_jump().

virtual Node* Changer::at_selection (  selectionNode *  the_selection,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 328 of file changer.h.

References Changer::at_stmt().

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

virtual Node* Changer::at_stmt (  stmtNode *  the_stmt,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TernaryDismantle, and SelectionDismantle.

Definition at line 307 of file changer.h.

References Changer::at_node().

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

virtual Node* Changer::at_struct (  structNode *  the_struct,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 262 of file changer.h.

References Changer::at_sue().

virtual Node* Changer::at_subdecl (  subdeclNode *  the_subdecl,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 235 of file changer.h.

References Changer::at_decl().

virtual Node* Changer::at_sue (  sueNode *  the_sue,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 259 of file changer.h.

References Changer::at_type().

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

virtual Node* Changer::at_suespec (  suespecNode *  the_suespec,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 271 of file changer.h.

References Changer::at_type().

virtual Node* ref_clone_changer::at_switch (  switchNode *  the_switch,
Order  ord
)  [inline, private, virtual]
 

Reimplemented from Changer.

Definition at line 113 of file ref_clone_changer.h.

References at_node(), and switchNode::cases().

virtual Node* Changer::at_target (  targetNode *  the_target,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 319 of file changer.h.

References Changer::at_stmt().

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

virtual Node* Changer::at_tdef (  tdefNode *  the_tdef,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 247 of file changer.h.

References Changer::at_type().

virtual Node* Changer::at_ternary (  ternaryNode *  the_ternary,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TernaryDismantle.

Definition at line 298 of file changer.h.

References Changer::at_expr().

virtual Node* Changer::at_text (  textNode *  the_text,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 376 of file changer.h.

References Changer::at_node().

virtual Node* Changer::at_threeAddr (  threeAddrNode *  the_3addr,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in FlattenDismantle, function_inline, constantPropChanger, constantFoldingChanger, deadCodeEliminationChanger, constantsChanger, and deadcodeChanger.

Definition at line 373 of file changer.h.

References Changer::at_stmt().

virtual Node* Changer::at_type (  typeNode *  the_type,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in TernaryDismantle, and ExpressionDismantle.

Definition at line 241 of file changer.h.

References Changer::at_node().

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

virtual Node* Changer::at_unary (  unaryNode *  the_unary,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in ExpressionDismantle.

Definition at line 289 of file changer.h.

References Changer::at_expr().

virtual Node* Changer::at_union (  unionNode *  the_union,
Order  ord
)  [inline, virtual, inherited]
 

Definition at line 265 of file changer.h.

References Changer::at_sue().

virtual Node* Changer::at_unit (  unitNode *  the_unit,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in Dismantle, and StaticToGlobalDismantle.

Definition at line 226 of file changer.h.

References Changer::at_node().

virtual Node* Changer::at_while (  whileNode *  the_while,
Order  ord
)  [inline, virtual, inherited]
 

Reimplemented in LoopDismantle.

Definition at line 340 of file changer.h.

References Changer::at_loop().

static Node* ref_clone_changer::clone (  Node *  n,
bool  nil_bad_links
)  [static]
 

Entry point for ref_clone_changer.

This static method is the entry point for using the ref_clone_changer. The portion of the AST under Node n is copied. Relations between nodes that are both copied is updated by the Changer. For example, if both an idNode and its declNode are copied, then the new idNode will refer to the declNode and vice versa.

If nil_bad_links is false, then pointers from copied nodes to a Node outside the subtree are left unchanged. For example, if an idNode is copied, but the original declNode is not copied, then the new idNode will refer to the original declNode. If nil_bad_links is true, then these references will be set to NULL. In this case, an idNode copied without copying the declNode will have a NULL-reference for its decl().

bool Changer::delete_old (   )  const [inline, inherited]
 

Return whether this Changer deletes Nodes which are removed from the AST by "at_" methods.

Definition at line 209 of file changer.h.

References Changer::_delete_old.

Referenced by change_list().

Depth Changer::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 204 of file changer.h.

References Changer::_depth.

node_map* ref_clone_changer::map (   )  const [inline, private]
 

Definition at line 85 of file ref_clone_changer.h.

References _map.

Order Changer::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 196 of file changer.h.

References Changer::_order.


Member Data Documentation

node_map* ref_clone_changer::_map [private]
 

Definition at line 87 of file ref_clone_changer.h.

Referenced by map().


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

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