Commit cdc862f1 authored by Johannes Eder's avatar Johannes Eder
Browse files

YELLOW

Issue-Ref: 3886
Issue-Url: https://af3-developer.fortiss.org/issues/3886

Signed-off-by: Johannes Eder's avatarJohannes Eder <eder@fortiss.org>
parent a6b8aaf6
ComponentSpecificationPropertySection.java e6a829a9e4a8be1163ee52daa77b69f678a493af YELLOW
ComponentSpecificationPropertySection.java fb5b6d82090f7ae063a8876b421529075d072939 YELLOW
PortDataPropagation.java 9305d9fd7bb52398bdf227ddf7e1b54adac15808 GREEN
PortInitValueSection.java c25ad3fd1998f35c10a541caad3211f1333ae420 GREEN
PortSpecificationPropertySection.java 180ea52f0c50c4fd3d3ee2a7e59d22d0e3e05c75 RED
......
......@@ -20,8 +20,6 @@ import static org.fortiss.tooling.kernel.ui.util.DataBindingUtils.observeSelecti
import static org.fortiss.tooling.kernel.ui.util.ObservableUtils.observeValue;
import static org.fortiss.tooling.kernel.utils.LoggingUtils.error;
import java.util.Set;
import org.eclipse.core.databinding.observable.value.IObservableValue;
import org.eclipse.jface.viewers.ArrayContentProvider;
import org.eclipse.jface.viewers.ComboViewer;
......@@ -55,9 +53,6 @@ public final class ComponentSpecificationPropertySection extends PropertySection
/** Stores the current input. */
private Component component;
/** Store the traces. */
private Set<String> traces;
/** Text section showing the traces */
private Text showTraces;
......@@ -67,12 +62,6 @@ public final class ComponentSpecificationPropertySection extends PropertySection
/** Stores causality flag button. */
private Button stronglyCausalButton;
/** Stores component implement the requirement correctly flag button. */
private Button componentImplReqButton;
/** Label for the "component implement requirement" text. */
private Label componentImplreqLabel;
/** The selected {@link VerifBehaviourComponentSpecification}. */
private VerifBehaviourComponentSpecification verifBehaviourSpec;
......@@ -99,9 +88,6 @@ public final class ComponentSpecificationPropertySection extends PropertySection
showTraces.setEditable(false);
stronglyCausalButton = getWidgetFactory().createButton(composite, "", SWT.CHECK);
stronglyCausalLabel = createFormEntry(stronglyCausalButton, "Strongly Causal");
componentImplReqButton = getWidgetFactory().createButton(composite, "", SWT.CHECK);
componentImplreqLabel =
createFormEntry(componentImplReqButton, "Correctly Implement Req.:");
verifBehaviourCombo = createFormComboViewer("Verif. behaviour");
verifBehaviourCombo.setContentProvider(new ArrayContentProvider());
verifBehaviourCombo.setLabelProvider(new LabelProvider() {
......@@ -175,6 +161,7 @@ public final class ComponentSpecificationPropertySection extends PropertySection
}
/** {@inheritDoc} */
@SuppressWarnings("unchecked")
@Override
public void refresh() {
super.refresh();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment