Jet.Pat
Class NullPatternElement

java.lang.Object
  extended byJet.Pat.PatternElement
      extended byJet.Pat.AtomicPatternElement
          extended byJet.Pat.NullPatternElement

public class NullPatternElement
extends AtomicPatternElement

a pattern element which always succeeds. Used in creating graphs for optional pattern elements.


Constructor Summary
NullPatternElement()
           
 
Method Summary
 void eval(Document doc, int posn, java.lang.String tokenString, java.util.HashMap bindings, PatternApplication patap, PatternNode node)
           
 java.lang.String toString()
           
 
Methods inherited from class Jet.Pat.AtomicPatternElement
toGraph
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

NullPatternElement

public NullPatternElement()
Method Detail

toString

public java.lang.String toString()
Specified by:
toString in class PatternElement

eval

public void eval(Document doc,
                 int posn,
                 java.lang.String tokenString,
                 java.util.HashMap bindings,
                 PatternApplication patap,
                 PatternNode node)
Specified by:
eval in class AtomicPatternElement