dk.brics.automaton

Class RegExpVisitor<K>

java.lang.Object

dk.brics.automaton.RegExpVisitor<K>

Direct Known Subclasses:

RegExpToCVC4Visitor

public abstract class RegExpVisitor<K>
extends Object

Constructor Summary

Constructors

Constructor and Description
RegExpVisitor()

Method Summary

Modifier and Type	Method and Description
abstract K	visitAnyChar()
abstract K	visitAnyString()
abstract K	visitAutomaton(dk.brics.automaton.RegExp e)
abstract K	visitChar(char c)
abstract K	visitCharRange(char from, char to)
abstract K	visitComplement(dk.brics.automaton.RegExp e)
abstract K	visitConcatenation(dk.brics.automaton.RegExp left, dk.brics.automaton.RegExp right)
abstract K	visitEmpty()
abstract K	visitIntersection(dk.brics.automaton.RegExp left, dk.brics.automaton.RegExp right)
abstract K	visitInterval(int min, int max)
abstract K	visitOptional(dk.brics.automaton.RegExp e)
K	visitRegExp(dk.brics.automaton.RegExp e)
abstract K	visitRepeat(dk.brics.automaton.RegExp e)
abstract K	visitRepeatMin(dk.brics.automaton.RegExp e, int min)
abstract K	visitRepeatMinMax(dk.brics.automaton.RegExp e, int min, int max)
abstract K	visitString(String s)
abstract K	visitUnion(dk.brics.automaton.RegExp e, dk.brics.automaton.RegExp exp2)

Methods inherited from class java.lang.Object

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

Constructor Detail

RegExpVisitor

public RegExpVisitor()

Method Detail

visitRegExp

public final K visitRegExp(dk.brics.automaton.RegExp e)

visitUnion

public abstract K visitUnion(dk.brics.automaton.RegExp e,
                             dk.brics.automaton.RegExp exp2)

visitString

public abstract K visitString(String s)

visitRepeatMinMax

public abstract K visitRepeatMinMax(dk.brics.automaton.RegExp e,
                                    int min,
                                    int max)

visitRepeatMin

public abstract K visitRepeatMin(dk.brics.automaton.RegExp e,
                                 int min)

visitRepeat

public abstract K visitRepeat(dk.brics.automaton.RegExp e)

visitOptional

public abstract K visitOptional(dk.brics.automaton.RegExp e)

visitInterval

public abstract K visitInterval(int min,
                                int max)

visitIntersection

public abstract K visitIntersection(dk.brics.automaton.RegExp left,
                                    dk.brics.automaton.RegExp right)

visitEmpty

public abstract K visitEmpty()

visitConcatenation

public abstract K visitConcatenation(dk.brics.automaton.RegExp left,
                                     dk.brics.automaton.RegExp right)

visitComplement

public abstract K visitComplement(dk.brics.automaton.RegExp e)

visitCharRange

public abstract K visitCharRange(char from,
                                 char to)

visitChar

public abstract K visitChar(char c)

visitAutomaton

public abstract K visitAutomaton(dk.brics.automaton.RegExp e)

visitAnyString

public abstract K visitAnyString()

visitAnyChar

public abstract K visitAnyChar()