|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJet.Pat.PatternElement
Jet.Pat.PatternReference
an element in a pattern which stands for a reference to another pattern.
Constructor Summary | |
PatternReference(java.lang.String patternName,
PatternCollection collection)
creates a reference to the pattern named patternName in collection collection. |
Method Summary | |
PatternGraph |
toGraph(Id id)
converts the PatternReference to a graph which can be inserted into a pattern graph. |
java.lang.String |
toString()
returns a printable form of the pattern reference: the pattern name. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public PatternReference(java.lang.String patternName, PatternCollection collection)
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 |