Main Page   Modules   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members   Related Pages  

ternaryNode Class Reference

Ternary expression. More...

#include <ast.h>

Inheritance diagram for ternaryNode::

exprNode Node List of all members.

Public Methods

 ternaryNode (exprNode *cond, exprNode *true_br, exprNode *false_br, const Coord qmark_coord=Coord::Unknown, const Coord colon_coord=Coord::Unknown)
 Create a new ternary expression. More...

virtual ~ternaryNode ()
 Destroy a ternaryNode. More...

virtual void eval ()
 Constant expression evaluator. More...

virtual void dataflow (FlowVal *v, FlowProblem &fp)
 Run the dataflow analyzer. More...

virtual Nodeclone () const
 Clone the input node. More...

virtual void output_expr (output_context &ct, Node *par, int prec, Assoc assoc)
 Output a expression. More...

virtual int precedence (Assoc &assoc)
 Associativity and precedence. More...

Accessors
Methods to get and set fields in the class.

exprNodecond () const
exprNodeget_cond ()
void cond (exprNode *cond)
exprNodetrue_br () const
exprNodeget_true_br ()
void true_br (exprNode *true_br)
exprNodefalse_br () const
exprNodeget_false_br ()
void false_br (exprNode *false_br)
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 Nodechange (Changer &the_changer, bool redispatch=false)
 Dispatch a Changer. More...


Private Attributes

TREE exprNode_cond
 the ternary condition expression. More...

TREE exprNode_true_br
 the true branch expression. More...

TREE exprNode_false_br
 the false branch expression. More...

Coord _colon_coord
 the location of the colon in the source code. More...


Detailed Description

Ternary expression.

This class represents the ternary operator ( expr ? expr : expr ).

The NodeType is Ternary.


Constructor & Destructor Documentation

ternaryNode::ternaryNode exprNode   cond,
exprNode   true_br,
exprNode   false_br,
const Coord    qmark_coord = Coord::Unknown,
const Coord    colon_coord = Coord::Unknown
 

Create a new ternary expression.

The new ternary expression has the given condition, true and false expressions.

Parameters:
cond  the condition expression
true_br  the true branch expression
false_br  the false branch expression
qmark_coord  the location of the question mark in the source code
colon_coord  the location of the colon in the source code

ternaryNode::~ternaryNode   [virtual]
 

Destroy a ternaryNode.

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


Member Function Documentation

Node * ternaryNode::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* ternaryNode::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 ternaryNode::cond exprNode   cond [inline]
 

exprNode* ternaryNode::cond   const [inline]
 

void ternaryNode::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 ternaryNode::eval   [virtual]
 

Constant expression evaluator.

This method attempts to evaluate an expression at compile-time. This only yields a meaningful value when the leaves of the given expression are constants, enums, or other compile-time values (e.g., sizeof). The resulting value is stored on each exprNode, in the _value field. Each exprNode sublcass implements this method, calling it recursively when necessary.

Reimplemented from exprNode.

void ternaryNode::false_br exprNode   false_br [inline]
 

exprNode* ternaryNode::false_br   const [inline]
 

exprNode* ternaryNode::get_cond   [inline]
 

exprNode* ternaryNode::get_false_br   [inline]
 

exprNode* ternaryNode::get_true_br   [inline]
 

void ternaryNode::output_expr output_context   ct,
Node   parent,
int    prec,
Assoc    assoc
[virtual]
 

Output a expression.

Reimplemented from exprNode.

int ternaryNode::precedence Assoc   assoc [virtual]
 

Associativity and precedence.

Determine the associativity and precedence of the expression. Each exprNode subclass overrides this method to provide the specific results. The default is highest precedence and left-associative.

See also:
exprNode::output_expr() , exprNode::parens()
Parameters:
assoc  a reference parameter that is set to the associativity value
Returns:
the precedence value

Reimplemented from exprNode.

void ternaryNode::true_br exprNode   true_br [inline]
 

exprNode* ternaryNode::true_br   const [inline]
 

void ternaryNode::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 ternaryNode::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 ternaryNode::_colon_coord [private]
 

the location of the colon in the source code.

TREE exprNode* ternaryNode::_cond [private]
 

the ternary condition expression.

TREE exprNode* ternaryNode::_false_br [private]
 

the false branch expression.

TREE exprNode* ternaryNode::_true_br [private]
 

the true branch expression.


The documentation for this class was generated from the following files:
Generated on Thu Jan 10 12:06:34 2002 for C-Breeze by doxygen1.2.13.1 written by Dimitri van Heesch, © 1997-2001