FOREIGN MODULE sun_nio_cs;

IMPORT
    java_util := "java.util",
    java_nio_charset := "java.nio.charset",
    java_lang := "java.lang",
    java_nio_charset_spi := "java.nio.charset.spi",
    java_security := "java.security",
    java_util_regex := "java.util.regex",
    java_io := "java.io",
    java_nio := "java.nio",
    java_lang_ref := "java.lang.ref",
    sun_util := "sun.util",
    java_nio_channels := "java.nio.channels";

TYPE

  AbstractCharsetProvider* = POINTER TO EXTENSIBLE RECORD (java_nio_charset_spi.CharsetProvider)    (* Typebound Procedures *)
                             STATIC
                               PROCEDURE Init!(p0 : java_lang.String) : AbstractCharsetProvider,CONSTRUCTOR;
                               PROCEDURE Init!() : AbstractCharsetProvider,CONSTRUCTOR;
                             END;

  CharsetMapping* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                    STATIC
                      UNMAPPABLE_DECODING* = 65533;
                      UNMAPPABLE_ENCODING* = 65533;
                      PROCEDURE get*(p0 : java_lang.Class;
                                     p1 : java_lang.String) : CharsetMapping;
                      PROCEDURE Init*() : CharsetMapping,CONSTRUCTOR;
                      PROCEDURE writeCOMPOSITE*(    p0 : java_io.OutputStream;
                                                IN  p1 : ARRAY OF CharsetMapping$Entry;
                                                    p2 : INTEGER);
                      PROCEDURE writeDOUBLEBYTE1*(    p0 : java_io.OutputStream;
                                                  IN  p1 : ARRAY OF INTEGER;
                                                      p2 : INTEGER;
                                                      p3 : INTEGER;
                                                      p4 : INTEGER;
                                                      p5 : INTEGER);
                      PROCEDURE writeDOUBLEBYTE2*(    p0 : java_io.OutputStream;
                                                  IN  p1 : ARRAY OF INTEGER;
                                                      p2 : INTEGER;
                                                      p3 : INTEGER;
                                                      p4 : INTEGER;
                                                      p5 : INTEGER);
                      PROCEDURE writeINDEXC2B*(    p0 : java_io.OutputStream;
                                               IN  p1 : ARRAY OF INTEGER);
                      PROCEDURE writeSINGLEBYTE*(    p0 : java_io.OutputStream;
                                                 IN  p1 : ARRAY OF INTEGER);
                      PROCEDURE writeSIZE*(p0 : java_io.OutputStream;
                                           p1 : INTEGER);
                      PROCEDURE writeSUPPLEMENT*(    p0 : java_io.OutputStream;
                                                 IN  p1 : ARRAY OF CharsetMapping$Entry;
                                                     p2 : INTEGER);
                    END;

  CharsetMapping$Entry* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                            bs*  : INTEGER;
                            cp*  : INTEGER;
                            cp2* : INTEGER;
                          STATIC
                            PROCEDURE Init*(p0 : INTEGER;
                                            p1 : INTEGER;
                                            p2 : INTEGER) : CharsetMapping$Entry,CONSTRUCTOR;
                            PROCEDURE Init*() : CharsetMapping$Entry,CONSTRUCTOR;
                          END;

  CharsetMapping$Parser* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                           STATIC
                             PROCEDURE Init*(p0 : java_io.InputStream) : CharsetMapping$Parser,CONSTRUCTOR;
                             PROCEDURE Init*(p0 : java_io.InputStream;
                                             p1 : java_util_regex.Pattern) : CharsetMapping$Parser,CONSTRUCTOR;
                             PROCEDURE Init*(p0 : java_io.InputStream;
                                             p1 : java_util_regex.Pattern;
                                             p2 : INTEGER;
                                             p3 : INTEGER;
                                             p4 : INTEGER) : CharsetMapping$Parser,CONSTRUCTOR;
                           END;

  FastCharsetProvider* = POINTER TO EXTENSIBLE RECORD (java_nio_charset_spi.CharsetProvider)    (* Typebound Procedures *)
                         STATIC
                           PROCEDURE Init!(p0 : java_lang.String;
                                           p1 : java_util.Map;
                                           p2 : java_util.Map;
                                           p3 : java_util.Map) : FastCharsetProvider,CONSTRUCTOR;
                         END;

  HistoricallyNamedCharset* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                              END;

  IBM437* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM437,CONSTRUCTOR;
            END;

  IBM737* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM737,CONSTRUCTOR;
            END;

  IBM775* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM775,CONSTRUCTOR;
            END;

  IBM850* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE getDecoderSingleByteMappings*() : java_lang.String;
              PROCEDURE Init*() : IBM850,CONSTRUCTOR;
            END;

  IBM850$Decoder* = POINTER TO EXTENSIBLE RECORD (SingleByteDecoder)
                    STATIC
                      PROCEDURE Init*(p0 : java_nio_charset.Charset) : IBM850$Decoder,CONSTRUCTOR;
                    END;

  IBM850$Encoder* = POINTER TO EXTENSIBLE RECORD (SingleByteEncoder)
                    STATIC
                      PROCEDURE Init*(p0 : java_nio_charset.Charset) : IBM850$Encoder,CONSTRUCTOR;
                    END;

  IBM852* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM852,CONSTRUCTOR;
            END;

  IBM855* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM855,CONSTRUCTOR;
            END;

  IBM857* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM857,CONSTRUCTOR;
            END;

  IBM858* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE getDecoderSingleByteMappings*() : java_lang.String;
              PROCEDURE Init*() : IBM858,CONSTRUCTOR;
            END;

  IBM862* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM862,CONSTRUCTOR;
            END;

  IBM866* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM866,CONSTRUCTOR;
            END;

  IBM874* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : IBM874,CONSTRUCTOR;
            END;

  ISO_8859_13* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
                 STATIC
                   PROCEDURE Init*() : ISO_8859_13,CONSTRUCTOR;
                 END;

  ISO_8859_15* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
                 STATIC
                   PROCEDURE Init*() : ISO_8859_15,CONSTRUCTOR;
                 END;

  ISO_8859_2* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE Init*() : ISO_8859_2,CONSTRUCTOR;
                END;

  ISO_8859_4* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE Init*() : ISO_8859_4,CONSTRUCTOR;
                END;

  ISO_8859_5* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE Init*() : ISO_8859_5,CONSTRUCTOR;
                END;

  ISO_8859_7* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE Init*() : ISO_8859_7,CONSTRUCTOR;
                END;

  ISO_8859_9* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE Init*() : ISO_8859_9,CONSTRUCTOR;
                END;

  KOI8_R* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : KOI8_R,CONSTRUCTOR;
            END;

  KOI8_U* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : KOI8_U,CONSTRUCTOR;
            END;

  MS1250* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : MS1250,CONSTRUCTOR;
            END;

  MS1251* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : MS1251,CONSTRUCTOR;
            END;

  MS1252* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : MS1252,CONSTRUCTOR;
            END;

  MS1253* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : MS1253,CONSTRUCTOR;
            END;

  MS1254* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : MS1254,CONSTRUCTOR;
            END;

  MS1257* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : MS1257,CONSTRUCTOR;
            END;

  SingleByte* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                STATIC
                  UNMAPPABLE_DECODING* = 65533;
                  UNMAPPABLE_ENCODING* = 65533;
                  PROCEDURE Init*() : SingleByte,CONSTRUCTOR;
                  PROCEDURE initC2B*(IN  p0 : ARRAY OF CHAR;
                                     IN  p1 : ARRAY OF CHAR;
                                     IN  p2 : ARRAY OF CHAR;
                                     IN  p3 : ARRAY OF CHAR);
                END;

  SingleByte$Decoder* = POINTER TO RECORD (java_nio_charset.CharsetDecoder)    (* Typebound Procedures *)
                        STATIC
                          PROCEDURE Init*(    p0 : java_nio_charset.Charset;
                                          IN  p1 : ARRAY OF CHAR) : SingleByte$Decoder,CONSTRUCTOR;
                        END;

  SingleByte$Encoder* = POINTER TO RECORD (java_nio_charset.CharsetEncoder)    (* Typebound Procedures *)
                        STATIC
                          PROCEDURE Init*(    p0 : java_nio_charset.Charset;
                                          IN  p1 : ARRAY OF CHAR;
                                          IN  p2 : ARRAY OF CHAR) : SingleByte$Encoder,CONSTRUCTOR;
                        END;

  SingleByteDecoder* = POINTER TO ABSTRACT RECORD (java_nio_charset.CharsetDecoder)    (* Typebound Procedures *)
                       STATIC
                         PROCEDURE Init!(p0 : java_nio_charset.Charset;
                                         p1 : java_lang.String) : SingleByteDecoder,CONSTRUCTOR;
                       END;

  SingleByteEncoder* = POINTER TO ABSTRACT RECORD (java_nio_charset.CharsetEncoder)    (* Typebound Procedures *)
                       STATIC
                         PROCEDURE Init!(    p0 : java_nio_charset.Charset;
                                         IN  p1 : ARRAY OF SHORTINT;
                                             p2 : java_lang.String;
                                             p3 : INTEGER;
                                             p4 : INTEGER;
                                             p5 : INTEGER) : SingleByteEncoder,CONSTRUCTOR;
                       END;

  StandardCharsets* = POINTER TO EXTENSIBLE RECORD (FastCharsetProvider)
                      STATIC
                        PROCEDURE Init*() : StandardCharsets,CONSTRUCTOR;
                      END;

  StreamDecoder* = POINTER TO EXTENSIBLE RECORD (java_io.Reader)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE forDecoder*(p0 : java_nio_channels.ReadableByteChannel;
                                           p1 : java_nio_charset.CharsetDecoder;
                                           p2 : INTEGER) : StreamDecoder;
                     PROCEDURE forInputStreamReader*(p0 : java_io.InputStream;
                                                     p1 : java_lang.Object;
                                                     p2 : java_nio_charset.CharsetDecoder) : StreamDecoder;
                     PROCEDURE forInputStreamReader*(p0 : java_io.InputStream;
                                                     p1 : java_lang.Object;
                                                     p2 : java_lang.String) : StreamDecoder;
                     PROCEDURE forInputStreamReader*(p0 : java_io.InputStream;
                                                     p1 : java_lang.Object;
                                                     p2 : java_nio_charset.Charset) : StreamDecoder;
                   END;

  StreamEncoder* = POINTER TO EXTENSIBLE RECORD (java_io.Writer)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE forEncoder*(p0 : java_nio_channels.WritableByteChannel;
                                           p1 : java_nio_charset.CharsetEncoder;
                                           p2 : INTEGER) : StreamEncoder;
                     PROCEDURE forOutputStreamWriter*(p0 : java_io.OutputStream;
                                                      p1 : java_lang.Object;
                                                      p2 : java_nio_charset.CharsetEncoder) : StreamEncoder;
                     PROCEDURE forOutputStreamWriter*(p0 : java_io.OutputStream;
                                                      p1 : java_lang.Object;
                                                      p2 : java_lang.String) : StreamEncoder;
                     PROCEDURE forOutputStreamWriter*(p0 : java_io.OutputStream;
                                                      p1 : java_lang.Object;
                                                      p2 : java_nio_charset.Charset) : StreamEncoder;
                   END;

  Surrogate* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
               STATIC
                 MAX*       = 57343;
                 MAX_HIGH*  = 56319;
                 MAX_LOW*   = 57343;
                 MIN*       = 55296;
                 MIN_HIGH*  = 55296;
                 MIN_LOW*   = 56320;
                 UCS4_MAX*  = 1114111;
                 UCS4_MIN*  = 65536;
                 PROCEDURE high*(p0 : INTEGER) : CHAR;
                 PROCEDURE is*(p0 : INTEGER) : BOOLEAN;
                 PROCEDURE isHigh*(p0 : INTEGER) : BOOLEAN;
                 PROCEDURE isLow*(p0 : INTEGER) : BOOLEAN;
                 PROCEDURE low*(p0 : INTEGER) : CHAR;
                 PROCEDURE neededFor*(p0 : INTEGER) : BOOLEAN;
                 PROCEDURE toUCS4*(p0 : CHAR;
                                   p1 : CHAR) : INTEGER;
               END;

  Surrogate$Generator* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                         STATIC
                           PROCEDURE Init*() : Surrogate$Generator,CONSTRUCTOR;
                         END;

  Surrogate$Parser* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                      STATIC
                        PROCEDURE Init*() : Surrogate$Parser,CONSTRUCTOR;
                      END;

  ThreadLocalCoders* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                       STATIC
                         PROCEDURE decoderFor*(p0 : java_lang.Object) : java_nio_charset.CharsetDecoder;
                         PROCEDURE encoderFor*(p0 : java_lang.Object) : java_nio_charset.CharsetEncoder;
                         PROCEDURE Init*() : ThreadLocalCoders,CONSTRUCTOR;
                       END;

  UnicodeEncoder* = POINTER TO ABSTRACT RECORD (java_nio_charset.CharsetEncoder)    (* Typebound Procedures *)
                    STATIC
                      BIG!             = 0;
                      BYTE_ORDER_MARK! = 65279;
                      LITTLE!          = 1;
                      REVERSED_MARK!   = 65534;
                      PROCEDURE Init!(p0 : java_nio_charset.Charset;
                                      p1 : INTEGER;
                                      p2 : BOOLEAN) : UnicodeEncoder,CONSTRUCTOR;
                    END;

  US_ASCII* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.Charset + HistoricallyNamedCharset)    (* Typebound Procedures *)
              STATIC
                PROCEDURE Init*() : US_ASCII,CONSTRUCTOR;
              END;

  UTF_32* = POINTER TO EXTENSIBLE RECORD (Unicode)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*() : UTF_32,CONSTRUCTOR;
            END;

  UTF_32BE* = POINTER TO EXTENSIBLE RECORD (Unicode)    (* Typebound Procedures *)
              STATIC
                PROCEDURE Init*() : UTF_32BE,CONSTRUCTOR;
              END;

  UTF_32BE_BOM* = POINTER TO EXTENSIBLE RECORD (Unicode)    (* Typebound Procedures *)
                  STATIC
                    PROCEDURE Init*() : UTF_32BE_BOM,CONSTRUCTOR;
                  END;

  UTF_32Coder$Decoder* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.CharsetDecoder)    (* Typebound Procedures *)
                         STATIC
                           PROCEDURE Init!(p0 : java_nio_charset.Charset;
                                           p1 : INTEGER) : UTF_32Coder$Decoder,CONSTRUCTOR;
                         END;

  UTF_32Coder$Encoder* = POINTER TO EXTENSIBLE RECORD (java_nio_charset.CharsetEncoder)    (* Typebound Procedures *)
                         STATIC
                           PROCEDURE Init!(p0 : java_nio_charset.Charset;
                                           p1 : INTEGER;
                                           p2 : BOOLEAN) : UTF_32Coder$Encoder,CONSTRUCTOR;
                         END;

  UTF_32LE* = POINTER TO EXTENSIBLE RECORD (Unicode)    (* Typebound Procedures *)
              STATIC
                PROCEDURE Init*() : UTF_32LE,CONSTRUCTOR;
              END;

  UTF_32LE_BOM* = POINTER TO EXTENSIBLE RECORD (Unicode)    (* Typebound Procedures *)
                  STATIC
                    PROCEDURE Init*() : UTF_32LE_BOM,CONSTRUCTOR;
                  END;




