Jet.Pat
Class PatternRepetition
java.lang.Object
Jet.Pat.PatternElement
Jet.Pat.PatternRepetition
- public class PatternRepetition
- extends PatternElement
a pattern element for representing an optional or repeated pattern,
A? (zero or one instance of A), A* (zero or more instances of A), or A+
(one or more instances of A).
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
PatternRepetition
public PatternRepetition(PatternElement pe,
char rep)
toString
public java.lang.String toString()
- Specified by:
toString
in class PatternElement
toGraph
public PatternGraph toGraph(Id id)
- converts a PatternRepetition to its graph representation.
- Specified by:
toGraph
in class PatternElement