FOREIGN MODULE java_lang; IMPORT java_io, java_security, java_lang_reflect, java_net, java_util, sun_misc, java_util_jar, java_awt, sun_io; TYPE AbstractMethodError* = POINTER TO EXTENSIBLE RECORD (IncompatibleClassChangeError) STATIC PROCEDURE Init*() : AbstractMethodError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : AbstractMethodError,CONSTRUCTOR; END; ArithmeticException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : ArithmeticException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : ArithmeticException,CONSTRUCTOR; END; ArrayIndexOutOfBoundsException* = POINTER TO EXTENSIBLE RECORD (IndexOutOfBoundsException) STATIC PROCEDURE Init*() : ArrayIndexOutOfBoundsException,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : ArrayIndexOutOfBoundsException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : ArrayIndexOutOfBoundsException,CONSTRUCTOR; END; ArrayStoreException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : ArrayStoreException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : ArrayStoreException,CONSTRUCTOR; END; Boolean* = POINTER TO RECORD (Object + java_io.Serializable) STATIC TRUE* : Boolean; FALSE* : Boolean; TYPE* : Class; PROCEDURE Init*(p0 : String) : Boolean,CONSTRUCTOR; PROCEDURE Init*(p0 : BOOLEAN) : Boolean,CONSTRUCTOR; PROCEDURE getBoolean*(p0 : String) : BOOLEAN; PROCEDURE valueOf*(p0 : String) : Boolean; END; Byte* = POINTER TO RECORD (Number + Comparable) STATIC MIN_VALUE* = -128; MAX_VALUE* = 127; TYPE* : Class; PROCEDURE Init*(p0 : BYTE) : Byte,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Byte,CONSTRUCTOR; PROCEDURE decode*(p0 : String) : Byte; PROCEDURE parseByte*(p0 : String) : BYTE; PROCEDURE parseByte*(p0 : String; p1 : INTEGER) : BYTE; PROCEDURE toString*(p0 : BYTE) : String; PROCEDURE valueOf*(p0 : String) : Byte; PROCEDURE valueOf*(p0 : String; p1 : INTEGER) : Byte; END; Character$Subset* = POINTER TO EXTENSIBLE RECORD (Object) STATIC PROCEDURE Init!(p0 : String) : Character$Subset,CONSTRUCTOR; END; Character$UnicodeBlock* = POINTER TO RECORD (Character$Subset) STATIC BASIC_LATIN* : Character$UnicodeBlock; LATIN_1_SUPPLEMENT* : Character$UnicodeBlock; LATIN_EXTENDED_A* : Character$UnicodeBlock; LATIN_EXTENDED_B* : Character$UnicodeBlock; IPA_EXTENSIONS* : Character$UnicodeBlock; SPACING_MODIFIER_LETTERS* : Character$UnicodeBlock; COMBINING_DIACRITICAL_MARKS* : Character$UnicodeBlock; GREEK* : Character$UnicodeBlock; CYRILLIC* : Character$UnicodeBlock; ARMENIAN* : Character$UnicodeBlock; HEBREW* : Character$UnicodeBlock; ARABIC* : Character$UnicodeBlock; DEVANAGARI* : Character$UnicodeBlock; BENGALI* : Character$UnicodeBlock; GURMUKHI* : Character$UnicodeBlock; GUJARATI* : Character$UnicodeBlock; ORIYA* : Character$UnicodeBlock; TAMIL* : Character$UnicodeBlock; TELUGU* : Character$UnicodeBlock; KANNADA* : Character$UnicodeBlock; MALAYALAM* : Character$UnicodeBlock; THAI* : Character$UnicodeBlock; LAO* : Character$UnicodeBlock; TIBETAN* : Character$UnicodeBlock; GEORGIAN* : Character$UnicodeBlock; HANGUL_JAMO* : Character$UnicodeBlock; LATIN_EXTENDED_ADDITIONAL* : Character$UnicodeBlock; GREEK_EXTENDED* : Character$UnicodeBlock; GENERAL_PUNCTUATION* : Character$UnicodeBlock; SUPERSCRIPTS_AND_SUBSCRIPTS* : Character$UnicodeBlock; CURRENCY_SYMBOLS* : Character$UnicodeBlock; COMBINING_MARKS_FOR_SYMBOLS* : Character$UnicodeBlock; LETTERLIKE_SYMBOLS* : Character$UnicodeBlock; NUMBER_FORMS* : Character$UnicodeBlock; ARROWS* : Character$UnicodeBlock; MATHEMATICAL_OPERATORS* : Character$UnicodeBlock; MISCELLANEOUS_TECHNICAL* : Character$UnicodeBlock; CONTROL_PICTURES* : Character$UnicodeBlock; OPTICAL_CHARACTER_RECOGNITION* : Character$UnicodeBlock; ENCLOSED_ALPHANUMERICS* : Character$UnicodeBlock; BOX_DRAWING* : Character$UnicodeBlock; BLOCK_ELEMENTS* : Character$UnicodeBlock; GEOMETRIC_SHAPES* : Character$UnicodeBlock; MISCELLANEOUS_SYMBOLS* : Character$UnicodeBlock; DINGBATS* : Character$UnicodeBlock; CJK_SYMBOLS_AND_PUNCTUATION* : Character$UnicodeBlock; HIRAGANA* : Character$UnicodeBlock; KATAKANA* : Character$UnicodeBlock; BOPOMOFO* : Character$UnicodeBlock; HANGUL_COMPATIBILITY_JAMO* : Character$UnicodeBlock; KANBUN* : Character$UnicodeBlock; ENCLOSED_CJK_LETTERS_AND_MONTHS* : Character$UnicodeBlock; CJK_COMPATIBILITY* : Character$UnicodeBlock; CJK_UNIFIED_IDEOGRAPHS* : Character$UnicodeBlock; HANGUL_SYLLABLES* : Character$UnicodeBlock; SURROGATES_AREA* : Character$UnicodeBlock; PRIVATE_USE_AREA* : Character$UnicodeBlock; CJK_COMPATIBILITY_IDEOGRAPHS* : Character$UnicodeBlock; ALPHABETIC_PRESENTATION_FORMS* : Character$UnicodeBlock; ARABIC_PRESENTATION_FORMS_A* : Character$UnicodeBlock; COMBINING_HALF_MARKS* : Character$UnicodeBlock; CJK_COMPATIBILITY_FORMS* : Character$UnicodeBlock; SMALL_FORM_VARIANTS* : Character$UnicodeBlock; ARABIC_PRESENTATION_FORMS_B* : Character$UnicodeBlock; HALFWIDTH_AND_FULLWIDTH_FORMS* : Character$UnicodeBlock; SPECIALS* : Character$UnicodeBlock; PROCEDURE of*(p0 : CHAR) : Character$UnicodeBlock; END; Character* = POINTER TO RECORD (Object + java_io.Serializable + Comparable) STATIC MIN_RADIX* = 2; MAX_RADIX* = 36; MIN_VALUE* = 0; MAX_VALUE* = 65535; TYPE* : Class; UNASSIGNED* = 0; UPPERCASE_LETTER* = 1; LOWERCASE_LETTER* = 2; TITLECASE_LETTER* = 3; MODIFIER_LETTER* = 4; OTHER_LETTER* = 5; NON_SPACING_MARK* = 6; ENCLOSING_MARK* = 7; COMBINING_SPACING_MARK* = 8; DECIMAL_DIGIT_NUMBER* = 9; LETTER_NUMBER* = 10; OTHER_NUMBER* = 11; SPACE_SEPARATOR* = 12; LINE_SEPARATOR* = 13; PARAGRAPH_SEPARATOR* = 14; CONTROL* = 15; FORMAT* = 16; PRIVATE_USE* = 18; SURROGATE* = 19; DASH_PUNCTUATION* = 20; START_PUNCTUATION* = 21; END_PUNCTUATION* = 22; CONNECTOR_PUNCTUATION* = 23; OTHER_PUNCTUATION* = 24; MATH_SYMBOL* = 25; CURRENCY_SYMBOL* = 26; MODIFIER_SYMBOL* = 27; OTHER_SYMBOL* = 28; PROCEDURE Init*(p0 : CHAR) : Character,CONSTRUCTOR; PROCEDURE digit*(p0 : CHAR; p1 : INTEGER) : INTEGER; PROCEDURE forDigit*(p0 : INTEGER; p1 : INTEGER) : CHAR; PROCEDURE getNumericValue*(p0 : CHAR) : INTEGER; PROCEDURE getType*(p0 : CHAR) : INTEGER; PROCEDURE isDefined*(p0 : CHAR) : BOOLEAN; PROCEDURE isDigit*(p0 : CHAR) : BOOLEAN; PROCEDURE isISOControl*(p0 : CHAR) : BOOLEAN; PROCEDURE isIdentifierIgnorable*(p0 : CHAR) : BOOLEAN; PROCEDURE isJavaIdentifierPart*(p0 : CHAR) : BOOLEAN; PROCEDURE isJavaIdentifierStart*(p0 : CHAR) : BOOLEAN; PROCEDURE isJavaLetter*(p0 : CHAR) : BOOLEAN; PROCEDURE isJavaLetterOrDigit*(p0 : CHAR) : BOOLEAN; PROCEDURE isLetter*(p0 : CHAR) : BOOLEAN; PROCEDURE isLetterOrDigit*(p0 : CHAR) : BOOLEAN; PROCEDURE isLowerCase*(p0 : CHAR) : BOOLEAN; PROCEDURE isSpace*(p0 : CHAR) : BOOLEAN; PROCEDURE isSpaceChar*(p0 : CHAR) : BOOLEAN; PROCEDURE isTitleCase*(p0 : CHAR) : BOOLEAN; PROCEDURE isUnicodeIdentifierPart*(p0 : CHAR) : BOOLEAN; PROCEDURE isUnicodeIdentifierStart*(p0 : CHAR) : BOOLEAN; PROCEDURE isUpperCase*(p0 : CHAR) : BOOLEAN; PROCEDURE isWhitespace*(p0 : CHAR) : BOOLEAN; PROCEDURE toLowerCase*(p0 : CHAR) : CHAR; PROCEDURE toTitleCase*(p0 : CHAR) : CHAR; PROCEDURE toUpperCase*(p0 : CHAR) : CHAR; END; Class* = POINTER TO RECORD (Object + java_io.Serializable) STATIC PROCEDURE forName*(p0 : String) : Class; PROCEDURE forName*(p0 : String; p1 : BOOLEAN; p2 : ClassLoader) : Class; END; ClassCastException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : ClassCastException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : ClassCastException,CONSTRUCTOR; END; ClassCircularityError* = POINTER TO EXTENSIBLE RECORD (LinkageError) STATIC PROCEDURE Init*() : ClassCircularityError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : ClassCircularityError,CONSTRUCTOR; END; ClassFormatError* = POINTER TO EXTENSIBLE RECORD (LinkageError) STATIC PROCEDURE Init*() : ClassFormatError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : ClassFormatError,CONSTRUCTOR; END; ClassLoader* = POINTER TO ABSTRACT RECORD (Object) STATIC PROCEDURE Init!() : ClassLoader,CONSTRUCTOR; PROCEDURE Init!(p0 : ClassLoader) : ClassLoader,CONSTRUCTOR; PROCEDURE getSystemClassLoader*() : ClassLoader; PROCEDURE getSystemResource*(p0 : String) : java_net.URL; PROCEDURE getSystemResourceAsStream*(p0 : String) : java_io.InputStream; PROCEDURE getSystemResources*(p0 : String) : java_util.Enumeration; END; ClassNotFoundException* = POINTER TO EXTENSIBLE RECORD (Exception) STATIC PROCEDURE Init*() : ClassNotFoundException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : ClassNotFoundException,CONSTRUCTOR; PROCEDURE Init*(p0 : String; p1 : Throwable) : ClassNotFoundException,CONSTRUCTOR; END; Cloneable* = POINTER TO INTERFACE RECORD (Object) END; CloneNotSupportedException* = POINTER TO EXTENSIBLE RECORD (Exception) STATIC PROCEDURE Init*() : CloneNotSupportedException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : CloneNotSupportedException,CONSTRUCTOR; END; Comparable* = POINTER TO INTERFACE RECORD (Object) END; Compiler* = POINTER TO RECORD (Object) STATIC PROCEDURE command*(p0 : Object) : Object; PROCEDURE compileClass*(p0 : Class) : BOOLEAN; PROCEDURE compileClasses*(p0 : String) : BOOLEAN; PROCEDURE disable*(); PROCEDURE enable*(); END; Double* = POINTER TO RECORD (Number + Comparable) STATIC POSITIVE_INFINITY* = Infinity; NEGATIVE_INFINITY* = -Infinity; NaN* = NaN; MAX_VALUE* = 1.7976931348623157E308; MIN_VALUE* : REAL; TYPE* : Class; PROCEDURE Init*(p0 : REAL) : Double,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Double,CONSTRUCTOR; PROCEDURE doubleToLongBits*(p0 : REAL) : LONGINT; PROCEDURE isInfinite*(p0 : REAL) : BOOLEAN; PROCEDURE isNaN*(p0 : REAL) : BOOLEAN; PROCEDURE longBitsToDouble*(p0 : LONGINT) : REAL; PROCEDURE parseDouble*(p0 : String) : REAL; PROCEDURE toString*(p0 : REAL) : String; PROCEDURE valueOf*(p0 : String) : Double; END; Error* = POINTER TO EXTENSIBLE RECORD (Throwable) STATIC PROCEDURE Init*() : Error,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Error,CONSTRUCTOR; END; Exception* = POINTER TO EXTENSIBLE RECORD (Throwable) STATIC PROCEDURE Init*() : Exception,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Exception,CONSTRUCTOR; END; ExceptionInInitializerError* = POINTER TO EXTENSIBLE RECORD (LinkageError) STATIC PROCEDURE Init*() : ExceptionInInitializerError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : ExceptionInInitializerError,CONSTRUCTOR; PROCEDURE Init*(p0 : Throwable) : ExceptionInInitializerError,CONSTRUCTOR; END; Float* = POINTER TO RECORD (Number + Comparable) STATIC POSITIVE_INFINITY* = Infinity; NEGATIVE_INFINITY* = -Infinity; NaN* = NaN; MAX_VALUE* = 3.4028234663852886E38; MIN_VALUE* = 1.401298464324817E-45; TYPE* : Class; PROCEDURE Init*(p0 : REAL) : Float,CONSTRUCTOR; PROCEDURE Init*(p0 : SHORTREAL) : Float,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Float,CONSTRUCTOR; PROCEDURE floatToIntBits*(p0 : SHORTREAL) : INTEGER; PROCEDURE intBitsToFloat*(p0 : INTEGER) : SHORTREAL; PROCEDURE isInfinite*(p0 : SHORTREAL) : BOOLEAN; PROCEDURE isNaN*(p0 : SHORTREAL) : BOOLEAN; PROCEDURE parseFloat*(p0 : String) : SHORTREAL; PROCEDURE toString*(p0 : SHORTREAL) : String; PROCEDURE valueOf*(p0 : String) : Float; END; IllegalAccessError* = POINTER TO EXTENSIBLE RECORD (IncompatibleClassChangeError) STATIC PROCEDURE Init*() : IllegalAccessError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : IllegalAccessError,CONSTRUCTOR; END; IllegalAccessException* = POINTER TO EXTENSIBLE RECORD (Exception) STATIC PROCEDURE Init*() : IllegalAccessException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : IllegalAccessException,CONSTRUCTOR; END; IllegalArgumentException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : IllegalArgumentException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : IllegalArgumentException,CONSTRUCTOR; END; IllegalMonitorStateException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : IllegalMonitorStateException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : IllegalMonitorStateException,CONSTRUCTOR; END; IllegalStateException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : IllegalStateException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : IllegalStateException,CONSTRUCTOR; END; IllegalThreadStateException* = POINTER TO EXTENSIBLE RECORD (IllegalArgumentException) STATIC PROCEDURE Init*() : IllegalThreadStateException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : IllegalThreadStateException,CONSTRUCTOR; END; IncompatibleClassChangeError* = POINTER TO EXTENSIBLE RECORD (LinkageError) STATIC PROCEDURE Init*() : IncompatibleClassChangeError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : IncompatibleClassChangeError,CONSTRUCTOR; END; IndexOutOfBoundsException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : IndexOutOfBoundsException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : IndexOutOfBoundsException,CONSTRUCTOR; END; InheritableThreadLocal* = POINTER TO EXTENSIBLE RECORD (ThreadLocal) STATIC PROCEDURE Init*() : InheritableThreadLocal,CONSTRUCTOR; END; InstantiationError* = POINTER TO EXTENSIBLE RECORD (IncompatibleClassChangeError) STATIC PROCEDURE Init*() : InstantiationError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : InstantiationError,CONSTRUCTOR; END; InstantiationException* = POINTER TO EXTENSIBLE RECORD (Exception) STATIC PROCEDURE Init*() : InstantiationException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : InstantiationException,CONSTRUCTOR; END; Integer* = POINTER TO RECORD (Number + Comparable) STATIC MIN_VALUE* = -2147483648; MAX_VALUE* = 2147483647; TYPE* : Class; PROCEDURE Init*(p0 : INTEGER) : Integer,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Integer,CONSTRUCTOR; PROCEDURE decode*(p0 : String) : Integer; PROCEDURE getInteger*(p0 : String) : Integer; PROCEDURE getInteger*(p0 : String; p1 : INTEGER) : Integer; PROCEDURE getInteger*(p0 : String; p1 : Integer) : Integer; PROCEDURE parseInt*(p0 : String) : INTEGER; PROCEDURE parseInt*(p0 : String; p1 : INTEGER) : INTEGER; PROCEDURE toBinaryString*(p0 : INTEGER) : String; PROCEDURE toHexString*(p0 : INTEGER) : String; PROCEDURE toOctalString*(p0 : INTEGER) : String; PROCEDURE toString*(p0 : INTEGER) : String; PROCEDURE toString*(p0 : INTEGER; p1 : INTEGER) : String; PROCEDURE valueOf*(p0 : String) : Integer; PROCEDURE valueOf*(p0 : String; p1 : INTEGER) : Integer; END; InternalError* = POINTER TO EXTENSIBLE RECORD (VirtualMachineError) STATIC PROCEDURE Init*() : InternalError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : InternalError,CONSTRUCTOR; END; InterruptedException* = POINTER TO EXTENSIBLE RECORD (Exception) STATIC PROCEDURE Init*() : InterruptedException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : InterruptedException,CONSTRUCTOR; END; LinkageError* = POINTER TO EXTENSIBLE RECORD (Error) STATIC PROCEDURE Init*() : LinkageError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : LinkageError,CONSTRUCTOR; END; Long* = POINTER TO RECORD (Number + Comparable) STATIC MIN_VALUE* = -9223372036854775808; MAX_VALUE* = 9223372036854775807; TYPE* : Class; PROCEDURE Init*(p0 : LONGINT) : Long,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Long,CONSTRUCTOR; PROCEDURE decode*(p0 : String) : Long; PROCEDURE getLong*(p0 : String) : Long; PROCEDURE getLong*(p0 : String; p1 : LONGINT) : Long; PROCEDURE getLong*(p0 : String; p1 : Long) : Long; PROCEDURE parseLong*(p0 : String) : LONGINT; PROCEDURE parseLong*(p0 : String; p1 : INTEGER) : LONGINT; PROCEDURE toBinaryString*(p0 : LONGINT) : String; PROCEDURE toHexString*(p0 : LONGINT) : String; PROCEDURE toOctalString*(p0 : LONGINT) : String; PROCEDURE toString*(p0 : LONGINT) : String; PROCEDURE toString*(p0 : LONGINT; p1 : INTEGER) : String; PROCEDURE valueOf*(p0 : String) : Long; PROCEDURE valueOf*(p0 : String; p1 : INTEGER) : Long; END; Math* = POINTER TO RECORD (Object) STATIC E* = 2.718281828459045; PI* = 3.141592653589793; PROCEDURE IEEEremainder*(p0 : REAL; p1 : REAL) : REAL; PROCEDURE abs*(p0 : REAL) : REAL; PROCEDURE abs*(p0 : SHORTREAL) : SHORTREAL; PROCEDURE abs*(p0 : INTEGER) : INTEGER; PROCEDURE abs*(p0 : LONGINT) : LONGINT; PROCEDURE acos*(p0 : REAL) : REAL; PROCEDURE asin*(p0 : REAL) : REAL; PROCEDURE atan*(p0 : REAL) : REAL; PROCEDURE atan2*(p0 : REAL; p1 : REAL) : REAL; PROCEDURE ceil*(p0 : REAL) : REAL; PROCEDURE cos*(p0 : REAL) : REAL; PROCEDURE exp*(p0 : REAL) : REAL; PROCEDURE floor*(p0 : REAL) : REAL; PROCEDURE log*(p0 : REAL) : REAL; PROCEDURE max*(p0 : REAL; p1 : REAL) : REAL; PROCEDURE max*(p0 : SHORTREAL; p1 : SHORTREAL) : SHORTREAL; PROCEDURE max*(p0 : INTEGER; p1 : INTEGER) : INTEGER; PROCEDURE max*(p0 : LONGINT; p1 : LONGINT) : LONGINT; PROCEDURE min*(p0 : REAL; p1 : REAL) : REAL; PROCEDURE min*(p0 : SHORTREAL; p1 : SHORTREAL) : SHORTREAL; PROCEDURE min*(p0 : INTEGER; p1 : INTEGER) : INTEGER; PROCEDURE min*(p0 : LONGINT; p1 : LONGINT) : LONGINT; PROCEDURE pow*(p0 : REAL; p1 : REAL) : REAL; PROCEDURE random*() : REAL; PROCEDURE rint*(p0 : REAL) : REAL; PROCEDURE round*(p0 : REAL) : LONGINT; PROCEDURE round*(p0 : SHORTREAL) : INTEGER; PROCEDURE sin*(p0 : REAL) : REAL; PROCEDURE sqrt*(p0 : REAL) : REAL; PROCEDURE tan*(p0 : REAL) : REAL; PROCEDURE toDegrees*(p0 : REAL) : REAL; PROCEDURE toRadians*(p0 : REAL) : REAL; END; NegativeArraySizeException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : NegativeArraySizeException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : NegativeArraySizeException,CONSTRUCTOR; END; NoClassDefFoundError* = POINTER TO EXTENSIBLE RECORD (LinkageError) STATIC PROCEDURE Init*() : NoClassDefFoundError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : NoClassDefFoundError,CONSTRUCTOR; END; NoSuchFieldError* = POINTER TO EXTENSIBLE RECORD (IncompatibleClassChangeError) STATIC PROCEDURE Init*() : NoSuchFieldError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : NoSuchFieldError,CONSTRUCTOR; END; NoSuchFieldException* = POINTER TO EXTENSIBLE RECORD (Exception) STATIC PROCEDURE Init*() : NoSuchFieldException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : NoSuchFieldException,CONSTRUCTOR; END; NoSuchMethodError* = POINTER TO EXTENSIBLE RECORD (IncompatibleClassChangeError) STATIC PROCEDURE Init*() : NoSuchMethodError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : NoSuchMethodError,CONSTRUCTOR; END; NoSuchMethodException* = POINTER TO EXTENSIBLE RECORD (Exception) STATIC PROCEDURE Init*() : NoSuchMethodException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : NoSuchMethodException,CONSTRUCTOR; END; NullPointerException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : NullPointerException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : NullPointerException,CONSTRUCTOR; END; Number* = POINTER TO ABSTRACT RECORD (Object + java_io.Serializable) STATIC PROCEDURE Init*() : Number,CONSTRUCTOR; END; NumberFormatException* = POINTER TO EXTENSIBLE RECORD (IllegalArgumentException) STATIC PROCEDURE Init*() : NumberFormatException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : NumberFormatException,CONSTRUCTOR; END; Object* = POINTER TO EXTENSIBLE RECORD STATIC PROCEDURE Init*() : Object,CONSTRUCTOR; END; OutOfMemoryError* = POINTER TO EXTENSIBLE RECORD (VirtualMachineError) STATIC PROCEDURE Init*() : OutOfMemoryError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : OutOfMemoryError,CONSTRUCTOR; END; Package* = POINTER TO EXTENSIBLE RECORD (Object) STATIC PROCEDURE getPackage*(p0 : String) : Package; PROCEDURE getPackages*() : POINTER TO ARRAY OF Package; END; Process* = POINTER TO ABSTRACT RECORD (Object) STATIC PROCEDURE Init*() : Process,CONSTRUCTOR; END; Runnable* = POINTER TO INTERFACE RECORD (Object) END; Runtime* = POINTER TO EXTENSIBLE RECORD (Object) STATIC PROCEDURE getRuntime*() : Runtime; PROCEDURE runFinalizersOnExit*(p0 : BOOLEAN); END; RuntimeException* = POINTER TO EXTENSIBLE RECORD (Exception) STATIC PROCEDURE Init*() : RuntimeException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : RuntimeException,CONSTRUCTOR; END; RuntimePermission* = POINTER TO RECORD (java_security.BasicPermission) STATIC PROCEDURE Init*(p0 : String) : RuntimePermission,CONSTRUCTOR; PROCEDURE Init*(p0 : String; p1 : String) : RuntimePermission,CONSTRUCTOR; END; SecurityException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : SecurityException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : SecurityException,CONSTRUCTOR; END; SecurityManager* = POINTER TO EXTENSIBLE RECORD (Object) inCheck! : BOOLEAN; STATIC PROCEDURE Init*() : SecurityManager,CONSTRUCTOR; END; Short* = POINTER TO RECORD (Number + KeyListener) STATIC MIN_VALUE* = -32768; MAX_VALUE* = 32767; TYPE* : Class; PROCEDURE Init*(p0 : String) : Short,CONSTRUCTOR; PROCEDURE Init*(p0 : SHORTINT) : Short,CONSTRUCTOR; PROCEDURE decode*(p0 : String) : Short; PROCEDURE parseShort*(p0 : String) : SHORTINT; PROCEDURE parseShort*(p0 : String; p1 : INTEGER) : SHORTINT; PROCEDURE toString*(p0 : SHORTINT) : String; PROCEDURE valueOf*(p0 : String) : Short; PROCEDURE valueOf*(p0 : String; p1 : INTEGER) : Short; END; StackOverflowError* = POINTER TO EXTENSIBLE RECORD (VirtualMachineError) STATIC PROCEDURE Init*() : StackOverflowError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : StackOverflowError,CONSTRUCTOR; END; String* = POINTER TO RECORD (Object + java_io.Serializable + KeyListener) STATIC CASE_INSENSITIVE_ORDER* : java_util.Comparator; PROCEDURE Init*() : String,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : String,CONSTRUCTOR; PROCEDURE Init*(p0 : StringBuffer) : String,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE) : String,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER) : String,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER) : String,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER) : String,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER; p3 : String) : String,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : String) : String,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF CHAR) : String,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER) : String,CONSTRUCTOR; PROCEDURE copyValueOf*(IN p0 : ARRAY OF CHAR) : String; PROCEDURE copyValueOf*(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER) : String; PROCEDURE valueOf*(p0 : CHAR) : String; PROCEDURE valueOf*(p0 : REAL) : String; PROCEDURE valueOf*(p0 : SHORTREAL) : String; PROCEDURE valueOf*(p0 : INTEGER) : String; PROCEDURE valueOf*(p0 : LONGINT) : String; PROCEDURE valueOf*(p0 : Object) : String; PROCEDURE valueOf*(p0 : BOOLEAN) : String; PROCEDURE valueOf*(IN p0 : ARRAY OF CHAR) : String; PROCEDURE valueOf*(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER) : String; END; StringBuffer* = POINTER TO RECORD (Object + java_io.Serializable) STATIC PROCEDURE Init*() : StringBuffer,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : StringBuffer,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : StringBuffer,CONSTRUCTOR; END; StringIndexOutOfBoundsException* = POINTER TO EXTENSIBLE RECORD (IndexOutOfBoundsException) STATIC PROCEDURE Init*() : StringIndexOutOfBoundsException,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : StringIndexOutOfBoundsException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : StringIndexOutOfBoundsException,CONSTRUCTOR; END; System* = POINTER TO RECORD (Object) STATIC in* : java_io.InputStream; out* : java_io.PrintStream; err* : java_io.PrintStream; PROCEDURE arraycopy*(p0 : Object; p1 : INTEGER; p2 : Object; p3 : INTEGER; p4 : INTEGER); PROCEDURE currentTimeMillis*() : LONGINT; PROCEDURE exit*(p0 : INTEGER); PROCEDURE gc*(); PROCEDURE getProperties*() : java_util.Properties; PROCEDURE getProperty*(p0 : String) : String; PROCEDURE getProperty*(p0 : String; p1 : String) : String; PROCEDURE getSecurityManager*() : SecurityManager; PROCEDURE getenv*(p0 : String) : String; PROCEDURE identityHashCode*(p0 : Object) : INTEGER; PROCEDURE load*(p0 : String); PROCEDURE loadLibrary*(p0 : String); PROCEDURE mapLibraryName*(p0 : String) : String; PROCEDURE runFinalization*(); PROCEDURE runFinalizersOnExit*(p0 : BOOLEAN); PROCEDURE setErr*(p0 : java_io.PrintStream); PROCEDURE setIn*(p0 : java_io.InputStream); PROCEDURE setOut*(p0 : java_io.PrintStream); PROCEDURE setProperties*(p0 : java_util.Properties); PROCEDURE setProperty*(p0 : String; p1 : String) : String; PROCEDURE setSecurityManager*(p0 : SecurityManager); END; Thread* = POINTER TO EXTENSIBLE RECORD (Object + Runnable) STATIC MIN_PRIORITY* = 1; NORM_PRIORITY* = 5; MAX_PRIORITY* = 10; PROCEDURE Init*() : Thread,CONSTRUCTOR; PROCEDURE Init*(p0 : Runnable) : Thread,CONSTRUCTOR; PROCEDURE Init*(p0 : Runnable; p1 : String) : Thread,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Thread,CONSTRUCTOR; PROCEDURE Init*(p0 : ThreadGroup; p1 : Runnable) : Thread,CONSTRUCTOR; PROCEDURE Init*(p0 : ThreadGroup; p1 : Runnable; p2 : String) : Thread,CONSTRUCTOR; PROCEDURE Init*(p0 : ThreadGroup; p1 : String) : Thread,CONSTRUCTOR; PROCEDURE activeCount*() : INTEGER; PROCEDURE currentThread*() : Thread; PROCEDURE dumpStack*(); PROCEDURE enumerate*(IN p0 : ARRAY OF Thread) : INTEGER; PROCEDURE interrupted*() : BOOLEAN; PROCEDURE sleep*(p0 : LONGINT); PROCEDURE sleep*(p0 : LONGINT; p1 : INTEGER); PROCEDURE yield*(); END; ThreadDeath* = POINTER TO EXTENSIBLE RECORD (Error) STATIC PROCEDURE Init*() : ThreadDeath,CONSTRUCTOR; END; ThreadGroup* = POINTER TO EXTENSIBLE RECORD (Object) STATIC PROCEDURE Init*(p0 : String) : ThreadGroup,CONSTRUCTOR; PROCEDURE Init*(p0 : ThreadGroup; p1 : String) : ThreadGroup,CONSTRUCTOR; END; ThreadLocal* = POINTER TO EXTENSIBLE RECORD (Object) STATIC PROCEDURE Init*() : ThreadLocal,CONSTRUCTOR; END; Throwable* = POINTER TO EXTENSIBLE RECORD (Object + java_io.Serializable) STATIC PROCEDURE Init*() : Throwable,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : Throwable,CONSTRUCTOR; END; UnknownError* = POINTER TO EXTENSIBLE RECORD (VirtualMachineError) STATIC PROCEDURE Init*() : UnknownError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : UnknownError,CONSTRUCTOR; END; UnsatisfiedLinkError* = POINTER TO EXTENSIBLE RECORD (LinkageError) STATIC PROCEDURE Init*() : UnsatisfiedLinkError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : UnsatisfiedLinkError,CONSTRUCTOR; END; UnsupportedClassVersionError* = POINTER TO EXTENSIBLE RECORD (ClassFormatError) STATIC PROCEDURE Init*() : UnsupportedClassVersionError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : UnsupportedClassVersionError,CONSTRUCTOR; END; UnsupportedOperationException* = POINTER TO EXTENSIBLE RECORD (RuntimeException) STATIC PROCEDURE Init*() : UnsupportedOperationException,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : UnsupportedOperationException,CONSTRUCTOR; END; VerifyError* = POINTER TO EXTENSIBLE RECORD (LinkageError) STATIC PROCEDURE Init*() : VerifyError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : VerifyError,CONSTRUCTOR; END; VirtualMachineError* = POINTER TO ABSTRACT RECORD (Error) STATIC PROCEDURE Init*() : VirtualMachineError,CONSTRUCTOR; PROCEDURE Init*(p0 : String) : VirtualMachineError,CONSTRUCTOR; END; Void* = POINTER TO RECORD (Object) STATIC TYPE* : Class; END; PROCEDURE (self:Boolean) booleanValue*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Boolean) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Boolean) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Boolean) toString*() : String,EXTENSIBLE; PROCEDURE (self:Byte) byteValue*() : BYTE,EXTENSIBLE; PROCEDURE (self:Byte) compareTo*(p0 : Byte) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Byte) compareTo*(p0 : Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Byte) doubleValue*() : REAL,EXTENSIBLE; PROCEDURE (self:Byte) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Byte) floatValue*() : SHORTREAL,EXTENSIBLE; PROCEDURE (self:Byte) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Byte) intValue*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Byte) longValue*() : LONGINT,EXTENSIBLE; PROCEDURE (self:Byte) shortValue*() : SHORTINT,EXTENSIBLE; PROCEDURE (self:Byte) toString*() : String,EXTENSIBLE; PROCEDURE (self:Character$Subset) equals*(p0 : Object) : BOOLEAN; PROCEDURE (self:Character$Subset) hashCode*() : INTEGER; PROCEDURE (self:Character$Subset) toString*() : String; PROCEDURE (self:Character) charValue*() : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:Character) compareTo*(p0 : Character) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Character) compareTo*(p0 : Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Character) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Character) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Character) toString*() : String,EXTENSIBLE; PROCEDURE (self:Class) getClassLoader*() : ClassLoader,NEW,EXTENSIBLE; PROCEDURE (self:Class) getClasses*() : POINTER TO ARRAY OF Class,NEW,EXTENSIBLE; PROCEDURE (self:Class) getComponentType*() : Class,NEW,EXTENSIBLE; PROCEDURE (self:Class) getConstructor*(IN p0 : ARRAY OF Class) : java_lang_reflect.Constructor,NEW,EXTENSIBLE; PROCEDURE (self:Class) getConstructors*() : POINTER TO ARRAY OF java_lang_reflect.Constructor,NEW,EXTENSIBLE; PROCEDURE (self:Class) getDeclaredClasses*() : POINTER TO ARRAY OF Class,NEW,EXTENSIBLE; PROCEDURE (self:Class) getDeclaredConstructor*(IN p0 : ARRAY OF Class) : java_lang_reflect.Constructor,NEW,EXTENSIBLE; PROCEDURE (self:Class) getDeclaredConstructors*() : POINTER TO ARRAY OF java_lang_reflect.Constructor,NEW,EXTENSIBLE; PROCEDURE (self:Class) getDeclaredField*(p0 : String) : java_lang_reflect.Field,NEW,EXTENSIBLE; PROCEDURE (self:Class) getDeclaredFields*() : POINTER TO ARRAY OF java_lang_reflect.Field,NEW,EXTENSIBLE; PROCEDURE (self:Class) getDeclaredMethod*( p0 : String; IN p1 : ARRAY OF Class) : java_lang_reflect.Method,NEW,EXTENSIBLE; PROCEDURE (self:Class) getDeclaredMethods*() : POINTER TO ARRAY OF java_lang_reflect.Method,NEW,EXTENSIBLE; PROCEDURE (self:Class) getDeclaringClass*() : Class,NEW,EXTENSIBLE; PROCEDURE (self:Class) getField*(p0 : String) : java_lang_reflect.Field,NEW,EXTENSIBLE; PROCEDURE (self:Class) getFields*() : POINTER TO ARRAY OF java_lang_reflect.Field,NEW,EXTENSIBLE; PROCEDURE (self:Class) getInterfaces*() : POINTER TO ARRAY OF Class,NEW,EXTENSIBLE; PROCEDURE (self:Class) getMethod*( p0 : String; IN p1 : ARRAY OF Class) : java_lang_reflect.Method,NEW,EXTENSIBLE; PROCEDURE (self:Class) getMethods*() : POINTER TO ARRAY OF java_lang_reflect.Method,NEW,EXTENSIBLE; PROCEDURE (self:Class) getModifiers*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Class) getName*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Class) getPackage*() : Package,NEW,EXTENSIBLE; PROCEDURE (self:Class) getProtectionDomain*() : java_security.ProtectionDomain,NEW,EXTENSIBLE; PROCEDURE (self:Class) getResource*(p0 : String) : java_net.URL,NEW,EXTENSIBLE; PROCEDURE (self:Class) getResourceAsStream*(p0 : String) : java_io.InputStream,NEW,EXTENSIBLE; PROCEDURE (self:Class) getSigners*() : POINTER TO ARRAY OF Object,NEW,EXTENSIBLE; PROCEDURE (self:Class) getSuperclass*() : Class,NEW,EXTENSIBLE; PROCEDURE (self:Class) isArray*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Class) isAssignableFrom*(p0 : Class) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Class) isInstance*(p0 : Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Class) isInterface*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Class) isPrimitive*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Class) newInstance*() : Object,NEW,EXTENSIBLE; PROCEDURE (self:Class) toString*() : String,EXTENSIBLE; PROCEDURE (self:ClassLoader) defineClass!( p0 : String; IN p1 : ARRAY OF BYTE; p2 : INTEGER; p3 : INTEGER) : Class,NEW; PROCEDURE (self:ClassLoader) defineClass!( p0 : String; IN p1 : ARRAY OF BYTE; p2 : INTEGER; p3 : INTEGER; p4 : java_security.ProtectionDomain) : Class,NEW; PROCEDURE (self:ClassLoader) defineClass!(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER) : Class,NEW; PROCEDURE (self:ClassLoader) definePackage!(p0 : String; p1 : String; p2 : String; p3 : String; p4 : String; p5 : String; p6 : String; p7 : java_net.URL) : Package,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) findClass!(p0 : String) : Class,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) findLibrary!(p0 : String) : String,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) findLoadedClass!(p0 : String) : Class,NEW; PROCEDURE (self:ClassLoader) findResource!(p0 : String) : java_net.URL,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) findResources!(p0 : String) : java_util.Enumeration,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) findSystemClass!(p0 : String) : Class,NEW; PROCEDURE (self:ClassLoader) getPackage!(p0 : String) : Package,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) getPackages!() : POINTER TO ARRAY OF Package,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) getParent*() : ClassLoader,NEW; PROCEDURE (self:ClassLoader) getResource*(p0 : String) : java_net.URL,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) getResourceAsStream*(p0 : String) : java_io.InputStream,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) getResources*(p0 : String) : java_util.Enumeration,NEW; PROCEDURE (self:ClassLoader) loadClass*(p0 : String) : Class,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) loadClass!(p0 : String; p1 : BOOLEAN) : Class,NEW,EXTENSIBLE; PROCEDURE (self:ClassLoader) resolveClass!(p0 : Class),NEW; PROCEDURE (self:ClassLoader) setSigners!( p0 : Class; IN p1 : ARRAY OF Object),NEW; PROCEDURE (self:ClassNotFoundException) getException*() : Throwable,NEW,EXTENSIBLE; PROCEDURE (self:ClassNotFoundException) printStackTrace*(),EXTENSIBLE; PROCEDURE (self:ClassNotFoundException) printStackTrace*(p0 : java_io.PrintStream),EXTENSIBLE; PROCEDURE (self:ClassNotFoundException) printStackTrace*(p0 : java_io.PrintWriter),EXTENSIBLE; PROCEDURE (self:Comparable) compareTo*(p0 : Object) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Double) byteValue*() : BYTE,EXTENSIBLE; PROCEDURE (self:Double) compareTo*(p0 : Double) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Double) compareTo*(p0 : Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Double) doubleValue*() : REAL,EXTENSIBLE; PROCEDURE (self:Double) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Double) floatValue*() : SHORTREAL,EXTENSIBLE; PROCEDURE (self:Double) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Double) intValue*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Double) isInfinite*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Double) isNaN*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Double) longValue*() : LONGINT,EXTENSIBLE; PROCEDURE (self:Double) shortValue*() : SHORTINT,EXTENSIBLE; PROCEDURE (self:Double) toString*() : String,EXTENSIBLE; PROCEDURE (self:ExceptionInInitializerError) getException*() : Throwable,NEW,EXTENSIBLE; PROCEDURE (self:ExceptionInInitializerError) printStackTrace*(),EXTENSIBLE; PROCEDURE (self:ExceptionInInitializerError) printStackTrace*(p0 : java_io.PrintStream),EXTENSIBLE; PROCEDURE (self:ExceptionInInitializerError) printStackTrace*(p0 : java_io.PrintWriter),EXTENSIBLE; PROCEDURE (self:Float) byteValue*() : BYTE,EXTENSIBLE; PROCEDURE (self:Float) compareTo*(p0 : Float) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Float) compareTo*(p0 : Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Float) doubleValue*() : REAL,EXTENSIBLE; PROCEDURE (self:Float) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Float) floatValue*() : SHORTREAL,EXTENSIBLE; PROCEDURE (self:Float) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Float) intValue*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Float) isInfinite*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Float) isNaN*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Float) longValue*() : LONGINT,EXTENSIBLE; PROCEDURE (self:Float) shortValue*() : SHORTINT,EXTENSIBLE; PROCEDURE (self:Float) toString*() : String,EXTENSIBLE; PROCEDURE (self:InheritableThreadLocal) childValue!(p0 : Object) : Object,NEW,EXTENSIBLE; PROCEDURE (self:Integer) byteValue*() : BYTE,EXTENSIBLE; PROCEDURE (self:Integer) compareTo*(p0 : Integer) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Integer) compareTo*(p0 : Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Integer) doubleValue*() : REAL,EXTENSIBLE; PROCEDURE (self:Integer) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Integer) floatValue*() : SHORTREAL,EXTENSIBLE; PROCEDURE (self:Integer) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Integer) intValue*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Integer) longValue*() : LONGINT,EXTENSIBLE; PROCEDURE (self:Integer) shortValue*() : SHORTINT,EXTENSIBLE; PROCEDURE (self:Integer) toString*() : String,EXTENSIBLE; PROCEDURE (self:Long) byteValue*() : BYTE,EXTENSIBLE; PROCEDURE (self:Long) compareTo*(p0 : Long) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Long) compareTo*(p0 : Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Long) doubleValue*() : REAL,EXTENSIBLE; PROCEDURE (self:Long) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Long) floatValue*() : SHORTREAL,EXTENSIBLE; PROCEDURE (self:Long) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Long) intValue*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Long) longValue*() : LONGINT,EXTENSIBLE; PROCEDURE (self:Long) shortValue*() : SHORTINT,EXTENSIBLE; PROCEDURE (self:Long) toString*() : String,EXTENSIBLE; PROCEDURE (self:Number) byteValue*() : BYTE,NEW,EXTENSIBLE; PROCEDURE (self:Number) doubleValue*() : REAL,NEW,ABSTRACT; PROCEDURE (self:Number) floatValue*() : SHORTREAL,NEW,ABSTRACT; PROCEDURE (self:Number) intValue*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Number) longValue*() : LONGINT,NEW,ABSTRACT; PROCEDURE (self:Number) shortValue*() : SHORTINT,NEW,EXTENSIBLE; PROCEDURE (self:Object) clone!() : Object,NEW,EXTENSIBLE; PROCEDURE (self:Object) equals*(p0 : Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Object) finalize!(),NEW,EXTENSIBLE; PROCEDURE (self:Object) getClass*() : Class,NEW; PROCEDURE (self:Object) hashCode*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Object) notify*(),NEW; PROCEDURE (self:Object) notifyAll*(),NEW; PROCEDURE (self:Object) toString*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Object) wait*(),NEW; PROCEDURE (self:Object) wait*(p0 : LONGINT),NEW; PROCEDURE (self:Object) wait*(p0 : LONGINT; p1 : INTEGER),NEW; PROCEDURE (self:Package) getImplementationTitle*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Package) getImplementationVendor*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Package) getImplementationVersion*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Package) getName*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Package) getSpecificationTitle*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Package) getSpecificationVendor*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Package) getSpecificationVersion*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Package) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Package) isCompatibleWith*(p0 : String) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Package) isSealed*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Package) isSealed*(p0 : java_net.URL) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Package) toString*() : String,EXTENSIBLE; PROCEDURE (self:Process) destroy*(),NEW,ABSTRACT; PROCEDURE (self:Process) exitValue*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Process) getErrorStream*() : java_io.InputStream,NEW,ABSTRACT; PROCEDURE (self:Process) getInputStream*() : java_io.InputStream,NEW,ABSTRACT; PROCEDURE (self:Process) getOutputStream*() : java_io.OutputStream,NEW,ABSTRACT; PROCEDURE (self:Process) waitFor*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Runnable) run*(),NEW,ABSTRACT; PROCEDURE (self:Runtime) exec*(p0 : String) : Process,NEW,EXTENSIBLE; PROCEDURE (self:Runtime) exec*( p0 : String; IN p1 : ARRAY OF String) : Process,NEW,EXTENSIBLE; PROCEDURE (self:Runtime) exec*(IN p0 : ARRAY OF String) : Process,NEW,EXTENSIBLE; PROCEDURE (self:Runtime) exec*(IN p0 : ARRAY OF String; IN p1 : ARRAY OF String) : Process,NEW,EXTENSIBLE; PROCEDURE (self:Runtime) exit*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Runtime) freeMemory*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:Runtime) gc*(),NEW,EXTENSIBLE; PROCEDURE (self:Runtime) getLocalizedInputStream*(p0 : java_io.InputStream) : java_io.InputStream,NEW,EXTENSIBLE; PROCEDURE (self:Runtime) getLocalizedOutputStream*(p0 : java_io.OutputStream) : java_io.OutputStream,NEW,EXTENSIBLE; PROCEDURE (self:Runtime) load*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:Runtime) loadLibrary*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:Runtime) runFinalization*(),NEW,EXTENSIBLE; PROCEDURE (self:Runtime) totalMemory*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:Runtime) traceInstructions*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:Runtime) traceMethodCalls*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkAccept*(p0 : String; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkAccess*(p0 : Thread),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkAccess*(p0 : ThreadGroup),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkAwtEventQueueAccess*(),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkConnect*(p0 : String; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkConnect*(p0 : String; p1 : INTEGER; p2 : Object),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkCreateClassLoader*(),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkDelete*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkExec*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkExit*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkLink*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkListen*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkMemberAccess*(p0 : Class; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkMulticast*(p0 : java_net.InetAddress),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkMulticast*(p0 : java_net.InetAddress; p1 : BYTE),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkPackageAccess*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkPackageDefinition*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkPermission*(p0 : java_security.Permission),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkPermission*(p0 : java_security.Permission; p1 : Object),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkPrintJobAccess*(),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkPropertiesAccess*(),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkPropertyAccess*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkRead*(p0 : java_io.FileDescriptor),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkRead*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkRead*(p0 : String; p1 : Object),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkSecurityAccess*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkSetFactory*(),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkSystemClipboardAccess*(),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkTopLevelWindow*(p0 : Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkWrite*(p0 : java_io.FileDescriptor),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) checkWrite*(p0 : String),NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) classDepth!(p0 : String) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) classLoaderDepth!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) currentClassLoader!() : ClassLoader,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) currentLoadedClass!() : Class,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) getClassContext!() : POINTER TO ARRAY OF Class,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) getInCheck*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) getSecurityContext*() : Object,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) getThreadGroup*() : ThreadGroup,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) inClass!(p0 : String) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:SecurityManager) inClassLoader!() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Short) byteValue*() : BYTE,EXTENSIBLE; PROCEDURE (self:Short) compareTo*(p0 : Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Short) compareTo*(p0 : Short) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Short) doubleValue*() : REAL,EXTENSIBLE; PROCEDURE (self:Short) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Short) floatValue*() : SHORTREAL,EXTENSIBLE; PROCEDURE (self:Short) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Short) intValue*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Short) longValue*() : LONGINT,EXTENSIBLE; PROCEDURE (self:Short) shortValue*() : SHORTINT,EXTENSIBLE; PROCEDURE (self:Short) toString*() : String,EXTENSIBLE; PROCEDURE (self:String) charAt*(p0 : INTEGER) : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:String) compareTo*(p0 : Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) compareTo*(p0 : String) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) compareToIgnoreCase*(p0 : String) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) concat*(p0 : String) : String,NEW,EXTENSIBLE; PROCEDURE (self:String) endsWith*(p0 : String) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:String) equals*(p0 : Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:String) equalsIgnoreCase*(p0 : String) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:String) getBytes*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE; PROCEDURE (self:String) getBytes*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF BYTE; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:String) getBytes*(p0 : String) : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE; PROCEDURE (self:String) getChars*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF CHAR; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:String) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:String) indexOf*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) indexOf*(p0 : INTEGER; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) indexOf*(p0 : String) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) indexOf*(p0 : String; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) intern*() : String,NEW,EXTENSIBLE; PROCEDURE (self:String) lastIndexOf*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) lastIndexOf*(p0 : INTEGER; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) lastIndexOf*(p0 : String) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) lastIndexOf*(p0 : String; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) length*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:String) regionMatches*(p0 : INTEGER; p1 : String; p2 : INTEGER; p3 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:String) regionMatches*(p0 : BOOLEAN; p1 : INTEGER; p2 : String; p3 : INTEGER; p4 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:String) replace*(p0 : CHAR; p1 : CHAR) : String,NEW,EXTENSIBLE; PROCEDURE (self:String) startsWith*(p0 : String) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:String) startsWith*(p0 : String; p1 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:String) substring*(p0 : INTEGER) : String,NEW,EXTENSIBLE; PROCEDURE (self:String) substring*(p0 : INTEGER; p1 : INTEGER) : String,NEW,EXTENSIBLE; PROCEDURE (self:String) toCharArray*() : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE; PROCEDURE (self:String) toLowerCase*() : String,NEW,EXTENSIBLE; PROCEDURE (self:String) toLowerCase*(p0 : java_util.Locale) : String,NEW,EXTENSIBLE; PROCEDURE (self:String) toString*() : String,EXTENSIBLE; PROCEDURE (self:String) toUpperCase*() : String,NEW,EXTENSIBLE; PROCEDURE (self:String) toUpperCase*(p0 : java_util.Locale) : String,NEW,EXTENSIBLE; PROCEDURE (self:String) trim*() : String,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(p0 : CHAR) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(p0 : REAL) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(p0 : SHORTREAL) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(p0 : INTEGER) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(p0 : LONGINT) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(p0 : Object) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(p0 : String) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(p0 : BOOLEAN) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(IN p0 : ARRAY OF CHAR) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) append*(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) capacity*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) charAt*(p0 : INTEGER) : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) delete*(p0 : INTEGER; p1 : INTEGER) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) deleteCharAt*(p0 : INTEGER) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) ensureCapacity*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) getChars*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF CHAR; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*(p0 : INTEGER; p1 : CHAR) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*(p0 : INTEGER; p1 : REAL) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*(p0 : INTEGER; p1 : SHORTREAL) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*(p0 : INTEGER; p1 : INTEGER) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*(p0 : INTEGER; p1 : LONGINT) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*(p0 : INTEGER; p1 : Object) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*(p0 : INTEGER; p1 : String) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*(p0 : INTEGER; p1 : BOOLEAN) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*( p0 : INTEGER; IN p1 : ARRAY OF CHAR) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) insert*( p0 : INTEGER; IN p1 : ARRAY OF CHAR; p2 : INTEGER; p3 : INTEGER) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) length*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) replace*(p0 : INTEGER; p1 : INTEGER; p2 : String) : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) reverse*() : StringBuffer,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) setCharAt*(p0 : INTEGER; p1 : CHAR),NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) setLength*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) substring*(p0 : INTEGER) : String,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) substring*(p0 : INTEGER; p1 : INTEGER) : String,NEW,EXTENSIBLE; PROCEDURE (self:StringBuffer) toString*() : String,EXTENSIBLE; PROCEDURE (self:Thread) checkAccess*(),NEW; PROCEDURE (self:Thread) countStackFrames*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Thread) destroy*(),NEW,EXTENSIBLE; PROCEDURE (self:Thread) getContextClassLoader*() : ClassLoader,NEW,EXTENSIBLE; PROCEDURE (self:Thread) getName*() : String,NEW; PROCEDURE (self:Thread) getPriority*() : INTEGER,NEW; PROCEDURE (self:Thread) getThreadGroup*() : ThreadGroup,NEW; PROCEDURE (self:Thread) interrupt*(),NEW,EXTENSIBLE; PROCEDURE (self:Thread) isAlive*() : BOOLEAN,NEW; PROCEDURE (self:Thread) isDaemon*() : BOOLEAN,NEW; PROCEDURE (self:Thread) isInterrupted*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Thread) join*(),NEW; PROCEDURE (self:Thread) join*(p0 : LONGINT),NEW; PROCEDURE (self:Thread) join*(p0 : LONGINT; p1 : INTEGER),NEW; PROCEDURE (self:Thread) resume*(),NEW; PROCEDURE (self:Thread) run*(),NEW,EXTENSIBLE; PROCEDURE (self:Thread) setContextClassLoader*(p0 : ClassLoader),NEW,EXTENSIBLE; PROCEDURE (self:Thread) setDaemon*(p0 : BOOLEAN),NEW; PROCEDURE (self:Thread) setName*(p0 : String),NEW; PROCEDURE (self:Thread) setPriority*(p0 : INTEGER),NEW; PROCEDURE (self:Thread) start*(),NEW,EXTENSIBLE; PROCEDURE (self:Thread) stop*(),NEW; PROCEDURE (self:Thread) stop*(p0 : Throwable),NEW; PROCEDURE (self:Thread) suspend*(),NEW; PROCEDURE (self:Thread) toString*() : String,EXTENSIBLE; PROCEDURE (self:ThreadGroup) activeCount*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) activeGroupCount*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) allowThreadSuspension*(p0 : BOOLEAN) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) checkAccess*(),NEW; PROCEDURE (self:ThreadGroup) destroy*(),NEW; PROCEDURE (self:ThreadGroup) enumerate*(IN p0 : ARRAY OF Thread) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) enumerate*(IN p0 : ARRAY OF Thread; p1 : BOOLEAN) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) enumerate*(IN p0 : ARRAY OF ThreadGroup) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) enumerate*(IN p0 : ARRAY OF ThreadGroup; p1 : BOOLEAN) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) getMaxPriority*() : INTEGER,NEW; PROCEDURE (self:ThreadGroup) getName*() : String,NEW; PROCEDURE (self:ThreadGroup) getParent*() : ThreadGroup,NEW; PROCEDURE (self:ThreadGroup) interrupt*(),NEW; PROCEDURE (self:ThreadGroup) isDaemon*() : BOOLEAN,NEW; PROCEDURE (self:ThreadGroup) isDestroyed*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) list*(),NEW,EXTENSIBLE; PROCEDURE (self:ThreadGroup) parentOf*(p0 : ThreadGroup) : BOOLEAN,NEW; PROCEDURE (self:ThreadGroup) resume*(),NEW; PROCEDURE (self:ThreadGroup) setDaemon*(p0 : BOOLEAN),NEW; PROCEDURE (self:ThreadGroup) setMaxPriority*(p0 : INTEGER),NEW; PROCEDURE (self:ThreadGroup) stop*(),NEW; PROCEDURE (self:ThreadGroup) suspend*(),NEW; PROCEDURE (self:ThreadGroup) toString*() : String,EXTENSIBLE; PROCEDURE (self:ThreadGroup) uncaughtException*(p0 : Thread; p1 : Throwable),NEW,EXTENSIBLE; PROCEDURE (self:ThreadLocal) get*() : Object,NEW,EXTENSIBLE; PROCEDURE (self:ThreadLocal) initialValue!() : Object,NEW,EXTENSIBLE; PROCEDURE (self:ThreadLocal) set*(p0 : Object),NEW,EXTENSIBLE; PROCEDURE (self:Throwable) fillInStackTrace*() : Throwable,NEW,EXTENSIBLE; PROCEDURE (self:Throwable) getLocalizedMessage*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Throwable) getMessage*() : String,NEW,EXTENSIBLE; PROCEDURE (self:Throwable) printStackTrace*(),NEW,EXTENSIBLE; PROCEDURE (self:Throwable) printStackTrace*(p0 : java_io.PrintStream),NEW,EXTENSIBLE; PROCEDURE (self:Throwable) printStackTrace*(p0 : java_io.PrintWriter),NEW,EXTENSIBLE; PROCEDURE (self:Throwable) toString*() : String,EXTENSIBLE; END java_lang.