Jet.Pat
Class AssignmentPatternElement

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

public class AssignmentPatternElement
extends AtomicPatternElement

a pattern element which assigns a value (a String or integer) to a pattern variable.


Constructor Summary
AssignmentPatternElement(Variable v, java.lang.Integer val)
           
AssignmentPatternElement(Variable v, java.lang.String val)
           
 
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

AssignmentPatternElement

public AssignmentPatternElement(Variable v,
                                java.lang.String val)

AssignmentPatternElement

public AssignmentPatternElement(Variable v,
                                java.lang.Integer val)
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