]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java
Migrated source code from Simantics SVN
[simantics/platform.git] / bundles / org.simantics.debug.browser / src / org / simantics / debug / browser / sections / PageHeaderSection.java
diff --git a/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java b/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java
new file mode 100644 (file)
index 0000000..8ba8dfa
--- /dev/null
@@ -0,0 +1,49 @@
+/*******************************************************************************\r
+ * Copyright (c) 2016 Association for Decentralized Information Management\r
+ * in Industry THTH ry.\r
+ * All rights reserved. This program and the accompanying materials\r
+ * are made available under the terms of the Eclipse Public License v1.0\r
+ * which accompanies this distribution, and is available at\r
+ * http://www.eclipse.org/legal/epl-v10.html\r
+ *\r
+ * Contributors:\r
+ *     THTH ry - initial API and implementation\r
+ *******************************************************************************/\r
+package org.simantics.debug.browser.sections;\r
+\r
+import java.io.PrintWriter;\r
+import java.io.StringWriter;\r
+\r
+import org.simantics.db.ReadGraph;\r
+\r
+public class PageHeaderSection implements ResourceBrowserSection {\r
+\r
+    private StringWriter stringWriter = new StringWriter();\r
+    private PrintWriter headWriter = new PrintWriter(stringWriter);\r
+\r
+    @Override\r
+    public double getPriority() {\r
+        return Double.NEGATIVE_INFINITY;\r
+    }\r
+\r
+    public PrintWriter getHeadWriter() {\r
+        return headWriter;\r
+    }\r
+\r
+    @Override\r
+    public void toHtml(ReadGraph graph, PrintWriter out) {\r
+        out.println("<!DOCTYPE html>");\r
+        out.println("<html lang=\"en\">");\r
+        out.println("<head>");\r
+        out.println("<meta charset=\"utf-8\">");\r
+        out.println("<title>Resource Browser</title>");\r
+        //out.println("<link rel=\"stylesheet\" type=\"text/css\" href=\"/css/jquery.dataTables.css\" />");\r
+        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery-1.10.2.min.js\"></script>");\r
+        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery-ui.min.js\"></script>");\r
+        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery.dataTables.min.js\"></script>");\r
+        out.write(stringWriter.toString());\r
+        out.println("</head>");\r
+        out.println("<body>");\r
+    }\r
+\r
+}\r