From 9e8fff5ff9fd349611d38db1d38aef8428624fd0 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 19 Dec 2012 12:12:32 +0100
Subject: [PATCH] add unit pragma text field to rodin database
---
de.prob.core/plugin.xml | 8 ++++++++
de.prob.ui/plugin.xml | 17 +++++++++++++++++
2 files changed, 25 insertions(+)
diff --git a/de.prob.core/plugin.xml b/de.prob.core/plugin.xml
index b84a1eae..eaeb0844 100644
--- a/de.prob.core/plugin.xml
+++ b/de.prob.core/plugin.xml
@@ -23,4 +23,12 @@
class="de.prob.core.StaticListenerRegistry">
</listener>
</extension>
+ <extension
+ point="org.rodinp.core.attributeTypes">
+ <attributeType
+ id="unitPragma"
+ kind="string"
+ name="Content of a unit Pragma to send to ProB">
+ </attributeType>
+ </extension>
</plugin>
diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index a64882ef..696b9899 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -1195,4 +1195,21 @@
</variable>
</sourceProvider>
</extension>
+ <extension
+ point="org.eventb.ui.editorItems">
+ <textAttribute
+ class="de.prob.ui.pragmas.UnitPragma"
+ expandsHorizontally="true"
+ id="de.prob.ui.unitPragma"
+ isMath="true"
+ style="de.prob.ui.unitPragma"
+ typeId="de.prob.core.unitPragma">
+ </textAttribute>
+ <attributeRelation
+ elementTypeId="org.eventb.core.event">
+ <attributeReference
+ descriptionId="de.prob.ui.unitPragma">
+ </attributeReference>
+ </attributeRelation>
+ </extension>
</plugin>
--
GitLab