Jet.Pat
Class InternalPatternNode

java.lang.Object
  extended byJet.Pat.PatternNode
      extended byJet.Pat.InternalPatternNode

public class InternalPatternNode
extends PatternNode

a non-final node in the graph representation of a pattern set (a node with outgoing arcs).


Field Summary
 PatternArc[] arcs
          the arcs leaving this node.
 
Fields inherited from class Jet.Pat.PatternNode
id
 
Constructor Summary
InternalPatternNode(Id i, PatternArc[] a)
           
InternalPatternNode(Id i, java.util.Vector a)
           
 
Method Summary
 void eval(Document doc, int posn, java.util.HashMap bindings, PatternApplication patap)
           
 java.lang.String toString()
           
 void toTree(javax.swing.tree.DefaultMutableTreeNode parent)
           
 
Methods inherited from class Jet.Pat.PatternNode
visit, visited
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

arcs

public PatternArc[] arcs
the arcs leaving this node.

Constructor Detail

InternalPatternNode

public InternalPatternNode(Id i,
                           PatternArc[] a)

InternalPatternNode

public InternalPatternNode(Id i,
                           java.util.Vector a)
Method Detail

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