public static String createHistoryForScript(Script script,long when){
  DateFormat dateFormat=new SimpleDateFormat("MM/dd/yyyy HH:mm:ss.SSS");
  StringBuilder sb=new StringBuilder();
  sb.append("Script Name: " + script.getName() + "\n");
  sb.append("When: " + dateFormat.format(new Date(when)) + "\n");
  sb.append(script.displayInputs());
  sb.append(script.displayOutputs());
  sb.append(script.displaySymbolTable());
  return sb.toString();
}

public static String createHistoryForScript ( Script script , long when ) { DateFormat dateFormat = new SimpleDateFormat ( "MM/dd/yyyy HH:mm:ss.SSS" ) ; StringBuilder sb = new StringBuilder ( ) ; sb . append ( "Script Name: " + script . getName ( ) + "\n" ) ; sb . append ( "When: " + dateFormat . format ( new Date ( when ) ) + "\n" ) ; sb . append ( script . displayInputs ( ) ) ; sb . append ( script . displayOutputs ( ) ) ; sb . append ( script . displaySymbolTable ( ) ) ; return sb . toString ( ) ; }
generate a string history entry for a script .