PROCEDURE (self:AbstractCharsetProvider) aliases*(p0 : java_lang.String) : POINTER TO ARRAY OF java_lang.String,NEW;

PROCEDURE (self:AbstractCharsetProvider) charset!(    p0 : java_lang.String;
                                                      p1 : java_lang.String;
                                                  IN  p2 : ARRAY OF java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:AbstractCharsetProvider) charsetForName*(p0 : java_lang.String) : java_nio_charset.Charset;

PROCEDURE (self:AbstractCharsetProvider) charsets*() : java_util.Iterator;

PROCEDURE (self:AbstractCharsetProvider) deleteCharset!(    p0 : java_lang.String;
                                                        IN  p1 : ARRAY OF java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:AbstractCharsetProvider) init!(),NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping) decodeComposite*(    p0 : CharsetMapping$Entry;
                                                 IN  p1 : ARRAY OF CHAR) : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping) decodeDouble*(p0 : INTEGER;
                                              p1 : INTEGER) : CHAR,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping) decodeSingle*(p0 : INTEGER) : CHAR,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping) decodeSurrogate*(    p0 : INTEGER;
                                                 IN  p1 : ARRAY OF CHAR) : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping) encodeChar*(p0 : CHAR) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping) encodeComposite*(p0 : CharsetMapping$Entry) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping) encodeSurrogate*(p0 : CHAR;
                                                 p1 : CHAR) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping) isCompositeBase*(p0 : CharsetMapping$Entry) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping$Parser) isDirective!(p0 : java_lang.String) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping$Parser) next*() : CharsetMapping$Entry,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping$Parser) next*(p0 : CharsetMapping$Entry) : CharsetMapping$Entry,NEW,EXTENSIBLE;

