Summary:
Detail:
private final int
exampleNumber
private final String
filename
html
info
section
source
Example(String filename, String section, String info, int exampleNumber, String source, String html)
String
getHtml()
getInfo()
getSection()
getSource()
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
toString
Object