Searched refs:writeHTML (Results 1 – 1 of 1) sorted by relevance
35 void writeHTML(String outfile, BitSet filter) throws IOException { in writeHTML() method in CollectAPI262 collection.writeHTML(outfile, filter); in main()