← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/GuardDialogue.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-04-12 09:50:16 UTC
  • mfrom: (329.1.188 tapaal-1.5)
  • Revision ID: mail@yrke.dk-20110412095016-e4hqdgab5596ja09
Merged with branch addning support for new 1.5 features

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/GuardDialogue.java
12
12
import java.util.Set;
13
13
 
14
14
import javax.swing.BorderFactory;
15
 
import javax.swing.ButtonGroup;
16
15
import javax.swing.DefaultComboBoxModel;
17
16
import javax.swing.JButton;
18
17
import javax.swing.JCheckBox;
19
18
import javax.swing.JComboBox;
20
19
import javax.swing.JDialog;
21
20
import javax.swing.JLabel;
22
 
import javax.swing.JOptionPane;
23
21
import javax.swing.JPanel;
24
 
import javax.swing.JRadioButton;
25
22
import javax.swing.JRootPane;
26
23
import javax.swing.JSpinner;
27
 
import javax.swing.JTextField;
28
24
import javax.swing.SpinnerNumberModel;
29
25
import javax.swing.event.ChangeEvent;
30
26
import javax.swing.event.ChangeListener;
31
27
 
32
 
import pipe.dataLayer.Constant;
33
28
import pipe.dataLayer.PetriNetObject;
34
 
import pipe.dataLayer.TAPNTransition;
35
 
import pipe.dataLayer.TimedArc;
36
 
import pipe.dataLayer.TransportArc;
37
 
import pipe.dataLayer.colors.ColorSet;
38
 
import pipe.dataLayer.colors.ColoredInhibitorArc;
39
 
import pipe.dataLayer.colors.ColoredInputArc;
40
 
import pipe.dataLayer.colors.ColoredInterval;
41
 
import pipe.dataLayer.colors.ColoredTransportArc;
42
 
import pipe.dataLayer.colors.IntOrConstant;
43
 
import pipe.dataLayer.colors.IntOrConstantRange;
44
 
import pipe.dataLayer.colors.IntervalBound;
45
 
import pipe.dataLayer.colors.Preserve;
 
29
import pipe.dataLayer.TimedInputArcComponent;
46
30
import pipe.gui.CreateGui;
47
31
import pipe.gui.undo.UndoManager;
48
 
import pipe.gui.undo.UndoableEdit;
 
32
import dk.aau.cs.model.tapn.Bound;
 
33
import dk.aau.cs.model.tapn.Constant;
 
34
import dk.aau.cs.model.tapn.ConstantBound;
 
35
import dk.aau.cs.model.tapn.IntBound;
 
36
import dk.aau.cs.model.tapn.Bound.InfBound;
49
37
 
50
 
public class GuardDialogue extends JPanel /*implements ActionListener, PropertyChangeListener*/
 
38
public class GuardDialogue extends JPanel /*
 
39
 * implements ActionListener,
 
40
 * PropertyChangeListener
 
41
 */
