From 8548774ec4ac366519208251f551c54afb642573 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 14 May 2014 11:31:22 +0200
Subject: [PATCH] fix discouraged internal access
---
.../src/de/prob/symbolic/SymbolicAttribute.java | 14 ++++++++------
1 file changed, 8 insertions(+), 6 deletions(-)
diff --git a/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java b/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
index 7d6f43b6..5fbae3c6 100644
--- a/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
+++ b/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
@@ -9,23 +9,19 @@ package de.prob.symbolic;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eventb.core.IVariable;
import org.eventb.core.basis.Constant;
-import org.eventb.internal.ui.eventbeditor.manipulation.AbstractBooleanManipulation;
+import org.eventb.ui.manipulation.IAttributeManipulation;
import org.rodinp.core.IAttributeType;
import org.rodinp.core.IInternalElement;
import org.rodinp.core.IRodinElement;
import org.rodinp.core.RodinCore;
import org.rodinp.core.RodinDBException;
-public class SymbolicAttribute extends AbstractBooleanManipulation {
+public class SymbolicAttribute implements IAttributeManipulation {
private static final String SYMBOLIC = "symbolic";
private static final String CONCRETE = "not symbolic";
public static IAttributeType.Boolean ATTRIBUTE = RodinCore
.getBooleanAttrType(Activator.PLUGIN_ID + ".symbolicAttribute");
- public SymbolicAttribute() {
- super(SYMBOLIC, CONCRETE);
- }
-
private IInternalElement asInternalElement(IRodinElement element) {
if (element instanceof IVariable) {
return (IVariable) element;
@@ -74,4 +70,10 @@ public class SymbolicAttribute extends AbstractBooleanManipulation {
asInternalElement(element).setAttributeValue(ATTRIBUTE, isSymbolic,
monitor);
}
+
+ @Override
+ public String[] getPossibleValues(IRodinElement element,
+ IProgressMonitor monitor) {
+ return new String[] { SYMBOLIC, CONCRETE };
+ }
}
--
GitLab