blob: 1f60059f5b7b9c0e735777a470e47c529aae83a9 (
plain)
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
|
package bjc.utils.ioutils;
import java.io.InputStream;
import java.io.IOException;
import java.util.HashMap;
import java.util.Map;
import java.util.Scanner;
// @NOTE 9/19/18
//
// What to do about one-to-many mirrored mappings?
//
// Currently, we pick the one with the latest codepoint
public class MirrorDB {
private Map<String, String> mirrored;
public MirrorDB() {
mirrored = new HashMap<>();
final InputStream stream = getClass().getResourceAsStream("/BidiMirrorDB.txt");
try (Scanner scn = new Scanner(stream)) {
String ln = "";
while (scn.hasNextLine()) {
ln = scn.nextLine();
if (ln.equals("")) {
continue;
}
if (ln.startsWith("#")) {
continue;
}
final int cp1 = Integer.parseInt(ln.substring(0, 4), 16);
final int cp2 = Integer.parseInt(ln.substring(6, 10), 16);
final char[] cpa1 = Character.toChars(cp1);
final char[] cpa2 = Character.toChars(cp2);
final String cps1 = new String(cpa1);
final String cps2 = new String(cpa2);
mirrored.put(cps1, cps2);
}
}
}
public boolean canMirror(String mir) {
return mirrored.containsKey(mir);
}
public String mirror(String mir) {
return mirrored.get(mir);
}
}
|
