Jet.Pat
Class SpanBindingPatternElement

java.lang.Object
  extended byJet.Pat.PatternElement
      extended byJet.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
SpanBindingPatternElement(PatternElement pe, Variable v)
          creates a SpanBindingPatternElement.
 
Method Summary
 PatternGraph toGraph(Id id)
          converts the pattern element to its pattern graph representation, including a separate GetStartPatternElement and GetEndPatternElement.
 java.lang.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 java.lang.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