Jet.Pat
Class IntegerPatternElement

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

public class IntegerPatternElement
extends AtomicPatternElement

a pattern element which matches an integer token. The minimum and maximum allowed values of the integer may be specified.


Constructor Summary
IntegerPatternElement(FeatureSet fs)
           
 
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

IntegerPatternElement

public IntegerPatternElement(FeatureSet fs)
Method Detail

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

toString

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