edu.nyu.jet.pat

Class SpanBindingPatternElement

java.lang.Object

edu.nyu.jet.pat.PatternElement

edu.nyu.jet.pat.SpanBindingPatternElement

public class SpanBindingPatternElement
extends PatternElement

a pattern construct which binds a variable to the span matched by a pattern element. On a pattern file, this takes the form
(pattern element):Variable

Constructor Summary

Constructors

Constructor and Description
SpanBindingPatternElement(PatternElement pe, Variable v) creates a SpanBindingPatternElement.

Method Summary

Methods

Modifier and Type	Method and Description
PatternGraph	toGraph(Id id) converts the pattern element to its pattern graph representation, including a separate GetStartPatternElement and GetEndPatternElement.
String	toString() produces a string representation of the pattern element, of the form element : variable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SpanBindingPatternElement

public SpanBindingPatternElement(PatternElement pe,
                         Variable v)

creates a SpanBindingPatternElement.

Method Detail

toString

public String toString()

produces a string representation of the pattern element, of the form element : variable

Specified by:

toString in class PatternElement

toGraph

public PatternGraph toGraph(Id id)

converts the pattern element to its pattern graph representation, including a separate GetStartPatternElement and GetEndPatternElement.

Specified by:

toGraph in class PatternElement