---

gotoNode Class Reference

Goto statement. More...

#include <ast.h>

Inheritance diagram for gotoNode::

List of all members.

Public Methods
	gotoNode (labelNode *label, const Coord coord=Coord::Unknown)
	Create a new goto statement. More...
	gotoNode (idNode *ident, const Coord coord)
	Create a new goto statement from an identifier. More...
virtual	~gotoNode ()
	Destroy a gotoNode. 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.
labelNode *	label () const
void	label (labelNode *label)
string &	name ()
void	name (string name)
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
REF labelNode *	_label
	the target label. More...
string	_name
	the name of the targete label. More...

---

Detailed Description

Goto statement.

This class represents the unconditional goto statement. It includes a reference that can be used to record the target label. Typically, it is created only with the name of the target label, and later the actual label reference can be computed with the goto_label_walker.

The NodeType is Goto.

See also:

goto_label_walker

---

Constructor & Destructor Documentation

gotoNode::gotoNode (  labelNode *    label, const Coord    coord = Coord::Unknown )

Create a new goto statement. The new goto statement automatically targets the given label, and takes its name from that label. Parameters: label  the target label coord  the location of the construct in the source file.

gotoNode::gotoNode (  idNode *    ident, const Coord    coord )

Create a new goto statement from an identifier. The new goto statement takes its name from the input identifier. The target label reference remains null. (Was ResolveGoto from procedure.c) Parameters: ident  the identifier providing the name on the goto coord  the location of the construct in the source file.

gotoNode::~gotoNode (    )  [virtual]

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

---

Member Function Documentation

Node * gotoNode::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* gotoNode::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 gotoNode::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 gotoNode::label (  labelNode *    label )  [inline]

labelNode* gotoNode::label (    )  const [inline]

void gotoNode::name (  string    name )  [inline]

string& gotoNode::name (    )  [inline]

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

Output a statement. Reimplemented from stmtNode.

void gotoNode::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 gotoNode::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

REF labelNode* gotoNode::_label [private]

the target label. Unless explicitly specified, this field is initially null. It can be computed by calling the goto_label_walker.

string gotoNode::_name [private]

the name of the targete label.

---

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

• ast.h
• gotonode.cc

---