Mercurial > hg > graal-compiler

comparison agent/src/share/classes/sun/jvm/hotspot/ui/SourceCodePanel.java @ 0:a61af66fc99e jdk7-b24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial load
author duke
date Sat, 01 Dec 2007 00:00:00 +0000
parents
children c18cbe5936b8
comparison
equal deleted inserted replaced
-1:000000000000 0:a61af66fc99e
1 /*
2 * Copyright 2001-2002 Sun Microsystems, Inc. All Rights Reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
20 * CA 95054 USA or visit www.sun.com if you need additional information or
21 * have any questions.
22 *
23 */
24
25 package sun.jvm.hotspot.ui;
26
27 import java.awt.*;
28 import java.awt.event.*;
29 import java.io.*;
30 import java.net.*;
31 import java.util.*;
32 import javax.swing.*;
33 import javax.swing.text.BadLocationException;
34
35 /** Panel supporting loading of and scrolling through source code.
36 Contains convenience routines for implementing the Editor
37 interface. */
38
39 public class SourceCodePanel extends JPanel {
40 private JTextArea source;
41 private RowHeader header;
42 private String filename;
43 // Amount of white space between edges, line numbers and icons
44 private static final int LINE_NO_SPACE = 4;
45 // Size of icons in resources directory
46 private static final int ICON_SIZE = 12;
47 // Icons used in panel drawing
48 private static Icon topFrameCurLine;
49 private static Icon lowerFrameCurLine;
50 private static Icon breakpoint;
51 // State
52 private int highlightedLine = -1;
53 private Set/*<Integer>*/ breakpoints = new HashSet(); // Zero-based lines internally
54 // Parent Editor container and EditorCommands object for setting breakpoints
55 private EditorCommands comm;
56 private Editor parent;
57
58 /** Support for displaying icons and line numbers in row header of
59 scroll pane */
60 class RowHeader extends JPanel {
61 private JViewport view;
62 private boolean showLineNumbers;
63 private int width;
64 private int rowHeight;
65 private boolean initted;
66
67 public RowHeader() {
68 super();
69 initted = true;
70 addHierarchyBoundsListener(new HierarchyBoundsAdapter() {
71 public void ancestorResized(HierarchyEvent e) {
72 recomputeSize();
73 }
74 });
75 }
76
77 public void paint(Graphics g) {
78 super.paint(g);
79 if (getShowLineNumbers()) {
80 // Visible region of header panel, in coordinate system of the
81 // panel, is provided by clip bounds of Graphics object. This
82 // is used to figure out which line numbers to draw.
83 Rectangle clip = g.getClipBounds();
84 // To avoid missing lines, round down starting line number and
85 // round up ending line number
86 int start = clip.y / rowHeight;
87 int end = start + (clip.height + (rowHeight - 1)) / rowHeight;
88 // Draw these line numbers, right justified to look better
89 FontMetrics fm = getFontMetrics(getFont());
90 int ascent = fm.getMaxAscent(); // Causes proper alignment -- trial-and-error
91 for (int i = start; i <= end; i++) {
92 // Line numbers are 1-based
93 String str = Integer.toString(i + 1);
94 int strWidth = GraphicsUtilities.getStringWidth(str, fm);
95 g.drawString(str, width - strWidth - LINE_NO_SPACE, ascent + rowHeight * i);
96
97 // Draw breakpoint if necessary
98 if (breakpoints.contains(new Integer(i))) {
99 breakpoint.paintIcon(this, g, LINE_NO_SPACE, rowHeight * i);
100 }
101
102 // Draw current line icon if necessary
103 if (i == highlightedLine) {
104 // FIXME: use correct icon (not always topmost frame)
105 topFrameCurLine.paintIcon(this, g, LINE_NO_SPACE, rowHeight * i);
106 }
107 }
108 }
109 }
110
111 public boolean getShowLineNumbers() {
112 return showLineNumbers;
113 }
114
115 public void setShowLineNumbers(boolean val) {
116 if (val != showLineNumbers) {
117 showLineNumbers = val;
118 recomputeSize();
119 // Force re-layout
120 invalidate();
121 validate();
122 }
123 }
124
125 public void setFont(Font f) {
126 super.setFont(f);
127 rowHeight = getFontMetrics(f).getHeight();
128 recomputeSize();
129 }
130
131 void setViewport(JViewport view) {
132 this.view = view;
133 }
134
135 void recomputeSize() {
136 if (!initted) return;
137 if (view == null) return;
138 width = ICON_SIZE + 2 * LINE_NO_SPACE;
139 try {
140 int numLines = 1 + source.getLineOfOffset(source.getDocument().getEndPosition().getOffset() - 1);
141 String str = Integer.toString(numLines);
142 if (getShowLineNumbers()) {
143 // Compute width based on whether we are drawing line numbers
144 width += GraphicsUtilities.getStringWidth(str, getFontMetrics(getFont())) + LINE_NO_SPACE;
145 }
146 // FIXME: add on width for all icons (breakpoint, current line,
147 // current line in caller frame)
148 Dimension d = new Dimension(width, numLines * getFontMetrics(getFont()).getHeight());
149 setSize(d);
150 setPreferredSize(d);
151 } catch (BadLocationException e) {
152 e.printStackTrace();
153 }
154 }
155 }
156
157 public SourceCodePanel() {
158 maybeLoadIcons();
159
160 // Build user interface
161 setLayout(new BorderLayout());
162 source = new JTextArea();
163 source.setEditable(false);
164 source.getCaret().setVisible(true);
165 header = new RowHeader();
166 header.setShowLineNumbers(true);
167 JScrollPane scroller = new JScrollPane(source);
168 JViewport rowView = new JViewport();
169 rowView.setView(header);
170 header.setViewport(rowView);
171 rowView.setScrollMode(JViewport.SIMPLE_SCROLL_MODE);
172 scroller.setRowHeader(rowView);
173 add(scroller, BorderLayout.CENTER);
174 // Reset font now that header and source are present
175 setFont(getFont());
176
177 source.addFocusListener(new FocusAdapter() {
178 public void focusGained(FocusEvent e) {
179 source.getCaret().setVisible(true);
180 }
181 });
182
183 source.addKeyListener(new KeyAdapter() {
184 public void keyPressed(KeyEvent e) {
185 if (e.getKeyCode() == KeyEvent.VK_F9) {
186 int lineNo = getCurrentLineNumber();
187 // Only the debugger can figure out whether we are setting
188 // or clearing a breakpoint, since it has the debug
189 // information available and knows whether we're on a
190 // valid line
191 comm.toggleBreakpointAtLine(parent, lineNo);
192 }
193 }
194 });
195
196 }
197
198 public void setFont(Font f) {
199 super.setFont(f);
200 if (source != null) {
201 source.setFont(f);
202 }
203 if (header != null) {
204 header.setFont(f);
205 }
206 }
207
208 public boolean getShowLineNumbers() {
209 return header.getShowLineNumbers();
210 }
211
212 public void setShowLineNumbers(boolean val) {
213 header.setShowLineNumbers(val);
214 }
215
216 public boolean openFile(String filename) {
217 try {
218 this.filename = filename;
219 File file = new File(filename);
220 int len = (int) file.length();
221 StringBuffer buf = new StringBuffer(len); // Approximation
222 char[] tmp = new char[4096];
223 FileReader in = new FileReader(file);
224 int res = 0;
225 do {
226 res = in.read(tmp, 0, tmp.length);
227 if (res >= 0) {
228 buf.append(tmp, 0, res);
229 }
230 } while (res != -1);
231 in.close();
232 String text = buf.toString();
233 source.setText(text);
234 header.recomputeSize();
235 return true;
236 } catch (IOException e) {
237 return false;
238 }
239 }
240
241 public String getSourceFileName() {
242 return filename;
243 }
244
245 /** Line number is one-based */
246 public int getCurrentLineNumber() {
247 try {
248 return 1 + source.getLineOfOffset(source.getCaretPosition());
249 } catch (BadLocationException e) {
250 return 0;
251 }
252 }
253
254 /** Line number is one-based */
255 public void showLineNumber(int lineNo) {
256 try {
257 int offset = source.getLineStartOffset(lineNo - 1);
258 Rectangle rect = source.modelToView(offset);
259 if (rect == null) {
260 return;
261 }
262 source.scrollRectToVisible(rect);
263 } catch (BadLocationException e) {
264 e.printStackTrace();
265 }
266 }
267
268 /** Line number is one-based */
269 public void highlightLineNumber(int lineNo) {
270 highlightedLine = lineNo - 1;
271 }
272
273 public void showBreakpointAtLine(int lineNo) { breakpoints.add(new Integer(lineNo - 1)); repaint(); }
274 public boolean hasBreakpointAtLine(int lineNo){ return breakpoints.contains(new Integer(lineNo - 1)); }
275 public void clearBreakpointAtLine(int lineNo) { breakpoints.remove(new Integer(lineNo - 1)); repaint(); }
276 public void clearBreakpoints() { breakpoints.clear(); repaint(); }
277
278 public void setEditorCommands(EditorCommands comm, Editor parent) {
279 this.comm = comm;
280 this.parent = parent;
281 }
282
283 public void requestFocus() {
284 source.requestFocus();
285 }
286
287 //----------------------------------------------------------------------
288 // Internals only below this point
289 //
290
291 private void maybeLoadIcons() {
292 if (topFrameCurLine == null) {
293 topFrameCurLine = loadIcon("resources/arrow.png");
294 lowerFrameCurLine = loadIcon("resources/triangle.png");
295 breakpoint = loadIcon("resources/breakpoint.png");
296 }
297 }
298
299 private Icon loadIcon(String which) {
300 URL url = getClass().getResource(which);
301 return new ImageIcon(url);
302 }
303 }