FileDocCategorySizeDatePackage
VectorAppender.javaAPI DocExample236Mon Apr 03 15:49:32 BST 2000tuning.stringconvert

VectorAppender.java

package tuning.stringconvert;

import java.util.Vector;

class VectorAppender
	implements AppendConverter
{

public void appendObj(AppenderHelper h, StringBuffer s, Object o, int depth)
{
	h.append(s, (Vector) o, depth);
}
}