annotate agent/src/share/classes/sun/jvm/hotspot/ui/SAEditorPane.java @ 6972:bd7a7ce2e264

6830717: replay of compilations would help with debugging Summary: When java process crashed in compiler thread, repeat the compilation process will help finding root cause. This is done with using SA dump application class data and replay data from core dump, then use debug version of jvm to recompile the problematic java method. Reviewed-by: kvn, twisti, sspitsyn Contributed-by: yumin.qi@oracle.com
author minqi
date Mon, 12 Nov 2012 14:03:53 -0800
parents c18cbe5936b8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
2 * Copyright (c) 2004, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 package sun.jvm.hotspot.ui;
a61af66fc99e Initial load
duke
parents:
diff changeset
26
a61af66fc99e Initial load
duke
parents:
diff changeset
27 import java.io.*;
a61af66fc99e Initial load
duke
parents:
diff changeset
28 import java.awt.event.*;
a61af66fc99e Initial load
duke
parents:
diff changeset
29 import java.awt.im.InputContext;
a61af66fc99e Initial load
duke
parents:
diff changeset
30 import java.awt.datatransfer.*;
a61af66fc99e Initial load
duke
parents:
diff changeset
31 import javax.swing.*;
a61af66fc99e Initial load
duke
parents:
diff changeset
32 import javax.swing.event.*;
a61af66fc99e Initial load
duke
parents:
diff changeset
33 import javax.swing.text.*;
a61af66fc99e Initial load
duke
parents:
diff changeset
34
a61af66fc99e Initial load
duke
parents:
diff changeset
35 /** A simple subclass of JEditorPane for displaying uneditable html
a61af66fc99e Initial load
duke
parents:
diff changeset
36 */
a61af66fc99e Initial load
duke
parents:
diff changeset
37
a61af66fc99e Initial load
duke
parents:
diff changeset
38 public class SAEditorPane extends JEditorPane {
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 public SAEditorPane() {
a61af66fc99e Initial load
duke
parents:
diff changeset
41 setEditable(false);
a61af66fc99e Initial load
duke
parents:
diff changeset
42 setContentType("text/html");
a61af66fc99e Initial load
duke
parents:
diff changeset
43 }
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 /**
a61af66fc99e Initial load
duke
parents:
diff changeset
46 Override getSelectedText so that <br> elements produce \n when
a61af66fc99e Initial load
duke
parents:
diff changeset
47 text is copied out of the window.
a61af66fc99e Initial load
duke
parents:
diff changeset
48 */
a61af66fc99e Initial load
duke
parents:
diff changeset
49
a61af66fc99e Initial load
duke
parents:
diff changeset
50 public String getSelectedText() {
a61af66fc99e Initial load
duke
parents:
diff changeset
51 StringBuffer result = new StringBuffer();
a61af66fc99e Initial load
duke
parents:
diff changeset
52 Document doc = getDocument();
a61af66fc99e Initial load
duke
parents:
diff changeset
53
a61af66fc99e Initial load
duke
parents:
diff changeset
54 int start = getSelectionStart();
a61af66fc99e Initial load
duke
parents:
diff changeset
55 int end = getSelectionEnd();
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 try {
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // Create an iterator using the root element
a61af66fc99e Initial load
duke
parents:
diff changeset
59 ElementIterator it = new ElementIterator(doc.getDefaultRootElement());
a61af66fc99e Initial load
duke
parents:
diff changeset
60
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // Iterate all content elements (which are leaves)
a61af66fc99e Initial load
duke
parents:
diff changeset
62 Element e;
a61af66fc99e Initial load
duke
parents:
diff changeset
63 String separator = System.getProperty("line.separator");
a61af66fc99e Initial load
duke
parents:
diff changeset
64 while ((e = it.next()) != null) {
a61af66fc99e Initial load
duke
parents:
diff changeset
65 if (e.isLeaf()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
66 int rangeStart = e.getStartOffset();
a61af66fc99e Initial load
duke
parents:
diff changeset
67 int rangeEnd = e.getEndOffset();
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 if (rangeEnd < start || rangeStart > end) continue;
a61af66fc99e Initial load
duke
parents:
diff changeset
70 if (end < rangeEnd) rangeEnd = end;
a61af66fc99e Initial load
duke
parents:
diff changeset
71 if (start > rangeStart) rangeStart = start;
a61af66fc99e Initial load
duke
parents:
diff changeset
72 try {
a61af66fc99e Initial load
duke
parents:
diff changeset
73 String line = getText(rangeStart, rangeEnd-rangeStart);
a61af66fc99e Initial load
duke
parents:
diff changeset
74 if (e.getName().equals("br"))
a61af66fc99e Initial load
duke
parents:
diff changeset
75 result.append(separator);
a61af66fc99e Initial load
duke
parents:
diff changeset
76 else
a61af66fc99e Initial load
duke
parents:
diff changeset
77 result.append(line);
a61af66fc99e Initial load
duke
parents:
diff changeset
78 } catch (BadLocationException ex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
79 }
a61af66fc99e Initial load
duke
parents:
diff changeset
80 }
a61af66fc99e Initial load
duke
parents:
diff changeset
81 }
a61af66fc99e Initial load
duke
parents:
diff changeset
82 } catch (Exception e) {
a61af66fc99e Initial load
duke
parents:
diff changeset
83 e.printStackTrace();
a61af66fc99e Initial load
duke
parents:
diff changeset
84 }
a61af66fc99e Initial load
duke
parents:
diff changeset
85 return result.toString();
a61af66fc99e Initial load
duke
parents:
diff changeset
86 }
a61af66fc99e Initial load
duke
parents:
diff changeset
87
a61af66fc99e Initial load
duke
parents:
diff changeset
88 public void setText(String text) {
a61af66fc99e Initial load
duke
parents:
diff changeset
89 super.setText(text);
a61af66fc99e Initial load
duke
parents:
diff changeset
90 // put the cursor at the top instead of leaving it at the end.
a61af66fc99e Initial load
duke
parents:
diff changeset
91 setCaretPosition(0);
a61af66fc99e Initial load
duke
parents:
diff changeset
92 }
a61af66fc99e Initial load
duke
parents:
diff changeset
93 }