equal
deleted
inserted
replaced
38 error("Expected 'CommandSet' item, got: " + node); |
38 error("Expected 'CommandSet' item, got: " + node); |
39 } |
39 } |
40 } |
40 } |
41 |
41 |
42 void document(PrintWriter writer) { |
42 void document(PrintWriter writer) { |
|
43 writer.println("<!DOCTYPE html>"); |
43 writer.println("<html><head><title>" + comment() + "</title></head>"); |
44 writer.println("<html><head><title>" + comment() + "</title></head>"); |
44 writer.println("<body bgcolor=\"white\">"); |
45 writer.println("<body bgcolor=\"white\">"); |
45 for (Node node : components) { |
46 for (Node node : components) { |
46 node.documentIndex(writer); |
47 node.documentIndex(writer); |
47 } |
48 } |