Jet.Pat
Class PatternRepetition

java.lang.Object
  extended byJet.Pat.PatternElement
      extended byJet.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).


Constructor Summary
PatternRepetition(PatternElement pe, char rep)
           
 
Method Summary
 PatternGraph toGraph(Id id)
          converts a PatternRepetition to its graph representation.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PatternRepetition

public PatternRepetition(PatternElement pe,
                         char rep)
Method Detail

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