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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
/*******************************************************************************
* Copyright (c) 2015 Jeff Martin.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the GNU Lesser General Public
* License v3.0 which accompanies this distribution, and is available at
* http://www.gnu.org/licenses/lgpl.html
* <p>
* Contributors:
* Jeff Martin - initial API and implementation
******************************************************************************/
package cuchaz.enigma.utils;
import com.google.common.io.CharStreams;
import java.awt.Desktop;
import java.awt.Font;
import java.awt.Rectangle;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.awt.event.MouseEvent;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.net.URI;
import java.net.URISyntaxException;
import java.util.Arrays;
import javax.swing.*;
import javax.swing.text.BadLocationException;
import javax.swing.text.Highlighter;
import cuchaz.enigma.analysis.Token;
public class Utils {
public static int combineHashesOrdered(Object... objs) {
return combineHashesOrdered(Arrays.asList(objs));
}
public static int combineHashesOrdered(Iterable<Object> objs) {
final int prime = 67;
int result = 1;
for (Object obj : objs) {
result *= prime;
if (obj != null) {
result += obj.hashCode();
}
}
return result;
}
public static String readStreamToString(InputStream in) throws IOException {
return CharStreams.toString(new InputStreamReader(in, "UTF-8"));
}
public static String readResourceToString(String path) throws IOException {
InputStream in = Utils.class.getResourceAsStream(path);
if (in == null) {
throw new IllegalArgumentException("Resource not found! " + path);
}
return readStreamToString(in);
}
public static void openUrl(String url) {
if (Desktop.isDesktopSupported()) {
Desktop desktop = Desktop.getDesktop();
try {
desktop.browse(new URI(url));
} catch (IOException ex) {
throw new Error(ex);
} catch (URISyntaxException ex) {
throw new IllegalArgumentException(ex);
}
}
}
public static JLabel unboldLabel(JLabel label) {
Font font = label.getFont();
label.setFont(font.deriveFont(font.getStyle() & ~Font.BOLD));
return label;
}
public static void showToolTipNow(JComponent component) {
// HACKHACK: trick the tooltip manager into showing the tooltip right now
ToolTipManager manager = ToolTipManager.sharedInstance();
int oldDelay = manager.getInitialDelay();
manager.setInitialDelay(0);
manager.mouseMoved(new MouseEvent(component, MouseEvent.MOUSE_MOVED, System.currentTimeMillis(), 0, 0, 0, 0, false));
manager.setInitialDelay(oldDelay);
}
public static void navigateToToken(final JEditorPane editor, final Token token, final Highlighter.HighlightPainter highlightPainter) {
// set the caret position to the token
editor.setCaretPosition(token.start);
editor.grabFocus();
try {
// make sure the token is visible in the scroll window
Rectangle start = editor.modelToView(token.start);
Rectangle end = editor.modelToView(token.end);
final Rectangle show = start.union(end);
show.grow(start.width * 10, start.height * 6);
SwingUtilities.invokeLater(() -> editor.scrollRectToVisible(show));
} catch (BadLocationException ex) {
throw new Error(ex);
}
// highlight the token momentarily
final Timer timer = new Timer(200, new ActionListener() {
private int m_counter = 0;
private Object m_highlight = null;
@Override
public void actionPerformed(ActionEvent event) {
if (m_counter % 2 == 0) {
try {
m_highlight = editor.getHighlighter().addHighlight(token.start, token.end, highlightPainter);
} catch (BadLocationException ex) {
// don't care
}
} else if (m_highlight != null) {
editor.getHighlighter().removeHighlight(m_highlight);
}
if (m_counter++ > 6) {
Timer timer = (Timer) event.getSource();
timer.stop();
}
}
});
timer.start();
}
}
|
