Package net.automatalib.serialization.taf.parser

Class TAFParser

java.lang.Object

net.automatalib.serialization.taf.parser.TAFParser

public final class TAFParser
extends Object

Facade for TAF parsing. This class provides several static methods to read TAF descriptions for DFA and Mealy machines.

Method Summary

Modifier and Type	Method	Description
static FiniteAlphabetAutomaton<?,String,?>	parseAny(File file, TAFParseDiagnosticListener listener)
static FiniteAlphabetAutomaton<?,String,?>	parseAny(InputStream stream, TAFParseDiagnosticListener listener)
static FiniteAlphabetAutomaton<?,String,?>	parseAny(Reader reader, TAFParseDiagnosticListener listener)
static FiniteAlphabetAutomaton<?,String,?>	parseAny(String string, TAFParseDiagnosticListener listener)
static CompactDFA<String>	parseDFA(File file, TAFParseDiagnosticListener listener)
static CompactDFA<String>	parseDFA(InputStream stream, TAFParseDiagnosticListener listener)
static CompactDFA<String>	parseDFA(Reader reader, TAFParseDiagnosticListener listener)
static CompactDFA<String>	parseDFA(String string, TAFParseDiagnosticListener listener)
static CompactMealy<String,String>	parseMealy(File file, TAFParseDiagnosticListener listener)
static CompactMealy<String,String>	parseMealy(InputStream stream, TAFParseDiagnosticListener listener)
static CompactMealy<String,String>	parseMealy(Reader reader, TAFParseDiagnosticListener listener)
static CompactMealy<String,String>	parseMealy(String string, TAFParseDiagnosticListener listener)

Methods inherited from class java.lang.Object

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

Method Detail

parseDFA

public static CompactDFA<String> parseDFA(InputStream stream,
                                          TAFParseDiagnosticListener listener)
                                   throws IOException

Throws:

IOException

parseDFA

public static CompactDFA<String> parseDFA(Reader reader,
                                          TAFParseDiagnosticListener listener)

parseDFA

public static CompactDFA<String> parseDFA(File file,
                                          TAFParseDiagnosticListener listener)
                                   throws IOException

Throws:

IOException

parseDFA

public static CompactDFA<String> parseDFA(String string,
                                          TAFParseDiagnosticListener listener)

parseMealy

public static CompactMealy<String,String> parseMealy(InputStream stream,
                                                           TAFParseDiagnosticListener listener)
                                                    throws IOException

Throws:

IOException

parseMealy

public static CompactMealy<String,String> parseMealy(Reader reader,
                                                           TAFParseDiagnosticListener listener)

parseMealy

public static CompactMealy<String,String> parseMealy(File file,
                                                           TAFParseDiagnosticListener listener)
                                                    throws IOException

Throws:

IOException

parseMealy

public static CompactMealy<String,String> parseMealy(String string,
                                                           TAFParseDiagnosticListener listener)

parseAny

public static FiniteAlphabetAutomaton<?,String,?> parseAny(InputStream stream,
                                                                       TAFParseDiagnosticListener listener)
                                                                throws IOException

Throws:

IOException

parseAny

public static FiniteAlphabetAutomaton<?,String,?> parseAny(Reader reader,
                                                                       TAFParseDiagnosticListener listener)

parseAny

public static FiniteAlphabetAutomaton<?,String,?> parseAny(File file,
                                                                       TAFParseDiagnosticListener listener)
                                                                throws IOException

Throws:

IOException

parseAny

public static FiniteAlphabetAutomaton<?,String,?> parseAny(String string,
                                                                       TAFParseDiagnosticListener listener)