protected void print(String mnemonic,String[] args){
  printer.print(indent + "    ");
  writePaddedString(mnemonic + " ",15);
  if (args != null) {
    for (int i=0; i < args.length; i++) {
      if (i > 0) {
        printer.print(", ");
      }
      printer.print(args[i]);
    }
  }
  printer.println();
}

protected void print ( String mnemonic , String [ ] args ) { printer . print ( indent + "    " ) ; writePaddedString ( mnemonic + " " , 15 ) ; if ( args != null ) { for ( int i = 0 ; i < args . length ; i ++ ) { if ( i > 0 ) { printer . print ( ", " ) ; } printer . print ( args [ i ] ) ; } } printer . println ( ) ; }
description of the method
