Java by API/javax.swing.text.html.parser/DTD
DTD: getDTD(String name)
<source lang="java">
import java.io.IOException; import javax.swing.text.html.parser.DTD; public class Main {
public static void main(String[] args) { try { DTD d1 = DTD.getDTD("html"); for (int i = 0; i < 14; i++) { System.out.println(d1.getElement(i).getName()); } } catch (IOException e) { System.err.println(e); e.printStackTrace(); } }
}
</source>