Jet.Pat
Class PatternNode

java.lang.Object
  extended byJet.Pat.PatternNode
Direct Known Subclasses:
FinalPatternNode, InternalPatternNode

public abstract class PatternNode
extends java.lang.Object

a node in the graph representation of a pattern set.


Field Summary
 Id id
           
 
Constructor Summary
PatternNode()
           
 
Method Summary
abstract  void eval(Document doc, int posn, java.util.HashMap bindings, PatternApplication patap)
           
abstract  void toTree(javax.swing.tree.DefaultMutableTreeNode parent)
           
 void visit()
           
 boolean visited()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

id

public Id id
Constructor Detail

PatternNode

public PatternNode()
Method Detail

eval

public abstract void eval(Document doc,
                          int posn,
                          java.util.HashMap bindings,
                          PatternApplication patap)

toTree

public abstract void toTree(javax.swing.tree.DefaultMutableTreeNode parent)

visit

public void visit()

visited

public boolean visited()