+ if not new_classes.is_empty then
+ dctx.add("<table border=\"1\" width=\"100%\" cellpadding=\"3\" cellspacing=\"0\">\n")
+ dctx.add("<tr bgcolor=\"#FF6347\"><th colspan=\"2\"><big>Main Summary of {self}</big></th><tr>\n")
+ for c in new_classes do
+ if c.global.intro == c or owned_modules.has(c.global.intro.mmmodule) then
+ var add = true
+ for p in c.cshe.direct_greaters do
+ if p.global.intro.mmmodule == self or owned_modules.has(p.global.intro.mmmodule) then
+ add = false
+ end
+ end
+ if add then
+ dctx.add("<tr><td width=\"20%\" align=\"right\"><u>Introduce</u> {c.prototype_head(dctx)}</td><td><b>{c.html_link(dctx)}</b>{c.prototype_body(dctx)}<br/>{c.short_doc}</td><tr>\n")
+ end
+ else
+ for p in c.local_local_properties do
+ if p.global.is_method and p.global.intro == p then
+ dctx.add("<tr><td width=\"20%\" align=\"right\"><u>Refine</u> <b>{c.html_link(dctx)}</b> <u>Introduce</u> {p.prototype_head(dctx)}</td><td><b>{p.html_link(dctx)}</b>{p.prototype_body(dctx)}<br/> {p.short_doc}</td></tr>\n")
+ end
+ end
+ end
+ end
+ dctx.add("</table><br/>\n")
+ end
+