renamed unitPragma to unitPragmaAttribute to avoid name clash with internal data types

de.prob.core/plugin.xml

@@ -26,12 +26,12 @@
    <extension
          point="org.rodinp.core.attributeTypes">
       <attributeType
-            id="unitPragma"
+            id="unitPragmaAttribute"
             kind="string"
             name="Content of a unit Pragma to send to ProB">
       </attributeType>
       <attributeType
-            id="inferredUnitPragma"
+            id="inferredUnitPragmaAttribute"
             kind="string"
             name="Content of a unit Pragma received from ProB">
       </attributeType>

de.prob.ui/plugin.xml

@@ -1255,40 +1255,40 @@
    <extension
          point="org.eventb.ui.editorItems">
       <textAttribute
-            class="de.prob.ui.pragmas.UnitPragma"
+            class="de.prob.ui.pragmas.UnitPragmaAttribute"
             expandsHorizontally="true"
-            id="de.prob.ui.unitPragma"
+            id="de.prob.ui.unitPragmaAttribute"
             isMath="true"
             prefix="Physical Unit:"
-            style="de.prob.ui.unitPragma"
-            typeId="de.prob.core.unitPragma">
+            style="de.prob.ui.unitPragmaAttribute"
+            typeId="de.prob.core.unitPragmaAttribute">
       </textAttribute>
       <attributeRelation
             elementTypeId="org.eventb.core.variable">
          <attributeReference
-               descriptionId="de.prob.ui.unitPragma">
+               descriptionId="de.prob.ui.unitPragmaAttribute">
          </attributeReference>
          <attributeReference
-               descriptionId="de.prob.ui.inferredUnitPragma">
+               descriptionId="de.prob.ui.inferredUnitPragmaAttribute">
          </attributeReference>
       </attributeRelation>
       <attributeRelation
             elementTypeId="org.eventb.core.constant">
          <attributeReference
-               descriptionId="de.prob.ui.unitPragma">
+               descriptionId="de.prob.ui.unitPragmaAttribute">
          </attributeReference>
          <attributeReference
-               descriptionId="de.prob.ui.inferredUnitPragma">
+               descriptionId="de.prob.ui.inferredUnitPragmaAttribute">
          </attributeReference>
       </attributeRelation>
       <textAttribute
-            class="de.prob.ui.pragmas.InferredUnitPragma"
+            class="de.prob.ui.pragmas.InferredUnitPragmaAttribute"
             expandsHorizontally="true"
-            id="de.prob.ui.inferredUnitPragma"
+            id="de.prob.ui.inferredUnitPragmaAttribute"
             isMath="true"
             prefix="Inferred Physical Unit:"
-            style="de.prob.ui.inferredUnitPragma"
-            typeId="de.prob.core.inferredUnitPragma">
+            style="de.prob.ui.inferredUnitPragmaAttribute"
+            typeId="de.prob.core.inferredUnitPragmaAttribute">
       </textAttribute>
    </extension>
 </plugin>

de.prob.ui/src/de/prob/ui/pragmas/UnitPragma.java → de.prob.ui/src/de/prob/ui/pragmas/InferredUnitPragmaAttribute.java

@@ -18,11 +18,12 @@ import org.rodinp.core.RodinDBException;
 
 import de.prob.core.internal.Activator;
 
-public class UnitPragma implements IAttributeManipulation {
+public class InferredUnitPragmaAttribute implements IAttributeManipulation {
 	public static IAttributeType.String ATTRIBUTE = RodinCore
-			.getStringAttrType(Activator.PLUGIN_ID + ".unitPragma");
+			.getStringAttrType(Activator.PLUGIN_ID
+					+ ".inferredUnitPragmaAttribute");
 
-	public UnitPragma() {
+	public InferredUnitPragmaAttribute() {
 		// empty constructor
 	}
 

de.prob.ui/src/de/prob/ui/pragmas/InferredUnitPragma.java → de.prob.ui/src/de/prob/ui/pragmas/UnitPragmaAttribute.java

@@ -18,11 +18,11 @@ import org.rodinp.core.RodinDBException;
 
 import de.prob.core.internal.Activator;
 
-public class InferredUnitPragma implements IAttributeManipulation {
+public class UnitPragmaAttribute implements IAttributeManipulation {
 	public static IAttributeType.String ATTRIBUTE = RodinCore
-			.getStringAttrType(Activator.PLUGIN_ID + ".inferredUnitPragma");
+			.getStringAttrType(Activator.PLUGIN_ID + ".unitPragmaAttribute");
 
-	public InferredUnitPragma() {
+	public UnitPragmaAttribute() {
 		// empty constructor
 	}