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