Jet.Pat
Class GetEndPatternElement

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

public class GetEndPatternElement
extends AtomicPatternElement


Constructor Summary
GetEndPatternElement(Variable v)
           
 
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

GetEndPatternElement

public GetEndPatternElement(Variable v)
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