PROCEDURE (self:CharsetMapping$Parser) parse!(p0 : java_util_regex.Matcher;
                                              p1 : CharsetMapping$Entry) : CharsetMapping$Entry,NEW,EXTENSIBLE;

PROCEDURE (self:FastCharsetProvider) charsetForName*(p0 : java_lang.String) : java_nio_charset.Charset;

PROCEDURE (self:FastCharsetProvider) charsets*() : java_util.Iterator;

PROCEDURE (self:HistoricallyNamedCharset) historicalName*() : java_lang.String,NEW,ABSTRACT;

PROCEDURE (self:IBM437) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM437) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM437) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM437) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM437) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM437) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM437) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM737) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM737) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM737) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM737) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM737) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM737) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM737) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM775) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM775) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM775) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM775) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM775) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM775) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM775) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM850) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM850) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM850) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM850) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM850) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM850) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM852) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM852) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM852) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM852) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM852) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM852) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM852) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM855) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM855) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM855) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM855) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM855) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM855) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM855) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM857) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM857) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM857) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM857) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM857) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM857) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM857) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM858) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM858) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM858) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM858) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM858) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM858) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM862) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM862) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM862) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM862) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM862) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM862) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM862) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM866) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM866) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM866) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM866) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM866) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM866) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM866) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:IBM874) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:IBM874) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM874) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:IBM874) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM874) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:IBM874) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:IBM874) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_13) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:ISO_8859_13) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_13) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_13) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_13) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_13) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_13) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_15) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:ISO_8859_15) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_15) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_15) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_15) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_15) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_15) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_2) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:ISO_8859_2) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_2) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_2) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_2) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_2) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_2) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_4) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:ISO_8859_4) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_4) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_4) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_4) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_4) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_4) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_5) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:ISO_8859_5) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_5) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_5) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_5) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_5) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_5) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_7) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:ISO_8859_7) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_7) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_7) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_7) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_7) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_7) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_9) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:ISO_8859_9) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_9) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_9) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_9) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ISO_8859_9) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:ISO_8859_9) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:KOI8_R) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:KOI8_R) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:KOI8_R) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:KOI8_R) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:KOI8_R) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:KOI8_R) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:KOI8_R) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:KOI8_U) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:KOI8_U) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:KOI8_U) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:KOI8_U) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:MS1250) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:MS1250) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1250) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:MS1250) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1250) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1250) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:MS1250) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:MS1251) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:MS1251) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1251) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:MS1251) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1251) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1251) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:MS1251) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:MS1252) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:MS1252) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1252) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:MS1252) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1252) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1252) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:MS1252) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:MS1253) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:MS1253) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1253) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:MS1253) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1253) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1253) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:MS1253) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:MS1254) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:MS1254) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1254) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:MS1254) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1254) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1254) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:MS1254) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:MS1257) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:MS1257) getDecoderSingleByteMappings*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1257) getEncoderIndex1*() : POINTER TO ARRAY OF SHORTINT,NEW,EXTENSIBLE;

