Jet.Pat
Class PatternReference

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

public class PatternReference
extends PatternElement

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

PatternReference

public PatternReference(java.lang.String patternName,
                        PatternCollection collection)
creates a reference to the pattern named patternName in collection collection.

Method Detail

toString

public java.lang.String toString()
returns a printable form of the pattern reference: the pattern name.

Specified by:
toString in class PatternElement

toGraph

public PatternGraph toGraph(Id id)
converts the PatternReference to a graph which can be inserted into a pattern graph. If the referenced pattern is defined, we convert the pattern as defined. If it is not defined, we print a message and create an arc which matches the token "*undefined*".

Specified by:
toGraph in class PatternElement