← Back to branch summary

~tapaal-contributor/tapaal/save-as-fix-1648076

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/components/TransitionFireingComponent.java

merged in branch fixing enabled-transition-in-editor-fix-1641313
that also changes the future enabled transitions from blue to yellow

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/components/TransitionFireingComponent.java
1
1
package dk.aau.cs.gui.components;
2
2
 
3
 
import java.awt.BorderLayout;
4
3
import java.awt.Dimension;
5
4
import java.awt.GridBagConstraints;
6
5
import java.awt.GridBagLayout;
7
6
import java.awt.event.ActionEvent;
8
7
import java.awt.event.ActionListener;
9
 
import java.awt.event.FocusEvent;
10
 
import java.awt.event.FocusListener;
11
8
import java.awt.event.KeyAdapter;
12
9
import java.awt.event.KeyEvent;
13
 
import java.awt.event.KeyListener;
14
10
 
15
11
import javax.swing.BorderFactory;
16
12
import javax.swing.JButton;
18
14
 
19
15
import pipe.dataLayer.Template;
20
16
import pipe.gui.AnimationSettings;
21
 
import pipe.gui.BlueTransitionControl;
 
17
import pipe.gui.DelayEnabledTransitionControl;
22
18
import pipe.gui.CreateGui;
23
19
import pipe.gui.SimulationControl;
24
20
import pipe.gui.graphicElements.Transition;
30
26
        private JButton fireButton;
31
27
        private JButton settingsButton;
32
28
 
33
 
        public TransitionFireingComponent(boolean showBlueTransitions) {
 
29
        public TransitionFireingComponent(boolean showDelayEnabledTransitions) {
34
30
                super(new GridBagLayout());
35
31
 
36
32
                enabledTransitionsList = new EnabledTransitionsList();
56
52
                fireButton.setPreferredSize(new Dimension(0, fireButton.getPreferredSize().height)); //Make the two buttons equal in size
57
53
                fireButton.addActionListener(new ActionListener() {
58
54
                        public void actionPerformed(ActionEvent e) {
59
 
                                if(SimulationControl.getInstance().randomSimulation() && CreateGui.getApp().isShowingBlueTransitions()){
 
55
                                if(SimulationControl.getInstance().randomSimulation() && CreateGui.getApp().isShowingDelayEnabledTransitions()){
60
56
                                        SimulationControl.startSimulation();
61
57
                                } else {
62
58
                                        fireSelectedTransition();
102
98
                gbc.anchor = GridBagConstraints.SOUTHWEST;
103
99
                this.add(fireButton, gbc);
104
100
 
105
 
                showBlueTransitions(showBlueTransitions);
 
101
                showDelayEnabledTransitions(showDelayEnabledTransitions);
106
102
        }
107
103
 
108
104
        public static final String FIRE_BUTTON_DEACTIVATED_TOOL_TIP = "No transitions are enabled";
121
117
                fireButton.setEnabled(true);
122
118
                
123
119
                //If random simulation is enabled
124
 
                if(CreateGui.getApp().isShowingBlueTransitions() && SimulationControl.getInstance().randomSimulation()){
 
120
                if(CreateGui.getApp().isShowingDelayEnabledTransitions() && SimulationControl.getInstance().randomSimulation()){
125
121
                        fireButton.setText("Simulate");
126
122
                        
127
123
                        if(enabledTransitionsList.getNumberOfTransitions() == 0){
132
128
                                fireButton.setToolTipText(SIMULATE_ACTIVATED_TOOL_TIP);
133
129
                        }
134
130
                } else { //If random simulation is not enabled.
135
 
                        fireButton.setText(CreateGui.getApp().isShowingBlueTransitions() ? "Delay & Fire" : "Fire");
 
131
                        fireButton.setText(CreateGui.getApp().isShowingDelayEnabledTransitions() ? "Delay & Fire" : "Fire");
136
132
 
137
133
                        if(enabledTransitionsList.getNumberOfTransitions() == 0){
138
134
                                fireButton.setEnabled(false);
157
153
                enabledTransitionsList.reInitDone();
158
154
        }
159
155
 
160
 
        public BlueTransitionControl getBlueTransitionControl() {
161
 
                return BlueTransitionControl.getInstance();
 
156
        public DelayEnabledTransitionControl getDelayEnabledTransitionControl() {
 
157
                return DelayEnabledTransitionControl.getInstance();
162
158
        }
163
159
 
164
 
        public void showBlueTransitions(boolean enable) {
 
160
        public void showDelayEnabledTransitions(boolean enable) {
165
161
                settingsButton.setVisible(enable);
166
162
                updateFireButton();
167
163
        }