bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java

   1 /*******************************************************************************
   2  * Copyright (c) 2016 Association for Decentralized Information Management
   3  * in Industry THTH ry.
   4  * All rights reserved. This program and the accompanying materials
   5  * are made available under the terms of the Eclipse Public License v1.0
   6  * which accompanies this distribution, and is available at
   7  * http://www.eclipse.org/legal/epl-v10.html
   8  *
   9  * Contributors:
  10  *     THTH ry - initial API and implementation
  11  *******************************************************************************/
  12 package org.simantics.debug.browser.sections;
  13
  14 import java.io.PrintWriter;
  15 import java.io.StringWriter;
  16
  17 import org.simantics.db.ReadGraph;
  18
  19 public class PageHeaderSection implements ResourceBrowserSection {
  20
  21     private StringWriter stringWriter = new StringWriter();
  22     private PrintWriter headWriter = new PrintWriter(stringWriter);
  23
  24     @Override
  25     public double getPriority() {
  26         return Double.NEGATIVE_INFINITY;
  27     }
  28
  29     public PrintWriter getHeadWriter() {
  30         return headWriter;
  31     }
  32
  33     @Override
  34     public void toHtml(ReadGraph graph, PrintWriter out) {
  35         out.println("<!DOCTYPE html>");
  36         out.println("<html lang=\"en\">");
  37         out.println("<head>");
  38         out.println("<meta charset=\"utf-8\">");
  39         out.println("<title>Resource Browser</title>");
  40         //out.println("<link rel=\"stylesheet\" type=\"text/css\" href=\"/css/jquery.dataTables.css\" />");
  41         //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery-1.10.2.min.js\"></script>");
  42         //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery-ui.min.js\"></script>");
  43         //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery.dataTables.min.js\"></script>");
  44         out.write(stringWriter.toString());
  45         out.println("</head>");
  46         out.println("<body>");
  47     }
  48
  49 }