public interface AutomatonParser
| Modifier and Type | Method and Description |
|---|---|
Automaton |
parse(java.util.Scanner scanner,
java.lang.String title)
Parses an automaton.
|
Automaton |
parse(java.lang.String content,
java.lang.String title)
Parses an automaton.
|
void |
reset()
Resets the parser.
|
Automaton parse(java.util.Scanner scanner, java.lang.String title)
scanner - A scanner open on a source of text linestitle - A title given to the automatonAutomaton parse(java.lang.String content, java.lang.String title)
contents - A string of text lines with the content of the automaton
to be parsedtitle - A title given to the automatonvoid reset()
Copyright © Sylvain HallĂ©. All Rights Reserved.