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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
|
package com.c2kernel.gui.graph.view;
import java.awt.Dimension;
import java.awt.Graphics;
import java.awt.Graphics2D;
import java.awt.Image;
import java.awt.Insets;
import java.awt.Toolkit;
import java.awt.datatransfer.Clipboard;
import java.awt.datatransfer.ClipboardOwner;
import java.awt.datatransfer.DataFlavor;
import java.awt.datatransfer.Transferable;
import java.awt.datatransfer.UnsupportedFlavorException;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.awt.print.PageFormat;
import java.awt.print.Printable;
import java.awt.print.PrinterException;
import java.awt.print.PrinterJob;
import java.util.Vector;
import javax.swing.Box;
import javax.swing.BoxLayout;
import javax.swing.ButtonGroup;
import javax.swing.JButton;
import javax.swing.JComboBox;
import javax.swing.JToggleButton;
import com.c2kernel.graph.model.GraphModelManager;
import com.c2kernel.graph.model.TypeNameAndConstructionInfo;
import com.c2kernel.gui.ImageLoader;
import com.c2kernel.gui.graph.controller.DeletionController;
import com.c2kernel.gui.graph.controller.StartVertexController;
import com.c2kernel.utils.Language;
import com.c2kernel.utils.Logger;
/**
* Tool bar with mode toggle buttons, start and delete buttons, and the possibility to add other arbitrary buttons at constructions time.
*/
public class EditorToolBar extends Box implements Printable
{
protected boolean mEdgeCreationMode = false; // True if edges can be created
protected GraphPanel mGraphPanel = null;
// There is on mode button listener per mode button.
// When a mode button fires anaction performed event
// its corresponding listener notifies all of the
// editor mode listeners.
protected class ModeButtonListener implements ActionListener
{
protected String mModeId = null;
public ModeButtonListener(String modeId)
{
mModeId = modeId;
}
@Override
public void actionPerformed(ActionEvent ae)
{
notifyListeners(mModeId);
}
}
// Vertex types and ids
protected JComboBox mVertexTypeBox = new JComboBox();
// Edge types and ids
protected JComboBox mEdgeTypeBox = new JComboBox();
// Mode buttons
protected ButtonGroup mModeButtonGroup = new ButtonGroup();
protected JToggleButton mVertexModeButton = new JToggleButton(ImageLoader.findImage("graph/newvertex.png"));
protected JToggleButton mSelectModeButton = new JToggleButton(ImageLoader.findImage("graph/selection.gif"));
protected JToggleButton mEdgeModeButton = new JToggleButton(ImageLoader.findImage("graph/edge.png"));
// Normal buttons
protected JButton[] mOtherButtons = null;
protected JButton mStartButton = new JButton(ImageLoader.findImage("graph/start.png"));
protected JButton mDeleteButton = new JButton(ImageLoader.findImage("graph/delete.png"));
protected JButton mPrintButton = new JButton(ImageLoader.findImage("graph/print.png"));
protected JButton mCopyButton = new JButton(ImageLoader.findImage("graph/copy.png"));
// Controllers
protected StartVertexController mStartVertexController = new StartVertexController();
protected DeletionController mDeletionController = new DeletionController();
// Editor mode listeners
protected Vector<EditorModeListener> mListenerVector = new Vector<EditorModeListener>(10, 10);
public EditorToolBar(boolean edgeCreationMode, // True if edges can be created
JButton[] otherButtons, GraphPanel graphP)
{
super(BoxLayout.X_AXIS);
mGraphPanel = graphP;
mEdgeCreationMode = edgeCreationMode;
mOtherButtons = otherButtons;
prepareModeButtons();
mStartVertexController.setStartButton(mStartButton);
mDeletionController.setDeleteButton(mDeleteButton);
createLayout();
createListeners();
}
protected void prepareModeButtons()
{
// Set the tool tip texts
mVertexModeButton.setToolTipText(Language.translate("Create vertex"));
mSelectModeButton.setToolTipText(Language.translate("Multi-select and drag"));
mEdgeModeButton.setToolTipText(Language.translate("Create edge"));
mStartButton.setToolTipText(Language.translate("Select the start vertex of the graph"));
mDeleteButton.setToolTipText(Language.translate("Delete the selection"));
mPrintButton.setToolTipText(Language.translate("Print this graph"));
mCopyButton.setToolTipText(Language.translate("Copy an image of this graph to the clipboard"));
// Set the button margins to 0
mVertexModeButton.setMargin(new Insets(0, 0, 0, 0));
mSelectModeButton.setMargin(new Insets(0, 0, 0, 0));
mEdgeModeButton.setMargin(new Insets(0, 0, 0, 0));
// The initial mode is select mode
mSelectModeButton.setSelected(true);
// Add the mode buttons to the mode button group
mModeButtonGroup.add(mVertexModeButton);
mModeButtonGroup.add(mSelectModeButton);
mModeButtonGroup.add(mEdgeModeButton);
// Add the action listeners
mVertexModeButton.addActionListener(new ModeButtonListener("Vertex"));
mSelectModeButton.addActionListener(new ModeButtonListener("Select"));
mEdgeModeButton.addActionListener(new ModeButtonListener("Edge"));
}
public void enterSelectMode()
{
mSelectModeButton.setSelected(true);
notifyListeners("Select");
}
public void updateVertexTypes(TypeNameAndConstructionInfo[] typeNameAndConstructionInfo)
{
int i = 0;
mVertexTypeBox.removeAllItems();
for (i = 0; i < typeNameAndConstructionInfo.length; i++)
{
mVertexTypeBox.addItem(typeNameAndConstructionInfo[i]);
}
}
public void updateEdgeTypes(TypeNameAndConstructionInfo[] typeNameAndConstructionInfo)
{
int i = 0;
mEdgeTypeBox.removeAllItems();
for (i = 0; i < typeNameAndConstructionInfo.length; i++)
{
mEdgeTypeBox.addItem(typeNameAndConstructionInfo[i]);
}
}
public TypeNameAndConstructionInfo getSelectedVertexType()
{
return (TypeNameAndConstructionInfo) mVertexTypeBox.getSelectedItem();
}
public TypeNameAndConstructionInfo getSelectedEdgeType()
{
return (TypeNameAndConstructionInfo) mEdgeTypeBox.getSelectedItem();
}
protected void createLayout()
{
int i = 0;
add(mSelectModeButton);
add(mVertexModeButton);
add(mVertexTypeBox);
add(Box.createHorizontalStrut(10));
if (mEdgeCreationMode)
{
add(mEdgeModeButton);
add(mEdgeTypeBox);
}
add(Box.createGlue());
mPrintButton.setEnabled(true);
mPrintButton.setMargin(new Insets(0, 0, 0, 0));
add(mPrintButton);
mCopyButton.setEnabled(true);
mCopyButton.setMargin(new Insets(0, 0, 0, 0));
add(mCopyButton);
mStartButton.setEnabled(false);
mStartButton.setMargin(new Insets(0, 0, 0, 0));
mDeleteButton.setEnabled(false);
mDeleteButton.setMargin(new Insets(0, 0, 0, 0));
add(mDeleteButton);
add(Box.createRigidArea(new Dimension(20, 0)));
add(mStartButton);
if (mOtherButtons != null)
{
for (i = 0; i < mOtherButtons.length; i++)
{
mOtherButtons[i].setMargin(new Insets(0, 0, 0, 0));
add(mOtherButtons[i]);
}
}
}
protected void createListeners()
{
// The vertex mode button should be selected if the
// user select a vertex type from the vertex type box
mVertexTypeBox.addActionListener(new ActionListener()
{
@Override
public void actionPerformed(ActionEvent ae)
{
mVertexModeButton.setSelected(true);
notifyListeners("Vertex");
}
});
// The edge mode button should be selected if the
// user select an edge type from the edge type box
mEdgeTypeBox.addActionListener(new ActionListener()
{
@Override
public void actionPerformed(ActionEvent ae)
{
mEdgeModeButton.setSelected(true);
notifyListeners("Edge");
}
});
mPrintButton.addActionListener(new ActionListener()
{
@Override
public void actionPerformed(ActionEvent ae)
{
PrinterJob _monJob = PrinterJob.getPrinterJob();
if (_monJob.printDialog())
_monJob.setPrintable(self());
try
{
_monJob.print();
}
catch (Exception ex)
{
}
}
});
try {
Class.forName("java.awt.datatransfer.DataFlavor").getDeclaredField("imageFlavor");
mCopyButton.addActionListener(new ActionListener()
{
@Override
public void actionPerformed(ActionEvent ae)
{
try
{
Image i = createImage(mGraphPanel.getWidth(),mGraphPanel.getHeight());
Graphics g = i.getGraphics();
mGraphPanel.paintComponent(g);
ImageTransferable it = new ImageTransferable(i, mGraphPanel.getWidth(), mGraphPanel.getHeight());
Toolkit.getDefaultToolkit().getSystemClipboard().setContents(it, it);
}
catch (Exception e)
{
Logger.error(e);
}
}
});
} catch (Exception ex) { //image clipboard transfer not supported
mCopyButton.setEnabled(false);
}
}
protected class ImageTransferable implements Transferable, ClipboardOwner {
Image image;
int width,height;
DataFlavor javaImg;
public ImageTransferable(Image image, int width, int height) {
this.image = image;
this.width = width;
this.height = height;
try {
javaImg = new DataFlavor("image/x-java-image; class=java.awt.Image", "AWT Image");
} catch (Exception ex){ }
}
@Override
public Object getTransferData(DataFlavor flavor) throws UnsupportedFlavorException {
if (!isDataFlavorSupported(flavor) || image == null) {
throw new UnsupportedFlavorException(flavor);
}
return image;
}
@Override
public boolean isDataFlavorSupported(DataFlavor flavor) {
boolean result = in(flavor, getTransferDataFlavors());
return result;
}
@Override
public DataFlavor[] getTransferDataFlavors() {
return new DataFlavor[] { javaImg };
}
protected boolean in(DataFlavor flavor, DataFlavor[] flavors) {
int f = 0;
while ((f < flavors.length) && !flavor.equals(flavors[f])) {
f++;
}
return f < flavors.length;
}
@Override
public void lostOwnership(Clipboard clipboard, Transferable contents) {
image = null;
}
}
protected void notifyListeners(String newModeId)
{
int i = 0;
EditorModeListener listener = null;
for (i = 0; i < mListenerVector.size(); i++)
{
listener = mListenerVector.elementAt(i);
listener.editorModeChanged(newModeId);
}
}
public void setGraphModelManager(GraphModelManager graphModelManager)
{
mStartVertexController.setGraphModelManager(graphModelManager);
mDeletionController.setGraphModelManager(graphModelManager);
}
public void setGraphPanel(GraphPanel graphPanel)
{
graphPanel.addKeyListener(mDeletionController);
mDeletionController.setGraphPanel(graphPanel);
}
public void addEditorModeListener(EditorModeListener listener)
{
mListenerVector.add(listener);
}
public void removeEditorModeListener(EditorModeListener listener)
{
mListenerVector.remove(listener);
}
public void setGraphEditable(boolean editable)
{
mVertexModeButton.setEnabled(editable);
mEdgeModeButton.setEnabled(editable);
}
public EditorToolBar self()
{
return this;
}
@Override
public int print(Graphics g, PageFormat pf, int i) throws PrinterException
{
if (i >= 1)
{
return Printable.NO_SUCH_PAGE;
}
Graphics2D g2d = (Graphics2D) g;
double scalex = pf.getImageableWidth() / mGraphPanel.getWidth();
double scaley = pf.getImageableHeight() / mGraphPanel.getHeight();
double scale = Math.min(Math.min(scalex, scaley), 1);
g2d.translate(pf.getImageableX(), pf.getImageableY());
g2d.scale(scale, scale);
mGraphPanel.printComponent(g2d);
return Printable.PAGE_EXISTS;
}
}
|