Jet.Pat
Class Pat
java.lang.Object
Jet.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 |
trace
public static boolean trace
- if true, write a message to the Console whenever a pattern
adds an annotation to a Document.
Pat
public Pat()
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.