|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJet.Pat.PatternElement
Jet.Pat.PatternAlternation
a pattern element for recording an alternation of patterns (A | B | C).
Constructor Summary | |
PatternAlternation(PatternElement[] opts)
|
|
PatternAlternation(java.util.Vector opts)
|
Method Summary | |
PatternGraph |
toGraph(Id id)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public PatternAlternation(PatternElement[] opts)
public PatternAlternation(java.util.Vector opts)
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 |