abc.tm.ast
Class Regex_c

java.lang.Object
  extended by Node_c
      extended by abc.tm.ast.Regex_c
All Implemented Interfaces:
Regex
Direct Known Subclasses:
RegexAlternation_c, RegexConjunction_c, RegexCount_c, RegexPlus_c, RegexSkipSeq_c, RegexStar_c, RegexSymbol_c

public abstract class Regex_c
extends Node_c
implements Regex

Author:
Julian Tibble, Eric Bodden

Constructor Summary
Regex_c(Position pos)
           
 
Method Summary
 StateMachine makeSM()
          Creates a finite state machine, equivalent to the regular expression, which is used by the weaver.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface abc.tm.ast.Regex
finalSymbols, makeSM, matchesEmptyString, mustBind, nonFinalSymbols
 

Constructor Detail

Regex_c

public Regex_c(Position pos)
Method Detail

makeSM

public StateMachine makeSM()
Creates a finite state machine, equivalent to the regular expression, which is used by the weaver.

Specified by:
makeSM in interface Regex