51
42
{
52
43
        /**
53
44
         * 
55
46
        private static final long serialVersionUID = 4582651236913407101L;
56
47
        private JRootPane myRootPane;
57
48
        private JPanel guardEditPanel;
58
 
        private JPanel colorGuardPanel;
59
 
        private JPanel transportArcFeaturesPanel;
60
49
        private JPanel buttonPanel;
61
50
 
62
 
        private JRadioButton preserveAgeRadioBtn;
63
 
        private JRadioButton preserveValueRadioBtn;
64
 
        private JRadioButton preserveBothRadioBtn;
65
 
        private JLabel updateExprLabel;
66
 
        private JTextField updateExprTextbox;
67
 
 
68
51
        private JButton okButton;
69
52
        private JButton cancelButton;
70
53
 
82
65
        private JCheckBox rightUseConstant;
83
66
        private JComboBox rightConstantsComboBox;
84
67
 
85
 
        private JLabel colorGuardLabel;
86
 
        private JTextField colorGuardTextBox;
87
 
        private JLabel colorExampleLabel;
88
 
        private JTextField lowerScaleTextbox;
89
 
        private JTextField lowerOffsetTextbox;
90
 
        private JTextField upperScaleTextbox;
91
 
        private JTextField upperOffsetTextbox;
92
 
 
93
 
        public GuardDialogue (JRootPane rootPane, PetriNetObject objectToBeEdited){
 
68
        public GuardDialogue(JRootPane rootPane, PetriNetObject objectToBeEdited) {
94
69
                myRootPane = rootPane;
95
70
                setLayout(new GridBagLayout());
96
71
 
97
72
                initTimeGuardPanel();
98
 
 
99
 
                if(CreateGui.getModel().isUsingColors()){
100
 
                        initColorGuardPanel();
101
 
                        if(objectToBeEdited instanceof TransportArc){
102
 
                                initTransportArcFeaturesPanel();
103
 
                                TransportArc arc = (TransportArc)objectToBeEdited;
104
 
                                if(arc.getConnectedTo() != null && arc.getSource() instanceof TAPNTransition){
105
 
                                        objectToBeEdited = arc.getConnectedTo();
106
 
                                }
107
 
                        }
108
 
                }
109
73
                initButtonPanel(objectToBeEdited);
110
74
 
111
75
                myRootPane.setDefaultButton(okButton);
112
76
 
113
 
                if(CreateGui.getModel().isUsingColors()){
114
 
                        setColoredInitialState((TimedArc)objectToBeEdited);
115
 
                }else{
116
 
                        setNoncoloredInitialState((TimedArc)objectToBeEdited);  
117
 
                }
118
 
        }
119
 
 
120
 
        private void setColoredInitialState(TimedArc timedArc) {
121
 
                ColoredInterval timeGuard = null;
122
 
 
123
 
                if(timedArc instanceof ColoredInputArc){
124
 
                        timeGuard = ((ColoredInputArc)timedArc).getTimeGuard();
125
 
                }else if(timedArc instanceof ColoredTransportArc){
126
 
                        timeGuard = ((ColoredTransportArc)timedArc).getTimeGuard();
127
 
                }else if(timedArc instanceof ColoredInhibitorArc){
128
 
                        timeGuard = ((ColoredInhibitorArc)timedArc).getTimeGuard();
129
 
                }
130
 
 
131
 
                leftDelimiter.setSelectedItem(timeGuard.getOpenParenthesis());
132
 
                rightDelimiter.setSelectedItem(timeGuard.getCloseParenthesis());
133
 
 
134
 
                IntervalBound lower = timeGuard.getLower();
135
 
                lowerScaleTextbox.setText(lower.getScale().toString());
136
 
                lowerOffsetTextbox.setText(lower.getOffset().toString());
137
 
 
138
 
                inf.setSelected(timeGuard.goesToInfinity());
139
 
                if(timeGuard.goesToInfinity()){
140
 
                        upperScaleTextbox.setText("0");
141
 
                        upperScaleTextbox.setEnabled(false);
142
 
                        upperOffsetTextbox.setText("0");
143
 
                        upperOffsetTextbox.setEnabled(false);
144
 
                        rightDelimiter.setEnabled(false);
145
 
 
146
 
                }else{
147
 
                        IntervalBound upper = timeGuard.getUpper();
148
 
                        upperScaleTextbox.setText(upper.getScale().toString());
149
 
                        upperOffsetTextbox.setText(upper.getOffset().toString());
150
 
                }
151
 
                
152
 
                String guard = null;
153
 
                if(timedArc instanceof ColoredInputArc){
154
 
                        guard = ((ColoredInputArc)timedArc).getColorGuardStringWithoutSetNotation();
155
 
                }else if(timedArc instanceof ColoredTransportArc){
156
 
                        guard = ((ColoredTransportArc)timedArc).getColorGuardStringWithoutSetNotation();
157
 
                }else if(timedArc instanceof ColoredInhibitorArc){
158
 
                        guard = ((ColoredInhibitorArc)timedArc).getColorGuardStringWithoutSetNotation();
159
 
                }
160
 
 
161
 
                colorGuardTextBox.setText(guard);
162
 
 
163
 
                if(timedArc instanceof ColoredTransportArc){
164
 
                        Preserve preserves = ((ColoredTransportArc)timedArc).getPreservation();
165
 
 
166
 
                        if(preserves.equals(Preserve.Age)){
167
 
                                preserveAgeRadioBtn.setSelected(true);
168
 
                                updateExprTextbox.setEnabled(true);
169
 
                        }else if(preserves.equals(Preserve.Value)){
170
 
                                preserveValueRadioBtn.setSelected(true);
171
 
                        }else{
172
 
                                preserveBothRadioBtn.setSelected(true);
173
 
                        }
174
 
 
175
 
                        updateExprTextbox.setText(((ColoredTransportArc)timedArc).getOutputValue().toString());
176
 
                }
177
 
        }
178
 
 
179
 
        private void initTransportArcFeaturesPanel(){
180
 
                transportArcFeaturesPanel = new JPanel(new GridBagLayout());
181
 
                transportArcFeaturesPanel.setBorder(BorderFactory.createTitledBorder("Transport Arc Features"));
182
 
 
183
 
                ActionListener listener = new ActionListener(){
184
 
 
185
 
                        public void actionPerformed(ActionEvent e) {
186
 
                                if(preserveAgeRadioBtn.isSelected()){
187
 
                                        updateExprTextbox.setEnabled(true);
188
 
                                }else{
189
 
                                        updateExprTextbox.setEnabled(false);
190
 
                                }                               
191
 
                        }
192
 
                };
193
 
 
194
 
                preserveBothRadioBtn = new JRadioButton("Preserve age and value");
195
 
                preserveBothRadioBtn.addActionListener(listener);
196
 
                GridBagConstraints gridBagConstraints = new GridBagConstraints();
197
 
                gridBagConstraints.gridx = 0;
198
 
                gridBagConstraints.gridy = 0;
199
 
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
200
 
                transportArcFeaturesPanel.add(preserveBothRadioBtn, gridBagConstraints);
201
 
 
202
 
                preserveAgeRadioBtn = new JRadioButton("Preserve age");
203
 
                preserveAgeRadioBtn.addActionListener(listener);                
204
 
                gridBagConstraints = new GridBagConstraints();
205
 
                gridBagConstraints.gridx = 1;
206
 
                gridBagConstraints.gridy = 0;
207
 
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
208
 
                transportArcFeaturesPanel.add(preserveAgeRadioBtn, gridBagConstraints);
209
 
 
210
 
                preserveValueRadioBtn = new JRadioButton("Preserve value");
211
 
                preserveValueRadioBtn.addActionListener(listener);
212
 
                gridBagConstraints = new GridBagConstraints();
213
 
                gridBagConstraints.gridx = 2;
214
 
                gridBagConstraints.gridy = 0;
215
 
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
216
 
                transportArcFeaturesPanel.add(preserveValueRadioBtn, gridBagConstraints);
217
 
 
218
 
                ButtonGroup btnGroup = new ButtonGroup();
219
 
                btnGroup.add(preserveBothRadioBtn);
220
 
                btnGroup.add(preserveAgeRadioBtn);
221
 
                btnGroup.add(preserveValueRadioBtn);
222
 
 
223
 
                updateExprLabel = new JLabel("Update value:");
224
 
                gridBagConstraints = new GridBagConstraints();
225
 
                gridBagConstraints.gridx = 0;
226
 
                gridBagConstraints.gridy = 1;
227
 
                gridBagConstraints.anchor = GridBagConstraints.EAST;
228
 
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
229
 
                transportArcFeaturesPanel.add(updateExprLabel, gridBagConstraints);
230
 
 
231
 
                updateExprTextbox = new JTextField();
232
 
                updateExprTextbox.setEnabled(false);
233
 
                Dimension intervalBoxDims = new Dimension(90,25);
234
 
                updateExprTextbox.setMaximumSize(intervalBoxDims);
235
 
                updateExprTextbox.setMinimumSize(intervalBoxDims);
236
 
                updateExprTextbox.setPreferredSize(intervalBoxDims);
237
 
                gridBagConstraints = new GridBagConstraints();
238
 
                gridBagConstraints.gridx = 1;
239
 
                gridBagConstraints.gridy = 1;
240
 
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
241
 
                transportArcFeaturesPanel.add(updateExprTextbox, gridBagConstraints);
242
 
 
243
 
                gridBagConstraints = new GridBagConstraints();
244
 
                gridBagConstraints.gridx = 0;
245
 
                gridBagConstraints.gridy = 2;
246
 
                gridBagConstraints.insets = new Insets(0, 5, 5, 5);
247
 
                gridBagConstraints.anchor = GridBagConstraints.WEST;
248
 
                gridBagConstraints.fill = GridBagConstraints.HORIZONTAL;
249
 
                add(transportArcFeaturesPanel, gridBagConstraints);     
250
 
        }
251
 
 
252
 
        private void initColorGuardPanel() {
253
 
                colorGuardPanel = new JPanel(new GridBagLayout());
254
 
                colorGuardPanel.setBorder(BorderFactory.createTitledBorder("Color Guard"));
255
 
 
256
 
                colorGuardLabel = new JLabel("Color Guard:");
257
 
                GridBagConstraints gridBagConstraints = new GridBagConstraints();
258
 
                gridBagConstraints.gridx = 0;
259
 
                gridBagConstraints.gridy = 0;
260
 
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
261
 
                colorGuardPanel.add(colorGuardLabel, gridBagConstraints);
262
 
 
263
 
                colorGuardTextBox = new JTextField();
264
 
                gridBagConstraints = new GridBagConstraints();
265
 
                gridBagConstraints.gridx = 1;
266
 
                gridBagConstraints.gridy = 0;
267
 
                gridBagConstraints.anchor=GridBagConstraints.WEST;
268
 
                gridBagConstraints.fill = GridBagConstraints.HORIZONTAL;
269
 
                gridBagConstraints.weightx = 1.0;
270
 
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
271
 
                colorGuardPanel.add(colorGuardTextBox, gridBagConstraints);
272
 
 
273
 
                colorExampleLabel = new JLabel("Example: 1, 3, 4-6, 8, 12-");
274
 
                gridBagConstraints = new GridBagConstraints();
275
 
                gridBagConstraints.gridx = 1;
276
 
                gridBagConstraints.gridy = 1;
277
 
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
278
 
                gridBagConstraints.anchor = GridBagConstraints.WEST;
279
 
                colorGuardPanel.add(colorExampleLabel, gridBagConstraints);
280
 
 
281
 
                gridBagConstraints = new GridBagConstraints();
282
 
                gridBagConstraints.gridx = 0;
283
 
                gridBagConstraints.gridy = 1;
284
 
                gridBagConstraints.insets = new Insets(0, 5, 5, 5);
285
 
                gridBagConstraints.anchor = GridBagConstraints.WEST;
286
 
                gridBagConstraints.fill = GridBagConstraints.HORIZONTAL;
287
 
                add(colorGuardPanel, gridBagConstraints);       
288
 
        }
289
 
 
 
77
                setNoncoloredInitialState((TimedInputArcComponent) objectToBeEdited);
 
78
        }
290
79
 
291
80
 
292
81
        private void initButtonPanel(final PetriNetObject objectToBeEdited) {
293
 
                buttonPanel = new JPanel(new GridBagLayout());  
 
82
                buttonPanel = new JPanel(new GridBagLayout());
294
83
 
295
84
                okButton = new JButton("OK");
296
85
                cancelButton = new JButton("Cancel");
297
 
                okButton.addActionListener(     
298
 
                                new ActionListener() {
299
 
                                        public void actionPerformed(ActionEvent evt) {
300
 
                                                TimedArc arc = (TimedArc) objectToBeEdited;
301
 
                                                UndoManager undoManager = CreateGui.getView().getUndoManager();
302
 
                                                undoManager.newEdit();
303
 
                                                
304
 
                                                if(!CreateGui.getModel().isUsingColors()){
305
 
                                                        String guard = composeGuard(arc.getGuard());
306
 
                                                        undoManager.addEdit( arc.setGuard(guard) );
307
 
                                                }else{
308
 
                                                        ColoredInterval timeGuard = null;
309
 
                                                        
310
 
                                                        try{                                                            
311
 
                                                                timeGuard = composeTimeGuard();
312
 
                                                        }catch(IllegalArgumentException e){
313
 
                                                                JOptionPane.showMessageDialog(CreateGui.getApp(),
314
 
                                                                                String.format("There was an error parsing the time interval. The problem concerns \"%1s\".\n Possible causes:\n\t- Use of negative values\n\t- Use of undefined constant",e.getMessage()),
315
 
                                                                                "Error",
316
 
                                                                                JOptionPane.INFORMATION_MESSAGE);
317
 
                                                                undoManager.undo();
318
 
                                                                return;
319
 
                                                        }
320
 
                                                        
321
 
                                                        UndoableEdit action = null;
322
 
                                                        if(arc instanceof ColoredTransportArc){ 
323
 
                                                                action = ((ColoredTransportArc)arc).setTimeGuard(timeGuard);
324
 
                                                        }else if(arc instanceof ColoredInhibitorArc){
325
 
                                                                action = ((ColoredInhibitorArc)arc).setTimeGuard(timeGuard);
326
 
                                                        }else{
327
 
                                                                action = ((ColoredInputArc)arc).setTimeGuard(timeGuard);
328
 
                                                        }
329
 
                                                        undoManager.addEdit(action);
330
 
                                                                        
331
 
                                                        ColorSet colorGuard = null;
332
 
                                                        if(colorGuardTextBox.getText().isEmpty()){
333
 
                                                                colorGuard = new ColorSet();
334
 
                                                        }else{
335
 
                                                                try{
336
 
                                                                        colorGuard = createColorGuard();
337
 
                                                                }catch(IllegalArgumentException e){
338
 
                                                                        JOptionPane.showMessageDialog(CreateGui.getApp(),
339
 
                                                                                        String.format("There was an error in parsing the color invariant. The problem concerns \"%1s\".",e.getMessage()),
340
 
                                                                                        "Error",
341
 
                                                                                        JOptionPane.INFORMATION_MESSAGE);
342
 
                                                                        undoManager.undo();
343
 
                                                                        return;
344
 
                                                                }                                                               
345
 
                                                        }
346
 
                                                        
347
 
                                                        action = null;
348
 
                                                        if(arc instanceof ColoredTransportArc){ 
349
 
                                                                action = ((ColoredTransportArc)arc).setColorGuard(colorGuard);
350
 
                                                        }else if(arc instanceof ColoredInhibitorArc){
351
 
                                                                action = ((ColoredInhibitorArc)arc).setColorGuard(colorGuard);
352
 
                                                        }else{
353
 
                                                                action = ((ColoredInputArc)arc).setColorGuard(colorGuard);
354
 
                                                        }
355
 
                                                        
356
 
                                                        undoManager.addEdit(action);
357
 
 
358
 
                                                        if(arc instanceof ColoredTransportArc){
359
 
                                                                ColoredTransportArc tarc = (ColoredTransportArc)arc;
360
 
 
361
 
                                                                Preserve preserve = getPreservation();
362
 
                                                                UndoableEdit preserveEdit = tarc.setPreservation(preserve);
363
 
                                                                undoManager.addEdit(preserveEdit);
364
 
 
365
 
                                                                ColoredTransportArc connectedTo = (ColoredTransportArc)tarc.getConnectedTo();
366
 
                                                                UndoableEdit preserveEditConnectedTo = connectedTo.setPreservation(preserve);
367
 
                                                                undoManager.addEdit(preserveEditConnectedTo);
368
 
 
369
 
                                                                IntOrConstant outputValue = null;
370
 
                                                                try{
371
 
                                                                outputValue = new IntOrConstant(updateExprTextbox.getText());
372
 
                                                                }catch(IllegalArgumentException e){
373
 
                                                                        JOptionPane.showMessageDialog(CreateGui.getApp(),
374
 
                                                                                        "The update value is invalid.\n\nPossible causes:\n\t- Use of negative values\n\t- Use of undefined constant\n\t- Use of non-constant expression.",
375
 
                                                                                        "Error",
376
 
                                                                                        JOptionPane.INFORMATION_MESSAGE);
377
 
                                                                        undoManager.undo();
378
 
                                                                        return;
379
 
                                                                }
380
 
                                                                UndoableEdit outputEdit = tarc.setOutputValue(outputValue);
381
 
                                                                undoManager.addEdit(outputEdit);
382
 
 
383
 
                                                                connectedTo = (ColoredTransportArc)tarc.getConnectedTo();
384
 
                                                                UndoableEdit outputEditConnectedTo =  connectedTo.setOutputValue(outputValue);
385
 
                                                                undoManager.addEdit(outputEditConnectedTo);
386
 
                                                        }
387
 
                                                }
388
 
                                                CreateGui.getModel().buildConstraints();
389
 
 
390
 
                                                exit();
391
 
                                        }
392
 
 
393
 
 
394
 
                                        private ColoredInterval composeTimeGuard() {
395
 
                                                String openParenthesis = (String)leftDelimiter.getSelectedItem();
396
 
                                                String closeParenthesis = (String)rightDelimiter.getSelectedItem();
397
 
                                                
398
 
                                                IntOrConstant lowerScale = new IntOrConstant(lowerScaleTextbox.getText());
399
 
                                                IntOrConstant lowerOffset = new IntOrConstant(lowerOffsetTextbox.getText());
400
 
                                                IntervalBound a = new IntervalBound(lowerScale, lowerOffset);
401
 
                                                boolean goesToInf = inf.isSelected();
402
 
                                                
403
 
                                                IntervalBound b = null;
404
 
                                                if(goesToInf){
405
 
                                                        b = new IntervalBound(true);
406
 
                                                }else{
407
 
                                                        IntOrConstant upperScale = new IntOrConstant(upperScaleTextbox.getText());
408
 
                                                        IntOrConstant upperOffset = new IntOrConstant(upperOffsetTextbox.getText());
409
 
                                                        
410
 
                                                        b = new IntervalBound(upperScale, upperOffset);
411
 
                                                }
412
 
                                                
413
 
                                                return new ColoredInterval(openParenthesis, a, b, closeParenthesis);
414
 
                                        }
415
 
 
416
 
 
417
 
                                        private Preserve getPreservation() {
418
 
                                                if(preserveAgeRadioBtn.isSelected()){
419
 
                                                        return Preserve.Age;
420
 
                                                }else if(preserveValueRadioBtn.isSelected()){
421
 
                                                        return Preserve.Value;
422
 
                                                }else{
423
 
                                                        return Preserve.AgeAndValue;
424
 
                                                }
425
 
                                        }
426
 
 
427
 
 
428
 
                                        private ColorSet createColorGuard() {
429
 
                                                ColorSet colorSet = new ColorSet();
430
 
                                                String[] ranges = colorGuardTextBox.getText().split(",");
431
 
                                                for(String range : ranges){
432
 
                                                        try{
433
 
                                                                IntOrConstantRange ir = IntOrConstantRange.parse(range.trim());
434
 
                                                                colorSet.add(ir);
435
 
                                                        }catch(IllegalArgumentException e){
436
 
                                                                throw new IllegalArgumentException(range, e);
437
 
                                                        }
438
 
                                                }
439
 
                                                return colorSet;
440
 
                                        }
441
 
 
442
 
 
443
 
                                        private String composeGuard(String oldGuard) {
444
 
                                                boolean useConstantLeft = leftUseConstant.isSelected();
445
 
                                                boolean useConstantRight = rightUseConstant.isSelected();
446
 
 
447
 
                                                String leftDelim = leftDelimiter.getSelectedItem().toString();
448
 
                                                String rightDelim = rightDelimiter.getSelectedItem().toString();
449
 
                                                String leftInterval = null;
450
 
                                                String rightInterval = null;
451
 
 
452
 
                                                if(useConstantLeft)
453
 
                                                        leftInterval = leftConstantsComboBox.getSelectedItem().toString();
454
 
                                                else
455
 
                                                        leftInterval = firstIntervalNumber.getValue().toString();
456
 
 
457
 
                                                if(useConstantRight)
458
 
                                                        rightInterval = rightConstantsComboBox.getSelectedItem().toString();
459
 
                                                else if ( inf.isSelected())
460
 
                                                        rightInterval = "inf";
461
 
                                                else
462
 
                                                        rightInterval = secondIntervalNumber.getValue().toString();
463
 
 
464
 
                                                if (TimedArc.validateTimeInterval(leftDelim, leftInterval, rightInterval, rightDelim)){
465
 
                                                        //XXX send error messsage
466
 
                                                        return leftDelim + leftInterval + "," + rightInterval + rightDelim;
467
 
                                                }else {
468
 
                                                        return oldGuard;
469
 
                                                }
470
 
                                        }
471
 
                                }
472
 
                );
473
 
                cancelButton.addActionListener( 
474
 
                                new ActionListener() {
475
 
                                        public void actionPerformed(ActionEvent evt) {
476
 
                                                exit();
477
 
                                        }
478
 
                                }
479
 
                );
480
 
 
481
 
                GridBagConstraints gridBagConstraints = new GridBagConstraints();               
 
86
                okButton.addActionListener(new ActionListener() {
 
87
                        public void actionPerformed(ActionEvent evt) {
 
88
                                TimedInputArcComponent arc = (TimedInputArcComponent) objectToBeEdited;
 
89
                                UndoManager undoManager = CreateGui.getView().getUndoManager();
 
90
                                undoManager.newEdit();
 
91
 
 
92
                                dk.aau.cs.model.tapn.TimeInterval guard = composeGuard(arc.getGuard());
 
93
                                undoManager.addEdit(arc.setGuard(guard));
 
94
                                CreateGui.getCurrentTab().network().buildConstraints();
 
95
 
 
96
                                exit();
 
97
                        }
 
98
 
 
99
                        private dk.aau.cs.model.tapn.TimeInterval composeGuard(
 
100
                                        dk.aau.cs.model.tapn.TimeInterval oldGuard) {
 
101
                                boolean useConstantLeft = leftUseConstant.isSelected();
 
102
                                boolean useConstantRight = rightUseConstant.isSelected();
 
103
 
 
104
                                String leftDelim = leftDelimiter.getSelectedItem().toString();
 
105
                                String rightDelim = rightDelimiter.getSelectedItem().toString();
 
106
                                Bound leftInterval = null;
 
107
                                Bound rightInterval = null;
 
108
 
 
109
                                if (useConstantLeft) {
 
110
                                        String constantName = leftConstantsComboBox
 
111
                                        .getSelectedItem().toString();
 
112
                                        leftInterval = new ConstantBound(CreateGui.getCurrentTab()
 
113
                                                        .network().getConstant(constantName));
 
114
                                } else
 
115
                                        leftInterval = new IntBound((Integer) firstIntervalNumber
 
116
                                                        .getValue());
 
117
 
 
118
                                if (useConstantRight) {
 
119
                                        String constantName = rightConstantsComboBox
 
120
                                        .getSelectedItem().toString();
 
121
                                        rightInterval = new ConstantBound(CreateGui.getCurrentTab()
 
122
                                                        .network().getConstant(constantName));
 
123
                                } else if (inf.isSelected())
 
124
                                        rightInterval = Bound.Infinity;
 
125
                                else
 
126
                                        rightInterval = new IntBound((Integer) secondIntervalNumber
 
127
                                                        .getValue());
 
128
 
 
129
                                if (rightInterval instanceof InfBound
 
130
                                                || leftInterval.value() <= rightInterval.value()) {
 
131
                                        return new dk.aau.cs.model.tapn.TimeInterval(
 
132
                                                        (leftDelim == "[" ? true : false), leftInterval,
 
133
                                                        rightInterval, (rightDelim == "]" ? true : false));
 
134
                                } else {
 
135
                                        return oldGuard;
 
136
                                }
 
137
                        }
 
138
                });
 
139
                cancelButton.addActionListener(new ActionListener() {
 
140
                        public void actionPerformed(ActionEvent evt) {
 
141
                                exit();
 
142
                        }
 
143
                });
 
144
 
 
145
                GridBagConstraints gridBagConstraints = new GridBagConstraints();
482
146
                gridBagConstraints.gridx = 0;
483
147
                gridBagConstraints.gridy = 0;
484
148
                gridBagConstraints.anchor = GridBagConstraints.EAST;
485
 
                buttonPanel.add(okButton,gridBagConstraints);
 
149
                buttonPanel.add(okButton, gridBagConstraints);
486
150
 
487
151
                gridBagConstraints = new GridBagConstraints();
488
152
                gridBagConstraints.gridwidth = 2;
489
153
                gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
490
154
                gridBagConstraints.insets = new Insets(0, 0, 0, 0);
491
 
                buttonPanel.add(cancelButton,gridBagConstraints);
 
155
                buttonPanel.add(cancelButton, gridBagConstraints);
492
156
 
493
157
                gridBagConstraints = new GridBagConstraints();
494
158
                gridBagConstraints.gridx = 0;
498
162
                add(buttonPanel, gridBagConstraints);
499
163
        }
500
164
 
501
 
 
502
 
 
503
165
        private void initTimeGuardPanel() {
504
166
                guardEditPanel = new JPanel(new GridBagLayout());
505
 
                guardEditPanel.setBorder(BorderFactory.createTitledBorder("Time Guard"));
 
167
                guardEditPanel
 
168
                .setBorder(BorderFactory.createTitledBorder("Time Guard"));
506
169
 
507
170
                label = new JLabel("Time Interval:");
508
171
                GridBagConstraints gridBagConstraints = new GridBagConstraints();
512
175
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
513
176
                guardEditPanel.add(label, gridBagConstraints);
514
177
 
515
 
                String[] left = {"[","("};
 
178
                String[] left = { "[", "(" };
516
179
                leftDelimiter = new JComboBox();
517
 
                Dimension dims = new Dimension(55,25);
 
180
                Dimension dims = new Dimension(55, 25);
518
181
                leftDelimiter.setPreferredSize(dims);
519
182
                leftDelimiter.setMinimumSize(dims);
520
183
                leftDelimiter.setMaximumSize(dims);
523
186
                gridBagConstraints.gridy = 1;
524
187
                guardEditPanel.add(leftDelimiter, gridBagConstraints);
525
188
 
526
 
 
527
 
                String[] right = {"]",")"};
 
189
                String[] right = { "]", ")" };
528
190
                rightDelimiter = new JComboBox();
529
191
                rightDelimiter.setPreferredSize(dims);
530
192
                rightDelimiter.setMinimumSize(dims);
535
197
                guardEditPanel.add(rightDelimiter, gridBagConstraints);
536
198
 
537
199
                inf = new JCheckBox("inf", true);
538
 
                inf.addActionListener(
539
 
                                new ActionListener(){
540
 
                                        public void actionPerformed(ActionEvent evt){
541
 
                                                if(!CreateGui.getModel().isUsingColors()){
542
 
                                                        if (inf.isSelected() ){
543
 
                                                                secondIntervalNumber.setEnabled(false);
544
 
                                                                rightDelimiter.setEnabled(false);
545
 
                                                        }else {
546
 
                                                                secondIntervalNumber.setEnabled(true);
547
 
                                                                rightDelimiter.setEnabled(true);
548
 
                                                        }
549
 
                                                        setDelimiterModels();
550
 
                                                }else{
551
 
                                                        if(inf.isSelected()){
552
 
                                                                upperOffsetTextbox.setEnabled(false);
553
 
                                                                upperScaleTextbox.setEnabled(false);
554
 
                                                                rightDelimiter.setEnabled(false);
555
 
                                                                rightDelimiter.setSelectedItem(")");
556
 
                                                        }else{
557
 
                                                                upperOffsetTextbox.setEnabled(true);
558
 
                                                                upperScaleTextbox.setEnabled(true);
559
 
                                                                rightDelimiter.setEnabled(true);
560
 
                                                                rightDelimiter.setSelectedItem("]");
561
 
                                                        }
562
 
                                                }
563
 
                                        }
564
 
 
565
 
                                });
 
200
                inf.addActionListener(new ActionListener() {
 
201
                        public void actionPerformed(ActionEvent evt) {
 
202
                                if (inf.isSelected()) {
 
203
                                        secondIntervalNumber.setEnabled(false);
 
204
                                        rightDelimiter.setEnabled(false);
 
205
                                } else {
 
206
                                        secondIntervalNumber.setEnabled(true);
 
207
                                        rightDelimiter.setEnabled(true);
 
208
                                }
 
209
                                setDelimiterModels();
 
210
                        }
 
211
                });
566
212
                gridBagConstraints.gridx = 6;
567
213
                gridBagConstraints.gridy = 1;
568
214
                guardEditPanel.add(inf, gridBagConstraints);
569
215
 
570
 
                if(CreateGui.getModel().isUsingColors()){
571
 
                        initColoredTimeIntervalControls();
572
 
                }else{
573
 
                        initNonColoredTimeIntervalControls();
574
 
                }
 
216
                initNonColoredTimeIntervalControls();
575
217
 
576
218
                gridBagConstraints = new GridBagConstraints();
577
219
                gridBagConstraints.gridx = 0;
578
220
                gridBagConstraints.gridy = 0;
579
 
                gridBagConstraints.insets = new Insets(5,5,0,5);
 
221
                gridBagConstraints.insets = new Insets(5, 5, 0, 5);
580
222
                gridBagConstraints.anchor = GridBagConstraints.WEST;
581
223
                gridBagConstraints.fill = GridBagConstraints.HORIZONTAL;
582
224
                add(guardEditPanel, gridBagConstraints);
583
225
        }
584
226
 
585
 
        private void initColoredTimeIntervalControls() {
586
 
                JPanel lowerPanel = new JPanel(new GridBagLayout());
587
 
                Dimension txtBoxDims = new Dimension(90,25);
588
 
 
589
 
                lowerScaleTextbox = new JTextField();
590
 
                lowerScaleTextbox.setMinimumSize(txtBoxDims);
591
 
                lowerScaleTextbox.setMaximumSize(txtBoxDims);
592
 
                lowerScaleTextbox.setPreferredSize(txtBoxDims);
593
 
                GridBagConstraints gbc = new GridBagConstraints();
594
 
                gbc.insets = new Insets(3,3,3,3);
595
 
                gbc.gridx = 0;
596
 
                gbc.gridy = 0;
597
 
                gbc.anchor = GridBagConstraints.CENTER;
598
 
                lowerPanel.add(lowerScaleTextbox, gbc);
599
 
 
600
 
                String mathExprString = "* val +";
601
 
                JLabel label = new JLabel(mathExprString);
602
 
                gbc = new GridBagConstraints();
603
 
                gbc.insets = new Insets(0,0,0,0);
604
 
                gbc.gridx = 1;
605
 
                gbc.gridy = 0;
606
 
                gbc.anchor = GridBagConstraints.CENTER;
607
 
                lowerPanel.add(label, gbc);
608
 
 
609
 
                lowerOffsetTextbox = new JTextField();
610
 
                lowerOffsetTextbox.setMinimumSize(txtBoxDims);
611
 
                lowerOffsetTextbox.setMaximumSize(txtBoxDims);
612
 
                lowerOffsetTextbox.setPreferredSize(txtBoxDims);
613
 
                gbc = new GridBagConstraints();
614
 
                gbc.insets = new Insets(3,3,3,3);
615
 
                gbc.gridx = 2;
616
 
                gbc.gridy = 0;
617
 
                gbc.anchor = GridBagConstraints.CENTER;
618
 
                lowerPanel.add(lowerOffsetTextbox, gbc);
619
 
 
620
 
                gbc = new GridBagConstraints();
621
 
                gbc.insets = new Insets(0,0,0,0);
622
 
                gbc.gridx = 3;
623
 
                gbc.gridy = 1;
624
 
                guardEditPanel.add(new JLabel(" , "), gbc);
625
 
 
626
 
                JPanel upperPanel = new JPanel(new GridBagLayout());
627
 
 
628
 
                upperScaleTextbox = new JTextField();
629
 
                upperScaleTextbox.setMinimumSize(txtBoxDims);
630
 
                upperScaleTextbox.setMaximumSize(txtBoxDims);
631
 
                upperScaleTextbox.setPreferredSize(txtBoxDims);
632
 
                gbc = new GridBagConstraints();
633
 
                gbc.insets = new Insets(3,3,3,3);
634
 
                gbc.gridx = 0;
635
 
                gbc.gridy = 0;
636
 
                gbc.anchor = GridBagConstraints.CENTER;
637
 
                upperPanel.add(upperScaleTextbox, gbc);
638
 
 
639
 
                label = new JLabel(mathExprString);
640
 
                gbc = new GridBagConstraints();
641
 
                gbc.insets = new Insets(3,3,3,3);
642
 
                gbc.gridx = 1;
643
 
                gbc.gridy = 0;
644
 
                gbc.anchor = GridBagConstraints.CENTER;
645
 
                upperPanel.add(label, gbc);
646
 
 
647
 
                upperOffsetTextbox = new JTextField();
648
 
                upperOffsetTextbox.setMinimumSize(txtBoxDims);
649
 
                upperOffsetTextbox.setMaximumSize(txtBoxDims);
650
 
                upperOffsetTextbox.setPreferredSize(txtBoxDims);
651
 
                gbc = new GridBagConstraints();
652
 
                gbc.insets = new Insets(3,3,3,3);
653
 
                gbc.gridx = 2;
654
 
                gbc.gridy = 0;
655
 
                gbc.anchor = GridBagConstraints.CENTER;
656
 
                upperPanel.add(upperOffsetTextbox, gbc);
657
 
 
658
 
                gbc = new GridBagConstraints();
659
 
                gbc.insets = new Insets(3,3,3,3);
660
 
                gbc.gridx = 4;
661
 
                gbc.gridy = 1;
662
 
                gbc.anchor = GridBagConstraints.CENTER;
663
 
                gbc.insets = new Insets(3,3,3,3);
664
 
                guardEditPanel.add(upperPanel, gbc);
665
 
 
666
 
                gbc = new GridBagConstraints();
667
 
                gbc.insets = new Insets(3,3,3,3);
668
 
                gbc.gridx = 2;
669
 
                gbc.gridy = 1;
670
 
                gbc.anchor = GridBagConstraints.CENTER;
671
 
                gbc.insets = new Insets(3,3,3,3);
672
 
                guardEditPanel.add(lowerPanel, gbc);
673
 
        }
674
 
 
675
227
        private void initNonColoredTimeIntervalControls() {
676
 
                Dimension intervalBoxDims = new Dimension(120,25);
 
228
 
 
229
                Dimension intervalBoxDims = new Dimension(90, 25);
 
230
 
677
231
                firstIntervalNumber = new JSpinner();
678
232
                firstIntervalNumber.setMaximumSize(intervalBoxDims);
679
233
                firstIntervalNumber.setMinimumSize(intervalBoxDims);
688
242
                gridBagConstraints.gridy = 1;
689
243
                gridBagConstraints.anchor = GridBagConstraints.CENTER;
690
244
                gridBagConstraints.insets = new Insets(3, 3, 3, 3);
691
 
                guardEditPanel.add( firstIntervalNumber, gridBagConstraints);
 
245
                guardEditPanel.add(firstIntervalNumber, gridBagConstraints);
692
246
 
693
247
                gridBagConstraints.gridx = 3;
694
248
                gridBagConstraints.gridy = 1;
695
 
                guardEditPanel.add( new JLabel(" , "), gridBagConstraints);
 
249
                guardEditPanel.add(new JLabel(" , "), gridBagConstraints);
696
250
 
697
251
                secondIntervalNumber = new JSpinner();
698
252
                secondIntervalNumber.setMaximumSize(intervalBoxDims);
706
260
 
707
261
                gridBagConstraints.gridx = 4;
708
262
                gridBagConstraints.gridy = 1;
709
 
                guardEditPanel.add( secondIntervalNumber, gridBagConstraints);
 
263
                guardEditPanel.add(secondIntervalNumber, gridBagConstraints);
710
264
 
711
 
                Set<String> constants = CreateGui.getModel().getConstantNames();
 
265
                Set<String> constants = CreateGui.getCurrentTab().network()
 
266
                .getConstantNames();
712
267
                boolean enableConstantsCheckBoxes = !constants.isEmpty();
713
268
                leftUseConstant = new JCheckBox("Use Constant");
714
269
                leftUseConstant.setEnabled(enableConstantsCheckBoxes);
715
 
                leftUseConstant.addActionListener(new ActionListener(){
716
 
                        public void actionPerformed(ActionEvent e){
 
270
                leftUseConstant.addActionListener(new ActionListener() {
 
271
                        public void actionPerformed(ActionEvent e) {
717
272
                                updateLeftComponents();
718
273
                                updateRightConstantComboBox();
719
274
                                setDelimiterModels();
725
280
                gridBagConstraints.gridy = 0;
726
281
                guardEditPanel.add(leftUseConstant, gridBagConstraints);
727
282
 
728
 
 
729
283
                leftConstantsComboBox = new JComboBox(constants.toArray());
730
284
                leftConstantsComboBox.setVisible(false);
731
285
                leftConstantsComboBox.setMaximumSize(intervalBoxDims);
732
286
                leftConstantsComboBox.setMinimumSize(intervalBoxDims);
733
287
                leftConstantsComboBox.setPreferredSize(intervalBoxDims);
734
 
                leftConstantsComboBox.addItemListener(new ItemListener(){
735
 
                        public void itemStateChanged(ItemEvent e){
736
 
                                if(e.getStateChange() == ItemEvent.SELECTED){
 
288
                leftConstantsComboBox.addItemListener(new ItemListener() {
 
289
                        public void itemStateChanged(ItemEvent e) {
 
290
                                if (e.getStateChange() == ItemEvent.SELECTED) {
737
291
                                        updateRightConstantComboBox();
738
292
                                        setDelimiterModels();
739
293
                                }
740
294
                        }
741
295
                });
742
296
 
743
 
 
744
297
                gridBagConstraints = new GridBagConstraints();
745
298
                gridBagConstraints.gridx = 2;
746
299
                gridBagConstraints.gridy = 1;
748
301
 
749
302
                rightUseConstant = new JCheckBox("Use Constant");
750
303
                rightUseConstant.setEnabled(enableConstantsCheckBoxes);
751
 
                rightUseConstant.addActionListener(new ActionListener(){
752
 
                        public void actionPerformed(ActionEvent e){
 
304
                rightUseConstant.addActionListener(new ActionListener() {
 
305
                        public void actionPerformed(ActionEvent e) {
753
306
                                updateRightComponents();
754
307
                                updateRightConstantComboBox();
755
308
                                setDelimiterModels();
761
314
                gridBagConstraints.gridy = 0;
762
315
                guardEditPanel.add(rightUseConstant, gridBagConstraints);
763
316
 
764
 
 
765
317
                rightConstantsComboBox = new JComboBox(constants.toArray());
766
318
                rightConstantsComboBox.setVisible(false);
767
319
                rightConstantsComboBox.setMaximumSize(intervalBoxDims);
768
320
                rightConstantsComboBox.setMinimumSize(intervalBoxDims);
769
321
                rightConstantsComboBox.setPreferredSize(intervalBoxDims);
770
322
                gridBagConstraints = new GridBagConstraints();
771
 
                rightConstantsComboBox.addItemListener(new ItemListener(){
772
 
                        public void itemStateChanged(ItemEvent e){
773
 
                                if(e.getStateChange() == ItemEvent.SELECTED){
 
323
                rightConstantsComboBox.addItemListener(new ItemListener() {
 
324
                        public void itemStateChanged(ItemEvent e) {
 
325
                                if (e.getStateChange() == ItemEvent.SELECTED) {
774
326
                                        setDelimiterModels();
775
327
                                }
776
328
                        }
781
333
                guardEditPanel.add(rightConstantsComboBox, gridBagConstraints);
782
334
        }
783
335
 
784
 
 
785
 
 
786
 
        private void setNoncoloredInitialState(TimedArc arc) {
787
 
                String timeInterval = arc.getGuard();
 
336
        private void setNoncoloredInitialState(TimedInputArcComponent arc) {
 
337
                String timeInterval = arc.getGuardAsString();
788
338
 
789
339
                String[] partedTimeInterval = timeInterval.split(",");
790
 
                String firstNumber = partedTimeInterval[0].substring(1, partedTimeInterval[0].length() );
791
 
                String secondNumber = partedTimeInterval[1].substring(0, partedTimeInterval[1].length()-1);
792
 
                int first = 0, 
793
 
                second = 0;
794
 
                boolean firstIsNumber = true, 
795
 
                secondIsNumber = true;
 
340
                String firstNumber = partedTimeInterval[0].substring(1,
 
341
                                partedTimeInterval[0].length());
 
342
                String secondNumber = partedTimeInterval[1].substring(0,
 
343
                                partedTimeInterval[1].length() - 1);
 
344
                int first = 0, second = 0;
 
345
                boolean firstIsNumber = true, secondIsNumber = true;
796
346
 
797
 
                try{
 
347
                try {
798
348
                        first = Integer.parseInt(firstNumber);
799
 
                }
800
 
                catch(NumberFormatException e){
 
349
                } catch (NumberFormatException e) {
801
350
                        firstIsNumber = false;
802
351
                }
803
352
 
804
 
                try{
 
353
                try {
805
354
                        second = Integer.parseInt(secondNumber);
806
 
                }
807
 
                catch(NumberFormatException e){
 
355
                } catch (NumberFormatException e) {
808
356
                        secondIsNumber = false;
809
357
                }
810
358
 
811
359
                SpinnerNumberModel spinnerModelForFirstNumber = new SpinnerNumberModel(
812
 
                                first, 0,       Integer.MAX_VALUE, 1);
 
360
                                first, 0, Integer.MAX_VALUE, 1);
813
361
 
814
362
                SpinnerNumberModel spinnerModelForSecondNumber = null;
815
363
                boolean isInf = secondNumber.equals("inf");
816
 
                if (isInf){
 
364
                if (isInf) {
817
365
                        inf.setSelected(true);
818
366
                        secondIntervalNumber.setEnabled(false);
819
367
                        rightDelimiter.setEnabled(false);
820
 
                        spinnerModelForSecondNumber = new SpinnerNumberModel(
821
 
                                        0, 0,   Integer.MAX_VALUE, 1);
822
 
                }else{
 
368
                        spinnerModelForSecondNumber = new SpinnerNumberModel(0, 0,
 
369
                                        Integer.MAX_VALUE, 1);
 
370
                } else {
823
371
                        inf.setSelected(false);
824
 
                        spinnerModelForSecondNumber = new SpinnerNumberModel(
825
 
                                        second, 0,      Integer.MAX_VALUE, 1);
 
372
                        spinnerModelForSecondNumber = new SpinnerNumberModel(second, 0,
 
373
                                        Integer.MAX_VALUE, 1);
826
374
                }
827
375
                firstIntervalNumber.setModel(spinnerModelForFirstNumber);
828
376
                secondIntervalNumber.setModel(spinnerModelForSecondNumber);
829
377
 
830
 
                if(!firstIsNumber){
 
378
                if (!firstIsNumber) {
831
379
                        leftUseConstant.setSelected(true);
832
380
                        leftConstantsComboBox.setSelectedItem(firstNumber);
833
381
                        updateLeftComponents();
834
382
                }
835
383
 
836
 
                if(!secondIsNumber && !isInf){
 
384
                if (!secondIsNumber && !isInf) {
837
385
                        rightUseConstant.setSelected(true);
838
386
                        rightConstantsComboBox.setSelectedItem(secondNumber);
839
387
                        updateRightComponents();
840
388
                }
841
389
 
842
390
                boolean canUseConstants = rightUseConstant.isEnabled();
843
 
                if(canUseConstants){
 
391
                if (canUseConstants) {
844
392
                        updateRightConstantComboBox();
845
393
                }
846
394
 
847
395
                setDelimiterModels();
848
 
                if ( timeInterval.contains("[") ){
 
396
                if (timeInterval.contains("[")) {
849
397
                        leftDelimiter.setSelectedItem("[");
850
398
                } else {
851
399
                        leftDelimiter.setSelectedItem("(");
852
400
                }
853
 
                if ( timeInterval.contains("]") ){
 
401
                if (timeInterval.contains("]")) {
854
402
                        rightDelimiter.setSelectedItem("]");
855
 
                }else {
 
403
                } else {
856
404
                        rightDelimiter.setSelectedItem(")");
857
405
                }
858
406
        }
860
408
        private void updateLeftComponents() {
861
409
                boolean value = leftUseConstant.isSelected();
862
410
                firstIntervalNumber.setVisible(!value);
863
 
                leftConstantsComboBox.setVisible(value);        
 
411
                leftConstantsComboBox.setVisible(value);
864
412
                setDelimiterModels();
865
413
        }
866
414
 
867
415
        private void updateRightComponents() {
868
416
                boolean value = rightUseConstant.isSelected();
869
417
                inf.setVisible(!value);
870
 
                if(value)
 
418
                if (value)
871
419
                        rightDelimiter.setEnabled(true);
872
420
                else
873
421
                        rightDelimiter.setEnabled(!inf.isSelected());
874
422
                secondIntervalNumber.setVisible(!value);
875
 
                rightConstantsComboBox.setVisible(value);       
 
423
                rightConstantsComboBox.setVisible(value);
876
424
 
877
 
                ((JDialog)myRootPane.getParent()).pack();
 
425
                ((JDialog) myRootPane.getParent()).pack();
878
426
                setDelimiterModels();
879
427
        }
880
428
 
881
 
        public void exit(){
 
429
        public void exit() {
882
430
                myRootPane.getParent().setVisible(false);
883
431
        }
884
432
 
885
 
        private void setDelimiterModels(){
 
433
        private void setDelimiterModels() {
886
434
                int firstValue = getFirstValue();
887
435
                int secondValue = getSecondValue();
888
436
 
889
 
                DefaultComboBoxModel modelRightIncludedOnly = new DefaultComboBoxModel(new String[]{"]"});
890
 
                DefaultComboBoxModel modelLeftIncludedOnly = new DefaultComboBoxModel(new String[]{"["});
891
 
                DefaultComboBoxModel modelRightBoth = new DefaultComboBoxModel(new String[]{"]", ")"});
892
 
                DefaultComboBoxModel modelLeftBoth = new DefaultComboBoxModel(new String[]{"[", "("});
893
 
                DefaultComboBoxModel modelRightExcludedOnly = new DefaultComboBoxModel(new String[]{")"});
 
437
                DefaultComboBoxModel modelRightIncludedOnly = new DefaultComboBoxModel(
 
438
                                new String[] { "]" });
 
439
                DefaultComboBoxModel modelLeftIncludedOnly = new DefaultComboBoxModel(
 
440
                                new String[] { "[" });
 
441
                DefaultComboBoxModel modelRightBoth = new DefaultComboBoxModel(
 
442
                                new String[] { "]", ")" });
 
443
                DefaultComboBoxModel modelLeftBoth = new DefaultComboBoxModel(
 
444
                                new String[] { "[", "(" });
 
445
                DefaultComboBoxModel modelRightExcludedOnly = new DefaultComboBoxModel(
 
446
                                new String[] { ")" });
894
447
 
895
 
                if(firstValue > secondValue){
 
448
                if (firstValue > secondValue) {
896
449
                        secondIntervalNumber.setValue(firstValue);
897
450
                        secondValue = firstValue;
898
451
                }
900
453
                String leftOldDelim = leftDelimiter.getSelectedItem().toString();
901
454
                String rightOldDelim = rightDelimiter.getSelectedItem().toString();
902
455
 
903
 
 
904
 
                if(firstValue==secondValue){
 
456
                if (firstValue == secondValue) {
905
457
                        rightDelimiter.setModel(modelRightIncludedOnly);
906
458
                        leftDelimiter.setModel(modelLeftIncludedOnly);
907
 
                }else {
 
459
                } else {
908
460
                        leftDelimiter.setModel(modelLeftBoth);
909
461
 
910
 
                        if(inf.isSelected() && !rightUseConstant.isSelected())
 
462
                        if (inf.isSelected() && !rightUseConstant.isSelected())
911
463
                                rightDelimiter.setModel(modelRightExcludedOnly);
912
464
                        else
913
465
                                rightDelimiter.setModel(modelRightBoth);
914
466
                }
915
467
 
916
468
                leftDelimiter.setSelectedItem(leftOldDelim);
917
 
                if(rightUseConstant.isSelected())
 
469
                if (rightUseConstant.isSelected())
918
470
                        rightDelimiter.setSelectedItem("]");
919
471
                else
920
472
                        rightDelimiter.setSelectedItem(rightOldDelim);
922
474
 
923
475
        private int getSecondValue() {
924
476
                int secondValue;
925
 
                if(rightUseConstant.isSelected()){
926
 
                        secondValue = CreateGui.getModel().getConstantValue(
 
477
                if (rightUseConstant.isSelected()) {
 
478
                        secondValue = CreateGui.getCurrentTab().network().getConstantValue(
927
479
                                        rightConstantsComboBox.getSelectedItem().toString());
928
 
                }
929
 
                else if(inf.isSelected()){
 
480
                } else if (inf.isSelected()) {
930
481
                        secondValue = Integer.MAX_VALUE;
931
 
                }else{
932
 
                        secondValue = Integer.parseInt(String.valueOf(secondIntervalNumber.getValue()));
 
482
                } else {
 
483
                        secondValue = Integer.parseInt(String.valueOf(secondIntervalNumber
 
484
                                        .getValue()));
933
485
                }
934
486
                return secondValue;
935
487
        }
936
488
 
937
489
        private int getFirstValue() {
938
490
                int firstValue;
939
 
                if(leftUseConstant.isSelected()){
940
 
                        firstValue = CreateGui.getModel().getConstantValue(
 
491
                if (leftUseConstant.isSelected()) {
 
492
                        firstValue = CreateGui.getCurrentTab().network().getConstantValue(
941
493
                                        leftConstantsComboBox.getSelectedItem().toString());
942
 
                }
943
 
                else{
944
 
                        firstValue = Integer.parseInt(String.valueOf(firstIntervalNumber.getValue()));
 
494
                } else {
 
495
                        firstValue = Integer.parseInt(String.valueOf(firstIntervalNumber
 
496
                                        .getValue()));
945
497
                }
946
498
                return firstValue;
947
499
        }
949
501
        private void updateRightConstantComboBox() {
950
502
                int value = getFirstValue();
951
503
 
952
 
                String oldRight = rightConstantsComboBox.getSelectedItem() != null ? 
953
 
                                rightConstantsComboBox.getSelectedItem().toString() : null;
 
504
                String oldRight = rightConstantsComboBox.getSelectedItem() != null ? rightConstantsComboBox
 
505
                                .getSelectedItem().toString()
 
506
                                : null;
954
507
                                rightConstantsComboBox.removeAllItems();
955
 
                                Collection<Constant> constants = CreateGui.getModel().getConstants();
956
 
                                for(Constant c : constants){
957
 
                                        if(c.getValue() >= value){
958
 
                                                rightConstantsComboBox.addItem(c.getName());
 
508
                                Collection<Constant> constants = CreateGui.getCurrentTab().network()
 
509
                                .constants();
 
510
                                for (Constant c : constants) {
 
511
                                        if (c.value() >= value) {
 
512
                                                rightConstantsComboBox.addItem(c.name());
959
513
                                        }
960
514
                                }
961
515
 
962
 
                                //if(rightConstantsComboBox.getItemCount() == 0){
963
 
                                //      rightUseConstant.setEnabled(false);
964
 
                                //}
 
516
                                // if(rightConstantsComboBox.getItemCount() == 0){
 
517
                                // rightUseConstant.setEnabled(false);
 
518
                                // }
965
519
 
966
 
                                if(oldRight != null)
967
 
                                        rightConstantsComboBox.setSelectedItem(oldRight);       
 
520
                                if (oldRight != null)
 
521
                                        rightConstantsComboBox.setSelectedItem(oldRight);
968
522
        }
969
523
 
970
524
        private void firstSpinnerStateChanged(ChangeEvent evt) {
971
525
                int firstValue = getFirstValue();
972
526
                int secondValue = getSecondValue();
973
 
                if(rightUseConstant.isSelected() && firstValue > secondValue){
 
527
                if (rightUseConstant.isSelected() && firstValue > secondValue) {
974
528
                        rightUseConstant.setSelected(false);
975
529
                        updateRightComponents();
976
530
                }
977
 
                if(firstValue > CreateGui.getModel().getLargestConstantValue())
 
531
                if (firstValue > CreateGui.getCurrentTab().network()
 
532
                                .getLargestConstantValue())
978
533
                        rightUseConstant.setEnabled(false);
979
 
                else{
 
534
                else {
980
535
                        rightUseConstant.setEnabled(true);
981
536
                        updateRightConstantComboBox();
982
537
                }
983
538
                setDelimiterModels();
984
539
        }
 
540
 
985
541
        private void secondSpinnerStateChanged(ChangeEvent evt) {
986
542
                setDelimiterModels();
987
543
        }