|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJet.Pat.PatternElement
Jet.Pat.PatternSequence
a sequence of pattern elements which are to be matched in succession,
to successive portions of a document. Represented in a pattern file
by listing the elements in sequence,
a b c d e
Constructor Summary | |
PatternSequence(PatternElement[] elems)
creates a PatternSequence from an array of PatternElements |
|
PatternSequence(java.util.Vector elems)
creates a PatternSequence from a Vector of PatternElements |
Method Summary | |
PatternGraph |
toGraph(Id id)
converts the PatternSequence to a graph representation. |
java.lang.String |
toString()
returns a printable representation of the PatternSequence, consisting of the constituent PatternElements, separated by spaces. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public PatternSequence(PatternElement[] elems)
public PatternSequence(java.util.Vector elems)
Method Detail |
public java.lang.String toString()
toString
in class PatternElement
public PatternGraph toGraph(Id id)
toGraph
in class PatternElement
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |