code: @Override
      protected void writeEdge(PrintWriter pw) {
          pw.println("begin edge");
          pw.println("letter:letter");
          pw.println("end edge");
      }
docs: Writes the type of the edge. A DFA edge contains one label, named 'letter', of type 'letter.
  
  @param pw the Writer.