rem: var lines = [title];                                                                                               /*@explore*/ for (p in obj)                                                                                                     /*@explore*/ lines.push("["+p+"]="+obj[p]);                                                                                 /*@explore*/ ddd(lines.join("\n"));                                                                                             /*@explore*/ 
add: var lines = [title];                                                                                               /*@explore*/ for (p in obj)                                                                                                     /*@explore*/ lines.push("["+p+"]="+obj[p]);                                                                                 /*@explore*/ ddd(lines.join("\n"));                                                                                             /*@explore*/ 
context: function dumpProperties(title, obj)                                                                                    /*@explore*/{                                                                                                                      /*@explore*/	var lines = [title];                                                                                               /*@explore*/	for (p in obj)                                                                                                     /*@explore*/		lines.push("["+p+"]="+obj[p]);                                                                                 /*@explore*/	ddd(lines.join("\n"));                                                                                             /*@explore*/}                                                                                                                      /*@explore*/
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/2e2e6e5e5acba26e69243682fad1c16a0bea8a6a/firebug-service.js/buggy/extension/components/firebug-service.js