← Back to branch summary

~boginw/tapaal/multiplayer

« back to all changes in this revision

Viewing changes to src/pipe/gui/handler/PlaceHandler.java

  • Committer: Bogi Napoleon Wennerstrøm
  • Date: 2020-04-08 13:12:38 UTC
  • mfrom: (998.2.361 testbranch)
  • Revision ID: bogi.wennerstrom@gmail.com-20200408131238-6daa9ocph3zgx1ag
merged ~yrke changes

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/handler/PlaceHandler.java
1
1
package pipe.gui.handler;
2
2
 
3
 
import java.awt.Container;
4
 
import java.awt.event.ActionEvent;
5
 
import java.awt.event.ActionListener;
6
3
import java.awt.event.MouseEvent;
7
4
import java.awt.event.MouseWheelEvent;
8
5
 
10
7
import javax.swing.JPopupMenu;
11
8
import javax.swing.SwingUtilities;
12
9
 
13
 
import pipe.dataLayer.DataLayer;
14
 
import pipe.dataLayer.NetType;
15
10
import pipe.gui.CreateGui;
16
 
import pipe.gui.DrawingSurfaceImpl;
17
11
import pipe.gui.Zoomer;
18
12
import pipe.gui.Pipe.ElementType;
19
13
import pipe.gui.action.ShowHideInfoAction;
 
14
import pipe.gui.graphicElements.PetriNetObjectWithLabel;
20
15
import pipe.gui.graphicElements.Place;
21
16
import pipe.gui.graphicElements.tapn.TimedPlaceComponent;
22
17
import pipe.gui.undo.UndoManager;
23
18
import dk.aau.cs.gui.undo.Command;
24
19
import dk.aau.cs.gui.undo.TimedPlaceMarkingEdit;
25
 
import dk.aau.cs.model.tapn.TimedArcPetriNet;
26
20
 
27
21
/**
28
22
 * Class used to implement methods corresponding to mouse events on places.
43
37
                JPopupMenu popup = super.getPopup(e);
44
38
 
45
39
                JMenuItem menuItem = new JMenuItem("Edit Place");
46
 
                menuItem.addActionListener(new ActionListener() {
47
 
                        public void actionPerformed(ActionEvent e) {
48
 
                                ((Place) myObject).showEditor();
49
 
                        }
50
 
                });
 
40
                menuItem.addActionListener(e1 -> ((Place) myObject).showEditor());
51
41
                popup.insert(menuItem, index++);
52
42
 
53
43
                menuItem = new JMenuItem(new ShowHideInfoAction((Place) myObject));
71
61
                                ((TimedPlaceComponent) myObject).showAgeOfTokens(false);
72
62
                                ((Place) myObject).showEditor();
73
63
                        } else {
74
 
                                UndoManager undoManager = CreateGui.getDrawingSurface().getUndoManager();
 
64
                                UndoManager undoManager = CreateGui.getCurrentTab().getUndoManager();
75
65
 
76
66
                                switch (CreateGui.getApp().getMode()) {
77
67
                                case ADDTOKEN:
97
87
                        if (CreateGui.getApp().isEditionAllowed() && enablePopup && CreateGui.getApp().getMode() == ElementType.SELECT) {
98
88
                                JPopupMenu m = getPopup(e);
99
89
                                if (m != null) {
100
 
                                        int x = Zoomer.getZoomedValue(((Place) myObject).getNameOffsetXObject().intValue(), myObject.getZoom());
101
 
                                        int y = Zoomer.getZoomedValue(((Place) myObject).getNameOffsetYObject().intValue(), myObject.getZoom());
102
 
                                        m.show(myObject, x, y);
 
90
 
 
91
                                        if (myObject instanceof PetriNetObjectWithLabel) {
 
92
                                                int x = Zoomer.getZoomedValue(((PetriNetObjectWithLabel)myObject).getNameOffsetXObject().intValue(), myObject.getZoom());
 
93
                                                int y = Zoomer.getZoomedValue(((PetriNetObjectWithLabel)myObject).getNameOffsetYObject().intValue(), myObject.getZoom());
 
94
                                                m.show(myObject, x, y);
 
95
                                        }
103
96
                                }
104
97
                        }
105
98
                }/*
108
101
                 */
109
102
        }
110
103
 
111
 
        @Override
112
 
        public void mouseEntered(MouseEvent e) {
113
 
                if (!CreateGui.getModel().netType().equals(NetType.UNTIMED)) {
114
 
                        if ((myObject instanceof TimedPlaceComponent) && !isDragging) {// &&
115
 
                                if (CreateGui.getDrawingSurface().isInAnimationMode()) {
116
 
                                        ((TimedPlaceComponent) myObject).showAgeOfTokens(true);
117
 
                                }
118
 
                        }
119
 
                }
120
 
 
121
 
                if (isDragging) {
122
 
                        ((TimedPlaceComponent) myObject).showAgeOfTokens(false);
123
 
                }
124
 
        }
125
 
 
126
 
        @Override
127
 
        public void mouseExited(MouseEvent e) {
128
 
                if ((myObject instanceof TimedPlaceComponent)) {// &&
129
 
                        if (CreateGui.getDrawingSurface().isInAnimationMode()) {
130
 
                                ((TimedPlaceComponent) myObject).showAgeOfTokens(false);
131
 
                        }
132
 
                }
133
 
        }
134
 
 
135
 
        // Override
136
 
        @Override
137
 
        public void mousePressed(MouseEvent e) {
138
 
                if (CreateGui.getApp().isEditionAllowed()) {
139
 
                        super.mousePressed(e);
140
 
                }
141
 
 
142
 
        }
143
 
 
144
 
        int i = 0;
 
104
 
145
105
 
146
106
        @Override
147
107
        public void mouseWheelMoved(MouseWheelEvent e) {