| java.lang.Object de.uka.ilkd.key.rule.export.html.HTMLContainer de.uka.ilkd.key.rule.export.html.HTMLFile
All known Subclasses: de.uka.ilkd.key.rule.export.html.HTMLFileByOption, de.uka.ilkd.key.rule.export.html.HTMLFileIndex, de.uka.ilkd.key.rule.export.html.HTMLFileByRuleSet, de.uka.ilkd.key.rule.export.html.HTMLFileByRuleName, de.uka.ilkd.key.rule.export.html.HTMLFileByDisplayName, de.uka.ilkd.key.rule.export.html.HTMLFileTaclet,
Method Summary | |
public void | addFragment(HTMLFragment fragment, String id) | protected StringBuffer | appendEscaped(StringBuffer sb, Object o) | protected StringBuffer | appendEscaped(StringBuffer sb, String s) | protected String | escape(Object o) | public HTMLLink | getFileLink(HTMLFile target) | public String | getFilename() | public HTMLAnchor | getFragmentAnchor(Object key) | public String | getFragmentId(HTMLFragment fragment) | public HTMLLink | getFragmentLink(Object key) | public String | getNextId() | public String | getRelPath(HTMLFile targetFile) | abstract protected String | getShortTitle() | public static String | getTemplate(String s) | abstract protected String | getTitle() | protected HTMLContainer | htmlContainer() | protected HTMLModel | htmlModel() | protected void | init(RuleExportModel model) | public String | toString() | public void | write() | abstract protected void | write(Writer w) | protected void | writeDisplayNameLink(StringBuffer out, DisplayNameModelInfo dn) | protected void | writeFooter(StringBuffer out) | protected void | writeHeader(StringBuffer out) | protected void | writeNavBar(StringBuffer out) | protected void | writeOptionLink(StringBuffer out, OptionModelInfo opt) | protected void | writeOptionList(StringBuffer out, ListOfOptionModelInfo options) | protected void | writeRuleSetLink(StringBuffer out, RuleSetModelInfo rs) | protected void | writeTacletLink(StringBuffer out, TacletModelInfo t) | protected void | writeTacletLink(StringBuffer out, TacletModelInfo t, boolean longVersion) | protected void | writeTacletOptions(StringBuffer out, TacletModelInfo t) | protected void | writeTopAnchor(StringBuffer out) | protected void | writeTopLink(StringBuffer out) |
getShortTitle | abstract protected String getShortTitle()(Code) | | returns name displayed in navigation bar
|
getTitle | abstract protected String getTitle()(Code) | | returns name displayed in title bar
|
write | public void write()(Code) | | |
writeOptionList | protected void writeOptionList(StringBuffer out, ListOfOptionModelInfo options)(Code) | | |
|
|