+ "\", color=\"" + classDescriptor.getColor()
+ "\", style=\"bold\"];\n");
+ if (type == null) return result.toString();
if (!type.isVisible())
return result.toString();
} else {
result.append(" <TR><td ALIGN=\"right\">");
result.append("<FONT POINT-SIZE=\"8.0\">");
- result.append(type.getClassName(true) + "</FONT>");
+ result.append(describeType() + "</FONT>");
result.append("</td><TD PORT=\"" + name);
result.append("\" ALIGN=\"left\"><FONT POINT-SIZE=\"11.0\">");
result.append(name + "</FONT></TD></TR>\n");
return result.toString();
}
+ private String describeType() {
+ if (type == null) return "-null-";
+ return type.getClassName(true);
+ }
+
@Override
public String getGraphId() {
return parentClassDescriptior.getGraphId() + ":" + name;