---

ifNode Class Reference

If-else statement. More...

#include <ast.h>

Inheritance diagram for ifNode::

List of all members.

Public Methods
	ifNode (exprNode *expr, stmtNode *true_br, stmtNode *false_br, const Coord if_coord=Coord::Unknown, const Coord else_coord=Coord::Unknown)
	Create a new if-else statement. More...
virtual	~ifNode ()
	Destroy a ifNode. More...
virtual void	dataflow (FlowVal *v, FlowProblem &fp)
	Run the dataflow analyzer. More...
virtual Node *	clone () const
	Clone the input node. More...
virtual void	output_stmt (output_context &ct, Node *par)
	Output a statement. More...
Accessors
Methods to get and set fields in the class.
blockNode *	true_br () const
blockNode *	get_true_br ()
void	true_br (blockNode *true_br)
blockNode *	false_br () const
blockNode *	get_false_br ()
void	false_br (blockNode *false_br)
Coord	else_coord () const
void	else_coord (const Coord the_coord)
AST Traversal
Methods to uniformly traverse the AST. See the documentation in the Node class.
virtual void	visit (Visitor *the_visitor)
	Dispatch a Visitor. More...
virtual void	walk (Walker &the_walker)
	Dispatch a Walker. More...
virtual Node *	change (Changer &the_changer, bool redispatch=false)
	Dispatch a Changer. More...
Private Attributes
TREE blockNode *	_false_br
	the false branch statement. More...
Coord	_else_coord
	the position of the "else" keyword in the source file. More...

---

Detailed Description

If-else statement.

This class represents an "if" statement. The selection expression serves as the condition and the child statement inherited from selectionNode is the true branch. It adds a child statement for the false branch. The false branch may be null, indicating that the statement has no "else" branch.

The NodeType is If.

---

Constructor & Destructor Documentation

ifNode::ifNode (  exprNode *    expr, stmtNode *    true_br, stmtNode *    false_br, const Coord    if_coord = Coord::Unknown, const Coord    else_coord = Coord::Unknown )

Create a new if-else statement. The new if-else statement has the given condition expression, and true and false branches. Pass null for the false branch to create an if without an else. Parameters: expr  the condition expression true_br  the true branch statement false_br  the false branch statement coord  the location of the "if" keyword in the source file. coord  the location of the "else" keyword in the source file.

ifNode::~ifNode (    )  [virtual]

Destroy a ifNode. Warning: Do not use the destructors to delete AST nodes. Instead, rely on the node garbage collector.

---

Member Function Documentation

Node * ifNode::change (  Changer &    the_changer, bool    redispatch = false )  [virtual]

Dispatch a Changer. This abstract method works much the walker, but allows the tree to be changed. Parameters: the_changer  the specific Changer object to use. redispatch  pass true to revisit parts of the tree that have changed. Reimplemented from Node.

virtual Node* ifNode::clone (    )  const [inline, virtual]

Clone the input node. This is not a "deep" clone, so be careful. For a deep clone, use the clone_changer class. Returns: a shallow copy of the node (no subtrees are copied). Reimplemented from Node.

void ifNode::dataflow (  FlowVal *    v, FlowProblem &    fp )  [virtual]

Run the dataflow analyzer. Each subclass overrides this method to define it's semantics for dataflow analysis. It alters the input flow value to reflect the effect of the node within the given flow problem, calling dataflow() on it's subtrees as necessary. See the dataflow analysis documentation for more information. Parameters: v  the flow value to pass through the node. fp  the flow problem (specifying the transfer functions). Reimplemented from Node.

void ifNode::else_coord (  const Coord    the_coord )  [inline]

Coord ifNode::else_coord (    )  const [inline]

void ifNode::false_br (  blockNode *    false_br )  [inline]

blockNode* ifNode::false_br (    )  const [inline]

blockNode* ifNode::get_false_br (    )  [inline]

blockNode* ifNode::get_true_br (    )  [inline]

void ifNode::output_stmt (  output_context &    ct, Node *    parent )  [virtual]

Output a statement. Reimplemented from stmtNode.

void ifNode::true_br (  blockNode *    true_br )  [inline]

blockNode* ifNode::true_br (    )  const [inline]

void ifNode::visit (  Visitor *    the_visitor )  [virtual]

Dispatch a Visitor. This abstract method is the entry point for the visitor design pattern. Each node subclass defines a visit() method that calls the appropriate at_ method in the visitor. For more information see the Visitor documentation. Parameters: the_visitor  the specific Visitor object to use. Reimplemented from Node.

void ifNode::walk (  Walker &    the_walker )  [virtual]

Dispatch a Walker. This abstract method works much like the visitor, but instead walks the entire underlying subtree calling the appropriate at_ method at each node. For more information see the Walker documentation. Parameters: the_walker  the specific Walker object to use. Reimplemented from Node.

---

Member Data Documentation

Coord ifNode::_else_coord [private]

the position of the "else" keyword in the source file.

TREE blockNode* ifNode::_false_br [private]

the false branch statement.

---

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

• ast.h
• ifnode.cc

---