Skip to content
Snippets Groups Projects
Commit 2801d6be authored by Sebastian Krings's avatar Sebastian Krings
Browse files

switch back to old behaviour (discouraged but works without ClassCastException)

parent 666eef55
No related branches found
No related tags found
No related merge requests found
...@@ -9,19 +9,24 @@ package de.prob.symbolic; ...@@ -9,19 +9,24 @@ package de.prob.symbolic;
import org.eclipse.core.runtime.IProgressMonitor; import org.eclipse.core.runtime.IProgressMonitor;
import org.eventb.core.IVariable; import org.eventb.core.IVariable;
import org.eventb.core.basis.Constant; import org.eventb.core.basis.Constant;
import org.eventb.ui.manipulation.IAttributeManipulation; import org.eventb.internal.ui.eventbeditor.manipulation.AbstractBooleanManipulation;
import org.rodinp.core.IAttributeType; import org.rodinp.core.IAttributeType;
import org.rodinp.core.IInternalElement; import org.rodinp.core.IInternalElement;
import org.rodinp.core.IRodinElement; import org.rodinp.core.IRodinElement;
import org.rodinp.core.RodinCore; import org.rodinp.core.RodinCore;
import org.rodinp.core.RodinDBException; import org.rodinp.core.RodinDBException;
public class SymbolicAttribute implements IAttributeManipulation { @SuppressWarnings("restriction")
public class SymbolicAttribute extends AbstractBooleanManipulation {
private static final String SYMBOLIC = "symbolic"; private static final String SYMBOLIC = "symbolic";
private static final String CONCRETE = "not symbolic"; private static final String CONCRETE = "not symbolic";
public static IAttributeType.Boolean ATTRIBUTE = RodinCore public static IAttributeType.Boolean ATTRIBUTE = RodinCore
.getBooleanAttrType(Activator.PLUGIN_ID + ".symbolicAttribute"); .getBooleanAttrType(Activator.PLUGIN_ID + ".symbolicAttribute");
public SymbolicAttribute() {
super(SYMBOLIC, CONCRETE);
}
private IInternalElement asInternalElement(IRodinElement element) { private IInternalElement asInternalElement(IRodinElement element) {
if (element instanceof IVariable) { if (element instanceof IVariable) {
return (IVariable) element; return (IVariable) element;
...@@ -70,10 +75,4 @@ public class SymbolicAttribute implements IAttributeManipulation { ...@@ -70,10 +75,4 @@ public class SymbolicAttribute implements IAttributeManipulation {
asInternalElement(element).setAttributeValue(ATTRIBUTE, isSymbolic, asInternalElement(element).setAttributeValue(ATTRIBUTE, isSymbolic,
monitor); monitor);
} }
@Override
public String[] getPossibleValues(IRodinElement element,
IProgressMonitor monitor) {
return new String[] { SYMBOLIC, CONCRETE };
}
} }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment