8
8
/* Status Bar to let users know what to do*/
9
9
public class StatusBar extends JPanel {
14
private static final long serialVersionUID = -8253246293753481390L;
15
11
/* Provides the appropriate text for the mode that the user is in */
16
12
public static final String textforNoNet = "Open a net to start editing";
55
51
label.setText(newText);
58
public void changeText(Pipe.ElementType type) {
61
changeText(textforPlace);
64
changeText(textforTAPNPlace);
67
changeText(textforTrans);
71
changeText(textforTimedTrans);
74
changeText(textforTrans);
77
changeText(textforArc);
80
changeText(textforArc);
83
changeText(textforTransportArc);
85
case TAPNINHIBITOR_ARC:
87
changeText(textforInhibArc);
91
changeText(textforAddtoken);
95
changeText(textforDeltoken);
99
changeText(textforMove);
103
changeText(textforDrawing);
107
changeText(textforAnnotation);
111
changeText(textforDrag);
115
changeText("To-do (textfor" + type);
54
public void changeText(Pipe.ElementType type) {
57
changeText(textforPlace);
61
changeText(textforTAPNPlace);
66
changeText(textforTrans);
70
changeText(textforTimedTrans);
75
changeText(textforArc);
79
changeText(textforTransportArc);
82
case TAPNINHIBITOR_ARC:
84
changeText(textforInhibArc);
88
changeText(textforAddtoken);
92
changeText(textforDeltoken);
96
changeText(textforMove);
100
changeText(textforDrawing);
104
changeText(textforAnnotation);
108
changeText(textforDrag);
112
changeText("To-do (textfor" + type);