public void format(StringBuffer fmt, Set done, Set todo, int indent) {
    formatName(fmt, indent);
    fmt.append("Enum");
    if (enumerators != null) {
      fmt.append("{{");
      String delim = "";
      for (int i = 0; i < enumerators.length; i++) {
        fmt.append(delim).append(enumerators[i]);
        delim = ",";
      }
      fmt.append("}}");
    }
  }
public void format ( StringBuffer fmt , Set done , Set todo , int indent ) { formatName ( fmt , indent ) ; fmt . append ( "Enum" ) ; if ( enumerators != null ) { fmt . append ( "{{" ) ; String delim = "" ; for ( int i = 0 ; i < enumerators . length ; i ++ ) { fmt . append ( delim ) . append ( enumerators [ i ] ) ; delim = "," ; } fmt . append ( "}}" ) ; } }
Format for printing.