sb.append("[" + cet.start_pc + "-" + cet.end_pc + "): " + cet.handler_pc + (cet.catch_type != null ? " - " + cet.catch_type.getFullyQualifiedName() : "")).append("<BR>");
}
sb.append("<HR>");
for (Iterator i = codeAttr.getOperations().iterator(); i.hasNext();)
{
Operation oper = (Operation) i.next();
sb.append(" " + oper.asString()).append("<BR>");
}
sb.append("</html>");
description = sb.toString();