|
1 package com.opensymphony.workflow.designer;
2
3 import java.awt.*;
4 import java.awt.image.BufferedImage  ;
5 import java.io.File ;
6 import java.util.HashMap ;
7 import java.util.Map ;
8 import javax.swing.*;
9 import javax.swing.filechooser.FileFilter ;
10
11 import com.opensymphony.workflow.loader.AbstractDescriptor;
12 import org.jgraph.JGraph;
13
14
19 public class Utils
20 {
21 private static Map contexts = new HashMap ();
22
23 public static File promptUserForFile(Component component, int type, boolean save, final String suffix, final String description)
24 {
25 JFileChooser chooser = new JFileChooser(Prefs.INSTANCE.get(Prefs.CURRENT_DIR, System.getProperty("user.dir")));
26 chooser.rescanCurrentDirectory();
27 if(type == JFileChooser.FILES_AND_DIRECTORIES)
28 {
29 FileFilter filter = new FileFilter ()
30 {
31 public boolean accept(File f)
32 {
33 return f.isDirectory() || f.getName().toLowerCase().endsWith(suffix);
34 }
35
36 public String getDescription()
37 {
38 return description;
39 }
40 };
41 chooser.setFileSelectionMode(JFileChooser.FILES_AND_DIRECTORIES);
42 chooser.setFileFilter(filter);
43 }
44 else
45 {
46 chooser.setFileSelectionMode(JFileChooser.DIRECTORIES_ONLY);
47 }
48 File selectedFile = null;
49 int result;
50 if(save)
51 {
52 result = chooser.showSaveDialog(component);
53 }
54 else
55 {
56 result = chooser.showOpenDialog(component);
57 }
58
59 if(result == JFileChooser.APPROVE_OPTION)
60 {
61 selectedFile = chooser.getSelectedFile();
62 if(save && type == JFileChooser.FILES_AND_DIRECTORIES && !selectedFile.getName().toLowerCase().endsWith(suffix))
63 {
64 selectedFile = new File (selectedFile.toString() + suffix);
65 }
66 }
67 Prefs.INSTANCE.put(Prefs.CURRENT_DIR, chooser.getCurrentDirectory().toString());
68 return selectedFile;
69 }
70
71 public static void centerComponent(Component parent, Component child)
72 {
73 Point point = parent.getLocationOnScreen();
74 Dimension parentDim = parent.getSize();
75 Dimension childDim = child.getSize();
76 int x;
77 if(parentDim.width > childDim.width)
78 x = point.x + (parentDim.width - childDim.width) / 2;
79 else
80 x = point.x - (childDim.width - parentDim.width) / 2;
81 int y;
82 if(parentDim.height > childDim.height)
83 y = point.y + (parentDim.height - childDim.height) / 2;
84 else
85 y = point.y - (childDim.height - parentDim.height) / 2;
86 child.setLocation(x, y);
87 }
88
89 public static BufferedImage toImage(JGraph graph)
90 {
91 Object [] cells = graph.getRoots();
92 if(cells.length > 0)
93 {
94 Rectangle bounds = graph.getCellBounds(cells).getBounds();
95 graph.toScreen(bounds);
96
97 Dimension d = bounds.getSize();
99 BufferedImage img = new BufferedImage (d.width + 10, d.height + 10, BufferedImage.TYPE_INT_RGB);
100 Graphics2D graphics = img.createGraphics();
101 graphics.setColor(graph.getBackground());
102 graphics.fillRect(0, 0, img.getWidth(), img.getHeight());
103 graphics.translate(-bounds.x + 5, -bounds.y + 5);
104
105 Object [] selection = graph.getSelectionCells();
106 boolean gridVisible = graph.isGridVisible();
107 graph.setGridVisible(false);
108 graph.clearSelection();
109
110 graph.paint(graphics);
111
112 graph.setSelectionCells(selection);
113 graph.setGridVisible(gridVisible);
114
115 return img;
116 }
117 return null;
118 }
119
120 public static void checkId(Object context, AbstractDescriptor descriptor)
121 {
122 if(descriptor == null) return;
123 Integer i = (Integer )contexts.get(context);
124 int nextId = i == null ? 0 : i.intValue();
125 if(descriptor.getId() >= nextId) nextId = descriptor.getId() + 1;
126 contexts.put(context, new Integer (nextId));
127 }
128
129 public static int getNextId(Object context)
130 {
131 Integer i = (Integer )contexts.get(context);
132 if(i == null) return 0;
133 return i.intValue();
134 }
135
136 public static void centerComponent(Component component)
137 {
138 Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
139 Window window;
140 if(component instanceof Window)
141 {
142 window = (Window)component;
143 }
144 else
145 {
146 window = SwingUtilities.getWindowAncestor(component);
147 }
148 window.setLocation((screenSize.width - window.getSize().width) / 2, (screenSize.height - window.getSize().height) / 2);
149 }
150 }
151 |
Popular Tags |
Java API By Example, From Geeks To Geeks.