public static FiniteAlphabetAutomaton<?, String, ?> parseAny(String string, TAFParseDiagnosticListener listener) throws TAFParseException { return parseDFA(new StringReader(string), listener); } }
public static CompactDFA<String> parseDFA(String string, TAFParseDiagnosticListener listener) throws TAFParseException { return parseDFA(new StringReader(string), listener); }
public static CompactDFA<String> parseDFA(InputStream stream, TAFParseDiagnosticListener listener) throws TAFParseException { return parseDFA(new InputStreamReader(stream), listener); }
public static CompactDFA<String> parseDFA(String string, TAFParseDiagnosticListener listener) throws TAFParseException { return parseDFA(new StringReader(string), listener); }
public static CompactDFA<String> parseDFA(File file, TAFParseDiagnosticListener listener) throws TAFParseException { try (BufferedReader r = new BufferedReader(new FileReader(file))) { return parseDFA(r, listener); } catch (IOException ex) { throw new TAFParseException(ex); } }
public static CompactDFA<String> parseDFA(InputStream stream, TAFParseDiagnosticListener listener) throws TAFParseException { try (Reader r = IOUtil.asBufferedUTF8Reader(stream)) { return parseDFA(r, listener); } catch (IOException ex) { throw new TAFParseException(ex); } }
public static CompactDFA<String> parseDFA(File file, TAFParseDiagnosticListener listener) throws TAFParseException { try (Reader r = IOUtil.asBufferedUTF8Reader(file)) { return parseDFA(r, listener); } catch (IOException ex) { throw new TAFParseException(ex); } }
@Override public InputModelData<String, DFA<Integer, String>> readModel(InputStream is) throws IOException { final CompactDFA<String> automaton = TAFParser.parseDFA(is, PrintStreamDiagnosticListener.getStderrDiagnosticListener()); return new InputModelData<>(automaton, automaton.getInputAlphabet()); } }
@Override public InputModelData<String, DFA<Integer, String>> readModel(InputStream is) throws TAFParseException { final CompactDFA<String> automaton = TAFParser.parseDFA(is, PrintStreamDiagnosticListener.getStderrDiagnosticListener()); return new InputModelData<>(automaton, automaton.getInputAlphabet()); } }