---

TrapNode Class Reference

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

Public Methods
	TrapNode (String desc, boolean fatal)
TreeNode	compose (TreeNode tree, Case context)
Vector	getLeafCases (Vector leafCases)
Vector	getLeaves (Vector leaves)
void	print (int level)
TreeNode	specialize (ExprNode leaf, Case context)
Public Attributes
String	desc
boolean	fatal

---

Detailed Description

A trap node in a case tree.

This is like an ExprNode, but it represents a trap (e.g., NullPointer, ArrayOutOfBounds).

Definition at line 47 of file TrapNode.java.

---

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

• TrapNode.java

---