---

ExprNode Class Reference

Inheritance diagram for ExprNode:[legend]Collaboration diagram for ExprNode:[legend]List of all members.

Public Methods
	ExprNode (String expr)
	ExprNode (String expr1, String expr2)
TreeNode	compose (TreeNode tree, Case context)
Vector	getLeafCases (Vector leafCases)
Vector	getLeaves (Vector leaves)
void	print (int level)
TreeNode	specialize (ExprNode leaf, Case context)
void	update (String expr)
Public Attributes
String	expr1
String	expr2

---

Detailed Description

A base expression in a case tree.

Note: an ExprNode actually holds two expressions. The first is the main expression (the node's value). The second is an auxiliary expression that holds the value of an ExprNode that this node has been composed with until the ExprNode is updated via the update() method.

Definition at line 50 of file ExprNode.java.

---

Member Function Documentation

TreeNode ExprNode::compose (  TreeNode   tree, Case   context )  [inline]

When composing two case trees, when we reach a leaf of the first tree (i.e., this method), then return the second tree specialized in the context of the first tree. Reimplemented from TreeNode. Definition at line 68 of file ExprNode.java.

TreeNode ExprNode::specialize (  ExprNode   leaf, Case   context )  [inline]

When composing two case trees and we reach the bottom of the second tree, make an ExprNode that holds the two expressions from the original nodes. Reimplemented from TreeNode. Definition at line 90 of file ExprNode.java.

---

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

• ExprNode.java

---