public class TreeSelection
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
ForestNode |
node |
ParseTree |
parent |
Family |
selection |
| Constructor and Description |
|---|
TreeSelection(ForestNode node,
ParseTree parent,
Family selection) |
public final ForestNode node
public final ParseTree parent
public final Family selection
public TreeSelection(ForestNode node, ParseTree parent, Family selection)