blob: 1ddcab6b08c727a51f1e622d196db9504d1212fa (
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
package bjc.utils.ioutils;
import java.io.InputStream;
import java.util.HashMap;
import java.util.Map;
import java.util.Scanner;
/**
* A database for describing mirrored characters.
*
* @author bjculkin
*
*/
public class MirrorDB {
private Map<String, String> mirrored;
/**
* Create a new database of mirrored characters.
*/
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);
}
}
}
/**
* Check if a string can be mirrored.
*
* @param mir
* The string to check for mirroring.
* @return Whether or not the given string can be mirrored.
*/
public boolean canMirror(String mir) {
return mirrored.containsKey(mir);
}
/**
* Mirror a string.
*
* @param mir
* The string to mirror.
* @return The mirrored version of the string.
*/
public String mirror(String mir) {
return mirrored.get(mir);
}
}
|