|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJet.Pat.PatternElement
Jet.Pat.SpanBindingPatternElement
a pattern construct which binds a variable to the span matched
by a pattern element. On a pattern file, this takes the form
(pattern element):Variable
Constructor Summary | |
SpanBindingPatternElement(PatternElement pe,
Variable v)
creates a SpanBindingPatternElement. |
Method Summary | |
PatternGraph |
toGraph(Id id)
converts the pattern element to its pattern graph representation, including a separate GetStartPatternElement and GetEndPatternElement. |
java.lang.String |
toString()
produces a string representation of the pattern element, of the form element : variable |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public SpanBindingPatternElement(PatternElement pe, Variable v)
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 |