dk.brics.automaton
public interface AutomatonProvider
RegExp.toAutomaton
| Method Summary | |
|---|---|
| Automaton | getAutomaton(String name)
Returns automaton of the given name. |
Parameters: name automaton name
Returns: automaton
Throws: IOException if errors occur