PROCEDURE (self:MS1257) getEncoderIndex2*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1257) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:MS1257) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:MS1257) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:SingleByte$Decoder) decodeLoop!(p0 : java_nio.ByteBuffer;
                                                p1 : java_nio.CharBuffer) : java_nio_charset.CoderResult,EXTENSIBLE;

PROCEDURE (self:SingleByte$Encoder) canEncode*(p0 : CHAR) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:SingleByte$Encoder) encodeLoop!(p0 : java_nio.CharBuffer;
                                                p1 : java_nio.ByteBuffer) : java_nio_charset.CoderResult,EXTENSIBLE;

PROCEDURE (self:SingleByte$Encoder) implReplaceWith!(IN  p0 : ARRAY OF BYTE),EXTENSIBLE;

PROCEDURE (self:SingleByte$Encoder) isLegalReplacement*(IN  p0 : ARRAY OF BYTE) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:SingleByteDecoder) decode*(p0 : INTEGER) : CHAR,NEW,EXTENSIBLE;

PROCEDURE (self:SingleByteDecoder) decodeLoop!(p0 : java_nio.ByteBuffer;
                                               p1 : java_nio.CharBuffer) : java_nio_charset.CoderResult,EXTENSIBLE;

PROCEDURE (self:SingleByteEncoder) canEncode*(p0 : CHAR) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:SingleByteEncoder) encode*(p0 : CHAR) : BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:SingleByteEncoder) encodeLoop!(p0 : java_nio.CharBuffer;
                                               p1 : java_nio.ByteBuffer) : java_nio_charset.CoderResult,EXTENSIBLE;

