Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.debug.browser / src / org / simantics / debug / browser / internal / rewriters / PageHeaderCreator.java

diff --git a/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/internal/rewriters/PageHeaderCreator.java b/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/internal/rewriters/PageHeaderCreator.java
new file mode 100644 (file)
index 0000000..d6eb426
--- /dev/null
+++ b/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/internal/rewriters/PageHeaderCreator.java
@@ -0,0 +1,35 @@
+/*******************************************************************************\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.internal.rewriters;\r
+\r
+import org.simantics.db.ReadGraph;\r
+import org.simantics.db.exception.DatabaseException;\r
+import org.simantics.debug.browser.content.ResourceBrowserContent;\r
+import org.simantics.debug.browser.content.ResourceBrowserRewriter;\r
+import org.simantics.debug.browser.sections.PageEndSection;\r
+import org.simantics.debug.browser.sections.PageHeaderSection;\r
+\r
+public enum PageHeaderCreator implements ResourceBrowserRewriter {\r
+    INSTANCE;\r
+\r
+    @Override\r
+    public double getPriority() {\r
+        return Double.NEGATIVE_INFINITY;\r
+    }\r
+\r
+    @Override\r
+    public void rewrite(ReadGraph graph, ResourceBrowserContent content)\r
+            throws DatabaseException {\r
+        content.putSection(PageHeaderSection.class, new PageHeaderSection());\r
+        content.putSection(PageEndSection.class, new PageEndSection());\r
+    }\r
+}\r