dk.brics.automaton

Interface AutomatonProvider

All Known Implementing Classes:

DatatypesAutomatonProvider

public interface AutomatonProvider

Automaton provider for RegExp.RegExp.toAutomaton(AutomatonProvider)

Method Summary

Methods

Modifier and Type	Method and Description
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