PROCEDURE (self:StreamDecoder) close*(),EXTENSIBLE;

PROCEDURE (self:StreamDecoder) getEncoding*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:StreamDecoder) read*(IN  p0 : ARRAY OF CHAR;
                                         p1 : INTEGER;
                                         p2 : INTEGER) : INTEGER,EXTENSIBLE;

PROCEDURE (self:StreamDecoder) read*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:StreamDecoder) ready*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:StreamEncoder) close*(),EXTENSIBLE;

PROCEDURE (self:StreamEncoder) flush*(),EXTENSIBLE;

PROCEDURE (self:StreamEncoder) flushBuffer*(),NEW,EXTENSIBLE;

PROCEDURE (self:StreamEncoder) getEncoding*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:StreamEncoder) write*(p0 : java_lang.String;
                                      p1 : INTEGER;
                                      p2 : INTEGER),EXTENSIBLE;

PROCEDURE (self:StreamEncoder) write*(p0 : INTEGER),EXTENSIBLE;

PROCEDURE (self:StreamEncoder) write*(IN  p0 : ARRAY OF CHAR;
                                          p1 : INTEGER;
                                          p2 : INTEGER),EXTENSIBLE;

PROCEDURE (self:Surrogate$Generator) error*() : java_nio_charset.CoderResult,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Generator) generate*(    p0 : INTEGER;
                                                   p1 : INTEGER;
                                               IN  p2 : ARRAY OF CHAR;
                                                   p3 : INTEGER;
                                                   p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Generator) generate*(p0 : INTEGER;
                                               p1 : INTEGER;
                                               p2 : java_nio.CharBuffer) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Parser) character*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Parser) error*() : java_nio_charset.CoderResult,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Parser) increment*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Parser) isPair*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Parser) parse*(p0 : CHAR;
                                         p1 : java_nio.CharBuffer) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Parser) parse*(    p0 : CHAR;
                                         IN  p1 : ARRAY OF CHAR;
                                             p2 : INTEGER;
                                             p3 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:Surrogate$Parser) unmappableResult*() : java_nio_charset.CoderResult,NEW,EXTENSIBLE;

