1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21 package unbbayes.controller;
22
23 import java.io.Serializable;
24
25 import javax.swing.ImageIcon;
26
27
28
29
30
31
32
33
34
35 public class IconController implements Serializable {
36
37 private static final long serialVersionUID = 1L;
38
39 private static IconController singleton;
40
41 protected ImageIcon unbbayesIcon;
42
43 protected ImageIcon homeIcon;
44
45 protected ImageIcon metalIcon;
46
47 protected ImageIcon motifIcon;
48
49 protected ImageIcon windowsIcon;
50
51 protected ImageIcon cascadeIcon;
52
53 protected ImageIcon tileIcon;
54
55 protected ImageIcon helpIcon;
56
57 protected ImageIcon globalOptionIcon;
58
59 protected ImageIcon printIcon;
60
61 protected ImageIcon visualizeIcon;
62
63 protected ImageIcon openIcon;
64
65 protected ImageIcon evaluateIcon;
66
67 protected ImageIcon compileIcon;
68
69 protected ImageIcon saveIcon;
70
71 protected ImageIcon returnIcon;
72
73 protected ImageIcon openMetaphorIcon;
74
75 protected ImageIcon saveMetaphorIcon;
76
77 protected ImageIcon diagnosticMetaphorIcon;
78
79 protected ImageIcon openMetaphorRollOverIcon;
80
81 protected ImageIcon saveMetaphorRollOverIcon;
82
83 protected ImageIcon diagnosticMetaphorRollOverIcon;
84
85 protected ImageIcon yesStateIcon;
86
87 protected ImageIcon noStateIcon;
88
89 protected ImageIcon emptyStateIcon;
90
91 protected ImageIcon moreIcon;
92
93 protected ImageIcon lessIcon;
94
95 protected ImageIcon folderSmallIcon;
96
97 protected ImageIcon colapseIcon;
98
99 protected ImageIcon expandIcon;
100
101 protected ImageIcon propagateIcon;
102
103 protected ImageIcon printTableIcon;
104
105 protected ImageIcon printPreviewTableIcon;
106
107 protected ImageIcon edgeIcon;
108
109 protected ImageIcon printNetIcon;
110
111 protected ImageIcon printPreviewNetIcon;
112
113 protected ImageIcon saveNetIcon;
114
115 protected ImageIcon folderSmallDisabledIcon;
116
117 protected ImageIcon yellowBallIcon;
118
119 protected ImageIcon greenBallIcon;
120
121 protected ImageIcon grayBorderIcon;
122
123 protected ImageIcon grayBoxIcon;
124
125 protected ImageIcon arffFileIcon = new ImageIcon(getClass().getResource(
126 "/icons/arff-file.gif"));
127
128 protected ImageIcon txtFileIcon = new ImageIcon(getClass().getResource(
129 "/icons/txt-file.gif"));
130
131 protected ImageIcon netFileIcon = new ImageIcon(getClass().getResource(
132 "/icons/net-file.gif"));
133
134 protected ImageIcon deleteFolderIcon;
135
136 protected ImageIcon renameFolderIcon;
137
138 protected ImageIcon addFolderIcon;
139
140 protected ImageIcon editIcon;
141
142 protected ImageIcon newIcon;
143
144 protected ImageIcon newBNIcon;
145
146
147
148 protected ImageIcon informationIcon;
149
150 protected ImageIcon initializeIcon;
151
152 protected ImageIcon ellipsisIcon;
153
154 protected ImageIcon decisionNodeIcon;
155
156
157 protected ImageIcon LineCursor;
158
159 protected ImageIcon decisionNodeCursor;
160
161 protected ImageIcon utilityNodeCursor;
162
163 protected ImageIcon residentNodeCursor;
164
165 protected ImageIcon ovariableNodeCursor;
166
167 protected ImageIcon inputNodeCursor;
168
169 protected ImageIcon ellipsisNodeCursor;
170
171 protected ImageIcon continueNodeCursor;
172
173 protected ImageIcon contextNodeCursor;
174
175 protected ImageIcon utilityNodeIcon;
176
177 protected ImageIcon selectionIcon;
178
179 protected ImageIcon saveTableIcon;
180
181 protected ImageIcon hierarchyIcon;
182
183 protected ImageIcon gridIcon;
184
185 protected ImageIcon fillIcon;
186
187 protected ImageIcon resetSizeIcon;
188
189 protected ImageIcon openModelIcon;
190
191
192
193
194
195
196 protected ImageIcon contextNodeIcon;
197
198 protected ImageIcon inputNodeIcon;
199
200 protected ImageIcon residentNodeIcon;
201
202 protected ImageIcon mfragIcon;
203
204 protected ImageIcon borderResidentNodeIcon;
205
206 protected ImageIcon borderInputNodeIcon;
207
208 protected ImageIcon borderContextNodeIcon;
209
210 protected ImageIcon borderMfragIcon;
211
212 protected ImageIcon boxResidentNodeIcon;
213
214 protected ImageIcon boxInputNodeIcon;
215
216 protected ImageIcon boxContextNodeIcon;
217
218 protected ImageIcon boxMfragIcon;
219
220 protected ImageIcon eyeIcon;
221
222 protected ImageIcon xIcon;
223
224 protected ImageIcon orangeNodeIcon;
225
226
227 protected ImageIcon continousNodeIcon;
228
229 protected ImageIcon greenNodeIcon;
230
231 protected ImageIcon blueNodeIcon;
232
233 protected ImageIcon grayNodeIcon;
234
235 protected ImageIcon yellowNodeIcon;
236
237 protected ImageIcon mTheoryNodeIcon;
238
239 protected ImageIcon setBoxIcon;
240
241 protected ImageIcon functIcon;
242
243 protected ImageIcon stateIcon;
244
245 protected ImageIcon entityInstanceIcon;
246
247 protected ImageIcon objectEntityIcon;
248
249 protected ImageIcon ovariableNodeIcon;
250
251 protected ImageIcon nodeNodeIcon;
252
253 protected ImageIcon skolenNodeIcon;
254
255 protected ImageIcon emptyNodeIcon;
256
257 protected ImageIcon argumentsIcon;
258
259 protected ImageIcon downIcon;
260
261 protected ImageIcon upIcon;
262
263 protected ImageIcon boxVariablesIcon;
264
265 protected ImageIcon booleanIcon;
266
267 protected ImageIcon entityStateIcon;
268
269 protected ImageIcon booleanStateIcon;
270
271 protected ImageIcon categoryStateIcon;
272
273 protected ImageIcon saveFindingsIcon;
274
275 protected ImageIcon loadFindingsIcon;
276
277 protected ImageIcon ssbnIcon;
278
279
280
281 protected ImageIcon andIcon;
282
283 protected ImageIcon orIcon;
284
285 protected ImageIcon notIcon;
286
287 protected ImageIcon equalIcon;
288
289 protected ImageIcon impliesIcon;
290
291 protected ImageIcon forallIcon;
292
293 protected ImageIcon existsIcon;
294
295 protected ImageIcon iffIcon;
296
297
298 protected ImageIcon editClear;
299
300 protected ImageIcon editUndo;
301
302 protected ImageIcon editDelete;
303
304 protected ImageIcon edit;
305
306 protected ImageIcon nodeInstance;
307
308 protected ImageIcon entityInstance;
309
310 protected ImageIcon goNextIcon;
311
312 protected ImageIcon goPreviousIcon;
313
314 protected ImageIcon processStopIcon;
315
316 protected ImageIcon arrowIcon;
317
318 protected ImageIcon triangleIcon;
319
320 protected ImageIcon warningIcon;
321
322 protected ImageIcon deleteClassIcon;
323
324 protected ImageIcon newClassIcon;
325
326 protected ImageIcon newClassFromFileIcon;
327
328 protected ImageIcon changeNodeTypeIcon;
329
330 protected ImageIcon tableIcon = new ImageIcon(getClass().getResource(
331 "/icons/tableIcon.png"));
332
333
334
335 public static IconController getInstance() {
336 if (singleton == null) {
337 singleton = new IconController();
338 }
339 return singleton;
340 }
341
342 protected IconController() {
343 }
344
345 public ImageIcon getTriangleIcon() {
346 if (triangleIcon != null) {
347 return triangleIcon;
348 } else {
349 triangleIcon = new ImageIcon(getClass()
350 .getResource("/icons/triangle.gif"));
351 return triangleIcon;
352 }
353 }
354
355 public ImageIcon getWarningIcon() {
356 if (warningIcon != null) {
357 return warningIcon;
358 } else {
359 warningIcon = new ImageIcon(getClass()
360 .getResource("/icons/emblem-important.png"));
361 return warningIcon;
362 }
363 }
364
365 public ImageIcon getUnBBayesIcon() {
366 if (unbbayesIcon != null) {
367 return unbbayesIcon;
368 } else {
369 unbbayesIcon = new ImageIcon(getClass()
370 .getResource("/icons/unbbayes.png"));
371 return unbbayesIcon;
372 }
373 }
374
375 public ImageIcon getMetalIcon() {
376 if (metalIcon != null) {
377 return metalIcon;
378 } else {
379 metalIcon = new ImageIcon(getClass()
380 .getResource("/icons/metal.gif"));
381 return metalIcon;
382 }
383 }
384
385 public ImageIcon getMotifIcon() {
386 if (motifIcon != null) {
387 return motifIcon;
388 } else {
389 motifIcon = new ImageIcon(getClass()
390 .getResource("/icons/motif.gif"));
391 return motifIcon;
392 }
393 }
394
395 public ImageIcon getWindowsIcon() {
396 if (windowsIcon != null) {
397 return windowsIcon;
398 } else {
399 windowsIcon = new ImageIcon(getClass().getResource(
400 "/icons/windows.gif"));
401 return windowsIcon;
402 }
403 }
404
405 public ImageIcon getCascadeIcon() {
406 if (cascadeIcon != null) {
407 return cascadeIcon;
408 } else {
409 cascadeIcon = new ImageIcon(getClass().getResource(
410 "/icons/cascade.gif"));
411 return cascadeIcon;
412 }
413 }
414
415 public ImageIcon getTileIcon() {
416 if (tileIcon != null) {
417 return tileIcon;
418 } else {
419 tileIcon = new ImageIcon(getClass().getResource("/icons/tile.gif"));
420 return tileIcon;
421 }
422 }
423
424 public ImageIcon getHelpIcon() {
425 if (helpIcon != null) {
426 return helpIcon;
427 } else {
428 helpIcon = new ImageIcon(getClass().getResource("/icons/help.gif"));
429 return helpIcon;
430 }
431 }
432
433 public ImageIcon getGlobalOptionIcon() {
434 if (globalOptionIcon != null) {
435 return globalOptionIcon;
436 } else {
437 globalOptionIcon = new ImageIcon(getClass().getResource(
438 "/icons/preferences-system.png"));
439 return globalOptionIcon;
440 }
441 }
442
443 public ImageIcon getPrintIcon() {
444 if (printIcon != null) {
445 return printIcon;
446 } else {
447 printIcon = new ImageIcon(getClass()
448 .getResource("/icons/document-print.png"));
449 return printIcon;
450 }
451 }
452
453 public ImageIcon getVisualizeIcon() {
454 if (visualizeIcon != null) {
455 return visualizeIcon;
456 } else {
457 visualizeIcon = new ImageIcon(getClass().getResource(
458 "/icons/visualize.gif"));
459 return visualizeIcon;
460 }
461 }
462
463 public ImageIcon getEvaluateIcon() {
464 if (evaluateIcon != null) {
465 return evaluateIcon;
466 } else {
467 evaluateIcon = new ImageIcon(getClass().getResource(
468 "/icons/eye.gif"));
469 return evaluateIcon;
470 }
471 }
472
473 public ImageIcon getCompileIcon() {
474 if (compileIcon != null) {
475 return compileIcon;
476 } else {
477 compileIcon = new ImageIcon(getClass().getResource(
478 "/icons/compile.gif"));
479 return compileIcon;
480 }
481 }
482
483 public ImageIcon getOpenIcon() {
484 if (openIcon != null) {
485 return openIcon;
486 } else {
487 openIcon = new ImageIcon(getClass().getResource("/icons/document-open.png"));
488 return openIcon;
489 }
490 }
491
492 public ImageIcon getSaveIcon() {
493 if (saveIcon != null) {
494 return saveIcon;
495 } else {
496 saveIcon = new ImageIcon(getClass().getResource("/icons/document-save.png"));
497 return saveIcon;
498 }
499 }
500
501 public ImageIcon getReturnIcon() {
502 if (returnIcon != null) {
503 return returnIcon;
504 } else {
505 returnIcon = new ImageIcon(getClass().getResource(
506 "/icons/return.gif"));
507 return returnIcon;
508 }
509 }
510
511 public ImageIcon getDiagnosticMetaphorIcon() {
512 if (diagnosticMetaphorIcon != null) {
513 return diagnosticMetaphorIcon;
514 } else {
515 diagnosticMetaphorIcon = new ImageIcon(getClass().getResource(
516 "/icons/diagnostic-metaphor.gif"));
517 return diagnosticMetaphorIcon;
518 }
519 }
520
521 public ImageIcon getDiagnosticMetaphorRollOverIcon() {
522 if (diagnosticMetaphorRollOverIcon != null) {
523 return diagnosticMetaphorRollOverIcon;
524 } else {
525 diagnosticMetaphorRollOverIcon = new ImageIcon(getClass()
526 .getResource("/icons/diagnostics-metaphor.gif"));
527 return diagnosticMetaphorRollOverIcon;
528 }
529 }
530
531 public ImageIcon getOpenMetaphorIcon() {
532 if (openMetaphorIcon != null) {
533 return openMetaphorIcon;
534 } else {
535 openMetaphorIcon = new ImageIcon(getClass().getResource(
536 "/icons/open-metaphor.gif"));
537 return openMetaphorIcon;
538 }
539 }
540
541 public ImageIcon getOpenMetaphorRollOverIcon() {
542 if (openMetaphorRollOverIcon != null) {
543 return openMetaphorRollOverIcon;
544 } else {
545 openMetaphorRollOverIcon = new ImageIcon(getClass().getResource(
546 "/icons/opens-metaphor.gif"));
547 return openMetaphorRollOverIcon;
548 }
549 }
550
551 public ImageIcon getSaveMetaphorIcon() {
552 if (saveMetaphorIcon != null) {
553 return saveMetaphorIcon;
554 } else {
555 saveMetaphorIcon = new ImageIcon(getClass().getResource(
556 "/icons/save-metaphor.gif"));
557 return saveMetaphorIcon;
558 }
559 }
560
561 public ImageIcon getSaveMetaphorRollOverIcon() {
562 if (saveMetaphorRollOverIcon != null) {
563 return saveMetaphorRollOverIcon;
564 } else {
565 saveMetaphorRollOverIcon = new ImageIcon(getClass().getResource(
566 "/icons/saves-metaphor.gif"));
567 return saveMetaphorRollOverIcon;
568 }
569 }
570
571 public ImageIcon getEmptyStateIcon() {
572 if (emptyStateIcon != null) {
573 return emptyStateIcon;
574 } else {
575 emptyStateIcon = new ImageIcon(getClass().getResource(
576 "/icons/empty-state.gif"));
577 return emptyStateIcon;
578 }
579 }
580
581 public ImageIcon getFolderSmallIcon() {
582 if (folderSmallIcon != null) {
583 return folderSmallIcon;
584 } else {
585 folderSmallIcon = new ImageIcon(getClass().getResource(
586 "/icons/folder-small.gif"));
587 return folderSmallIcon;
588 }
589 }
590
591 public ImageIcon getMoreIcon() {
592 if (moreIcon != null) {
593 return moreIcon;
594 } else {
595 moreIcon = new ImageIcon(getClass().getResource("/icons/list-add.png"));
596 return moreIcon;
597 }
598 }
599
600 public ImageIcon getNoStateIcon() {
601 if (noStateIcon != null) {
602 return noStateIcon;
603 } else {
604 noStateIcon = new ImageIcon(getClass().getResource(
605 "/icons/no-state.gif"));
606 return noStateIcon;
607 }
608 }
609
610 public ImageIcon getYesStateIcon() {
611 if (yesStateIcon != null) {
612 return yesStateIcon;
613 } else {
614 yesStateIcon = new ImageIcon(getClass().getResource(
615 "/icons/yes-state.gif"));
616 return yesStateIcon;
617 }
618 }
619
620 public ImageIcon getColapseIcon() {
621 if (colapseIcon != null) {
622 return colapseIcon;
623 } else {
624 colapseIcon = new ImageIcon(getClass().getResource(
625 "/icons/contract-nodes.gif"));
626 return colapseIcon;
627 }
628 }
629
630 public ImageIcon getHomeIcon() {
631 if (homeIcon != null) {
632 return homeIcon;
633 } else {
634 homeIcon = new ImageIcon(getClass().getResource(
635 "/icons/home.png"));
636 return homeIcon;
637 }
638 }
639
640 public ImageIcon getExpandIcon() {
641 if (expandIcon != null) {
642 return expandIcon;
643 } else {
644 expandIcon = new ImageIcon(getClass().getResource(
645 "/icons/expand-nodes.gif"));
646 return expandIcon;
647 }
648 }
649
650 public ImageIcon getPropagateIcon() {
651 if (propagateIcon != null) {
652 return propagateIcon;
653 } else {
654 propagateIcon = new ImageIcon(getClass().getResource(
655 "/icons/propagate.gif"));
656 return propagateIcon;
657 }
658 }
659
660 public ImageIcon getPrintPreviewTableIcon() {
661 if (printPreviewTableIcon != null) {
662 return printPreviewTableIcon;
663 } else {
664 printPreviewTableIcon = new ImageIcon(getClass().getResource(
665 "/icons/document-print-preview-table.png"));
666 return printPreviewTableIcon;
667 }
668 }
669
670 public ImageIcon getPrintTableIcon() {
671 if (printTableIcon != null) {
672 return printTableIcon;
673 } else {
674 printTableIcon = new ImageIcon(getClass().getResource(
675 "/icons/document-print-table.png"));
676 return printTableIcon;
677 }
678 }
679
680 public ImageIcon getEdgeIcon() {
681 if (edgeIcon != null) {
682 return edgeIcon;
683 } else {
684 edgeIcon = new ImageIcon(getClass().getResource("/icons/arc.gif"));
685 return edgeIcon;
686 }
687 }
688
689 public ImageIcon getPrintNetIcon() {
690 if (printNetIcon != null) {
691 return printNetIcon;
692 } else {
693 printNetIcon = new ImageIcon(getClass().getResource(
694 "/icons/document-print-graph.png"));
695 return printNetIcon;
696 }
697 }
698
699 public ImageIcon getPrintPreviewNetIcon() {
700 if (printPreviewNetIcon != null) {
701 return printPreviewNetIcon;
702 } else {
703 printPreviewNetIcon = new ImageIcon(getClass().getResource(
704 "/icons/document-print-preview-graph.png"));
705 return printPreviewNetIcon;
706 }
707 }
708
709 public ImageIcon getSaveNetIcon() {
710 if (saveNetIcon != null) {
711 return saveNetIcon;
712 } else {
713 saveNetIcon = new ImageIcon(getClass().getResource(
714 "/icons/document-save-graph.png"));
715 return saveNetIcon;
716 }
717 }
718
719 public ImageIcon getFolderSmallDisabledIcon() {
720 if (folderSmallDisabledIcon != null) {
721 return folderSmallDisabledIcon;
722 } else {
723 folderSmallDisabledIcon = new ImageIcon(getClass().getResource(
724 "/icons/folder-small-disabled.gif"));
725 return folderSmallDisabledIcon;
726 }
727 }
728
729 public ImageIcon getGreenBallIcon() {
730 if (greenBallIcon != null) {
731 return greenBallIcon;
732 } else {
733 greenBallIcon = new ImageIcon(getClass().getResource(
734 "/icons/green-ball.gif"));
735 return greenBallIcon;
736 }
737 }
738
739
740 public ImageIcon getYellowBallIcon() {
741 if (yellowBallIcon != null) {
742 return yellowBallIcon;
743 } else {
744 yellowBallIcon = new ImageIcon(getClass().getResource(
745 "/icons/yellow-ball.gif"));
746 return yellowBallIcon;
747 }
748 }
749
750 public ImageIcon getNetFileIcon() {
751 return netFileIcon;
752 }
753
754 public ImageIcon getTxtFileIcon() {
755 return txtFileIcon;
756 }
757
758 public ImageIcon getArffFileIcon() {
759 return arffFileIcon;
760 }
761
762 public ImageIcon getAddFolderIcon() {
763 if (addFolderIcon != null) {
764 return addFolderIcon;
765 } else {
766 addFolderIcon = new ImageIcon(getClass().getResource(
767 "/icons/add-folder.gif"));
768 return addFolderIcon;
769 }
770 }
771
772 public ImageIcon getDeleteFolderIcon() {
773 if (deleteFolderIcon != null) {
774 return deleteFolderIcon;
775 } else {
776 deleteFolderIcon = new ImageIcon(getClass().getResource(
777 "/icons/delete-folder.gif"));
778 return deleteFolderIcon;
779 }
780 }
781
782 public ImageIcon getEditIcon() {
783 if (editIcon != null) {
784 return editIcon;
785 } else {
786 editIcon = new ImageIcon(getClass().getResource("/icons/edit-paste.png"));
787 return editIcon;
788 }
789 }
790
791 public ImageIcon getRenameFolderIcon() {
792 if (renameFolderIcon != null) {
793 return renameFolderIcon;
794 } else {
795 renameFolderIcon = new ImageIcon(getClass().getResource(
796 "/icons/rename-folder.gif"));
797 return renameFolderIcon;
798 }
799 }
800
801 public ImageIcon getNewIcon() {
802 if (newIcon != null) {
803 return newIcon;
804 } else {
805 newIcon = new ImageIcon(getClass().getResource("/icons/document-new.png"));
806 return newIcon;
807 }
808 }
809
810 public ImageIcon getNewBNIcon() {
811 if (newBNIcon != null) {
812 return newBNIcon;
813 } else {
814 newBNIcon = new ImageIcon(getClass().getResource("/icons/new-bn.png"));
815 return newBNIcon;
816 }
817 }
818
819
820
821
822 public ImageIcon getLessIcon() {
823 if (lessIcon != null) {
824 return lessIcon;
825 } else {
826 lessIcon = new ImageIcon(getClass().getResource("/icons/list-remove.png"));
827 return lessIcon;
828 }
829 }
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849 public ImageIcon getInformationIcon() {
850 if (informationIcon != null) {
851 return informationIcon;
852 } else {
853 informationIcon = new ImageIcon(getClass().getResource(
854 "/icons/information.gif"));
855 return informationIcon;
856 }
857 }
858
859 public ImageIcon getInitializeIcon() {
860 if (initializeIcon != null) {
861 return initializeIcon;
862 } else {
863 initializeIcon = new ImageIcon(getClass().getResource(
864 "/icons/initialize.gif"));
865 return initializeIcon;
866 }
867 }
868
869
870 public ImageIcon getLineCursor() {
871 if (LineCursor != null) {
872 return LineCursor;
873 } else {
874 LineCursor = new ImageIcon(getClass().getResource(
875 "/icons/cursor-line.gif"));
876 return LineCursor;
877 }
878 }
879
880
881 public ImageIcon getContextNodeCursor() {
882 if (contextNodeCursor != null) {
883 return contextNodeCursor;
884 } else {
885 contextNodeCursor = new ImageIcon(getClass().getResource(
886 "/icons/cursor-context.gif"));
887 return contextNodeCursor;
888 }
889 }
890
891
892 public ImageIcon getContinueNodeCursor() {
893 if (continueNodeCursor != null) {
894 return continueNodeCursor;
895 } else {
896 continueNodeCursor = new ImageIcon(getClass().getResource(
897 "/icons/cursor-continue.gif"));
898 return continueNodeCursor;
899 }
900 }
901
902
903 public ImageIcon getDecisionNodeCursor() {
904 if (decisionNodeCursor != null) {
905 return decisionNodeCursor;
906 } else {
907 decisionNodeCursor = new ImageIcon(getClass().getResource(
908 "/icons/cursor-decision.gif"));
909 return decisionNodeCursor;
910 }
911 }
912
913
914 public ImageIcon getEllipsisNodeCursor() {
915 if (ellipsisNodeCursor != null) {
916 return ellipsisNodeCursor;
917 } else {
918 ellipsisNodeCursor = new ImageIcon(getClass().getResource(
919 "/icons/cursor-ellipsis.gif"));
920 return ellipsisNodeCursor;
921 }
922 }
923
924
925 public ImageIcon getInputNodeCursor() {
926 if (inputNodeCursor != null) {
927 return inputNodeCursor;
928 } else {
929 inputNodeCursor = new ImageIcon(getClass().getResource(
930 "/icons/cursor-input.gif"));
931 return inputNodeCursor;
932 }
933 }
934
935
936 public ImageIcon getOvariableNodeCursor() {
937 if (ovariableNodeCursor != null) {
938 return ovariableNodeCursor;
939 } else {
940 ovariableNodeCursor = new ImageIcon(getClass().getResource(
941 "/icons/cursor-ovariable.gif"));
942 return ovariableNodeCursor;
943 }
944 }
945
946
947 public ImageIcon getResidentNodeCursor() {
948 if (residentNodeCursor != null) {
949 return residentNodeCursor;
950 } else {
951 residentNodeCursor = new ImageIcon(getClass().getResource(
952 "/icons/cursor-resident.gif"));
953 return residentNodeCursor;
954 }
955 }
956
957
958 public ImageIcon getUtilityNodeCursor() {
959 if (utilityNodeCursor != null) {
960 return utilityNodeCursor;
961 } else {
962 utilityNodeCursor = new ImageIcon(getClass().getResource(
963 "/icons/cursor-utility.gif"));
964 return utilityNodeCursor;
965 }
966 }
967
968 public ImageIcon getDecisionNodeIcon() {
969 if (decisionNodeIcon != null) {
970 return decisionNodeIcon;
971 } else {
972 decisionNodeIcon = new ImageIcon(getClass().getResource(
973 "/icons/decision-node.gif"));
974 return decisionNodeIcon;
975 }
976 }
977
978 public ImageIcon getEllipsisIcon() {
979 if (ellipsisIcon != null) {
980 return ellipsisIcon;
981 } else {
982 ellipsisIcon = new ImageIcon(getClass().getResource(
983 "/icons/ellipsis.gif"));
984 return ellipsisIcon;
985 }
986 }
987
988 public ImageIcon getHierarchyIcon() {
989 if (hierarchyIcon != null) {
990 return hierarchyIcon;
991 } else {
992 hierarchyIcon = new ImageIcon(getClass().getResource(
993 "/icons/hierarchy.gif"));
994 return hierarchyIcon;
995 }
996 }
997
998 public ImageIcon getSaveTableIcon() {
999 if (saveTableIcon != null) {
1000 return saveTableIcon;
1001 } else {
1002 saveTableIcon = new ImageIcon(getClass().getResource(
1003 "/icons/document-save-table.png"));
1004 return saveTableIcon;
1005 }
1006 }
1007
1008 public ImageIcon getSelectionIcon() {
1009 if (selectionIcon != null) {
1010 return selectionIcon;
1011 } else {
1012 selectionIcon = new ImageIcon(getClass().getResource(
1013 "/icons/selection.gif"));
1014 return selectionIcon;
1015 }
1016 }
1017
1018 public ImageIcon getUtilityNodeIcon() {
1019 if (utilityNodeIcon != null) {
1020 return utilityNodeIcon;
1021 } else {
1022 utilityNodeIcon = new ImageIcon(getClass().getResource(
1023 "/icons/utility-node.gif"));
1024 return utilityNodeIcon;
1025 }
1026 }
1027
1028 public ImageIcon getFillIcon() {
1029 if (fillIcon != null) {
1030 return fillIcon;
1031 } else {
1032 fillIcon = new ImageIcon(getClass().getResource("/icons/fill.gif"));
1033 return fillIcon;
1034 }
1035 }
1036
1037 public ImageIcon getResetSizeIcon() {
1038 if (resetSizeIcon != null) {
1039 return resetSizeIcon;
1040 } else {
1041 resetSizeIcon = new ImageIcon(getClass().getResource(
1042 "/icons/reset_size.gif"));
1043 return resetSizeIcon;
1044 }
1045 }
1046
1047 public ImageIcon getGridIcon() {
1048 if (gridIcon != null) {
1049 return gridIcon;
1050 } else {
1051 gridIcon = new ImageIcon(getClass().getResource("/icons/grid.gif"));
1052 return gridIcon;
1053 }
1054 }
1055
1056 public ImageIcon getOpenModelIcon() {
1057 if (openModelIcon != null) {
1058 return openModelIcon;
1059 } else {
1060 openModelIcon = new ImageIcon(getClass().getResource(
1061 "/icons/open4.gif"));
1062 return openModelIcon;
1063 }
1064 }
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076 public ImageIcon getGrayBorderBoxIcon() {
1077 if (grayBorderIcon != null) {
1078 return grayBorderIcon;
1079 } else {
1080 grayBorderIcon = new ImageIcon(getClass().getResource(
1081 "/icons/gray-border-box.gif"));
1082 return grayBorderIcon;
1083 }
1084 }
1085
1086 public ImageIcon getGrayBoxBoxIcon() {
1087 if (grayBoxIcon != null) {
1088 return grayBoxIcon;
1089 } else {
1090 grayBoxIcon = new ImageIcon(getClass().getResource(
1091 "/icons/gray-box-box.gif"));
1092 return grayBoxIcon;
1093 }
1094 }
1095
1096
1097 public ImageIcon getContextNodeIcon() {
1098 if (contextNodeIcon != null) {
1099 return contextNodeIcon;
1100 } else {
1101 contextNodeIcon = new ImageIcon(getClass().getResource(
1102 "/icons/context-node.gif"));
1103 return contextNodeIcon;
1104 }
1105 }
1106
1107 public ImageIcon getInputNodeIcon() {
1108 if (inputNodeIcon != null) {
1109 return inputNodeIcon;
1110 } else {
1111 inputNodeIcon = new ImageIcon(getClass().getResource(
1112 "/icons/input-node.gif"));
1113 return inputNodeIcon;
1114 }
1115 }
1116
1117 public ImageIcon getResidentNodeIcon() {
1118 if (residentNodeIcon != null) {
1119 return residentNodeIcon;
1120 } else {
1121 residentNodeIcon = new ImageIcon(getClass().getResource(
1122 "/icons/resident-node.gif"));
1123 return residentNodeIcon;
1124 }
1125 }
1126
1127 public ImageIcon getMFragIcon() {
1128 if (mfragIcon != null) {
1129 return mfragIcon;
1130 } else {
1131 mfragIcon = new ImageIcon(getClass().getResource(
1132 "/icons/mfrag.gif"));
1133 return mfragIcon;
1134 }
1135 }
1136
1137 public ImageIcon getBoxContextIcon() {
1138 if (boxContextNodeIcon != null) {
1139 return boxContextNodeIcon;
1140 } else {
1141 boxContextNodeIcon = new ImageIcon(getClass().getResource(
1142 "/icons/context-box.gif"));
1143 return boxContextNodeIcon;
1144 }
1145 }
1146
1147 public ImageIcon getBoxInputIcon() {
1148 if (boxInputNodeIcon != null) {
1149 return boxInputNodeIcon;
1150 } else {
1151 boxInputNodeIcon = new ImageIcon(getClass().getResource(
1152 "/icons/input-box.gif"));
1153 return boxInputNodeIcon;
1154 }
1155 }
1156
1157 public ImageIcon getBoxResidentIcon() {
1158 if (boxResidentNodeIcon != null) {
1159 return boxResidentNodeIcon;
1160 } else {
1161 boxResidentNodeIcon = new ImageIcon(getClass().getResource(
1162 "/icons/resident-box.gif"));
1163 return boxResidentNodeIcon;
1164 }
1165 }
1166
1167 public ImageIcon getBoxMFragIcon() {
1168 if (boxMfragIcon != null) {
1169 return boxMfragIcon;
1170 } else {
1171 boxMfragIcon = new ImageIcon(getClass().getResource(
1172 "/icons/mfrag-box.gif"));
1173 return boxMfragIcon;
1174 }
1175 }
1176
1177 public ImageIcon xIcon() {
1178 if (xIcon != null) {
1179 return xIcon;
1180 } else {
1181 xIcon = new ImageIcon(getClass().getResource(
1182 "/icons/x.png"));
1183 return xIcon;
1184 }
1185 }
1186
1187 public ImageIcon getBoxSetIcon() {
1188 if (setBoxIcon != null) {
1189 return setBoxIcon;
1190 } else {
1191 setBoxIcon = new ImageIcon(getClass().getResource(
1192 "/icons/set-box.gif"));
1193 return setBoxIcon;
1194 }
1195 }
1196
1197 public ImageIcon getEyeIcon() {
1198 if (eyeIcon != null) {
1199 return eyeIcon;
1200 } else {
1201 eyeIcon = new ImageIcon(getClass().getResource(
1202 "/icons/eye.gif"));
1203 return eyeIcon;
1204 }
1205 }
1206
1207
1208 public ImageIcon getYellowNodeIcon() {
1209 if (yellowNodeIcon != null) {
1210 return yellowNodeIcon;
1211 } else {
1212 yellowNodeIcon = new ImageIcon(getClass().getResource(
1213 "/icons/yellow-node.gif"));
1214 return yellowNodeIcon;
1215 }
1216 }
1217
1218
1219 public ImageIcon getContinousNodeIcon() {
1220 if (continousNodeIcon != null) {
1221 return continousNodeIcon;
1222 } else {
1223 continousNodeIcon = new ImageIcon(getClass().getResource(
1224 "/icons/continous-node.gif"));
1225 return continousNodeIcon;
1226 }
1227 }
1228
1229 public ImageIcon getGreenNodeIcon() {
1230 if (greenNodeIcon != null) {
1231 return greenNodeIcon;
1232 } else {
1233 greenNodeIcon = new ImageIcon(getClass().getResource(
1234 "/icons/green-node.gif"));
1235 return greenNodeIcon;
1236 }
1237 }
1238
1239 public ImageIcon getBlueNodeIcon() {
1240 if (blueNodeIcon != null) {
1241 return blueNodeIcon;
1242 } else {
1243 blueNodeIcon = new ImageIcon(getClass().getResource(
1244 "/icons/blue-node.gif"));
1245 return blueNodeIcon;
1246 }
1247 }
1248
1249 public ImageIcon getGrayNodeIcon() {
1250 if (grayNodeIcon != null) {
1251 return grayNodeIcon;
1252 } else {
1253 grayNodeIcon = new ImageIcon(getClass().getResource(
1254 "/icons/gray-node.gif"));
1255 return grayNodeIcon;
1256 }
1257 }
1258
1259 public ImageIcon getOrangeNodeIcon() {
1260 if (orangeNodeIcon != null) {
1261 return orangeNodeIcon;
1262 } else {
1263 orangeNodeIcon = new ImageIcon(getClass().getResource(
1264 "/icons/orange-node.gif"));
1265 return orangeNodeIcon;
1266 }
1267 }
1268
1269 public ImageIcon getMTheoryNodeIcon() {
1270 if (mTheoryNodeIcon != null) {
1271 return mTheoryNodeIcon;
1272 } else {
1273 mTheoryNodeIcon = new ImageIcon(getClass().getResource(
1274 "/icons/mtheory-node.gif"));
1275 return mTheoryNodeIcon;
1276 }
1277 }
1278
1279 public ImageIcon getFunctIcon() {
1280 if (functIcon != null) {
1281 return functIcon;
1282 } else {
1283 functIcon = new ImageIcon(getClass().getResource(
1284 "/icons/funct.gif"));
1285 return functIcon;
1286 }
1287 }
1288
1289 public ImageIcon getStateIcon() {
1290 if (stateIcon != null) {
1291 return stateIcon;
1292 } else {
1293 stateIcon = new ImageIcon(getClass().getResource(
1294 "/icons/state.gif"));
1295 return stateIcon;
1296 }
1297 }
1298
1299
1300
1301 public ImageIcon getAndIcon() {
1302 if (andIcon != null) {
1303 return andIcon;
1304 } else {
1305 andIcon = new ImageIcon(getClass().getResource(
1306 "/icons/and.gif"));
1307 return andIcon;
1308 }
1309 }
1310
1311
1312 public ImageIcon getOrIcon() {
1313 if (orIcon != null) {
1314 return orIcon;
1315 } else {
1316 orIcon = new ImageIcon(getClass().getResource(
1317 "/icons/or.gif"));
1318 return orIcon;
1319 }
1320 }
1321
1322
1323 public ImageIcon getNotIcon() {
1324 if (notIcon != null) {
1325 return notIcon;
1326 } else {
1327 notIcon = new ImageIcon(getClass().getResource(
1328 "/icons/not.gif"));
1329 return notIcon;
1330 }
1331 }
1332
1333
1334 public ImageIcon getEqualIcon() {
1335 if (equalIcon != null) {
1336 return equalIcon;
1337 } else {
1338 equalIcon = new ImageIcon(getClass().getResource(
1339 "/icons/equal.gif"));
1340 return equalIcon;
1341 }
1342 }
1343
1344
1345 public ImageIcon getIffIcon() {
1346 if (iffIcon != null) {
1347 return iffIcon;
1348 } else {
1349 iffIcon = new ImageIcon(getClass().getResource(
1350 "/icons/iff.gif"));
1351 return iffIcon;
1352 }
1353 }
1354
1355
1356 public ImageIcon getImpliesIcon() {
1357 if (impliesIcon != null) {
1358 return impliesIcon;
1359 } else {
1360 impliesIcon = new ImageIcon(getClass().getResource(
1361 "/icons/implies.gif"));
1362 return impliesIcon;
1363 }
1364 }
1365
1366
1367 public ImageIcon getForallIcon() {
1368 if (forallIcon != null) {
1369 return forallIcon;
1370 } else {
1371 forallIcon = new ImageIcon(getClass().getResource(
1372 "/icons/forall.gif"));
1373 return forallIcon;
1374 }
1375 }
1376
1377
1378 public ImageIcon getExistsIcon() {
1379 if (existsIcon != null) {
1380 return existsIcon;
1381 } else {
1382 existsIcon = new ImageIcon(getClass().getResource(
1383 "/icons/exists.gif"));
1384 return existsIcon;
1385 }
1386 }
1387
1388
1389
1390 public ImageIcon getEntityInstanceIcon() {
1391 if (entityInstanceIcon != null) {
1392 return entityInstanceIcon;
1393 } else {
1394 entityInstanceIcon = new ImageIcon(getClass().getResource(
1395 "/icons/entityNode.gif"));
1396 return entityInstanceIcon;
1397 }
1398 }
1399
1400 public ImageIcon getObjectEntityIcon() {
1401 if (objectEntityIcon != null) {
1402 return objectEntityIcon;
1403 } else {
1404 objectEntityIcon = new ImageIcon(getClass().getResource(
1405 "/icons/object-entity.gif"));
1406 return objectEntityIcon;
1407 }
1408 }
1409
1410 public ImageIcon getOVariableNodeIcon() {
1411 if (ovariableNodeIcon != null) {
1412 return ovariableNodeIcon;
1413 } else {
1414 ovariableNodeIcon = new ImageIcon(getClass().getResource(
1415 "/icons/ovariableNode.gif"));
1416 return ovariableNodeIcon;
1417 }
1418 }
1419
1420 public ImageIcon getCategoryStateIcon() {
1421 if (categoryStateIcon != null) {
1422 return categoryStateIcon;
1423 } else {
1424 categoryStateIcon = new ImageIcon(getClass().getResource(
1425 "/icons/category-state.gif"));
1426 return categoryStateIcon;
1427 }
1428 }
1429
1430 public ImageIcon getEntityStateIcon() {
1431 if (entityStateIcon != null) {
1432 return entityStateIcon;
1433 } else {
1434 entityStateIcon = new ImageIcon(getClass().getResource(
1435 "/icons/entity-state.gif"));
1436 return entityStateIcon;
1437 }
1438 }
1439
1440 public ImageIcon getBooleanStateIcon() {
1441 if (booleanStateIcon != null) {
1442 return booleanStateIcon;
1443 } else {
1444 booleanStateIcon = new ImageIcon(getClass().getResource(
1445 "/icons/boolean-state.gif"));
1446 return booleanStateIcon;
1447 }
1448 }
1449
1450 public ImageIcon getNodeNodeIcon() {
1451 if (nodeNodeIcon != null) {
1452 return nodeNodeIcon;
1453 } else {
1454 nodeNodeIcon = new ImageIcon(getClass().getResource(
1455 "/icons/nodeNode.gif"));
1456 return nodeNodeIcon;
1457 }
1458 }
1459
1460 public ImageIcon getEmptyNodeIcon() {
1461 if (emptyNodeIcon != null) {
1462 return emptyNodeIcon;
1463 } else {
1464 emptyNodeIcon = new ImageIcon(getClass().getResource(
1465 "/icons/emptyNode.gif"));
1466 return emptyNodeIcon;
1467 }
1468 }
1469
1470 public ImageIcon getArgumentsIcon() {
1471 if (argumentsIcon != null) {
1472 return argumentsIcon;
1473 } else {
1474 argumentsIcon = new ImageIcon(getClass().getResource(
1475 "/icons/arguments.gif"));
1476 return argumentsIcon;
1477 }
1478 }
1479
1480 public ImageIcon getSkolenNodeIcon() {
1481 if (skolenNodeIcon != null) {
1482 return skolenNodeIcon;
1483 } else {
1484 skolenNodeIcon = new ImageIcon(getClass().getResource(
1485 "/icons/skolenNode.gif"));
1486 return skolenNodeIcon;
1487 }
1488 }
1489
1490 public ImageIcon getDownIcon() {
1491 if (downIcon != null) {
1492 return downIcon;
1493 } else {
1494 downIcon = new ImageIcon(getClass().getResource(
1495 "/icons/down.png"));
1496 return downIcon;
1497 }
1498 }
1499
1500 public ImageIcon getUpIcon() {
1501 if (upIcon != null) {
1502 return upIcon;
1503 } else {
1504 upIcon = new ImageIcon(getClass().getResource(
1505 "/icons/up.png"));
1506 return upIcon;
1507 }
1508 }
1509
1510 public ImageIcon getBoxVariablesIcon() {
1511 if (boxVariablesIcon != null) {
1512 return boxVariablesIcon;
1513 } else {
1514 boxVariablesIcon = new ImageIcon(getClass().getResource(
1515 "/icons/boxVariables.gif"));
1516 return boxVariablesIcon;
1517 }
1518 }
1519
1520 public ImageIcon getBooleanIcon() {
1521 if (booleanIcon != null) {
1522 return booleanIcon;
1523 } else {
1524 booleanIcon = new ImageIcon(getClass().getResource(
1525 "/icons/boolean.png"));
1526 return booleanIcon;
1527 }
1528 }
1529
1530 public ImageIcon getEdit() {
1531 if (edit != null) {
1532 return edit;
1533 } else {
1534 edit = new ImageIcon(getClass().getResource(
1535 "/icons/edit.gif"));
1536 return edit;
1537 }
1538 }
1539
1540 public ImageIcon getEditClear() {
1541 if (editClear != null) {
1542 return editClear;
1543 } else {
1544 editClear = new ImageIcon(getClass().getResource(
1545 "/icons/edit-clear.png"));
1546 return editClear;
1547 }
1548 }
1549
1550 public ImageIcon getEditUndo() {
1551 if (editUndo != null) {
1552 return editUndo;
1553 } else {
1554 editUndo = new ImageIcon(getClass().getResource(
1555 "/icons/edit-undo.png"));
1556 return editUndo;
1557 }
1558 }
1559
1560 public ImageIcon getEditDelete() {
1561 if (editDelete != null) {
1562 return editDelete;
1563 } else {
1564 editDelete = new ImageIcon(getClass().getResource(
1565 "/icons/edit-delete.png"));
1566 return editDelete;
1567 }
1568 }
1569
1570 public ImageIcon getEntityInstance() {
1571 if (entityInstance != null) {
1572 return entityInstance;
1573 } else {
1574 entityInstance = new ImageIcon(getClass().getResource(
1575 "/icons/entity-intance.gif"));
1576 return entityInstance;
1577 }
1578 }
1579
1580 public ImageIcon getNodeInstance() {
1581 if (nodeInstance != null) {
1582 return nodeInstance;
1583 } else {
1584 nodeInstance = new ImageIcon(getClass().getResource(
1585 "/icons/node-instance.gif"));
1586 return nodeInstance;
1587 }
1588 }
1589
1590 public ImageIcon getGoNextInstance() {
1591 if (goNextIcon != null) {
1592 return goNextIcon;
1593 } else {
1594 goNextIcon = new ImageIcon(getClass().getResource(
1595 "/icons/go-next.png"));
1596 return goNextIcon;
1597 }
1598 }
1599
1600 public ImageIcon getGoPreviousInstance() {
1601 if (goPreviousIcon != null) {
1602 return goPreviousIcon;
1603 } else {
1604 goPreviousIcon = new ImageIcon(getClass().getResource(
1605 "/icons/go-previous.png"));
1606 return goPreviousIcon;
1607 }
1608 }
1609
1610 public ImageIcon getProcessStopInstance() {
1611 if (processStopIcon != null) {
1612 return processStopIcon;
1613 } else {
1614 processStopIcon = new ImageIcon(getClass().getResource(
1615 "/icons/process-stop.png"));
1616 return processStopIcon;
1617 }
1618 }
1619
1620 public ImageIcon getSaveFindingsInstance() {
1621 if (saveFindingsIcon != null) {
1622 return saveFindingsIcon;
1623 } else {
1624 saveFindingsIcon = new ImageIcon(getClass().getResource(
1625 "/icons/save-findings.png"));
1626 return saveFindingsIcon;
1627 }
1628 }
1629
1630 public ImageIcon getLoadFindingsInstance() {
1631 if (loadFindingsIcon != null) {
1632 return loadFindingsIcon;
1633 } else {
1634 loadFindingsIcon = new ImageIcon(getClass().getResource(
1635 "/icons/load-findings.png"));
1636 return loadFindingsIcon;
1637 }
1638 }
1639
1640 public ImageIcon getSsbnIcon() {
1641 if (ssbnIcon != null) {
1642 return ssbnIcon;
1643 } else {
1644 ssbnIcon = new ImageIcon(getClass().getResource(
1645 "/icons/ssbn.png"));
1646 return ssbnIcon;
1647 }
1648 }
1649
1650 public ImageIcon getArrowIcon() {
1651 if (arrowIcon != null) {
1652 return arrowIcon;
1653 } else {
1654 arrowIcon = new ImageIcon(getClass().getResource(
1655 "/icons/arrow.png"));
1656 return arrowIcon;
1657 }
1658 }
1659
1660 public ImageIcon getDeleteClassIcon() {
1661 if (deleteClassIcon != null) {
1662 return deleteClassIcon;
1663 } else {
1664 deleteClassIcon = this.getEditDelete();
1665 return deleteClassIcon;
1666 }
1667 }
1668
1669 public ImageIcon getNewClassFromFileIcon() {
1670 if (newClassFromFileIcon != null) {
1671 return newClassFromFileIcon;
1672 } else {
1673 newClassFromFileIcon = this.getOpenIcon();
1674 return newClassFromFileIcon;
1675 }
1676 }
1677
1678 public ImageIcon getNewClassIcon() {
1679 if (newClassIcon != null) {
1680 return newClassIcon;
1681 } else {
1682 newClassIcon = new ImageIcon(getClass().getResource("/icons/class-new.png"));
1683 return newClassIcon;
1684 }
1685 }
1686
1687 public ImageIcon getChangeNodeTypeIcon() {
1688 if (changeNodeTypeIcon != null) {
1689 return changeNodeTypeIcon;
1690 } else {
1691 changeNodeTypeIcon = new ImageIcon(getClass().getResource("/icons/change-node-type.gif"));
1692 return changeNodeTypeIcon;
1693 }
1694 }
1695
1696
1697
1698
1699 public ImageIcon getTableIcon() {
1700 return tableIcon;
1701 }
1702
1703
1704 }