Jet.Pat
Class Pat

java.lang.Object
  extended byJet.Pat.Pat

public class Pat
extends java.lang.Object

contains static procedures used in pattern matching.


Field Summary
static boolean trace
          if true, write a message to the Console whenever a pattern adds an annotation to a Document.
 
Constructor Summary
Pat()
           
 
Method Summary
static java.util.HashMap matchAnnotations(Annotation ann1, Annotation ann2, java.util.HashMap bindings)
          determines whether annotations ann1 and ann2 can be matched (unified), consistent with variable bindings bindings.
static java.util.HashMap matchFS(FeatureSet fs1, FeatureSet fs2, java.util.HashMap bindings)
          determines whether feature sets fs1 and fs2 can be matched (unified), consistent with variable bindings bindings.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

trace

public static boolean trace
if true, write a message to the Console whenever a pattern adds an annotation to a Document.

Constructor Detail

Pat

public Pat()
Method Detail

matchAnnotations

public static java.util.HashMap matchAnnotations(Annotation ann1,
                                                 Annotation ann2,
                                                 java.util.HashMap bindings)
determines whether annotations ann1 and ann2 can be matched (unified), consistent with variable bindings bindings. Two annotations can be matched if they have the same type and their features can be matched. Both ann1 and ann2 may include variables, so the matching process may cause more variables to be bound.


matchFS

public static java.util.HashMap matchFS(FeatureSet fs1,
                                        FeatureSet fs2,
                                        java.util.HashMap bindings)
determines whether feature sets fs1 and fs2 can be matched (unified), consistent with variable bindings bindings. Both fs1 and fs2 may include variables, so the matching process may cause more variables to be bound.