Jet.Pat
Class PatternAlternation

java.lang.Object
  extended byJet.Pat.PatternElement
      extended byJet.Pat.PatternAlternation

public class PatternAlternation
extends PatternElement

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

PatternAlternation

public PatternAlternation(PatternElement[] opts)

PatternAlternation

public PatternAlternation(java.util.Vector opts)
Method Detail

toString

public java.lang.String toString()
Specified by:
toString in class PatternElement

toGraph

public PatternGraph toGraph(Id id)
Specified by:
toGraph in class PatternElement