-package org.simantics.document.linking.report.html;\r
-\r
-import java.util.List;\r
-\r
-import org.simantics.document.linking.report.DocumentLine;\r
-import org.simantics.document.linking.report.DocumentTitlePage;\r
-import org.simantics.document.linking.report.Document.TextSize;\r
-\r
-\r
-public class HTMLTitlePage extends DocumentTitlePage implements HTMLElement{\r
- \r
- HTMLDocument writer;\r
- public HTMLTitlePage(HTMLDocument writer) {\r
- this.writer = writer;\r
- }\r
- \r
- @Override\r
- public void writeTitle(List<DocumentLine> lines) throws Exception {\r
- writer.nextPage();\r
- for (DocumentLine line : lines) {\r
- String hTag = "h4";\r
- if (line.getHints().containsKey(TextSize.class)) {\r
- TextSize size = (TextSize)line.getHints().get(TextSize.class);\r
- switch (size) {\r
- case HUGE:\r
- hTag = "h1";\r
- break;\r
- case LARGE:\r
- hTag = "h2";\r
- break;\r
- case MEDIUM:\r
- hTag = "h3";\r
- break;\r
- case SMALL:\r
- hTag = "h4";\r
- break;\r
- case TINY:\r
- hTag = "h5";\r
- break;\r
- default:\r
- break;\r
- }\r
- }\r
- writer.os.println("<"+hTag +">" + line.getLine() + "</"+hTag+">");\r
- }\r
- writer.nextPage();\r
- \r
- }\r
- \r
- @Override\r
- public String getId() {\r
- return null;\r
- }\r
-\r
-}\r
+package org.simantics.document.linking.report.html;
+
+import java.util.List;
+
+import org.simantics.document.linking.report.DocumentLine;
+import org.simantics.document.linking.report.DocumentTitlePage;
+import org.simantics.document.linking.report.Document.TextSize;
+
+
+public class HTMLTitlePage extends DocumentTitlePage implements HTMLElement{
+
+ HTMLDocument writer;
+ public HTMLTitlePage(HTMLDocument writer) {
+ this.writer = writer;
+ }
+
+ @Override
+ public void writeTitle(List<DocumentLine> lines) throws Exception {
+ writer.nextPage();
+ for (DocumentLine line : lines) {
+ String hTag = "h4";
+ if (line.getHints().containsKey(TextSize.class)) {
+ TextSize size = (TextSize)line.getHints().get(TextSize.class);
+ switch (size) {
+ case HUGE:
+ hTag = "h1";
+ break;
+ case LARGE:
+ hTag = "h2";
+ break;
+ case MEDIUM:
+ hTag = "h3";
+ break;
+ case SMALL:
+ hTag = "h4";
+ break;
+ case TINY:
+ hTag = "h5";
+ break;
+ default:
+ break;
+ }
+ }
+ writer.os.println("<"+hTag +">" + line.getLine() + "</"+hTag+">");
+ }
+ writer.nextPage();
+
+ }
+
+ @Override
+ public String getId() {
+ return null;
+ }
+
+}