|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJet.Pat.PatternApplication
records information about the matching of a pattern graph against a segment of a Document.
Field Summary | |
java.util.Vector |
bestActions
the sequence of actions associated with the best pattern match found so far. |
java.util.HashMap |
bestBindings
the bindings of variables to values associated with the best pattern match found so far. |
java.lang.String |
bestPatternName
the name of the best pattern match found so far. |
int |
bestPosition
if a match has been found, the document position matching the end of the pattern. |
boolean |
matchFound
true if a match has been found between the pattern graph and the Document. |
static boolean |
patternApplyTrace
if true, write a trace message to the console whenever a the actions associated with a pattern are applied. |
static boolean |
patternMatchTrace
if true, write a trace message to the console whenever a pattern is successfully matched. |
int |
startPosition
the position in the Document where the matching starts. |
Constructor Summary | |
PatternApplication(Document doc,
int start)
|
Method Summary | |
static javax.swing.JMenu |
applySubmenu()
Returns the "Pattern Apply Trace" submenu used in the Console's "Patterns" menu. |
static javax.swing.JMenu |
matchSubmenu()
Returns the "Pattern Match Trace" submenu used in the Console's "Patterns" menu. |
static javax.swing.JMenu |
patternMenu()
Returns a menu for controlling the pattern matcher (part of the Console menu bar). |
int |
performActions()
perform the actions associated with this pattern application. |
void |
recordMatch(int position,
java.lang.String patternName,
java.util.HashMap bindings,
java.util.Vector actions)
invoked for a successful match of a pattern. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public boolean matchFound
public int startPosition
public int bestPosition
public java.lang.String bestPatternName
public java.util.HashMap bestBindings
public java.util.Vector bestActions
public static boolean patternMatchTrace
public static boolean patternApplyTrace
Constructor Detail |
public PatternApplication(Document doc, int start)
Method Detail |
public void recordMatch(int position, java.lang.String patternName, java.util.HashMap bindings, java.util.Vector actions)
position
- position in document reached by end of patternbindings
- variable bindings for this patternactions
- actions to be performed if this is best pattern matchpublic int performActions()
public static javax.swing.JMenu patternMenu()
public static javax.swing.JMenu matchSubmenu()
public static javax.swing.JMenu applySubmenu()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |