protected void dump(String indent) {
		if(closed) 
			System.out.println(indent + "<closed>");
		StringBuilder currentChildren = null;
		for(Object child: children) {
			if(child instanceof TreeAppendable) {
				if(currentChildren != null)
					System.out.println(indent + currentChildren.toString());
				currentChildren = null; 
				((TreeAppendable) child).dump("  " + indent);
			}
			else {
				if(currentChildren == null)
					currentChildren = new StringBuilder();
				currentChildren.append(child.toString().replace(state.getLineSeparator(), "\\n"));
			}
		}
		if(currentChildren != null)
			System.out.println(indent + currentChildren.toString());
		if(closed) 
			System.out.println(indent + "</closed>");
	}
protected void dump ( String indent ) { if ( closed ) System . out . println ( indent + "<closed>" ) ; StringBuilder currentChildren = null ; for ( Object child : children ) { if ( child instanceof TreeAppendable ) { if ( currentChildren != null ) System . out . println ( indent + currentChildren . toString ( ) ) ; currentChildren = null ; ( ( TreeAppendable ) child ) . dump ( "  " + indent ) ; } else { if ( currentChildren == null ) currentChildren = new StringBuilder ( ) ; currentChildren . append ( child . toString ( ) . replace ( state . getLineSeparator ( ) , "\\n" ) ) ; } } if ( currentChildren != null ) System . out . println ( indent + currentChildren . toString ( ) ) ; if ( closed ) System . out . println ( indent + "</closed>" ) ; }
@nooverride This method is not intended to be re-implemented or extended by clients.
@noreference This method is not intended to be referenced by clients.
@since 2.4