src/main/java/de/dfki/lt/loot/fsa/FsaDotPrinter.java
public void printNode(PrintWriter out, int node) {
    out.print("n" + node);
    ArrayList<String> attribs = new ArrayList<String>();
    if (defaultNodeAttributes != null)
      attribs.add(defaultNodeAttributes);
    if (_nodeNames != null)
      attribs.add(" label=\"" + _nodeNames.get(node) +"\"");
    if (node == _graph._initialState)
      attribs.add(" color=green ");
    if (_graph.isFinalState(node))
      attribs.add(" style=filled, fillcolor=red ");

    if (!attribs.isEmpty()) {
      out.print("[");
      for (int i = 0; i<attribs.size(); ++i){
        if (i > 0) out.print(",");
        out.print(attribs.get(i));
      }
      out.print("]");
    }
    out.println(";");
  }
/**
   * Print a state of the FSA, taking into account special printing for start
   * and final states.
   */
Print a state of the FSA, taking into account special printing for start
and final states.
Print a state of the FSA taking into account special printing for start and final states .
public void printNode(PrintWriter out, int node) {
    out.print("n" + node);
    ArrayList<String> attribs = new ArrayList<String>();
    if (defaultNodeAttributes != null)
      attribs.add(defaultNodeAttributes);
    if (_nodeNames != null)
      attribs.add(" label=\"" + _nodeNames.get(node) +"\"");
    if (node == _graph._initialState)
      attribs.add(" color=green ");
    if (_graph.isFinalState(node))
      attribs.add(" style=filled, fillcolor=red ");
    if (!attribs.isEmpty()) {
      out.print("[");
      for (int i = 0; i<attribs.size(); ++i){
        if (i > 0) out.print(",");
        out.print(attribs.get(i));
      }
      out.print("]");
    }
    out.println(";");
  }
public void printNode ( PrintWriter out , int node ) { out . print ( "n" + node ) ; ArrayList < String > attribs = new ArrayList < String > ( ) ; if ( defaultNodeAttributes != null ) attribs . add ( defaultNodeAttributes ) ; if ( _nodeNames != null ) attribs . add ( " label=\"" + _nodeNames . get ( node ) + "\"" ) ; if ( node == _graph . _initialState ) attribs . add ( " color=green " ) ; if ( _graph . isFinalState ( node ) ) attribs . add ( " style=filled, fillcolor=red " ) ; if ( ! attribs . isEmpty ( ) ) { out . print ( "[" ) ; for ( int i = 0 ; i < attribs . size ( ) ; ++ i ) { if ( i > 0 ) out . print ( "," ) ; out . print ( attribs . get ( i ) ) ; } out . print ( "]" ) ; } out . println ( ";" ) ; }
Print a state of the FSA, taking into account special printing for start
 and final states.
Print a state of the FSA taking into account special printing for start and final states .