edu.nyu.jet.pat

Class PatternReference

java.lang.Object

edu.nyu.jet.pat.PatternElement

edu.nyu.jet.pat.PatternReference

public class PatternReference
extends PatternElement

an element in a pattern which stands for a reference to another pattern.

Constructor Summary

Constructors

Constructor and Description
PatternReference(String patternName, PatternCollection collection) creates a reference to the pattern named patternName in collection collection.

Method Summary

Methods

Modifier and Type	Method and Description
PatternGraph	toGraph(Id id) converts the PatternReference to a graph which can be inserted into a pattern graph.
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(String patternName,
                PatternCollection collection)

creates a reference to the pattern named patternName in collection collection.

Method Detail

toString

public 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