Jet.Pat
Class AnnotationPatternElement

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

public class AnnotationPatternElement
extends AtomicPatternElement

A pattern element which matches an annotation.


Constructor Summary
AnnotationPatternElement(java.lang.String type, FeatureSet fs)
          creates an AnnotationPatternElement which matches an Annotation with type type and features fs.
AnnotationPatternElement(java.lang.String type, FeatureSet fs, Variable v)
          creates an AnnotationPatternElement which matches an Annotation with type type and features fs and, if the match is successful, binds variable v to the annotation.
 
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

AnnotationPatternElement

public AnnotationPatternElement(java.lang.String type,
                                FeatureSet fs)
creates an AnnotationPatternElement which matches an Annotation with type type and features fs.


AnnotationPatternElement

public AnnotationPatternElement(java.lang.String type,
                                FeatureSet fs,
                                Variable v)
creates an AnnotationPatternElement which matches an Annotation with type type and features fs and, if the match is successful, binds variable v to the annotation.

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