*/
public static void serializeHistory(final StringBuffer b, final List l,
final String indent) {
if (l.size() > 0) {
for (int i = 0; i < l.size(); i++) {
History h = (History) l.get(i);
b.append(indent).append("<history");
serializeTransitionTargetAttributes(b, h);
if (h.isDeep()) {
b.append(" type=\"deep\"");
} else {
b.append(" type=\"shallow\"");
}
b.append(">\n");
serializeTransition(b, h.getTransition(), indent + INDENT);
b.append(indent).append("</history>\n");
}
}
}