jdk/src/share/classes/sun/nio/cs/ext/IBM865.java
changeset 1750 637e3c4c99f8
parent 1749 ff917d84bdf3
parent 1748 a5c82afe054b
child 1755 b144aadaeb0d
equal deleted inserted replaced
1749:ff917d84bdf3 1750:637e3c4c99f8
     1 
       
     2 /*
       
     3  * Copyright 2003-2004 Sun Microsystems, Inc.  All Rights Reserved.
       
     4  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
       
     5  *
       
     6  * This code is free software; you can redistribute it and/or modify it
       
     7  * under the terms of the GNU General Public License version 2 only, as
       
     8  * published by the Free Software Foundation.  Sun designates this
       
     9  * particular file as subject to the "Classpath" exception as provided
       
    10  * by Sun in the LICENSE file that accompanied this code.
       
    11  *
       
    12  * This code is distributed in the hope that it will be useful, but WITHOUT
       
    13  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
       
    14  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
       
    15  * version 2 for more details (a copy is included in the LICENSE file that
       
    16  * accompanied this code).
       
    17  *
       
    18  * You should have received a copy of the GNU General Public License version
       
    19  * 2 along with this work; if not, write to the Free Software Foundation,
       
    20  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
       
    21  *
       
    22  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
       
    23  * CA 95054 USA or visit www.sun.com if you need additional information or
       
    24  * have any questions.
       
    25  */
       
    26 
       
    27 package sun.nio.cs.ext;
       
    28 
       
    29 
       
    30 import java.nio.charset.Charset;
       
    31 import java.nio.charset.CharsetDecoder;
       
    32 import java.nio.charset.CharsetEncoder;
       
    33 import sun.nio.cs.StandardCharsets;
       
    34 import sun.nio.cs.SingleByteDecoder;
       
    35 import sun.nio.cs.SingleByteEncoder;
       
    36 import sun.nio.cs.HistoricallyNamedCharset;
       
    37 
       
    38 public class IBM865
       
    39     extends Charset
       
    40     implements HistoricallyNamedCharset
       
    41 {
       
    42 
       
    43     public IBM865() {
       
    44         super("IBM865", ExtendedCharsets.aliasesFor("IBM865"));
       
    45     }
       
    46 
       
    47     public String historicalName() {
       
    48         return "Cp865";
       
    49     }
       
    50 
       
    51     public boolean contains(Charset cs) {
       
    52         return (cs instanceof IBM865);
       
    53     }
       
    54 
       
    55     public CharsetDecoder newDecoder() {
       
    56         return new Decoder(this);
       
    57     }
       
    58 
       
    59     public CharsetEncoder newEncoder() {
       
    60         return new Encoder(this);
       
    61     }
       
    62 
       
    63 
       
    64     /**
       
    65      * These accessors are temporarily supplied while sun.io
       
    66      * converters co-exist with the sun.nio.cs.{ext} charset coders
       
    67      * These facilitate sharing of conversion tables between the
       
    68      * two co-existing implementations. When sun.io converters
       
    69      * are made extinct these will be unncessary and should be removed
       
    70      */
       
    71 
       
    72     public String getDecoderSingleByteMappings() {
       
    73         return Decoder.byteToCharTable;
       
    74 
       
    75     }
       
    76 
       
    77     public short[] getEncoderIndex1() {
       
    78         return Encoder.index1;
       
    79 
       
    80     }
       
    81     public String getEncoderIndex2() {
       
    82         return Encoder.index2;
       
    83 
       
    84     }
       
    85 
       
    86     private static class Decoder extends SingleByteDecoder {
       
    87             public Decoder(Charset cs) {
       
    88                 super(cs, byteToCharTable);
       
    89         }
       
    90 
       
    91         private final static String byteToCharTable =
       
    92 
       
    93             "\u00C7\u00FC\u00E9\u00E2\u00E4\u00E0\u00E5\u00E7" +     // 0x80 - 0x87
       
    94             "\u00EA\u00EB\u00E8\u00EF\u00EE\u00EC\u00C4\u00C5" +     // 0x88 - 0x8F
       
    95             "\u00C9\u00E6\u00C6\u00F4\u00F6\u00F2\u00FB\u00F9" +     // 0x90 - 0x97
       
    96             "\u00FF\u00D6\u00DC\u00F8\u00A3\u00D8\u20A7\u0192" +     // 0x98 - 0x9F
       
    97             "\u00E1\u00ED\u00F3\u00FA\u00F1\u00D1\u00AA\u00BA" +     // 0xA0 - 0xA7
       
    98             "\u00BF\u2310\u00AC\u00BD\u00BC\u00A1\u00AB\u00A4" +     // 0xA8 - 0xAF
       
    99             "\u2591\u2592\u2593\u2502\u2524\u2561\u2562\u2556" +     // 0xB0 - 0xB7
       
   100             "\u2555\u2563\u2551\u2557\u255D\u255C\u255B\u2510" +     // 0xB8 - 0xBF
       
   101             "\u2514\u2534\u252C\u251C\u2500\u253C\u255E\u255F" +     // 0xC0 - 0xC7
       
   102             "\u255A\u2554\u2569\u2566\u2560\u2550\u256C\u2567" +     // 0xC8 - 0xCF
       
   103             "\u2568\u2564\u2565\u2559\u2558\u2552\u2553\u256B" +     // 0xD0 - 0xD7
       
   104             "\u256A\u2518\u250C\u2588\u2584\u258C\u2590\u2580" +     // 0xD8 - 0xDF
       
   105             "\u03B1\u00DF\u0393\u03C0\u03A3\u03C3\u00B5\u03C4" +     // 0xE0 - 0xE7
       
   106             "\u03A6\u0398\u03A9\u03B4\u221E\u03C6\u03B5\u2229" +     // 0xE8 - 0xEF
       
   107             "\u2261\u00B1\u2265\u2264\u2320\u2321\u00F7\u2248" +     // 0xF0 - 0xF7
       
   108             "\u00B0\u2219\u00B7\u221A\u207F\u00B2\u25A0\u00A0" +     // 0xF8 - 0xFF
       
   109             "\u0000\u0001\u0002\u0003\u0004\u0005\u0006\u0007" +     // 0x00 - 0x07
       
   110             "\b\t\n\u000B\f\r\u000E\u000F" +     // 0x08 - 0x0F
       
   111             "\u0010\u0011\u0012\u0013\u0014\u0015\u0016\u0017" +     // 0x10 - 0x17
       
   112             "\u0018\u0019\u001A\u001B\u001C\u001D\u001E\u001F" +     // 0x18 - 0x1F
       
   113             "\u0020\u0021\"\u0023\u0024\u0025\u0026\'" +     // 0x20 - 0x27
       
   114             "\u0028\u0029\u002A\u002B\u002C\u002D\u002E\u002F" +     // 0x28 - 0x2F
       
   115             "\u0030\u0031\u0032\u0033\u0034\u0035\u0036\u0037" +     // 0x30 - 0x37
       
   116             "\u0038\u0039\u003A\u003B\u003C\u003D\u003E\u003F" +     // 0x38 - 0x3F
       
   117             "\u0040\u0041\u0042\u0043\u0044\u0045\u0046\u0047" +     // 0x40 - 0x47
       
   118             "\u0048\u0049\u004A\u004B\u004C\u004D\u004E\u004F" +     // 0x48 - 0x4F
       
   119             "\u0050\u0051\u0052\u0053\u0054\u0055\u0056\u0057" +     // 0x50 - 0x57
       
   120             "\u0058\u0059\u005A\u005B\\\u005D\u005E\u005F" +     // 0x58 - 0x5F
       
   121             "\u0060\u0061\u0062\u0063\u0064\u0065\u0066\u0067" +     // 0x60 - 0x67
       
   122             "\u0068\u0069\u006A\u006B\u006C\u006D\u006E\u006F" +     // 0x68 - 0x6F
       
   123             "\u0070\u0071\u0072\u0073\u0074\u0075\u0076\u0077" +     // 0x70 - 0x77
       
   124             "\u0078\u0079\u007A\u007B\u007C\u007D\u007E\u007F";     // 0x78 - 0x7F
       
   125 
       
   126     }
       
   127 
       
   128     private static class Encoder extends SingleByteEncoder {
       
   129             public Encoder(Charset cs) {
       
   130                 super(cs, index1, index2, 0xFF00, 0x00FF, 8);
       
   131             }
       
   132 
       
   133             private final static String index2 =
       
   134 
       
   135 
       
   136             "\u0000\u0001\u0002\u0003\u0004\u0005\u0006\u0007" +
       
   137             "\b\t\n\u000B\f\r\u000E\u000F" +
       
   138             "\u0010\u0011\u0012\u0013\u0014\u0015\u0016\u0017" +
       
   139             "\u0018\u0019\u001A\u001B\u001C\u001D\u001E\u001F" +
       
   140             "\u0020\u0021\"\u0023\u0024\u0025\u0026\'" +
       
   141             "\u0028\u0029\u002A\u002B\u002C\u002D\u002E\u002F" +
       
   142             "\u0030\u0031\u0032\u0033\u0034\u0035\u0036\u0037" +
       
   143             "\u0038\u0039\u003A\u003B\u003C\u003D\u003E\u003F" +
       
   144             "\u0040\u0041\u0042\u0043\u0044\u0045\u0046\u0047" +
       
   145             "\u0048\u0049\u004A\u004B\u004C\u004D\u004E\u004F" +
       
   146             "\u0050\u0051\u0052\u0053\u0054\u0055\u0056\u0057" +
       
   147             "\u0058\u0059\u005A\u005B\\\u005D\u005E\u005F" +
       
   148             "\u0060\u0061\u0062\u0063\u0064\u0065\u0066\u0067" +
       
   149             "\u0068\u0069\u006A\u006B\u006C\u006D\u006E\u006F" +
       
   150             "\u0070\u0071\u0072\u0073\u0074\u0075\u0076\u0077" +
       
   151             "\u0078\u0079\u007A\u007B\u007C\u007D\u007E\u007F" +
       
   152             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   153             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   154             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   155             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   156             "\u00FF\u00AD\u0000\u009C\u00AF\u0000\u0000\u0000" +
       
   157             "\u0000\u0000\u00A6\u00AE\u00AA\u0000\u0000\u0000" +
       
   158             "\u00F8\u00F1\u00FD\u0000\u0000\u00E6\u0000\u00FA" +
       
   159             "\u0000\u0000\u00A7\u0000\u00AC\u00AB\u0000\u00A8" +
       
   160             "\u0000\u0000\u0000\u0000\u008E\u008F\u0092\u0080" +
       
   161             "\u0000\u0090\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   162             "\u0000\u00A5\u0000\u0000\u0000\u0000\u0099\u0000" +
       
   163             "\u009D\u0000\u0000\u0000\u009A\u0000\u0000\u00E1" +
       
   164             "\u0085\u00A0\u0083\u0000\u0084\u0086\u0091\u0087" +
       
   165             "\u008A\u0082\u0088\u0089\u008D\u00A1\u008C\u008B" +
       
   166             "\u0000\u00A4\u0095\u00A2\u0093\u0000\u0094\u00F6" +
       
   167             "\u009B\u0097\u00A3\u0096\u0081\u0000\u0000\u0098" +
       
   168             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   169             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   170             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   171             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   172             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   173             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   174             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   175             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   176             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   177             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   178             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   179             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   180             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   181             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   182             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   183             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   184             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   185             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   186             "\u0000\u0000\u009F\u0000\u0000\u0000\u0000\u0000" +
       
   187             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   188             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   189             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   190             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   191             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   192             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   193             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   194             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   195             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   196             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   197             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   198             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   199             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   200             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   201             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   202             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   203             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   204             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   205             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   206             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   207             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   208             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   209             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   210             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   211             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   212             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   213             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   214             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   215             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   216             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   217             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   218             "\u0000\u0000\u0000\u00E2\u0000\u0000\u0000\u0000" +
       
   219             "\u00E9\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   220             "\u0000\u0000\u0000\u00E4\u0000\u0000\u00E8\u0000" +
       
   221             "\u0000\u00EA\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   222             "\u0000\u00E0\u0000\u0000\u00EB\u00EE\u0000\u0000" +
       
   223             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   224             "\u00E3\u0000\u0000\u00E5\u00E7\u0000\u00ED\u0000" +
       
   225             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   226             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   227             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   228             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   229             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   230             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   231             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   232             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   233             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   234             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   235             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   236             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   237             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   238             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   239             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   240             "\u0000\u0000\u0000\u0000\u0000\u0000\u00FC\u0000" +
       
   241             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   242             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   243             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   244             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   245             "\u0000\u0000\u0000\u0000\u0000\u0000\u009E\u0000" +
       
   246             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   247             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   248             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   249             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   250             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   251             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   252             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   253             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   254             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   255             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   256             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u00F9" +
       
   257             "\u00FB\u0000\u0000\u0000\u00EC\u0000\u0000\u0000" +
       
   258             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u00EF" +
       
   259             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   260             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   261             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   262             "\u0000\u0000\u0000\u0000\u0000\u0000\u00F7\u0000" +
       
   263             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   264             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   265             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u00F0" +
       
   266             "\u0000\u0000\u00F3\u00F2\u0000\u0000\u0000\u0000" +
       
   267             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   268             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   269             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   270             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   271             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   272             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   273             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   274             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   275             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   276             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   277             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   278             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   279             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   280             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   281             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   282             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   283             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   284             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   285             "\u0000\u0000\u0000\u0000\u0000\u0000\u00A9\u0000" +
       
   286             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   287             "\u0000\u0000\u0000\u0000\u0000\u0000\u00F4\u00F5" +
       
   288             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   289             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   290             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   291             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   292             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   293             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   294             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   295             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   296             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   297             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   298             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   299             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   300             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   301             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   302             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   303             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   304             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   305             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   306             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   307             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   308             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   309             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   310             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   311             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   312             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   313             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   314             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   315             "\u0000\u0000\u0000\u0000\u0000\u0000\u00C4\u0000" +
       
   316             "\u00B3\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   317             "\u0000\u0000\u00DA\u0000\u0000\u0000\u00BF\u0000" +
       
   318             "\u0000\u0000\u00C0\u0000\u0000\u0000\u00D9\u0000" +
       
   319             "\u0000\u0000\u00C3\u0000\u0000\u0000\u0000\u0000" +
       
   320             "\u0000\u0000\u00B4\u0000\u0000\u0000\u0000\u0000" +
       
   321             "\u0000\u0000\u00C2\u0000\u0000\u0000\u0000\u0000" +
       
   322             "\u0000\u0000\u00C1\u0000\u0000\u0000\u0000\u0000" +
       
   323             "\u0000\u0000\u00C5\u0000\u0000\u0000\u0000\u0000" +
       
   324             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   325             "\u0000\u0000\u0000\u0000\u0000\u0000\u00CD\u00BA" +
       
   326             "\u00D5\u00D6\u00C9\u00B8\u00B7\u00BB\u00D4\u00D3" +
       
   327             "\u00C8\u00BE\u00BD\u00BC\u00C6\u00C7\u00CC\u00B5" +
       
   328             "\u00B6\u00B9\u00D1\u00D2\u00CB\u00CF\u00D0\u00CA" +
       
   329             "\u00D8\u00D7\u00CE\u0000\u0000\u0000\u0000\u0000" +
       
   330             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   331             "\u0000\u0000\u0000\u0000\u0000\u0000\u00DF\u0000" +
       
   332             "\u0000\u0000\u00DC\u0000\u0000\u0000\u00DB\u0000" +
       
   333             "\u0000\u0000\u00DD\u0000\u0000\u0000\u00DE\u00B0" +
       
   334             "\u00B1\u00B2\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   335             "\u0000\u0000\u0000\u0000\u0000\u0000\u00FE\u0000" +
       
   336             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   337             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   338             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   339             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   340             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   341             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   342             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   343             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   344             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   345             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   346             "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
       
   347             "\u0000\u0000\u0000\u0000\u0000\u0000";
       
   348 
       
   349     private final static short index1[] = {
       
   350             0, 256, 403, 512, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   351             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   352             711, 403, 942, 1182, 403, 1438, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   353             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   354             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   355             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   356             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   357             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   358             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   359             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   360             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   361             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   362             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   363             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   364             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   365             403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403, 403,
       
   366 
       
   367         };
       
   368     }
       
   369 }