|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Interface to be implemented by classes providing matching on documents, e.g. PatternElement and LeftHandSide.
Method Summary | |
void |
finish()
Finish: replace dynamic data structures with Java arrays; called after parsing. |
boolean |
matches(Document doc,
int position,
MutableInteger newPosition)
Does this element match the document at this position? |
void |
reset()
Reset: clear annotation caches etc. |
Method Detail |
public boolean matches(Document doc, int position, MutableInteger newPosition)
public void reset()
public void finish()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |