private void writeTest(PrintStream out,String className,String methodName,ExecutableSequence s){
  out.println("  @Test");
  out.println("  public void " + methodName + "() throws Throwable {");
  out.println();
  out.println(indent("if (debug) { System.out.format(\"%n%s%n\",\"" + className + "."+ methodName+ "\"); }"));
  out.println();
  out.println(indent(s.toCodeString()));
  out.println("  }");
}

private void writeTest ( PrintStream out , String className , String methodName , ExecutableSequence s ) { out . println ( "  @Test" ) ; out . println ( "  public void " + methodName + "() throws Throwable {" ) ; out . println ( ) ; out . println ( indent ( "if (debug) { System.out.format(\"%n%s%n\",\"" + className + "." + methodName + "\"); }" ) ) ; out . println ( ) ; out . println ( indent ( s . toCodeString ( ) ) ) ; out . println ( "  }" ) ; }
writes a test method to the output stream for the sequence s .
