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