public final class TAFParser extends Object
public static CompactDFA<String> parseDFA(InputStream stream, TAFParseDiagnosticListener listener) throws IOException
IOException
public static CompactDFA<String> parseDFA(Reader reader, TAFParseDiagnosticListener listener)
public static CompactDFA<String> parseDFA(File file, TAFParseDiagnosticListener listener) throws IOException
IOException
public static CompactDFA<String> parseDFA(String string, TAFParseDiagnosticListener listener)
public static CompactMealy<String,String> parseMealy(InputStream stream, TAFParseDiagnosticListener listener) throws IOException
IOException
public static CompactMealy<String,String> parseMealy(Reader reader, TAFParseDiagnosticListener listener)
public static CompactMealy<String,String> parseMealy(File file, TAFParseDiagnosticListener listener) throws IOException
IOException
public static CompactMealy<String,String> parseMealy(String string, TAFParseDiagnosticListener listener)
public static FiniteAlphabetAutomaton<?,String,?> parseAny(InputStream stream, TAFParseDiagnosticListener listener) throws IOException
IOException
public static FiniteAlphabetAutomaton<?,String,?> parseAny(Reader reader, TAFParseDiagnosticListener listener)
public static FiniteAlphabetAutomaton<?,String,?> parseAny(File file, TAFParseDiagnosticListener listener) throws IOException
IOException
public static FiniteAlphabetAutomaton<?,String,?> parseAny(String string, TAFParseDiagnosticListener listener)
Copyright © 2020. All rights reserved.