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)