/** * Formatter with a given starting indentation. */ public String debugDump(int indent) { indentation = indent; String retval = this.debugDump(); indentation = 0; return retval; }
/** * Debug printing function. */ protected void dbgPrint() { Debug.println(debugDump()); }
if (f.get(this) != null) { sprint( ((GenericObject) f.get(this)).debugDump( indentation + 1)); } else {
if (f.get(this) != null) { sprint( ((GenericObject) f.get(this)).debugDump( indentation + 1)); } else {
if (f.get(this) != null) { sprint( ((GenericObject) f.get(this)).debugDump( indentation + 1)); } else {
if (f.get(this) != null) { sprint( ((GenericObject) f.get(this)).debugDump( indentation + 1)); } else {
if (f.get(this) != null) { sprint( ((GenericObject) f.get(this)).debugDump( this.indentation + 1)); } else {
/** * Convert this list of headers to a formatted string. */ public String debugDump() { stringRep = ""; Object obj = this.first(); if (obj == null) return "<null>"; sprint("listName:"); sprint(listName); sprint("{"); while (obj != null) { sprint("["); sprint(((GenericObject) obj).debugDump(this.indentation)); obj = next(); sprint("]"); } sprint("}"); return stringRep; }