Jet.Pat
Class InternalPatternNode
java.lang.Object
Jet.Pat.PatternNode
Jet.Pat.InternalPatternNode
- public class InternalPatternNode
- extends PatternNode
a non-final node in the graph representation of a pattern set
(a node with outgoing arcs).
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
arcs
public PatternArc[] arcs
- the arcs leaving this node.
InternalPatternNode
public InternalPatternNode(Id i,
PatternArc[] a)
InternalPatternNode
public InternalPatternNode(Id i,
java.util.Vector a)
eval
public void eval(Document doc,
int posn,
java.util.HashMap bindings,
PatternApplication patap)
- Specified by:
eval
in class PatternNode
toString
public java.lang.String toString()
toTree
public void toTree(javax.swing.tree.DefaultMutableTreeNode parent)
- Specified by:
toTree
in class PatternNode