Jet.Pat
Class PatternArc

java.lang.Object
  extended byJet.Pat.PatternArc

public class PatternArc
extends java.lang.Object

an arc in the graph representation of a pattern.


Field Summary
 AtomicPatternElement pe
           
 PatternNode target
           
 
Constructor Summary
PatternArc(AtomicPatternElement e, PatternNode t)
           
 
Method Summary
 void eval(Document doc, int posn, java.lang.String tokenString, java.util.HashMap bindings, PatternApplication patap)
           
 void visit()
           
 boolean visited()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

pe

public AtomicPatternElement pe

target

public PatternNode target
Constructor Detail

PatternArc

public PatternArc(AtomicPatternElement e,
                  PatternNode t)
Method Detail

visit

public void visit()

visited

public boolean visited()

eval

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