FOREIGN MODULE java_io;
IMPORT
java_lang,
java_net,
java_security,
java_util,
sun_io,
java_lang_reflect,
java_lang_ref;
TYPE
BufferedInputStream* = POINTER TO EXTENSIBLE RECORD (FilterInputStream)
buf! : POINTER TO ARRAY OF BYTE;
count! : INTEGER;
pos! : INTEGER;
markpos! : INTEGER;
marklimit! : INTEGER;
STATIC
PROCEDURE Init*(p0 : InputStream) : BufferedInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : InputStream;
p1 : INTEGER) : BufferedInputStream,CONSTRUCTOR;
END;
BufferedOutputStream* = POINTER TO EXTENSIBLE RECORD (FilterOutputStream)
buf! : POINTER TO ARRAY OF BYTE;
count! : INTEGER;
STATIC
PROCEDURE Init*(p0 : OutputStream) : BufferedOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : OutputStream;
p1 : INTEGER) : BufferedOutputStream,CONSTRUCTOR;
END;
BufferedReader* = POINTER TO EXTENSIBLE RECORD (Reader)
STATIC
PROCEDURE Init*(p0 : Reader) : BufferedReader,CONSTRUCTOR;
PROCEDURE Init*(p0 : Reader;
p1 : INTEGER) : BufferedReader,CONSTRUCTOR;
END;
BufferedWriter* = POINTER TO EXTENSIBLE RECORD (Writer)
STATIC
PROCEDURE Init*(p0 : Writer) : BufferedWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : Writer;
p1 : INTEGER) : BufferedWriter,CONSTRUCTOR;
END;
ByteArrayInputStream* = POINTER TO EXTENSIBLE RECORD (InputStream)
buf! : POINTER TO ARRAY OF BYTE;
pos! : INTEGER;
mark! : INTEGER;
count! : INTEGER;
STATIC
PROCEDURE Init*(IN p0 : ARRAY OF BYTE) : ByteArrayInputStream,CONSTRUCTOR;
PROCEDURE Init*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : ByteArrayInputStream,CONSTRUCTOR;
END;
ByteArrayOutputStream* = POINTER TO EXTENSIBLE RECORD (OutputStream)
buf! : POINTER TO ARRAY OF BYTE;
count! : INTEGER;
STATIC
PROCEDURE Init*() : ByteArrayOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : INTEGER) : ByteArrayOutputStream,CONSTRUCTOR;
END;
CharArrayReader* = POINTER TO EXTENSIBLE RECORD (Reader)
buf! : POINTER TO ARRAY OF CHAR;
pos! : INTEGER;
markedPos! : INTEGER;
count! : INTEGER;
STATIC
PROCEDURE Init*(IN p0 : ARRAY OF CHAR) : CharArrayReader,CONSTRUCTOR;
PROCEDURE Init*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : CharArrayReader,CONSTRUCTOR;
END;
CharArrayWriter* = POINTER TO EXTENSIBLE RECORD (Writer)
buf! : POINTER TO ARRAY OF CHAR;
count! : INTEGER;
STATIC
PROCEDURE Init*() : CharArrayWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : INTEGER) : CharArrayWriter,CONSTRUCTOR;
END;
CharConversionException* = POINTER TO EXTENSIBLE RECORD (IOException)
STATIC
PROCEDURE Init*() : CharConversionException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : CharConversionException,CONSTRUCTOR;
END;
DataInput* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
DataInputStream* = POINTER TO EXTENSIBLE RECORD (FilterInputStream + DataInput)
STATIC
PROCEDURE Init*(p0 : InputStream) : DataInputStream,CONSTRUCTOR;
PROCEDURE readUTF*(p0 : DataInput) : java_lang.String;
END;
DataOutput* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
DataOutputStream* = POINTER TO EXTENSIBLE RECORD (FilterOutputStream + DataOutput)
written! : INTEGER;
STATIC
PROCEDURE Init*(p0 : OutputStream) : DataOutputStream,CONSTRUCTOR;
END;
EOFException* = POINTER TO EXTENSIBLE RECORD (IOException)
STATIC
PROCEDURE Init*() : EOFException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : EOFException,CONSTRUCTOR;
END;
Externalizable* = POINTER TO INTERFACE RECORD (java_lang.Object + Serializable)
END;
File* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + Serializable + java_lang.Comparable)
STATIC
separatorChar* : CHAR;
separator* : java_lang.String;
pathSeparatorChar* : CHAR;
pathSeparator* : java_lang.String;
PROCEDURE Init*(p0 : File;
p1 : java_lang.String) : File,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : File,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : File,CONSTRUCTOR;
PROCEDURE createTempFile*(p0 : java_lang.String;
p1 : java_lang.String) : File;
PROCEDURE createTempFile*(p0 : java_lang.String;
p1 : java_lang.String;
p2 : File) : File;
PROCEDURE listRoots*() : POINTER TO ARRAY OF File;
END;
FileDescriptor* = POINTER TO RECORD (java_lang.Object)
STATIC
in* : FileDescriptor;
out* : FileDescriptor;
err* : FileDescriptor;
PROCEDURE Init*() : FileDescriptor,CONSTRUCTOR;
END;
FileFilter* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
FileInputStream* = POINTER TO EXTENSIBLE RECORD (InputStream)
STATIC
PROCEDURE Init*(p0 : File) : FileInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : FileDescriptor) : FileInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : FileInputStream,CONSTRUCTOR;
END;
FilenameFilter* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
FileNotFoundException* = POINTER TO EXTENSIBLE RECORD (IOException)
STATIC
PROCEDURE Init*() : FileNotFoundException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : FileNotFoundException,CONSTRUCTOR;
END;
FileOutputStream* = POINTER TO EXTENSIBLE RECORD (OutputStream)
STATIC
PROCEDURE Init*(p0 : File) : FileOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : FileDescriptor) : FileOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : FileOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : BOOLEAN) : FileOutputStream,CONSTRUCTOR;
END;
FilePermission* = POINTER TO RECORD (java_security.Permission + Serializable)
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : FilePermission,CONSTRUCTOR;
END;
FileReader* = POINTER TO EXTENSIBLE RECORD (InputStreamReader)
STATIC
PROCEDURE Init*(p0 : File) : FileReader,CONSTRUCTOR;
PROCEDURE Init*(p0 : FileDescriptor) : FileReader,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : FileReader,CONSTRUCTOR;
END;
FileWriter* = POINTER TO EXTENSIBLE RECORD (OutputStreamWriter)
STATIC
PROCEDURE Init*(p0 : File) : FileWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : FileDescriptor) : FileWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : FileWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : BOOLEAN) : FileWriter,CONSTRUCTOR;
END;
FilterInputStream* = POINTER TO EXTENSIBLE RECORD (InputStream)
in! : InputStream;
STATIC
PROCEDURE Init!(p0 : InputStream) : FilterInputStream,CONSTRUCTOR;
END;
FilterOutputStream* = POINTER TO EXTENSIBLE RECORD (OutputStream)
out! : OutputStream;
STATIC
PROCEDURE Init*(p0 : OutputStream) : FilterOutputStream,CONSTRUCTOR;
END;
FilterReader* = POINTER TO ABSTRACT RECORD (Reader)
in! : Reader;
STATIC
PROCEDURE Init!(p0 : Reader) : FilterReader,CONSTRUCTOR;
END;
FilterWriter* = POINTER TO ABSTRACT RECORD (Writer)
out! : Writer;
STATIC
PROCEDURE Init!(p0 : Writer) : FilterWriter,CONSTRUCTOR;
END;
InputStream* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : InputStream,CONSTRUCTOR;
END;
InputStreamReader* = POINTER TO EXTENSIBLE RECORD (Reader)
STATIC
PROCEDURE Init*(p0 : InputStream) : InputStreamReader,CONSTRUCTOR;
PROCEDURE Init*(p0 : InputStream;
p1 : java_lang.String) : InputStreamReader,CONSTRUCTOR;
END;
InterruptedIOException* = POINTER TO EXTENSIBLE RECORD (IOException)
bytesTransferred* : INTEGER;
STATIC
PROCEDURE Init*() : InterruptedIOException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : InterruptedIOException,CONSTRUCTOR;
END;
InvalidClassException* = POINTER TO EXTENSIBLE RECORD (ObjectStreamException)
classname* : java_lang.String;
STATIC
PROCEDURE Init*(p0 : java_lang.String) : InvalidClassException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : InvalidClassException,CONSTRUCTOR;
END;
InvalidObjectException* = POINTER TO EXTENSIBLE RECORD (ObjectStreamException)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : InvalidObjectException,CONSTRUCTOR;
END;
IOException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception)
STATIC
PROCEDURE Init*() : IOException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : IOException,CONSTRUCTOR;
END;
LineNumberInputStream* = POINTER TO EXTENSIBLE RECORD (FilterInputStream)
STATIC
PROCEDURE Init*(p0 : InputStream) : LineNumberInputStream,CONSTRUCTOR;
END;
LineNumberReader* = POINTER TO EXTENSIBLE RECORD (BufferedReader)
STATIC
PROCEDURE Init*(p0 : Reader) : LineNumberReader,CONSTRUCTOR;
PROCEDURE Init*(p0 : Reader;
p1 : INTEGER) : LineNumberReader,CONSTRUCTOR;
END;
NotActiveException* = POINTER TO EXTENSIBLE RECORD (ObjectStreamException)
STATIC
PROCEDURE Init*() : NotActiveException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : NotActiveException,CONSTRUCTOR;
END;
NotSerializableException* = POINTER TO EXTENSIBLE RECORD (ObjectStreamException)
STATIC
PROCEDURE Init*() : NotSerializableException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : NotSerializableException,CONSTRUCTOR;
END;
ObjectInput* = POINTER TO INTERFACE RECORD (java_lang.Object + DataInput)
END;
ObjectInputStream$GetField* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : ObjectInputStream$GetField,CONSTRUCTOR;
END;
ObjectInputStream* = POINTER TO EXTENSIBLE RECORD (InputStream + ObjectInput + ObjectStreamConstants)
STATIC
PROCEDURE Init!() : ObjectInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : InputStream) : ObjectInputStream,CONSTRUCTOR;
END;
ObjectInputValidation* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
ObjectOutput* = POINTER TO INTERFACE RECORD (java_lang.Object + DataOutput)
END;
ObjectOutputStream$PutField* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : ObjectOutputStream$PutField,CONSTRUCTOR;
END;
ObjectOutputStream* = POINTER TO EXTENSIBLE RECORD (OutputStream + ObjectOutput + ObjectStreamConstants)
STATIC
PROCEDURE Init!() : ObjectOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : OutputStream) : ObjectOutputStream,CONSTRUCTOR;
END;
ObjectStreamClass* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + Serializable)
STATIC
NO_FIELDS* : POINTER TO ARRAY OF ObjectStreamField;
PROCEDURE lookup*(p0 : java_lang.Class) : ObjectStreamClass;
END;
ObjectStreamConstants* = POINTER TO INTERFACE RECORD (java_lang.Object)
STATIC
STREAM_MAGIC* = -21267;
STREAM_VERSION* = 5;
TC_BASE* = 112;
TC_NULL* = 112;
TC_REFERENCE* = 113;
TC_CLASSDESC* = 114;
TC_OBJECT* = 115;
TC_STRING* = 116;
TC_ARRAY* = 117;
TC_CLASS* = 118;
TC_BLOCKDATA* = 119;
TC_ENDBLOCKDATA* = 120;
TC_RESET* = 121;
TC_BLOCKDATALONG* = 122;
TC_EXCEPTION* = 123;
TC_MAX* = 123;
baseWireHandle* = 8257536;
SC_WRITE_METHOD* = 1;
SC_BLOCK_DATA* = 8;
SC_SERIALIZABLE* = 2;
SC_EXTERNALIZABLE* = 4;
SUBSTITUTION_PERMISSION* : SerializablePermission;
SUBCLASS_IMPLEMENTATION_PERMISSION* : SerializablePermission;
PROTOCOL_VERSION_1* = 1;
PROTOCOL_VERSION_2* = 2;
END;
ObjectStreamException* = POINTER TO ABSTRACT RECORD (IOException)
STATIC
PROCEDURE Init!() : ObjectStreamException,CONSTRUCTOR;
PROCEDURE Init!(p0 : java_lang.String) : ObjectStreamException,CONSTRUCTOR;
END;
ObjectStreamField* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_lang.Comparable)
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.Class) : ObjectStreamField,CONSTRUCTOR;
END;
OptionalDataException* = POINTER TO EXTENSIBLE RECORD (ObjectStreamException)
length* : INTEGER;
eof* : BOOLEAN;
END;
OutputStream* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : OutputStream,CONSTRUCTOR;
END;
OutputStreamWriter* = POINTER TO EXTENSIBLE RECORD (Writer)
STATIC
PROCEDURE Init*(p0 : OutputStream) : OutputStreamWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : OutputStream;
p1 : java_lang.String) : OutputStreamWriter,CONSTRUCTOR;
END;
PipedInputStream* = POINTER TO EXTENSIBLE RECORD (InputStream)
buffer! : POINTER TO ARRAY OF BYTE;
in! : INTEGER;
out! : INTEGER;
STATIC
PIPE_SIZE! = 1024;
PROCEDURE Init*() : PipedInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : PipedOutputStream) : PipedInputStream,CONSTRUCTOR;
END;
PipedOutputStream* = POINTER TO EXTENSIBLE RECORD (OutputStream)
STATIC
PROCEDURE Init*() : PipedOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : PipedInputStream) : PipedOutputStream,CONSTRUCTOR;
END;
PipedReader* = POINTER TO EXTENSIBLE RECORD (Reader)
STATIC
PROCEDURE Init*() : PipedReader,CONSTRUCTOR;
PROCEDURE Init*(p0 : PipedWriter) : PipedReader,CONSTRUCTOR;
END;
PipedWriter* = POINTER TO EXTENSIBLE RECORD (Writer)
STATIC
PROCEDURE Init*() : PipedWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : PipedReader) : PipedWriter,CONSTRUCTOR;
END;
PrintStream* = POINTER TO EXTENSIBLE RECORD (FilterOutputStream)
STATIC
PROCEDURE Init*(p0 : OutputStream) : PrintStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : OutputStream;
p1 : BOOLEAN) : PrintStream,CONSTRUCTOR;
END;
PrintWriter* = POINTER TO EXTENSIBLE RECORD (Writer)
out! : Writer;
STATIC
PROCEDURE Init*(p0 : OutputStream) : PrintWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : OutputStream;
p1 : BOOLEAN) : PrintWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : Writer) : PrintWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : Writer;
p1 : BOOLEAN) : PrintWriter,CONSTRUCTOR;
END;
PushbackInputStream* = POINTER TO EXTENSIBLE RECORD (FilterInputStream)
buf! : POINTER TO ARRAY OF BYTE;
pos! : INTEGER;
STATIC
PROCEDURE Init*(p0 : InputStream) : PushbackInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : InputStream;
p1 : INTEGER) : PushbackInputStream,CONSTRUCTOR;
END;
PushbackReader* = POINTER TO EXTENSIBLE RECORD (FilterReader)
STATIC
PROCEDURE Init*(p0 : Reader) : PushbackReader,CONSTRUCTOR;
PROCEDURE Init*(p0 : Reader;
p1 : INTEGER) : PushbackReader,CONSTRUCTOR;
END;
RandomAccessFile* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + DataOutput + DataInput)
STATIC
PROCEDURE Init*(p0 : File;
p1 : java_lang.String) : RandomAccessFile,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : RandomAccessFile,CONSTRUCTOR;
END;
Reader* = POINTER TO ABSTRACT RECORD (java_lang.Object)
lock! : java_lang.Object;
STATIC
PROCEDURE Init!() : Reader,CONSTRUCTOR;
PROCEDURE Init!(p0 : java_lang.Object) : Reader,CONSTRUCTOR;
END;
SequenceInputStream* = POINTER TO EXTENSIBLE RECORD (InputStream)
STATIC
PROCEDURE Init*(p0 : InputStream;
p1 : InputStream) : SequenceInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_util.Enumeration) : SequenceInputStream,CONSTRUCTOR;
END;
Serializable* = POINTER TO INTERFACE RECORD (java_lang.Object)
STATIC
serialVersionUID* = 1196656838076753133;
END;
SerializablePermission* = POINTER TO RECORD (java_security.BasicPermission)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : SerializablePermission,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : SerializablePermission,CONSTRUCTOR;
END;
StreamCorruptedException* = POINTER TO EXTENSIBLE RECORD (ObjectStreamException)
STATIC
PROCEDURE Init*() : StreamCorruptedException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : StreamCorruptedException,CONSTRUCTOR;
END;
StreamTokenizer* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
ttype* : INTEGER;
sval* : java_lang.String;
nval* : REAL;
STATIC
TT_EOF* = -1;
TT_EOL* = 10;
TT_NUMBER* = -2;
TT_WORD* = -3;
PROCEDURE Init*(p0 : InputStream) : StreamTokenizer,CONSTRUCTOR;
PROCEDURE Init*(p0 : Reader) : StreamTokenizer,CONSTRUCTOR;
END;
StringBufferInputStream* = POINTER TO EXTENSIBLE RECORD (InputStream)
buffer! : java_lang.String;
pos! : INTEGER;
count! : INTEGER;
STATIC
PROCEDURE Init*(p0 : java_lang.String) : StringBufferInputStream,CONSTRUCTOR;
END;
StringReader* = POINTER TO EXTENSIBLE RECORD (Reader)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : StringReader,CONSTRUCTOR;
END;
StringWriter* = POINTER TO EXTENSIBLE RECORD (Writer)
STATIC
PROCEDURE Init*() : StringWriter,CONSTRUCTOR;
PROCEDURE Init*(p0 : INTEGER) : StringWriter,CONSTRUCTOR;
END;
SyncFailedException* = POINTER TO EXTENSIBLE RECORD (IOException)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : SyncFailedException,CONSTRUCTOR;
END;
UnsupportedEncodingException* = POINTER TO EXTENSIBLE RECORD (IOException)
STATIC
PROCEDURE Init*() : UnsupportedEncodingException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : UnsupportedEncodingException,CONSTRUCTOR;
END;
UTFDataFormatException* = POINTER TO EXTENSIBLE RECORD (IOException)
STATIC
PROCEDURE Init*() : UTFDataFormatException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : UTFDataFormatException,CONSTRUCTOR;
END;
WriteAbortedException* = POINTER TO EXTENSIBLE RECORD (ObjectStreamException)
detail* : java_lang.Exception;
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.Exception) : WriteAbortedException,CONSTRUCTOR;
END;
Writer* = POINTER TO ABSTRACT RECORD (java_lang.Object)
lock! : java_lang.Object;
STATIC
PROCEDURE Init!() : Writer,CONSTRUCTOR;
PROCEDURE Init!(p0 : java_lang.Object) : Writer,CONSTRUCTOR;
END;
PROCEDURE (self:BufferedInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:BufferedInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:BufferedInputStream) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:BufferedInputStream) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:BufferedInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:BufferedInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:BufferedInputStream) reset*(),EXTENSIBLE;
PROCEDURE (self:BufferedInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:BufferedOutputStream) flush*(),EXTENSIBLE;
PROCEDURE (self:BufferedOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:BufferedOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:BufferedReader) close*(),EXTENSIBLE;
PROCEDURE (self:BufferedReader) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:BufferedReader) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:BufferedReader) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:BufferedReader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:BufferedReader) readLine*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:BufferedReader) ready*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:BufferedReader) reset*(),EXTENSIBLE;
PROCEDURE (self:BufferedReader) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:BufferedWriter) close*(),EXTENSIBLE;
PROCEDURE (self:BufferedWriter) flush*(),EXTENSIBLE;
PROCEDURE (self:BufferedWriter) newLine*(),NEW,EXTENSIBLE;
PROCEDURE (self:BufferedWriter) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:BufferedWriter) write*(p0 : java_lang.String;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:BufferedWriter) write*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:ByteArrayInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:ByteArrayInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:ByteArrayInputStream) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:ByteArrayInputStream) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:ByteArrayInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:ByteArrayInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:ByteArrayInputStream) reset*(),EXTENSIBLE;
PROCEDURE (self:ByteArrayInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) close*(),EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) size*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) toByteArray*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) toString*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) toString*(p0 : java_lang.String) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:ByteArrayOutputStream) writeTo*(p0 : OutputStream),NEW,EXTENSIBLE;
PROCEDURE (self:CharArrayReader) close*(),EXTENSIBLE;
PROCEDURE (self:CharArrayReader) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:CharArrayReader) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:CharArrayReader) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:CharArrayReader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:CharArrayReader) ready*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:CharArrayReader) reset*(),EXTENSIBLE;
PROCEDURE (self:CharArrayReader) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) close*(),EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) flush*(),EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) size*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) toCharArray*() : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) write*(p0 : java_lang.String;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) write*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:CharArrayWriter) writeTo*(p0 : Writer),NEW,EXTENSIBLE;
PROCEDURE (self:DataInput) readBoolean*() : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readByte*() : BYTE,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readChar*() : CHAR,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readDouble*() : REAL,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readFloat*() : SHORTREAL,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readFully*(IN p0 : ARRAY OF BYTE),NEW,ABSTRACT;
PROCEDURE (self:DataInput) readFully*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:DataInput) readInt*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readLine*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readLong*() : LONGINT,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readShort*() : SHORTINT,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readUTF*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readUnsignedByte*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:DataInput) readUnsignedShort*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:DataInput) skipBytes*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:DataInputStream) read*(IN p0 : ARRAY OF BYTE) : INTEGER;
PROCEDURE (self:DataInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER;
PROCEDURE (self:DataInputStream) readBoolean*() : BOOLEAN,NEW;
PROCEDURE (self:DataInputStream) readByte*() : BYTE,NEW;
PROCEDURE (self:DataInputStream) readChar*() : CHAR,NEW;
PROCEDURE (self:DataInputStream) readDouble*() : REAL,NEW;
PROCEDURE (self:DataInputStream) readFloat*() : SHORTREAL,NEW;
PROCEDURE (self:DataInputStream) readFully*(IN p0 : ARRAY OF BYTE),NEW;
PROCEDURE (self:DataInputStream) readFully*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW;
PROCEDURE (self:DataInputStream) readInt*() : INTEGER,NEW;
PROCEDURE (self:DataInputStream) readLine*() : java_lang.String,NEW;
PROCEDURE (self:DataInputStream) readLong*() : LONGINT,NEW;
PROCEDURE (self:DataInputStream) readShort*() : SHORTINT,NEW;
PROCEDURE (self:DataInputStream) readUTF*() : java_lang.String,NEW;
PROCEDURE (self:DataInputStream) readUnsignedByte*() : INTEGER,NEW;
PROCEDURE (self:DataInputStream) readUnsignedShort*() : INTEGER,NEW;
PROCEDURE (self:DataInputStream) skipBytes*(p0 : INTEGER) : INTEGER,NEW;
PROCEDURE (self:DataOutput) write*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) write*(IN p0 : ARRAY OF BYTE),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeBoolean*(p0 : BOOLEAN),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeByte*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeBytes*(p0 : java_lang.String),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeChar*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeChars*(p0 : java_lang.String),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeDouble*(p0 : REAL),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeFloat*(p0 : SHORTREAL),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeInt*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeLong*(p0 : LONGINT),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeShort*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:DataOutput) writeUTF*(p0 : java_lang.String),NEW,ABSTRACT;
PROCEDURE (self:DataOutputStream) flush*(),EXTENSIBLE;
PROCEDURE (self:DataOutputStream) size*() : INTEGER,NEW;
PROCEDURE (self:DataOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DataOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DataOutputStream) writeBoolean*(p0 : BOOLEAN),NEW;
PROCEDURE (self:DataOutputStream) writeByte*(p0 : INTEGER),NEW;
PROCEDURE (self:DataOutputStream) writeBytes*(p0 : java_lang.String),NEW;
PROCEDURE (self:DataOutputStream) writeChar*(p0 : INTEGER),NEW;
PROCEDURE (self:DataOutputStream) writeChars*(p0 : java_lang.String),NEW;
PROCEDURE (self:DataOutputStream) writeDouble*(p0 : REAL),NEW;
PROCEDURE (self:DataOutputStream) writeFloat*(p0 : SHORTREAL),NEW;
PROCEDURE (self:DataOutputStream) writeInt*(p0 : INTEGER),NEW;
PROCEDURE (self:DataOutputStream) writeLong*(p0 : LONGINT),NEW;
PROCEDURE (self:DataOutputStream) writeShort*(p0 : INTEGER),NEW;
PROCEDURE (self:DataOutputStream) writeUTF*(p0 : java_lang.String),NEW;
PROCEDURE (self:Externalizable) readExternal*(p0 : ObjectInput),NEW,ABSTRACT;
PROCEDURE (self:Externalizable) writeExternal*(p0 : ObjectOutput),NEW,ABSTRACT;
PROCEDURE (self:File) canRead*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) canWrite*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) compareTo*(p0 : File) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:File) compareTo*(p0 : java_lang.Object) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:File) createNewFile*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) delete*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) deleteOnExit*(),NEW,EXTENSIBLE;
PROCEDURE (self:File) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:File) exists*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) getAbsoluteFile*() : File,NEW,EXTENSIBLE;
PROCEDURE (self:File) getAbsolutePath*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:File) getCanonicalFile*() : File,NEW,EXTENSIBLE;
PROCEDURE (self:File) getCanonicalPath*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:File) getName*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:File) getParent*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:File) getParentFile*() : File,NEW,EXTENSIBLE;
PROCEDURE (self:File) getPath*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:File) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:File) isAbsolute*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) isDirectory*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) isFile*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) isHidden*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) lastModified*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:File) length*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:File) list*() : POINTER TO ARRAY OF java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:File) list*(p0 : FilenameFilter) : POINTER TO ARRAY OF java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:File) listFiles*() : POINTER TO ARRAY OF File,NEW,EXTENSIBLE;
PROCEDURE (self:File) listFiles*(p0 : FileFilter) : POINTER TO ARRAY OF File,NEW,EXTENSIBLE;
PROCEDURE (self:File) listFiles*(p0 : FilenameFilter) : POINTER TO ARRAY OF File,NEW,EXTENSIBLE;
PROCEDURE (self:File) mkdir*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) mkdirs*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) renameTo*(p0 : File) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) setLastModified*(p0 : LONGINT) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) setReadOnly*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:File) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:File) toURL*() : java_net.URL,NEW,EXTENSIBLE;
PROCEDURE (self:FileDescriptor) sync*(),NEW,EXTENSIBLE;
PROCEDURE (self:FileDescriptor) valid*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:FileFilter) accept*(p0 : File) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:FileInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:FileInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:FileInputStream) finalize!(),EXTENSIBLE;
PROCEDURE (self:FileInputStream) getFD*() : FileDescriptor,NEW;
PROCEDURE (self:FileInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:FileInputStream) read*(IN p0 : ARRAY OF BYTE) : INTEGER,EXTENSIBLE;
PROCEDURE (self:FileInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:FileInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:FilenameFilter) accept*(p0 : File;
p1 : java_lang.String) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:FileOutputStream) close*(),EXTENSIBLE;
PROCEDURE (self:FileOutputStream) finalize!(),EXTENSIBLE;
PROCEDURE (self:FileOutputStream) getFD*() : FileDescriptor,NEW;
PROCEDURE (self:FileOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:FileOutputStream) write*(IN p0 : ARRAY OF BYTE),EXTENSIBLE;
PROCEDURE (self:FileOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:FilePermission) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:FilePermission) getActions*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:FilePermission) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:FilePermission) implies*(p0 : java_security.Permission) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:FilePermission) newPermissionCollection*() : java_security.PermissionCollection,EXTENSIBLE;
PROCEDURE (self:FilterInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:FilterInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:FilterInputStream) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:FilterInputStream) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:FilterInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:FilterInputStream) read*(IN p0 : ARRAY OF BYTE) : INTEGER,EXTENSIBLE;
PROCEDURE (self:FilterInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:FilterInputStream) reset*(),EXTENSIBLE;
PROCEDURE (self:FilterInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:FilterOutputStream) close*(),EXTENSIBLE;
PROCEDURE (self:FilterOutputStream) flush*(),EXTENSIBLE;
PROCEDURE (self:FilterOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:FilterOutputStream) write*(IN p0 : ARRAY OF BYTE),EXTENSIBLE;
PROCEDURE (self:FilterOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:FilterReader) close*(),EXTENSIBLE;
PROCEDURE (self:FilterReader) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:FilterReader) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:FilterReader) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:FilterReader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:FilterReader) ready*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:FilterReader) reset*(),EXTENSIBLE;
PROCEDURE (self:FilterReader) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:FilterWriter) close*(),EXTENSIBLE;
PROCEDURE (self:FilterWriter) flush*(),EXTENSIBLE;
PROCEDURE (self:FilterWriter) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:FilterWriter) write*(p0 : java_lang.String;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:FilterWriter) write*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:InputStream) available*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:InputStream) close*(),NEW,EXTENSIBLE;
PROCEDURE (self:InputStream) mark*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:InputStream) markSupported*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:InputStream) read*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:InputStream) read*(IN p0 : ARRAY OF BYTE) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:InputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:InputStream) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:InputStream) skip*(p0 : LONGINT) : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:InputStreamReader) close*(),EXTENSIBLE;
PROCEDURE (self:InputStreamReader) getEncoding*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:InputStreamReader) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:InputStreamReader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:InputStreamReader) ready*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:InvalidClassException) getMessage*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:LineNumberInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:LineNumberInputStream) getLineNumber*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:LineNumberInputStream) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:LineNumberInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:LineNumberInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:LineNumberInputStream) reset*(),EXTENSIBLE;
PROCEDURE (self:LineNumberInputStream) setLineNumber*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:LineNumberInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:LineNumberReader) getLineNumber*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:LineNumberReader) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:LineNumberReader) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:LineNumberReader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:LineNumberReader) readLine*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:LineNumberReader) reset*(),EXTENSIBLE;
PROCEDURE (self:LineNumberReader) setLineNumber*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:LineNumberReader) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:ObjectInput) available*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:ObjectInput) close*(),NEW,ABSTRACT;
PROCEDURE (self:ObjectInput) read*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:ObjectInput) read*(IN p0 : ARRAY OF BYTE) : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:ObjectInput) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:ObjectInput) readObject*() : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:ObjectInput) skip*(p0 : LONGINT) : LONGINT,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) defaulted*(p0 : java_lang.String) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : BYTE) : BYTE,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : CHAR) : CHAR,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : REAL) : REAL,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : SHORTREAL) : SHORTREAL,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : INTEGER) : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : LONGINT) : LONGINT,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : SHORTINT) : SHORTINT,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) get*(p0 : java_lang.String;
p1 : BOOLEAN) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream$GetField) getObjectStreamClass*() : ObjectStreamClass,NEW,ABSTRACT;
PROCEDURE (self:ObjectInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) defaultReadObject*(),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) enableResolveObject!(p0 : BOOLEAN) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readBoolean*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readByte*() : BYTE,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readChar*() : CHAR,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readDouble*() : REAL,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readFields*() : ObjectInputStream$GetField,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readFloat*() : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readFully*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readFully*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readInt*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readLine*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readLong*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readObject*() : java_lang.Object,NEW;
PROCEDURE (self:ObjectInputStream) readObjectOverride!() : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readShort*() : SHORTINT,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readStreamHeader!(),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readUTF*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readUnsignedByte*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) readUnsignedShort*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) registerValidation*(p0 : ObjectInputValidation;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) resolveClass!(p0 : ObjectStreamClass) : java_lang.Class,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) resolveObject!(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputStream) skipBytes*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectInputValidation) validateObject*(),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutput) close*(),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutput) flush*(),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutput) write*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutput) write*(IN p0 : ARRAY OF BYTE),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutput) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutput) writeObject*(p0 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : BYTE),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : CHAR),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : REAL),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : SHORTREAL),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : LONGINT),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : SHORTINT),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) put*(p0 : java_lang.String;
p1 : BOOLEAN),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream$PutField) write*(p0 : ObjectOutput),NEW,ABSTRACT;
PROCEDURE (self:ObjectOutputStream) annotateClass!(p0 : java_lang.Class),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) close*(),EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) defaultWriteObject*(),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) drain!(),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) enableReplaceObject!(p0 : BOOLEAN) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) flush*(),EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) putFields*() : ObjectOutputStream$PutField,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) replaceObject!(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) useProtocolVersion*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) write*(IN p0 : ARRAY OF BYTE),EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeBoolean*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeByte*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeBytes*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeChar*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeChars*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeDouble*(p0 : REAL),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeFields*(),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeFloat*(p0 : SHORTREAL),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeInt*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeLong*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeObject*(p0 : java_lang.Object),NEW;
PROCEDURE (self:ObjectOutputStream) writeObjectOverride!(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeShort*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeStreamHeader!(),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectOutputStream) writeUTF*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamClass) forClass*() : java_lang.Class,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamClass) getField*(p0 : java_lang.String) : ObjectStreamField,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamClass) getFields*() : POINTER TO ARRAY OF ObjectStreamField,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamClass) getName*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamClass) getSerialVersionUID*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamClass) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) compareTo*(p0 : java_lang.Object) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) getName*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) getOffset*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) getType*() : java_lang.Class,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) getTypeCode*() : CHAR,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) getTypeString*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) isPrimitive*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) setOffset!(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ObjectStreamField) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:OutputStream) close*(),NEW,EXTENSIBLE;
PROCEDURE (self:OutputStream) flush*(),NEW,EXTENSIBLE;
PROCEDURE (self:OutputStream) write*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:OutputStream) write*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:OutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:OutputStreamWriter) close*(),EXTENSIBLE;
PROCEDURE (self:OutputStreamWriter) flush*(),EXTENSIBLE;
PROCEDURE (self:OutputStreamWriter) getEncoding*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:OutputStreamWriter) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:OutputStreamWriter) write*(p0 : java_lang.String;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:OutputStreamWriter) write*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PipedInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:PipedInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:PipedInputStream) connect*(p0 : PipedOutputStream),NEW,EXTENSIBLE;
PROCEDURE (self:PipedInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:PipedInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:PipedInputStream) receive!(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PipedOutputStream) close*(),EXTENSIBLE;
PROCEDURE (self:PipedOutputStream) connect*(p0 : PipedInputStream),NEW,EXTENSIBLE;
PROCEDURE (self:PipedOutputStream) flush*(),EXTENSIBLE;
PROCEDURE (self:PipedOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PipedOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PipedReader) close*(),EXTENSIBLE;
PROCEDURE (self:PipedReader) connect*(p0 : PipedWriter),NEW,EXTENSIBLE;
PROCEDURE (self:PipedReader) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:PipedReader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:PipedReader) ready*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:PipedWriter) close*(),EXTENSIBLE;
PROCEDURE (self:PipedWriter) connect*(p0 : PipedReader),NEW,EXTENSIBLE;
PROCEDURE (self:PipedWriter) flush*(),EXTENSIBLE;
PROCEDURE (self:PipedWriter) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PipedWriter) write*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PrintStream) checkError*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) close*(),EXTENSIBLE;
PROCEDURE (self:PrintStream) flush*(),EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(p0 : CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(p0 : REAL),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(p0 : SHORTREAL),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) print*(IN p0 : ARRAY OF CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(p0 : CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(p0 : REAL),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(p0 : SHORTREAL),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) println*(IN p0 : ARRAY OF CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) setError!(),NEW,EXTENSIBLE;
PROCEDURE (self:PrintStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PrintStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PrintWriter) checkError*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) close*(),EXTENSIBLE;
PROCEDURE (self:PrintWriter) flush*(),EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(p0 : CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(p0 : REAL),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(p0 : SHORTREAL),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) print*(IN p0 : ARRAY OF CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(p0 : CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(p0 : REAL),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(p0 : SHORTREAL),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) println*(IN p0 : ARRAY OF CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) setError!(),NEW,EXTENSIBLE;
PROCEDURE (self:PrintWriter) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PrintWriter) write*(p0 : java_lang.String),EXTENSIBLE;
PROCEDURE (self:PrintWriter) write*(p0 : java_lang.String;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PrintWriter) write*(IN p0 : ARRAY OF CHAR),EXTENSIBLE;
PROCEDURE (self:PrintWriter) write*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) unread*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) unread*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:PushbackInputStream) unread*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PushbackReader) close*(),EXTENSIBLE;
PROCEDURE (self:PushbackReader) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:PushbackReader) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:PushbackReader) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:PushbackReader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:PushbackReader) ready*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:PushbackReader) reset*(),EXTENSIBLE;
PROCEDURE (self:PushbackReader) unread*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PushbackReader) unread*(IN p0 : ARRAY OF CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:PushbackReader) unread*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) close*(),NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) getFD*() : FileDescriptor,NEW;
PROCEDURE (self:RandomAccessFile) getFilePointer*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) length*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) read*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) read*(IN p0 : ARRAY OF BYTE) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) readBoolean*() : BOOLEAN,NEW;
PROCEDURE (self:RandomAccessFile) readByte*() : BYTE,NEW;
PROCEDURE (self:RandomAccessFile) readChar*() : CHAR,NEW;
PROCEDURE (self:RandomAccessFile) readDouble*() : REAL,NEW;
PROCEDURE (self:RandomAccessFile) readFloat*() : SHORTREAL,NEW;
PROCEDURE (self:RandomAccessFile) readFully*(IN p0 : ARRAY OF BYTE),NEW;
PROCEDURE (self:RandomAccessFile) readFully*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW;
PROCEDURE (self:RandomAccessFile) readInt*() : INTEGER,NEW;
PROCEDURE (self:RandomAccessFile) readLine*() : java_lang.String,NEW;
PROCEDURE (self:RandomAccessFile) readLong*() : LONGINT,NEW;
PROCEDURE (self:RandomAccessFile) readShort*() : SHORTINT,NEW;
PROCEDURE (self:RandomAccessFile) readUTF*() : java_lang.String,NEW;
PROCEDURE (self:RandomAccessFile) readUnsignedByte*() : INTEGER,NEW;
PROCEDURE (self:RandomAccessFile) readUnsignedShort*() : INTEGER,NEW;
PROCEDURE (self:RandomAccessFile) seek*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) setLength*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) skipBytes*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) write*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) write*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:RandomAccessFile) writeBoolean*(p0 : BOOLEAN),NEW;
PROCEDURE (self:RandomAccessFile) writeByte*(p0 : INTEGER),NEW;
PROCEDURE (self:RandomAccessFile) writeBytes*(p0 : java_lang.String),NEW;
PROCEDURE (self:RandomAccessFile) writeChar*(p0 : INTEGER),NEW;
PROCEDURE (self:RandomAccessFile) writeChars*(p0 : java_lang.String),NEW;
PROCEDURE (self:RandomAccessFile) writeDouble*(p0 : REAL),NEW;
PROCEDURE (self:RandomAccessFile) writeFloat*(p0 : SHORTREAL),NEW;
PROCEDURE (self:RandomAccessFile) writeInt*(p0 : INTEGER),NEW;
PROCEDURE (self:RandomAccessFile) writeLong*(p0 : LONGINT),NEW;
PROCEDURE (self:RandomAccessFile) writeShort*(p0 : INTEGER),NEW;
PROCEDURE (self:RandomAccessFile) writeUTF*(p0 : java_lang.String),NEW;
PROCEDURE (self:Reader) close*(),NEW,ABSTRACT;
PROCEDURE (self:Reader) mark*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Reader) markSupported*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Reader) read*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Reader) read*(IN p0 : ARRAY OF CHAR) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Reader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Reader) ready*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Reader) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:Reader) skip*(p0 : LONGINT) : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:SequenceInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:SequenceInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:SequenceInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:SequenceInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) commentChar*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) eolIsSignificant*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) lineno*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) lowerCaseMode*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) nextToken*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) ordinaryChar*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) ordinaryChars*(p0 : INTEGER;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) parseNumbers*(),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) pushBack*(),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) quoteChar*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) resetSyntax*(),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) slashSlashComments*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) slashStarComments*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) whitespaceChars*(p0 : INTEGER;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:StreamTokenizer) wordChars*(p0 : INTEGER;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:StringBufferInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:StringBufferInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:StringBufferInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:StringBufferInputStream) reset*(),EXTENSIBLE;
PROCEDURE (self:StringBufferInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:StringReader) close*(),EXTENSIBLE;
PROCEDURE (self:StringReader) mark*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:StringReader) markSupported*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:StringReader) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:StringReader) read*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:StringReader) ready*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:StringReader) reset*(),EXTENSIBLE;
PROCEDURE (self:StringReader) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:StringWriter) close*(),EXTENSIBLE;
PROCEDURE (self:StringWriter) flush*(),EXTENSIBLE;
PROCEDURE (self:StringWriter) getBuffer*() : java_lang.StringBuffer,NEW,EXTENSIBLE;
PROCEDURE (self:StringWriter) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:StringWriter) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:StringWriter) write*(p0 : java_lang.String),EXTENSIBLE;
PROCEDURE (self:StringWriter) write*(p0 : java_lang.String;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:StringWriter) write*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:WriteAbortedException) getMessage*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:Writer) close*(),NEW,ABSTRACT;
PROCEDURE (self:Writer) flush*(),NEW,ABSTRACT;
PROCEDURE (self:Writer) write*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Writer) write*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:Writer) write*(p0 : java_lang.String;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Writer) write*(IN p0 : ARRAY OF CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:Writer) write*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
END java_io.