/* the format of Function.toString() in JavaScript 1.2 is: function name ( arguments ) { body } */ this.value = "function " + (name ? name : "anonymous" )+ "("+args+") {\n"+ (( body ) ? body +"\n" : "") + "}"; 
/* the format of Function.toString() in JavaScript 1.2 is: function name ( arguments ) { body } */ this.value = "function " + (name ? name : "anonymous" )+ "("+args+") {\n"+ (( body ) ? body +"\n" : "") + "}"; 
function TestFunction( name, args, body ) {    this.name = name;    this.arguments = args.toString();    this.body = body;    /* the format of Function.toString() in JavaScript 1.2 is:       function name ( arguments ) {       body       }    */    this.value = "function " + (name ? name : "anonymous" )+	"("+args+") {\n"+ (( body ) ? body +"\n" : "") + "}";    this.toString = new Function( "return this.value" );    this.valueOf = new Function( "return this.value" );    return this;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/tostring-2.js/clean/js/tests/js1_2/function/tostring-2.js