PROCEDURE (self:UnicodeEncoder) canEncode*(p0 : CHAR) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:UnicodeEncoder) encodeLoop!(p0 : java_nio.CharBuffer;
                                            p1 : java_nio.ByteBuffer) : java_nio_charset.CoderResult,EXTENSIBLE;

PROCEDURE (self:UnicodeEncoder) implReset!(),EXTENSIBLE;

PROCEDURE (self:US_ASCII) contains*(p0 : java_nio_charset.Charset) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:US_ASCII) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:US_ASCII) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:US_ASCII) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:UTF_32) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:UTF_32) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:UTF_32) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:UTF_32BE) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:UTF_32BE) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:UTF_32BE) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:UTF_32BE_BOM) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:UTF_32BE_BOM) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:UTF_32BE_BOM) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:UTF_32Coder$Decoder) decodeLoop!(p0 : java_nio.ByteBuffer;
                                                 p1 : java_nio.CharBuffer) : java_nio_charset.CoderResult,EXTENSIBLE;

PROCEDURE (self:UTF_32Coder$Decoder) implReset!(),EXTENSIBLE;

PROCEDURE (self:UTF_32Coder$Encoder) encodeLoop!(p0 : java_nio.CharBuffer;
                                                 p1 : java_nio.ByteBuffer) : java_nio_charset.CoderResult,EXTENSIBLE;

PROCEDURE (self:UTF_32Coder$Encoder) implReset!(),EXTENSIBLE;

PROCEDURE (self:UTF_32Coder$Encoder) put!(p0 : INTEGER;
                                          p1 : java_nio.ByteBuffer),NEW,EXTENSIBLE;

PROCEDURE (self:UTF_32LE) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:UTF_32LE) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:UTF_32LE) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

PROCEDURE (self:UTF_32LE_BOM) historicalName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:UTF_32LE_BOM) newDecoder*() : java_nio_charset.CharsetDecoder,EXTENSIBLE;

PROCEDURE (self:UTF_32LE_BOM) newEncoder*() : java_nio_charset.CharsetEncoder,EXTENSIBLE;

END sun_nio_cs.