summaryrefslogtreecommitdiffstats
path: root/src/org/madore/android/unicodeMap/UnicodeCharacter.java
blob: 0805e8c8167cd26314443f668175ca8aaa0abd66 (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
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
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
package org.madore.android.unicodeMap;

import java.util.Arrays;
import java.util.Set;
import java.util.Map;
import java.util.EnumSet;
import java.util.HashMap;
import java.util.Formatter;
import java.io.ByteArrayOutputStream;
import java.io.OutputStreamWriter;
import java.io.UnsupportedEncodingException;
import java.io.IOException;

public class UnicodeCharacter implements UnicodeDisplayable {

    public static enum Range implements UnicodeDisplayable {
	BASIC_LATIN(0x0000, 0x0080, "Basic Latin"),
	LATIN_1_SUPPLEMENT(0x0080, 0x0100, "Latin-1 Supplement"),
	LATIN_EXTENDED_A(0x0100, 0x0180, "Latin Extended-A"),
	LATIN_EXTENDED_B(0x0180, 0x0250, "Latin Extended-B"),
	IPA_EXTENSIONS(0x0250, 0x02b0, "IPA Extensions"),
	SPACING_MODIFIER_LETTERS(0x02B0, 0x02FF, "Spacing Modifier Letters"),
	COMBINING_DIACRITICAL_MARKS(0x0300, 0x036F, "Combining Diacritical Marks"),
	GREEK_AND_COPTIC(0x0370, 0x03FF, "Greek and Coptic"),
	CYRILLIC(0x0400, 0x04FF, "Cyrillic"),
	CYRILLIC_SUPPLEMENT(0x0500, 0x052F, "Cyrillic Supplement"),
	ARMENIAN(0x0530, 0x058F, "Armenian"),
	HEBREW(0x0590, 0x05FF, "Hebrew"),
	ARABIC(0x0600, 0x06FF, "Arabic"),
	SYRIAC(0x0700, 0x074F, "Syriac"),
	ARABIC_SUPPLEMENT(0x0750, 0x077F, "Arabic Supplement"),
	THAANA(0x0780, 0x07BF, "Thaana"),
	NKO(0x07C0, 0x07FF, "NKo"),
	DEVANAGARI(0x0900, 0x097F, "Devanagari"),
	BENGALI(0x0980, 0x09FF, "Bengali"),
	GURMUKHI(0x0A00, 0x0A7F, "Gurmukhi"),
	GUJARATI(0x0A80, 0x0AFF, "Gujarati"),
	ORIYA(0x0B00, 0x0B7F, "Oriya"),
	TAMIL(0x0B80, 0x0BFF, "Tamil"),
	TELUGU(0x0C00, 0x0C7F, "Telugu"),
	KANNADA(0x0C80, 0x0CFF, "Kannada"),
	MALAYALAM(0x0D00, 0x0D7F, "Malayalam"),
	SINHALA(0x0D80, 0x0DFF, "Sinhala"),
	THAI(0x0E00, 0x0E7F, "Thai"),
	LAO(0x0E80, 0x0EFF, "Lao"),
	TIBETAN(0x0F00, 0x0FFF, "Tibetan"),
	MYANMAR(0x1000, 0x109F, "Myanmar"),
	GEORGIAN(0x10A0, 0x10FF, "Georgian"),
	HANGUL_JAMO(0x1100, 0x11FF, "Hangul Jamo"),
	ETHIOPIC(0x1200, 0x137F, "Ethiopic"),
	ETHIOPIC_SUPPLEMENT(0x1380, 0x139F, "Ethiopic Supplement"),
	CHEROKEE(0x13A0, 0x13FF, "Cherokee"),
	UNIFIED_CANADIAN_ABORIGINAL_SYLLABICS(0x1400, 0x167F, "Unified Canadian Aboriginal Syllabics"),
	OGHAM(0x1680, 0x169F, "Ogham"),
	RUNIC(0x16A0, 0x16FF, "Runic"),
	TAGALOG(0x1700, 0x171F, "Tagalog"),
	HANUNOO(0x1720, 0x173F, "Hanunoo"),
	BUHID(0x1740, 0x175F, "Buhid"),
	TAGBANWA(0x1760, 0x177F, "Tagbanwa"),
	KHMER(0x1780, 0x17FF, "Khmer"),
	MONGOLIAN(0x1800, 0x18AF, "Mongolian"),
	LIMBU(0x1900, 0x194F, "Limbu"),
	TAI_LE(0x1950, 0x197F, "Tai Le"),
	NEW_TAI_LUE(0x1980, 0x19DF, "New Tai Lue"),
	KHMER_SYMBOLS(0x19E0, 0x19FF, "Khmer Symbols"),
	BUGINESE(0x1A00, 0x1A1F, "Buginese"),
	BALINESE(0x1B00, 0x1B7F, "Balinese"),
	SUNDANESE(0x1B80, 0x1BBF, "Sundanese"),
	LEPCHA(0x1C00, 0x1C4F, "Lepcha"),
	OL_CHIKI(0x1C50, 0x1C7F, "Ol Chiki"),
	PHONETIC_EXTENSIONS(0x1D00, 0x1D7F, "Phonetic Extensions"),
	PHONETIC_EXTENSIONS_SUPPLEMENT(0x1D80, 0x1DBF, "Phonetic Extensions Supplement"),
	COMBINING_DIACRITICAL_MARKS_SUPPLEMENT(0x1DC0, 0x1DFF, "Combining Diacritical Marks Supplement"),
	LATIN_EXTENDED_ADDITIONAL(0x1E00, 0x1EFF, "Latin Extended Additional"),
	GREEK_EXTENDED(0x1F00, 0x1FFF, "Greek Extended"),
	GENERAL_PUNCTUATION(0x2000, 0x206F, "General Punctuation"),
	SUPERSCRIPTS_AND_SUBSCRIPTS(0x2070, 0x209F, "Superscripts and Subscripts"),
	CURRENCY_SYMBOLS(0x20A0, 0x20CF, "Currency Symbols"),
	COMBINING_DIACRITICAL_MARKS_FOR_SYMBOLS(0x20D0, 0x20FF, "Combining Diacritical Marks for Symbols"),
	LETTERLIKE_SYMBOLS(0x2100, 0x214F, "Letterlike Symbols"),
	NUMBER_FORMS(0x2150, 0x218F, "Number Forms"),
	ARROWS(0x2190, 0x21FF, "Arrows"),
	MATHEMATICAL_OPERATORS(0x2200, 0x22FF, "Mathematical Operators"),
	MISCELLANEOUS_TECHNICAL(0x2300, 0x23FF, "Miscellaneous Technical"),
	CONTROL_PICTURES(0x2400, 0x243F, "Control Pictures"),
	OPTICAL_CHARACTER_RECOGNITION(0x2440, 0x245F, "Optical Character Recognition"),
	ENCLOSED_ALPHANUMERICS(0x2460, 0x24FF, "Enclosed Alphanumerics"),
	BOX_DRAWING(0x2500, 0x257F, "Box Drawing"),
	BLOCK_ELEMENTS(0x2580, 0x259F, "Block Elements"),
	GEOMETRIC_SHAPES(0x25A0, 0x25FF, "Geometric Shapes"),
	MISCELLANEOUS_SYMBOLS(0x2600, 0x26FF, "Miscellaneous Symbols"),
	DINGBATS(0x2700, 0x27BF, "Dingbats"),
	MISCELLANEOUS_MATHEMATICAL_SYMBOLS_A(0x27C0, 0x27EF, "Miscellaneous Mathematical Symbols-A"),
	SUPPLEMENTAL_ARROWS_A(0x27F0, 0x27FF, "Supplemental Arrows-A"),
	BRAILLE_PATTERNS(0x2800, 0x28FF, "Braille Patterns"),
	SUPPLEMENTAL_ARROWS_B(0x2900, 0x297F, "Supplemental Arrows-B"),
	MISCELLANEOUS_MATHEMATICAL_SYMBOLS_B(0x2980, 0x29FF, "Miscellaneous Mathematical Symbols-B"),
	SUPPLEMENTAL_MATHEMATICAL_OPERATORS(0x2A00, 0x2AFF, "Supplemental Mathematical Operators"),
	MISCELLANEOUS_SYMBOLS_AND_ARROWS(0x2B00, 0x2BFF, "Miscellaneous Symbols and Arrows"),
	GLAGOLITIC(0x2C00, 0x2C5F, "Glagolitic"),
	LATIN_EXTENDED_C(0x2C60, 0x2C7F, "Latin Extended-C"),
	COPTIC(0x2C80, 0x2CFF, "Coptic"),
	GEORGIAN_SUPPLEMENT(0x2D00, 0x2D2F, "Georgian Supplement"),
	TIFINAGH(0x2D30, 0x2D7F, "Tifinagh"),
	ETHIOPIC_EXTENDED(0x2D80, 0x2DDF, "Ethiopic Extended"),
	CYRILLIC_EXTENDED_A(0x2DE0, 0x2DFF, "Cyrillic Extended-A"),
	SUPPLEMENTAL_PUNCTUATION(0x2E00, 0x2E7F, "Supplemental Punctuation"),
	CJK_RADICALS_SUPPLEMENT(0x2E80, 0x2EFF, "CJK Radicals Supplement"),
	KANGXI_RADICALS(0x2F00, 0x2FDF, "Kangxi Radicals"),
	IDEOGRAPHIC_DESCRIPTION_CHARACTERS(0x2FF0, 0x2FFF, "Ideographic Description Characters"),
	CJK_SYMBOLS_AND_PUNCTUATION(0x3000, 0x303F, "CJK Symbols and Punctuation"),
	HIRAGANA(0x3040, 0x309F, "Hiragana"),
	KATAKANA(0x30A0, 0x30FF, "Katakana"),
	BOPOMOFO(0x3100, 0x312F, "Bopomofo"),
	HANGUL_COMPATIBILITY_JAMO(0x3130, 0x318F, "Hangul Compatibility Jamo"),
	KANBUN(0x3190, 0x319F, "Kanbun"),
	BOPOMOFO_EXTENDED(0x31A0, 0x31BF, "Bopomofo Extended"),
	CJK_STROKES(0x31C0, 0x31EF, "CJK Strokes"),
	KATAKANA_PHONETIC_EXTENSIONS(0x31F0, 0x31FF, "Katakana Phonetic Extensions"),
	ENCLOSED_CJK_LETTERS_AND_MONTHS(0x3200, 0x32FF, "Enclosed CJK Letters and Months"),
	CJK_COMPATIBILITY(0x3300, 0x33FF, "CJK Compatibility"),
	CJK_UNIFIED_IDEOGRAPHS_EXTENSION_A(0x3400, 0x4DBF, "CJK Unified Ideographs Extension A"),
	YIJING_HEXAGRAM_SYMBOLS(0x4DC0, 0x4DFF, "Yijing Hexagram Symbols"),
	CJK_UNIFIED_IDEOGRAPHS(0x4E00, 0x9FFF, "CJK Unified Ideographs"),
	YI_SYLLABLES(0xA000, 0xA48F, "Yi Syllables"),
	YI_RADICALS(0xA490, 0xA4CF, "Yi Radicals"),
	VAI(0xA500, 0xA63F, "Vai"),
	CYRILLIC_EXTENDED_B(0xA640, 0xA69F, "Cyrillic Extended-B"),
	MODIFIER_TONE_LETTERS(0xA700, 0xA71F, "Modifier Tone Letters"),
	LATIN_EXTENDED_D(0xA720, 0xA7FF, "Latin Extended-D"),
	SYLOTI_NAGRI(0xA800, 0xA82F, "Syloti Nagri"),
	PHAGS_PA(0xA840, 0xA87F, "Phags-pa"),
	SAURASHTRA(0xA880, 0xA8DF, "Saurashtra"),
	KAYAH_LI(0xA900, 0xA92F, "Kayah Li"),
	REJANG(0xA930, 0xA95F, "Rejang"),
	CHAM(0xAA00, 0xAA5F, "Cham"),
	HANGUL_SYLLABLES(0xAC00, 0xD7AF, "Hangul Syllables"),
	HIGH_SURROGATES(0xD800, 0xDB7F, "High Surrogates"),
	HIGH_PRIVATE_USE_SURROGATES(0xDB80, 0xDBFF, "High Private Use Surrogates"),
	LOW_SURROGATES(0xDC00, 0xDFFF, "Low Surrogates"),
	PRIVATE_USE_AREA(0xE000, 0xF8FF, "Private Use Area"),
	CJK_COMPATIBILITY_IDEOGRAPHS(0xF900, 0xFAFF, "CJK Compatibility Ideographs"),
	ALPHABETIC_PRESENTATION_FORMS(0xFB00, 0xFB4F, "Alphabetic Presentation Forms"),
	ARABIC_PRESENTATION_FORMS_A(0xFB50, 0xFDFF, "Arabic Presentation Forms-A"),
	VARIATION_SELECTORS(0xFE00, 0xFE0F, "Variation Selectors"),
	VERTICAL_FORMS(0xFE10, 0xFE1F, "Vertical Forms"),
	COMBINING_HALF_MARKS(0xFE20, 0xFE2F, "Combining Half Marks"),
	CJK_COMPATIBILITY_FORMS(0xFE30, 0xFE4F, "CJK Compatibility Forms"),
	SMALL_FORM_VARIANTS(0xFE50, 0xFE6F, "Small Form Variants"),
	ARABIC_PRESENTATION_FORMS_B(0xFE70, 0xFEFF, "Arabic Presentation Forms-B"),
	HALFWIDTH_AND_FULLWIDTH_FORMS(0xFF00, 0xFFEF, "Halfwidth and Fullwidth Forms"),
	SPECIALS(0xFFF0, 0xFFFF, "Specials"),
	LINEAR_B_SYLLABARY(0x10000, 0x1007F, "Linear B Syllabary"),
	LINEAR_B_IDEOGRAMS(0x10080, 0x100FF, "Linear B Ideograms"),
	AEGEAN_NUMBERS(0x10100, 0x1013F, "Aegean Numbers"),
	ANCIENT_GREEK_NUMBERS(0x10140, 0x1018F, "Ancient Greek Numbers"),
	ANCIENT_SYMBOLS(0x10190, 0x101CF, "Ancient Symbols"),
	PHAISTOS_DISC(0x101D0, 0x101FF, "Phaistos Disc"),
	LYCIAN(0x10280, 0x1029F, "Lycian"),
	CARIAN(0x102A0, 0x102DF, "Carian"),
	OLD_ITALIC(0x10300, 0x1032F, "Old Italic"),
	GOTHIC(0x10330, 0x1034F, "Gothic"),
	UGARITIC(0x10380, 0x1039F, "Ugaritic"),
	OLD_PERSIAN(0x103A0, 0x103DF, "Old Persian"),
	DESERET(0x10400, 0x1044F, "Deseret"),
	SHAVIAN(0x10450, 0x1047F, "Shavian"),
	OSMANYA(0x10480, 0x104AF, "Osmanya"),
	CYPRIOT_SYLLABARY(0x10800, 0x1083F, "Cypriot Syllabary"),
	PHOENICIAN(0x10900, 0x1091F, "Phoenician"),
	LYDIAN(0x10920, 0x1093F, "Lydian"),
	KHAROSHTHI(0x10A00, 0x10A5F, "Kharoshthi"),
	CUNEIFORM(0x12000, 0x123FF, "Cuneiform"),
	CUNEIFORM_NUMBERS_AND_PUNCTUATION(0x12400, 0x1247F, "Cuneiform Numbers and Punctuation"),
	BYZANTINE_MUSICAL_SYMBOLS(0x1D000, 0x1D0FF, "Byzantine Musical Symbols"),
	MUSICAL_SYMBOLS(0x1D100, 0x1D1FF, "Musical Symbols"),
	ANCIENT_GREEK_MUSICAL_NOTATION(0x1D200, 0x1D24F, "Ancient Greek Musical Notation"),
	TAI_XUAN_JING_SYMBOLS(0x1D300, 0x1D35F, "Tai Xuan Jing Symbols"),
	COUNTING_ROD_NUMERALS(0x1D360, 0x1D37F, "Counting Rod Numerals"),
	MATHEMATICAL_ALPHANUMERIC_SYMBOLS(0x1D400, 0x1D7FF, "Mathematical Alphanumeric Symbols"),
	MAHJONG_TILES(0x1F000, 0x1F02F, "Mahjong Tiles"),
	DOMINO_TILES(0x1F030, 0x1F09F, "Domino Tiles"),
	CJK_UNIFIED_IDEOGRAPHS_EXTENSION_B(0x20000, 0x2A6DF, "CJK Unified Ideographs Extension B"),
	CJK_COMPATIBILITY_IDEOGRAPHS_SUPPLEMENT(0x2F800, 0x2FA1F, "CJK Compatibility Ideographs Supplement"),
	TAGS(0xE0000, 0xE007F, "Tags"),
	VARIATION_SELECTORS_SUPPLEMENT(0xE0100, 0xE01EF, "Variation Selectors Supplement"),
	SUPPLEMENTARY_PRIVATE_USE_AREA_A(0xF0000, 0xFFFFF, "Supplementary Private Use Area-A"),
	SUPPLEMENTARY_PRIVATE_USE_AREA_B(0x100000, 0x10FFFF, "Supplementary Private Use Area-B");
	protected final int from;  protected final int to;
	protected final String descr;
	Range(int from, int to, String descr) {
	    this.from = from;
	    this.to = to;
	    this.descr = descr;
	}
	public int getFrom() { return this.from; }
	public int getTo() { return this.to; }
	public String getDescr() { return this.descr; }
	@Override
	public String toString() { return this.descr; }
    }

    public static enum Category {
	UPPERCASE_LETTER("Lu", Character.UPPERCASE_LETTER),
	LOWERCASE_LETTER("Ll", Character.LOWERCASE_LETTER),
	TITLECASE_LETTER("Lt", Character.TITLECASE_LETTER),
	MODIFIER_LETTER("Lm", Character.MODIFIER_LETTER),
	OTHER_LETTER("Lo", Character.OTHER_LETTER),
	NON_SPACING_MARK("Mn", Character.NON_SPACING_MARK),
	COMBINING_SPACING_MARK("Mc", Character.COMBINING_SPACING_MARK),
	ENCLOSING_MARK("Me", Character.ENCLOSING_MARK),
	DECIMAL_DIGIT_NUMBER("Nd", Character.DECIMAL_DIGIT_NUMBER),
	LETTER_NUMBER("Nl", Character.LETTER_NUMBER),
	OTHER_NUMBER("No", Character.OTHER_NUMBER),
	CONNECTOR_PUNCTUATION("Pc", Character.CONNECTOR_PUNCTUATION),
	DASH_PUNCTUATION("Pd", Character.DASH_PUNCTUATION),
	START_PUNCTUATION("Ps", Character.START_PUNCTUATION),
	END_PUNCTUATION("Pe", Character.END_PUNCTUATION),
	INITIAL_QUOTE_PUNCTUATION("Pi", Character.INITIAL_QUOTE_PUNCTUATION),
	FINAL_QUOTE_PUNCTUATION("Pf", Character.FINAL_QUOTE_PUNCTUATION),
	OTHER_PUNCTUATION("Po", Character.OTHER_PUNCTUATION),
	MATH_SYMBOL("Sm", Character.MATH_SYMBOL),
	CURRENCY_SYMBOL("Sc", Character.CURRENCY_SYMBOL),
	MODIFIER_SYMBOL("Sk", Character.MODIFIER_SYMBOL),
	OTHER_SYMBOL("So", Character.OTHER_SYMBOL),
	SPACE_SEPARATOR("Zs", Character.SPACE_SEPARATOR),
	LINE_SEPARATOR("Zl", Character.LINE_SEPARATOR),
	PARAGRAPH_SEPARATOR("Zp", Character.PARAGRAPH_SEPARATOR),
	CONTROL("Cc", Character.CONTROL),
	FORMAT("Cf", Character.FORMAT),
	SURROGATE("Cs", Character.SURROGATE),
	PRIVATE_USE("Co", Character.PRIVATE_USE),
	UNASSIGNED("Cn", Character.UNASSIGNED);
	protected final String code;
	protected final byte javaValue;
	Category(String code, byte javaValue) {
	    this.code = code;
	    this.javaValue = javaValue;
	}
	protected final static Map<String,Category> revMap
	    = new HashMap<String,Category>();
	static {
	    for ( Category cat : Category.values() )
		revMap.put(cat.code, cat);
	}
	public static Category fromCode(String code) {
	    Category cat = revMap.get(code);
	    if ( cat == null )
		cat = UNASSIGNED;
	    return cat;
	}
	public String getCode() { return this.code; }
	public byte getJavaValue() { return this.javaValue; }
    }

    protected final static Set<Category> printable;

    static {
	Category[] prlist = new Category[] {
	    Category.UPPERCASE_LETTER, Category.LOWERCASE_LETTER,
	    Category.TITLECASE_LETTER, Category.MODIFIER_LETTER,
	    Category.OTHER_LETTER, Category.NON_SPACING_MARK,
	    Category.COMBINING_SPACING_MARK, Category.ENCLOSING_MARK,
	    Category.DECIMAL_DIGIT_NUMBER, Category.LETTER_NUMBER,
	    Category.OTHER_NUMBER, Category.CONNECTOR_PUNCTUATION,
	    Category.DASH_PUNCTUATION, Category.START_PUNCTUATION,
	    Category.END_PUNCTUATION, Category.INITIAL_QUOTE_PUNCTUATION,
	    Category.FINAL_QUOTE_PUNCTUATION, Category.OTHER_PUNCTUATION,
	    Category.MATH_SYMBOL, Category.CURRENCY_SYMBOL,
	    Category.MODIFIER_SYMBOL, Category.OTHER_SYMBOL
	};
	printable = EnumSet.copyOf(Arrays.asList(prlist));
    }

    protected final int codePoint;
    protected final String name;
    protected final Category category;
    protected final String charStr;
    protected final String label;

    protected String makeCharStr() {
	return new String(Character.toChars(codePoint));
    }

    protected String makeLabel() {
	StringBuilder s = new StringBuilder();
	Formatter fmt = new Formatter(s);
	fmt.format("U+%04X %s", codePoint, name);
	return new String(s);
    }

    public UnicodeCharacter(int codePoint, String name, Category category) {
	this.codePoint = codePoint;
	this.name = name;
	this.category = category;
	this.charStr = makeCharStr();
	this.label = makeLabel();
    }

    public int getCodePoint() {
	return this.codePoint;
    }

    public String getName() {
	return this.name;
    }

    public String getChar() {
	return this.charStr;
    }

    public String getLabel() {
	return this.label;
    }

    public boolean isPrintable() {
	return printable.contains(this.category);
    }

    @Override
    public String toString() {
	return this.getLabel();
    }

    static byte[] toUtf8(String s) {
	try {
	    ByteArrayOutputStream buf = new ByteArrayOutputStream(8);
	    OutputStreamWriter writer = new OutputStreamWriter(buf, "UTF-8");
	    writer.write(s, 0, s.length());
	    writer.close();
	    return buf.toByteArray();
	} catch (UnsupportedEncodingException e) {
	    throw new AssertionError("UTF-8 encoding unsupported");
	} catch (IOException e) {
	    throw new AssertionError("this is impossible");
	}
    }

    static byte[] toUtf16(String s) {
	try {
	    ByteArrayOutputStream buf = new ByteArrayOutputStream(8);
	    OutputStreamWriter writer = new OutputStreamWriter(buf, "UTF-16BE");
	    writer.write(s, 0, s.length());
	    writer.close();
	    return buf.toByteArray();
	} catch (UnsupportedEncodingException e) {
	    throw new AssertionError("UTF-16BE encoding unsupported");
	} catch (IOException e) {
	    throw new AssertionError("this is impossible");
	}
    }

}