Commit 3743314b 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 26b3bc10
StateAutomatonPropertySection.java edea22d0fdec65b0d6f6743742c410125e208105 YELLOW
StateSpecificationPropertySection.java 5db9ee3edb8666a81fea309e547f0f3d28403c57 YELLOW
TransitionSegmentSpecificationPropertySection.java 286b4137d42ee65a73b7569b8a6b16733d20c0cf YELLOW
StateSpecificationPropertySection.java e880a49b2f37649571f2c8472f337bba44c9092e YELLOW
TransitionSegmentSpecificationPropertySection.java 75238321c11e915c7032440b3352a1d62a88a633 YELLOW
/*-------------------------------------------------------------------------+
| Copyright 2011 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package org.fortiss.af3.state.ui.properties;
import static org.eclipse.swt.SWT.CHECK;
import java.util.Set;
import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Label;
import org.eclipse.swt.widgets.Text;
import org.eclipse.ui.views.properties.tabbed.TabbedPropertySheetPage;
import org.fortiss.af3.state.model.StateAutomaton;
import org.fortiss.tooling.kernel.ui.extension.base.PropertySectionBase;
/**
* Property section for state automata.
*
* @author ratiu
*/
public class StateAutomatonPropertySection extends PropertySectionBase {
/** Stores the current input. */
private StateAutomaton stateAutomaton;
/** Store the traces. */
private Set<String> traces;
/** Text section showing the traces */
private Text showTraces;
/** Stores "state automaton implement the requirement" button correctly flag button. */
private Button stateautomatonImplReqButton;
/** Label for the "state automaton implement requirement" text. */
private Label stateautomatonImplreqLabel;
/** {@inheritDoc} */
@Override
public void createControls(Composite parent, TabbedPropertySheetPage aTabbedPropertySheetPage) {
super.createControls(parent, aTabbedPropertySheetPage);
showTraces = createFormText("Traced to:");
showTraces.setEditable(false);
stateautomatonImplReqButton = getWidgetFactory().createButton(composite, "", CHECK);
stateautomatonImplreqLabel =
createFormEntry(stateautomatonImplReqButton, "Correctly Implement Req.:");
}
/** {@inheritDoc} */
@Override
protected void setSectionInput(Object input) {
stateAutomaton = (StateAutomaton)input;
}
}
......@@ -28,14 +28,11 @@ import static org.fortiss.tooling.kernel.ui.util.ObservableUtils.observeValue;
import static org.fortiss.tooling.kernel.utils.KernelModelElementUtils.getParentElement;
import static org.fortiss.tooling.kernel.utils.LoggingUtils.error;
import java.util.Set;
import org.eclipse.core.databinding.observable.value.IObservableValue;
import org.eclipse.swt.events.SelectionEvent;
import org.eclipse.swt.events.SelectionListener;
import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Label;
import org.eclipse.swt.widgets.Text;
import org.eclipse.ui.views.properties.tabbed.TabbedPropertySheetPage;
import org.fortiss.af3.component.model.behavior.common.Action;
......@@ -68,9 +65,6 @@ public class StateSpecificationPropertySection extends PropertySectionBase {
/** Short-cut to the idle transition specification. */
private TransitionSegmentSpecification idleTransitionSpecification;
/** Store the traces. */
private Set<String> traces;
/** Text section showing the traces */
private Text showTraces;
......@@ -83,11 +77,6 @@ public class StateSpecificationPropertySection extends PropertySectionBase {
/** User selection flag */
private boolean userSelection;
/** Stores "state implement the requirement" correctly check button. */
private Button stateImplReqButton;
/** Label for the "state implement requirement" text. */
private Label stateImplreqLabel;
/** {@inheritDoc} */
@Override
public void createControls(Composite parent, TabbedPropertySheetPage aTabbedPropertySheetPage) {
......@@ -95,8 +84,6 @@ public class StateSpecificationPropertySection extends PropertySectionBase {
showTraces = createFormText("Traced to:");
showTraces.setEditable(false);
stateImplReqButton = getWidgetFactory().createButton(composite, "", CHECK);
stateImplreqLabel = createFormEntry(stateImplReqButton, "Correctly Implement Req.:");
idleActionsText =
createDecoratedFormText("Idle actions:", MULTI | BORDER | WRAP | V_SCROLL);
initialButton = getWidgetFactory().createButton(composite, "", CHECK);
......
......@@ -18,7 +18,6 @@ package org.fortiss.af3.state.ui.properties;
import static org.eclipse.jface.dialogs.MessageDialog.openError;
import static org.eclipse.jface.dialogs.MessageDialog.openInformation;
import static org.eclipse.swt.SWT.BORDER;
import static org.eclipse.swt.SWT.CHECK;
import static org.eclipse.swt.SWT.MULTI;
import static org.eclipse.swt.SWT.V_SCROLL;
import static org.eclipse.swt.SWT.WRAP;
......@@ -35,7 +34,6 @@ import static org.fortiss.tooling.kernel.utils.EcoreUtils.copy;
import java.util.ArrayList;
import java.util.List;
import java.util.Set;
import org.eclipse.core.databinding.observable.value.IObservableValue;
import org.eclipse.emf.common.util.EList;
......@@ -44,7 +42,6 @@ import org.eclipse.swt.events.SelectionAdapter;
import org.eclipse.swt.events.SelectionEvent;
import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Label;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.swt.widgets.Text;
import org.eclipse.ui.views.properties.tabbed.TabbedPropertySheetPage;
......@@ -84,9 +81,6 @@ public class TransitionSegmentSpecificationPropertySection
/** Stores the clipboard. */
private static TransitionSegmentSpecification clipboardSpec;
/** Store the traces. */
private Set<String> traces;
/** Text section showing the traces */
private Text showTraces;
......@@ -96,12 +90,6 @@ public class TransitionSegmentSpecificationPropertySection
/** {@link Action}s widget. */
private Text actionsText;
/** "transition implement the requirement" correctly flag button. */
private Button transitionSegmentImplReqButton;
/** Label for the "state implement requirement" text. */
private Label transitionSegmentImplreqLabel;
/** {@inheritDoc} */
@Override
public void createControls(Composite parent, TabbedPropertySheetPage aTabbedPropertySheetPage) {
......@@ -109,9 +97,6 @@ public class TransitionSegmentSpecificationPropertySection
showTraces = createFormText("Traced to:");
showTraces.setEditable(false);
transitionSegmentImplReqButton = getWidgetFactory().createButton(composite, "", CHECK);
transitionSegmentImplreqLabel =
createFormEntry(transitionSegmentImplReqButton, "Correctly Implement Req.:");
guardText = createDecoratedFormText("Guard", MULTI | BORDER | WRAP | V_SCROLL);
Button check = createDecoratedButton("Check NoVal", guardText);
check.addSelectionListener(new SelectionAdapter() {
......
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