public String getScopeTreeAsHTMLPage() {
StringBuilder sb = new StringBuilder();
sb.append("<HTML><HEAD><TITLE>Scope Tree</TITLE></HEAD><BODY><ul>");
scopeTree.printTreeAsHTML(sb);
sb.append("</ul></BODY></HTML>");
return sb.toString();
}
public void printTreeAsHTML(StringBuilder sb) {
if (scope != null) {
sb.append("<li><b>")
.append(scope.getClass().getSimpleName())
.append("</b> <i>")
.append(scope.getFullName())
.append("</i>");
}
if (!assignments.isEmpty()) {
sb.append("<ul>");
for (Assignment a : assignments) {
sb.append("<li><font color='blue'>")
.append(a.getClass().getSimpleName())
.append(" : <u>")
.append(a.getIdentifier())
.append("</u></font></li>");
}
sb.append("</ul>");
}
if (!children.isEmpty()) {
sb.append("<ul>");
for (ScopeTreeNode stn : children) {
stn.printTreeAsHTML(sb);
}
sb.append("</ul>");
}
}
