blob: 6eb48c40270d5b19271a9cf63ab51136d9f528a3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
package org.eclipse.etrice.ui.behavior.fsm.dialogs;
import org.eclipse.core.databinding.DataBindingContext;
import org.eclipse.core.databinding.validation.IValidator;
import org.eclipse.core.databinding.validation.ValidationStatus;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.runtime.Status;
import org.eclipse.etrice.core.fsm.fSM.ChoicePoint;
import org.eclipse.etrice.core.fsm.fSM.FSMPackage;
import org.eclipse.etrice.core.fsm.validation.FSMValidationUtilXtend.Result;
import org.eclipse.etrice.ui.behavior.fsm.Activator;
import org.eclipse.etrice.ui.behavior.fsm.support.FSMSupportUtil;
import org.eclipse.etrice.ui.common.base.dialogs.AbstractPropertyDialog;
import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.swt.widgets.Text;
import org.eclipse.ui.forms.IManagedForm;
public class ChoicePointPropertyDialog extends AbstractPropertyDialog implements IChoicePointPropertyDialog {
class NameValidator implements IValidator {
@Override
public IStatus validate(Object value) {
if (value instanceof String) {
String name = (String) value;
Result result = FSMSupportUtil.getInstance().getFSMValidationUtil().isUniqueName(cp, name);
if (!result.isOk())
return ValidationStatus.error(result.getMsg());
}
return Status.OK_STATUS;
}
}
private ChoicePoint cp;
public ChoicePointPropertyDialog(Shell shell, ChoicePoint cp) {
super(shell, "Edit Choice Point");
this.cp = cp;
}
@Override
protected Image getImage() {
return Activator.getImage("icons/Behavior.gif");
}
@Override
protected void createContent(IManagedForm mform, Composite body,
DataBindingContext bindingContext) {
NameValidator nv = new NameValidator();
Text name = createText(body, "&Name:", cp, FSMPackage.eINSTANCE.getChoicePoint_Name(), nv);
createDecorator(name, "invalid name");
name.setFocus();
name.selectAll();
}
@Override
protected String getFeatureContextHelpId() {
// TODO Auto-generated method stub
return null;
}
}
|