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 | |
package org.argouml.ui; |
40 | |
|
41 | |
import java.awt.BorderLayout; |
42 | |
import java.awt.Color; |
43 | |
import java.awt.Dimension; |
44 | |
import java.awt.GridBagConstraints; |
45 | |
import java.awt.GridBagLayout; |
46 | |
import java.awt.GridLayout; |
47 | |
import java.awt.Insets; |
48 | |
import java.awt.Rectangle; |
49 | |
import java.awt.event.ActionEvent; |
50 | |
import java.awt.event.ActionListener; |
51 | |
import java.awt.event.MouseEvent; |
52 | |
import java.awt.event.MouseListener; |
53 | |
import java.util.ArrayList; |
54 | |
import java.util.List; |
55 | |
|
56 | |
import javax.swing.JButton; |
57 | |
import javax.swing.JComboBox; |
58 | |
import javax.swing.JLabel; |
59 | |
import javax.swing.JPanel; |
60 | |
import javax.swing.JScrollPane; |
61 | |
import javax.swing.JTabbedPane; |
62 | |
import javax.swing.JTextArea; |
63 | |
import javax.swing.border.EmptyBorder; |
64 | |
|
65 | |
import org.argouml.application.api.AbstractArgoJPanel; |
66 | |
import org.argouml.i18n.Translator; |
67 | |
import org.argouml.kernel.ProjectManager; |
68 | |
import org.argouml.model.Model; |
69 | |
import org.argouml.swingext.SpacerPanel; |
70 | |
import org.argouml.uml.PredicateSearch; |
71 | |
import org.argouml.util.ArgoDialog; |
72 | |
import org.argouml.util.Predicate; |
73 | |
import org.argouml.util.PredicateStringMatch; |
74 | |
import org.argouml.util.PredicateType; |
75 | |
|
76 | |
|
77 | |
|
78 | |
|
79 | |
|
80 | |
|
81 | |
|
82 | |
|
83 | |
|
84 | |
|
85 | |
|
86 | |
|
87 | |
|
88 | |
|
89 | |
|
90 | |
|
91 | |
public class FindDialog extends ArgoDialog |
92 | |
implements ActionListener, MouseListener { |
93 | |
|
94 | |
private static FindDialog instance; |
95 | 104 | private static int nextResultNum = 1; |
96 | |
|
97 | |
private static int numFinds; |
98 | |
|
99 | |
|
100 | |
|
101 | |
|
102 | |
private static final int INSET_PX = 3; |
103 | |
|
104 | 104 | private JButton search = |
105 | |
new JButton( |
106 | |
Translator.localize("dialog.find.button.find")); |
107 | 104 | private JButton clearTabs = |
108 | |
new JButton( |
109 | |
Translator.localize("dialog.find.button.clear-tabs")); |
110 | |
|
111 | |
|
112 | 104 | private JPanel nameLocTab = new JPanel(); |
113 | |
|
114 | |
|
115 | |
|
116 | |
|
117 | |
|
118 | |
|
119 | |
|
120 | 104 | private JComboBox elementName = new JComboBox(); |
121 | |
|
122 | 104 | private JComboBox diagramName = new JComboBox(); |
123 | |
|
124 | 104 | private JComboBox location = new JComboBox(); |
125 | |
|
126 | 104 | private JComboBox type = new JComboBox(); |
127 | |
|
128 | 104 | private JPanel typeDetails = new JPanel(); |
129 | |
|
130 | 104 | private JTabbedPane results = new JTabbedPane(); |
131 | |
|
132 | 104 | private JPanel help = new JPanel(); |
133 | |
|
134 | 104 | private List<TabResults> resultTabs = new ArrayList<TabResults>(); |
135 | |
|
136 | |
|
137 | |
|
138 | |
|
139 | |
public static FindDialog getInstance() { |
140 | 107 | if (instance == null) { |
141 | 104 | instance = new FindDialog(); |
142 | |
} |
143 | 107 | return instance; |
144 | |
} |
145 | |
|
146 | |
|
147 | |
|
148 | |
|
149 | |
|
150 | |
public FindDialog() { |
151 | 104 | super(Translator.localize("dialog.find.title"), |
152 | |
ArgoDialog.OK_CANCEL_OPTION, false); |
153 | |
|
154 | 104 | JPanel mainPanel = new JPanel(new BorderLayout()); |
155 | |
|
156 | 104 | initNameLocTab(); |
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 | 104 | mainPanel.add(nameLocTab, BorderLayout.NORTH); |
185 | |
|
186 | 104 | initHelpTab(); |
187 | 104 | results.addTab(Translator.localize("dialog.find.tab.help"), help); |
188 | 104 | mainPanel.add(results, BorderLayout.CENTER); |
189 | |
|
190 | 104 | search.addActionListener(this); |
191 | 104 | results.addMouseListener(this); |
192 | |
|
193 | 104 | clearTabs.addActionListener(this); |
194 | 104 | clearTabs.setEnabled(false); |
195 | |
|
196 | 104 | setContent(mainPanel); |
197 | |
|
198 | 104 | getOkButton().setEnabled(false); |
199 | 104 | } |
200 | |
|
201 | |
|
202 | |
|
203 | |
|
204 | |
private void initNameLocTab() { |
205 | 104 | elementName.setEditable(true); |
206 | |
|
207 | 104 | elementName.getEditor() |
208 | |
.getEditorComponent().setBackground(Color.white); |
209 | 104 | diagramName.setEditable(true); |
210 | 104 | diagramName.getEditor() |
211 | |
.getEditorComponent().setBackground(Color.white); |
212 | |
|
213 | 104 | elementName.addItem("*"); |
214 | 104 | diagramName.addItem("*"); |
215 | |
|
216 | |
|
217 | 104 | GridBagLayout gb = new GridBagLayout(); |
218 | 104 | nameLocTab.setLayout(gb); |
219 | |
|
220 | 104 | JLabel elementNameLabel = |
221 | |
new JLabel( |
222 | |
Translator.localize("dialog.find.label.element-name")); |
223 | 104 | JLabel diagramNameLabel = |
224 | |
new JLabel( |
225 | |
Translator.localize("dialog.find.label.in-diagram")); |
226 | 104 | JLabel typeLabel = |
227 | |
new JLabel( |
228 | |
Translator.localize("dialog.find.label.element-type")); |
229 | 104 | JLabel locLabel = |
230 | |
new JLabel( |
231 | |
Translator.localize("dialog.find.label.find-in")); |
232 | |
|
233 | 104 | location.addItem( |
234 | |
Translator.localize("dialog.find.comboboxitem.entire-project")); |
235 | 104 | initTypes(); |
236 | |
|
237 | 104 | typeDetails.setMinimumSize(new Dimension(200, 100)); |
238 | 104 | typeDetails.setPreferredSize(new Dimension(200, 100)); |
239 | 104 | typeDetails.setSize(new Dimension(200, 100)); |
240 | |
|
241 | 104 | GridBagConstraints c = new GridBagConstraints(); |
242 | 104 | c.fill = GridBagConstraints.BOTH; |
243 | 104 | c.ipadx = 3; c.ipady = 3; |
244 | 104 | c.gridwidth = 1; |
245 | |
|
246 | 104 | c.gridx = 0; c.gridy = 0; |
247 | 104 | c.weightx = 0.0; |
248 | 104 | gb.setConstraints(elementNameLabel, c); |
249 | 104 | nameLocTab.add(elementNameLabel); |
250 | |
|
251 | 104 | c.gridx = 1; c.gridy = 0; |
252 | 104 | c.weightx = 1.0; |
253 | 104 | gb.setConstraints(elementName, c); |
254 | 104 | nameLocTab.add(elementName); |
255 | |
|
256 | 104 | c.gridx = 0; c.gridy = 1; |
257 | 104 | c.weightx = 0.0; |
258 | 104 | gb.setConstraints(diagramNameLabel, c); |
259 | 104 | nameLocTab.add(diagramNameLabel); |
260 | |
|
261 | 104 | c.gridx = 1; c.gridy = 1; |
262 | 104 | c.weightx = 1.0; |
263 | 104 | gb.setConstraints(diagramName, c); |
264 | 104 | nameLocTab.add(diagramName); |
265 | |
|
266 | |
|
267 | |
|
268 | 104 | c.gridx = 0; c.gridy = 3; |
269 | 104 | c.weightx = 0.0; |
270 | 104 | gb.setConstraints(locLabel, c); |
271 | 104 | nameLocTab.add(locLabel); |
272 | |
|
273 | 104 | c.gridx = 1; c.gridy = 3; |
274 | 104 | c.weightx = 1.0; |
275 | 104 | gb.setConstraints(location, c); |
276 | 104 | nameLocTab.add(location); |
277 | |
|
278 | 104 | SpacerPanel spacer = new SpacerPanel(); |
279 | 104 | c.gridx = 2; c.gridy = 0; |
280 | 104 | c.weightx = 0.0; |
281 | 104 | gb.setConstraints(spacer, c); |
282 | 104 | nameLocTab.add(spacer); |
283 | |
|
284 | 104 | c.gridx = 3; c.gridy = 0; |
285 | 104 | c.weightx = 0.0; |
286 | 104 | gb.setConstraints(typeLabel, c); |
287 | 104 | nameLocTab.add(typeLabel); |
288 | |
|
289 | 104 | c.gridx = 4; c.gridy = 0; |
290 | 104 | c.weightx = 1.0; |
291 | 104 | gb.setConstraints(type, c); |
292 | 104 | nameLocTab.add(type); |
293 | |
|
294 | 104 | c.gridx = 3; c.gridy = 1; |
295 | 104 | c.gridwidth = 2; c.gridheight = 5; |
296 | 104 | gb.setConstraints(typeDetails, c); |
297 | 104 | nameLocTab.add(typeDetails); |
298 | |
|
299 | 104 | JPanel searchPanel = new JPanel(); |
300 | 104 | searchPanel.setLayout(new GridLayout(1, 2, 5, 5)); |
301 | 104 | searchPanel.add(clearTabs); |
302 | 104 | searchPanel.add(search); |
303 | 104 | searchPanel.setBorder(new EmptyBorder(10, 10, 10, 10)); |
304 | 104 | c.gridx = 0; c.gridy = 4; |
305 | 104 | c.weightx = 0.0; c.weighty = 0.0; |
306 | 104 | c.gridwidth = 2; c.gridheight = 1; |
307 | 104 | gb.setConstraints(searchPanel, c); |
308 | 104 | nameLocTab.add(searchPanel); |
309 | 104 | } |
310 | |
|
311 | |
|
312 | |
|
313 | |
|
314 | |
private void initHelpTab() { |
315 | 104 | help.setLayout(new BorderLayout()); |
316 | 104 | JTextArea helpText = new JTextArea(); |
317 | 104 | helpText.setText(Translator.localize("dialog.find.helptext")); |
318 | 104 | helpText.setEditable(false); |
319 | 104 | helpText.setMargin(new Insets(INSET_PX, INSET_PX, INSET_PX, INSET_PX)); |
320 | 104 | help.add(new JScrollPane(helpText), BorderLayout.CENTER); |
321 | 104 | } |
322 | |
|
323 | |
|
324 | |
|
325 | |
|
326 | |
|
327 | |
private void initTypes() { |
328 | 104 | type.addItem(PredicateMType.create()); |
329 | |
|
330 | 104 | type.addItem(PredicateMType.create( |
331 | |
Model.getMetaTypes().getUMLClass())); |
332 | 104 | type.addItem(PredicateMType.create( |
333 | |
Model.getMetaTypes().getInterface())); |
334 | 104 | type.addItem(PredicateMType.create( |
335 | |
Model.getMetaTypes().getAction())); |
336 | |
|
337 | |
|
338 | |
|
339 | 104 | type.addItem(PredicateMType.create( |
340 | |
Model.getMetaTypes().getActor())); |
341 | 104 | type.addItem(PredicateMType.create( |
342 | |
Model.getMetaTypes().getAssociation())); |
343 | 104 | type.addItem(PredicateMType.create( |
344 | |
Model.getMetaTypes().getAssociationClass())); |
345 | 104 | type.addItem(PredicateMType.create( |
346 | |
Model.getMetaTypes().getAssociationEndRole())); |
347 | 104 | type.addItem(PredicateMType.create( |
348 | |
Model.getMetaTypes().getAssociationRole())); |
349 | 104 | type.addItem(PredicateMType.create( |
350 | |
Model.getMetaTypes().getArtifact())); |
351 | 104 | type.addItem(PredicateMType.create( |
352 | |
Model.getMetaTypes().getAttribute())); |
353 | 104 | type.addItem(PredicateMType.create( |
354 | |
Model.getMetaTypes().getClassifier())); |
355 | 104 | type.addItem(PredicateMType.create( |
356 | |
Model.getMetaTypes().getClassifierRole())); |
357 | 104 | type.addItem(PredicateMType.create( |
358 | |
Model.getMetaTypes().getCollaboration())); |
359 | 104 | type.addItem(PredicateMType.create( |
360 | |
Model.getMetaTypes().getComment())); |
361 | 104 | type.addItem(PredicateMType.create( |
362 | |
Model.getMetaTypes().getComponent())); |
363 | 104 | type.addItem(PredicateMType.create( |
364 | |
Model.getMetaTypes().getCompositeState())); |
365 | 104 | type.addItem(PredicateMType.create( |
366 | |
Model.getMetaTypes().getConstraint())); |
367 | 104 | type.addItem(PredicateMType.create( |
368 | |
Model.getMetaTypes().getDataType())); |
369 | 104 | type.addItem(PredicateMType.create( |
370 | |
Model.getMetaTypes().getDependency())); |
371 | 104 | type.addItem(PredicateMType.create( |
372 | |
Model.getMetaTypes().getElementImport())); |
373 | 104 | type.addItem(PredicateMType.create( |
374 | |
Model.getMetaTypes().getEnumeration())); |
375 | 104 | type.addItem(PredicateMType.create( |
376 | |
Model.getMetaTypes().getEnumerationLiteral())); |
377 | 104 | type.addItem(PredicateMType.create( |
378 | |
Model.getMetaTypes().getException())); |
379 | 104 | type.addItem(PredicateMType.create( |
380 | |
Model.getMetaTypes().getExtend())); |
381 | 104 | type.addItem(PredicateMType.create( |
382 | |
Model.getMetaTypes().getExtensionPoint())); |
383 | 104 | type.addItem(PredicateMType.create( |
384 | |
Model.getMetaTypes().getGuard())); |
385 | 104 | type.addItem(PredicateMType.create( |
386 | |
Model.getMetaTypes().getGeneralization())); |
387 | 104 | type.addItem(PredicateMType.create( |
388 | |
Model.getMetaTypes().getInclude())); |
389 | 104 | type.addItem(PredicateMType.create( |
390 | |
Model.getMetaTypes().getInstance())); |
391 | 104 | type.addItem(PredicateMType.create( |
392 | |
Model.getMetaTypes().getInteraction())); |
393 | 104 | type.addItem(PredicateMType.create( |
394 | |
Model.getMetaTypes().getInterface())); |
395 | 104 | type.addItem(PredicateMType.create( |
396 | |
Model.getMetaTypes().getLink())); |
397 | 104 | type.addItem(PredicateMType.create( |
398 | |
Model.getMetaTypes().getMessage())); |
399 | 104 | type.addItem(PredicateMType.create( |
400 | |
Model.getMetaTypes().getModel())); |
401 | 104 | type.addItem(PredicateMType.create( |
402 | |
Model.getMetaTypes().getNode())); |
403 | 104 | type.addItem(PredicateMType.create( |
404 | |
Model.getMetaTypes().getPackage())); |
405 | 104 | type.addItem(PredicateMType.create( |
406 | |
Model.getMetaTypes().getParameter())); |
407 | 104 | type.addItem(PredicateMType.create( |
408 | |
Model.getMetaTypes().getPartition())); |
409 | 104 | type.addItem(PredicateMType.create( |
410 | |
Model.getMetaTypes().getPseudostate())); |
411 | 104 | type.addItem(PredicateMType.create( |
412 | |
Model.getMetaTypes().getOperation())); |
413 | 104 | type.addItem(PredicateMType.create( |
414 | |
Model.getMetaTypes().getSignal())); |
415 | 104 | type.addItem(PredicateMType.create( |
416 | |
Model.getMetaTypes().getState())); |
417 | 104 | type.addItem(PredicateMType.create( |
418 | |
Model.getMetaTypes().getStateMachine())); |
419 | 104 | type.addItem(PredicateMType.create( |
420 | |
Model.getMetaTypes().getStateVertex())); |
421 | 104 | type.addItem(PredicateMType.create( |
422 | |
Model.getMetaTypes().getStereotype())); |
423 | 104 | type.addItem(PredicateMType.create( |
424 | |
Model.getMetaTypes().getTagDefinition())); |
425 | |
|
426 | |
|
427 | |
|
428 | |
|
429 | |
|
430 | |
|
431 | |
|
432 | 104 | type.addItem(PredicateMType.create( |
433 | |
Model.getMetaTypes().getTransition())); |
434 | 104 | type.addItem(PredicateMType.create( |
435 | |
Model.getMetaTypes().getUseCase())); |
436 | |
|
437 | |
|
438 | 104 | if (Model.getFacade().getUmlVersion().charAt(0) == '1') { |
439 | 104 | type.addItem(PredicateMType.create( |
440 | |
Model.getMetaTypes().getSimpleState())); |
441 | 104 | type.addItem(PredicateMType.create( |
442 | |
Model.getMetaTypes().getTaggedValue())); |
443 | |
} |
444 | 104 | } |
445 | |
|
446 | |
|
447 | |
|
448 | |
|
449 | |
@Override |
450 | |
protected void nameButtons() { |
451 | 104 | super.nameButtons(); |
452 | 104 | nameButton(getOkButton(), "button.go-to-selection"); |
453 | 104 | nameButton(getCancelButton(), "button.close"); |
454 | 104 | } |
455 | |
|
456 | |
|
457 | |
|
458 | |
|
459 | |
|
460 | |
@Override |
461 | |
public void actionPerformed(ActionEvent e) { |
462 | 0 | if (e.getSource() == search) { |
463 | 0 | doSearch(); |
464 | 0 | } else if (e.getSource() == clearTabs) { |
465 | 0 | doClearTabs(); |
466 | 0 | } else if (e.getSource() == getOkButton()) { |
467 | 0 | doGoToSelection(); |
468 | |
} else { |
469 | 0 | super.actionPerformed(e); |
470 | |
} |
471 | 0 | } |
472 | |
|
473 | |
|
474 | |
|
475 | |
|
476 | |
|
477 | |
private void doSearch() { |
478 | 0 | numFinds++; |
479 | 0 | String eName = ""; |
480 | 0 | if (elementName.getSelectedItem() != null) { |
481 | 0 | eName += elementName.getSelectedItem(); |
482 | 0 | elementName.removeItem(eName); |
483 | 0 | elementName.insertItemAt(eName, 0); |
484 | 0 | elementName.setSelectedItem(eName); |
485 | |
} |
486 | 0 | String dName = ""; |
487 | 0 | if (diagramName.getSelectedItem() != null) { |
488 | 0 | dName += diagramName.getSelectedItem(); |
489 | 0 | diagramName.removeItem(dName); |
490 | 0 | diagramName.insertItemAt(dName, 0); |
491 | 0 | diagramName.setSelectedItem(dName); |
492 | |
} |
493 | 0 | String name = eName; |
494 | 0 | if (dName.length() > 0) { |
495 | 0 | Object[] msgArgs = {name, dName }; |
496 | 0 | name = |
497 | |
Translator.messageFormat( |
498 | |
"dialog.find.comboboxitem.element-in-diagram", msgArgs); |
499 | |
|
500 | |
} |
501 | 0 | String typeName = type.getSelectedItem().toString(); |
502 | 0 | if (!typeName.equals("Any Type")) { |
503 | 0 | name += " " + typeName; |
504 | |
} |
505 | 0 | if (name.length() == 0) { |
506 | 0 | name = |
507 | |
Translator.localize("dialog.find.tabname") + (nextResultNum++); |
508 | |
} |
509 | 0 | if (name.length() > 15) { |
510 | |
|
511 | 0 | name = name.substring(0, 12) + "..."; |
512 | |
} |
513 | |
|
514 | 0 | String pName = ""; |
515 | |
|
516 | 0 | Predicate eNamePred = PredicateStringMatch.create(eName); |
517 | 0 | Predicate pNamePred = PredicateStringMatch.create(pName); |
518 | 0 | Predicate dNamePred = PredicateStringMatch.create(dName); |
519 | 0 | Predicate typePred = (Predicate) type.getSelectedItem(); |
520 | 0 | PredicateSearch pred = |
521 | |
new PredicateSearch(eNamePred, pNamePred, dNamePred, typePred); |
522 | |
|
523 | 0 | ChildGenSearch gen = new ChildGenSearch(); |
524 | 0 | Object root = ProjectManager.getManager().getCurrentProject(); |
525 | |
|
526 | 0 | TabResults newResults = new TabResults(); |
527 | 0 | newResults.setTitle(name); |
528 | 0 | newResults.setPredicate(pred); |
529 | 0 | newResults.setRoot(root); |
530 | 0 | newResults.setGenerator(gen); |
531 | 0 | resultTabs.add(newResults); |
532 | 0 | results.addTab(name, newResults); |
533 | 0 | clearTabs.setEnabled(true); |
534 | 0 | getOkButton().setEnabled(true); |
535 | 0 | results.setSelectedComponent(newResults); |
536 | 0 | Object[] msgArgs = {name }; |
537 | 0 | location.addItem(Translator.messageFormat( |
538 | |
"dialog.find.comboboxitem.in-tab", msgArgs)); |
539 | 0 | invalidate(); |
540 | 0 | results.invalidate(); |
541 | 0 | validate(); |
542 | 0 | newResults.run(); |
543 | 0 | newResults.requestFocus(); |
544 | 0 | newResults.selectResult(0); |
545 | 0 | } |
546 | |
|
547 | |
|
548 | |
|
549 | |
|
550 | |
|
551 | |
|
552 | |
public void reset() { |
553 | 68 | doClearTabs(); |
554 | 68 | doResetFields(true); |
555 | 68 | } |
556 | |
|
557 | |
|
558 | |
|
559 | |
|
560 | |
private void doClearTabs() { |
561 | 68 | int numTabs = resultTabs.size(); |
562 | 68 | for (int i = 0; i < numTabs; i++) { |
563 | 0 | results.remove(resultTabs.get(i)); |
564 | |
} |
565 | 68 | resultTabs.clear(); |
566 | 68 | clearTabs.setEnabled(false); |
567 | 68 | getOkButton().setEnabled(false); |
568 | 68 | doResetFields(false); |
569 | 68 | } |
570 | |
|
571 | |
|
572 | |
|
573 | |
|
574 | |
|
575 | |
|
576 | |
|
577 | |
|
578 | |
|
579 | |
private void doResetFields(boolean complete) { |
580 | 136 | if (complete) { |
581 | 68 | elementName.removeAllItems(); |
582 | 68 | diagramName.removeAllItems(); |
583 | 68 | elementName.addItem("*"); |
584 | 68 | diagramName.addItem("*"); |
585 | |
} |
586 | 136 | location.removeAllItems(); |
587 | 136 | location.addItem( |
588 | |
Translator.localize("dialog.find.comboboxitem.entire-project")); |
589 | 136 | } |
590 | |
|
591 | |
|
592 | |
|
593 | |
|
594 | |
private void doGoToSelection() { |
595 | 0 | if (results.getSelectedComponent() instanceof TabResults) { |
596 | 0 | ((TabResults) results.getSelectedComponent()).doDoubleClick(); |
597 | |
} |
598 | 0 | } |
599 | |
|
600 | |
|
601 | |
|
602 | |
|
603 | |
|
604 | |
|
605 | |
|
606 | |
|
607 | |
public void mousePressed(MouseEvent me) { |
608 | |
|
609 | 0 | } |
610 | |
|
611 | |
|
612 | |
|
613 | |
|
614 | |
public void mouseReleased(MouseEvent me) { |
615 | |
|
616 | 0 | } |
617 | |
|
618 | |
|
619 | |
|
620 | |
|
621 | |
public void mouseEntered(MouseEvent me) { |
622 | |
|
623 | 0 | } |
624 | |
|
625 | |
|
626 | |
|
627 | |
|
628 | |
public void mouseExited(MouseEvent me) { |
629 | |
|
630 | 0 | } |
631 | |
|
632 | |
|
633 | |
|
634 | |
|
635 | |
public void mouseClicked(MouseEvent me) { |
636 | 0 | int tab = results.getSelectedIndex(); |
637 | 0 | if (tab != -1) { |
638 | 0 | Rectangle tabBounds = results.getBoundsAt(tab); |
639 | 0 | if (!tabBounds.contains(me.getX(), me.getY())) { |
640 | 0 | return; |
641 | |
} |
642 | 0 | if (tab >= 1 && me.getClickCount() >= 2) { |
643 | 0 | myDoubleClick(tab - 1); |
644 | |
} |
645 | |
} |
646 | 0 | } |
647 | |
|
648 | |
|
649 | |
|
650 | |
|
651 | |
|
652 | |
|
653 | |
|
654 | |
|
655 | |
private void myDoubleClick(int tab) { |
656 | 0 | JPanel t = resultTabs.get(tab); |
657 | 0 | if (t instanceof AbstractArgoJPanel) { |
658 | 0 | if (((AbstractArgoJPanel) t).spawn() != null) { |
659 | 0 | resultTabs.remove(tab); |
660 | 0 | location.removeItem("In Tab: " |
661 | |
+ ((AbstractArgoJPanel) t).getTitle()); |
662 | |
} |
663 | |
} |
664 | 0 | } |
665 | |
|
666 | |
|
667 | |
|
668 | |
|
669 | |
private static final long serialVersionUID = 9209251878896557216L; |
670 | |
} |
671 | |
|
672 | |
|
673 | |
|
674 | |
|
675 | |
|
676 | |
|
677 | |
|
678 | |
|
679 | |
class PredicateMType extends PredicateType { |
680 | |
|
681 | |
|
682 | |
|
683 | |
|
684 | |
|
685 | |
protected PredicateMType(Class[] pats) { |
686 | 5200 | super(pats, pats.length); |
687 | 5200 | } |
688 | |
|
689 | |
|
690 | |
|
691 | |
|
692 | |
|
693 | |
|
694 | |
|
695 | |
protected PredicateMType(Class[] pats, int numPats) { |
696 | 104 | super(pats, numPats); |
697 | 104 | } |
698 | |
|
699 | |
|
700 | |
|
701 | |
|
702 | |
|
703 | |
|
704 | |
public static PredicateType create() { |
705 | 104 | return new PredicateMType(null, 0); |
706 | |
} |
707 | |
|
708 | |
|
709 | |
|
710 | |
|
711 | |
|
712 | |
|
713 | |
|
714 | |
public static PredicateType create(Object c0) { |
715 | 5200 | Class[] classes = new Class[1]; |
716 | 5200 | classes[0] = (Class) c0; |
717 | 5200 | return new PredicateMType(classes); |
718 | |
} |
719 | |
|
720 | |
|
721 | |
|
722 | |
|
723 | |
|
724 | |
|
725 | |
|
726 | |
|
727 | |
public static PredicateType create(Object c0, Object c1) { |
728 | 0 | Class[] classes = new Class[2]; |
729 | 0 | classes[0] = (Class) c0; |
730 | 0 | classes[1] = (Class) c1; |
731 | 0 | return new PredicateMType(classes); |
732 | |
} |
733 | |
|
734 | |
|
735 | |
|
736 | |
|
737 | |
|
738 | |
|
739 | |
|
740 | |
|
741 | |
|
742 | |
public static PredicateType create(Object c0, Object c1, Object c2) { |
743 | 0 | Class[] classes = new Class[3]; |
744 | 0 | classes[0] = (Class) c0; |
745 | 0 | classes[1] = (Class) c1; |
746 | 0 | classes[2] = (Class) c2; |
747 | 0 | return new PredicateMType(classes); |
748 | |
} |
749 | |
|
750 | |
|
751 | |
@Override |
752 | |
public String toString() { |
753 | 5452 | String result = super.toString(); |
754 | |
|
755 | |
|
756 | |
|
757 | 5452 | if (result.startsWith("Uml")) { |
758 | 416 | result = result.substring(3); |
759 | |
} |
760 | 5452 | return result; |
761 | |
} |
762 | |
|
763 | |
|
764 | |
|
765 | |
|
766 | |
private static final long serialVersionUID = 901828109709882796L; |
767 | |
} |