src/test/java/de/dfki/lt/loot/fsa/TestCharFsa.java
private static void writeGraphs(
      CharFsa automaton, CharFsa detAutomaton, String id)
      throws IOException {

    // dot print automaton
    Path automatonPath = Paths.get(String.format(pathPattern, id));
    print(automaton, automatonPath);
    // convert to .png
    dot2png(automatonPath);
    // dot print determinized automaton
    Path detAutomatonPath = Paths.get(String.format(pathPattern, id+"det"));
    print(detAutomaton, detAutomatonPath);
    // convert to .png
    dot2png(detAutomatonPath);
  }
/**
   * Writes the given automatons as .gif images using the given id.
   *
   * @param automaton
   *          the automaton
   * @param detAutomaton
   *          the deterministic version of the automaton
   * @param id
   *          the id to use in the file name
   * @throws IOException
   *           if there is an error when creating the .gif images
   */
Writes the given automatons as .gif images using the given id.

@param automaton
the automaton
@param detAutomaton
the deterministic version of the automaton
@param id
the id to use in the file name
@throws IOException
if there is an error when creating the .gif images
Writes the given automatons as . gif images using the given id . @param automaton the automaton @param detAutomaton the deterministic version of the automaton @param id the id to use in the file name @throws IOException if there is an error when creating the . gif images
private static void writeGraphs(
      CharFsa automaton, CharFsa detAutomaton, String id)
      throws IOException {
    Path automatonPath = Paths.get(String.format(pathPattern, id));
    print(automaton, automatonPath);
    dot2png(automatonPath);
    Path detAutomatonPath = Paths.get(String.format(pathPattern, id+"det"));
    print(detAutomaton, detAutomatonPath);
    dot2png(detAutomatonPath);
  }
private static void writeGraphs ( CharFsa automaton , CharFsa detAutomaton , String id ) throws IOException { Path automatonPath = Paths . get ( String . format ( pathPattern , id ) ) ; print ( automaton , automatonPath ) ; dot2png ( automatonPath ) ; Path detAutomatonPath = Paths . get ( String . format ( pathPattern , id + "det" ) ) ; print ( detAutomaton , detAutomatonPath ) ; dot2png ( detAutomatonPath ) ; }
Writes the given automatons as .gif images using the given id.
Writes the given automatons as . gif images using the given id .
// dot print automaton
 // convert to .png
 // dot print determinized automaton
 // convert to .png
