dk.brics.automaton
Interface AutomatonProvider

All Known Implementing Classes:

DatatypesAutomatonProvider

public interface AutomatonProvider

Automaton provider for RegExp.RegExp.toAutomaton(AutomatonProvider)

Method Summary

Automaton

getAutomaton(java.lang.String name) Returns automaton of the given name.

Method Detail

getAutomaton

Automaton getAutomaton(java.lang.String name)
                       throws java.io.IOException

Returns automaton of the given name.

Parameters:

name - automaton name

Returns:

automaton

Throws:

java.io.IOException - if errors occur