FOREIGN MODULE java_util; IMPORT java_lang, java_io, java_lang_ref, java_text, java_security; TYPE AbstractCollection* = POINTER TO ABSTRACT RECORD (java_lang.Object + Collection) STATIC PROCEDURE Init!() : AbstractCollection,CONSTRUCTOR; END; AbstractList* = POINTER TO ABSTRACT RECORD (AbstractCollection + List) modCount! : INTEGER; STATIC PROCEDURE Init!() : AbstractList,CONSTRUCTOR; END; AbstractMap* = POINTER TO ABSTRACT RECORD (java_lang.Object + Map) STATIC PROCEDURE Init!() : AbstractMap,CONSTRUCTOR; END; AbstractSequentialList* = POINTER TO ABSTRACT RECORD (AbstractList) STATIC PROCEDURE Init!() : AbstractSequentialList,CONSTRUCTOR; END; AbstractSet* = POINTER TO ABSTRACT RECORD (AbstractCollection + Set) STATIC PROCEDURE Init!() : AbstractSet,CONSTRUCTOR; END; ArrayList* = POINTER TO EXTENSIBLE RECORD (AbstractList + List + java_lang.Cloneable + java_io.Serializable) STATIC PROCEDURE Init*() : ArrayList,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : ArrayList,CONSTRUCTOR; PROCEDURE Init*(p0 : Collection) : ArrayList,CONSTRUCTOR; END; Arrays* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC PROCEDURE asList*(IN p0 : ARRAY OF java_lang.Object) : List; PROCEDURE binarySearch*(IN p0 : ARRAY OF BYTE; p1 : BYTE) : INTEGER; PROCEDURE binarySearch*(IN p0 : ARRAY OF CHAR; p1 : CHAR) : INTEGER; PROCEDURE binarySearch*(IN p0 : ARRAY OF REAL; p1 : REAL) : INTEGER; PROCEDURE binarySearch*(IN p0 : ARRAY OF SHORTREAL; p1 : SHORTREAL) : INTEGER; PROCEDURE binarySearch*(IN p0 : ARRAY OF INTEGER; p1 : INTEGER) : INTEGER; PROCEDURE binarySearch*(IN p0 : ARRAY OF LONGINT; p1 : LONGINT) : INTEGER; PROCEDURE binarySearch*(IN p0 : ARRAY OF java_lang.Object; p1 : java_lang.Object) : INTEGER; PROCEDURE binarySearch*(IN p0 : ARRAY OF java_lang.Object; p1 : java_lang.Object; p2 : Comparator) : INTEGER; PROCEDURE binarySearch*(IN p0 : ARRAY OF SHORTINT; p1 : SHORTINT) : INTEGER; PROCEDURE equals*(IN p0 : ARRAY OF BYTE; IN p1 : ARRAY OF BYTE) : BOOLEAN; PROCEDURE equals*(IN p0 : ARRAY OF CHAR; IN p1 : ARRAY OF CHAR) : BOOLEAN; PROCEDURE equals*(IN p0 : ARRAY OF REAL; IN p1 : ARRAY OF REAL) : BOOLEAN; PROCEDURE equals*(IN p0 : ARRAY OF SHORTREAL; IN p1 : ARRAY OF SHORTREAL) : BOOLEAN; PROCEDURE equals*(IN p0 : ARRAY OF INTEGER; IN p1 : ARRAY OF INTEGER) : BOOLEAN; PROCEDURE equals*(IN p0 : ARRAY OF LONGINT; IN p1 : ARRAY OF LONGINT) : BOOLEAN; PROCEDURE equals*(IN p0 : ARRAY OF java_lang.Object; IN p1 : ARRAY OF java_lang.Object) : BOOLEAN; PROCEDURE equals*(IN p0 : ARRAY OF SHORTINT; IN p1 : ARRAY OF SHORTINT) : BOOLEAN; PROCEDURE equals*(IN p0 : ARRAY OF BOOLEAN; IN p1 : ARRAY OF BOOLEAN) : BOOLEAN; PROCEDURE fill*(IN p0 : ARRAY OF BYTE; p1 : BYTE); PROCEDURE fill*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER; p3 : BYTE); PROCEDURE fill*(IN p0 : ARRAY OF CHAR; p1 : CHAR); PROCEDURE fill*(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER; p3 : CHAR); PROCEDURE fill*(IN p0 : ARRAY OF REAL; p1 : REAL); PROCEDURE fill*(IN p0 : ARRAY OF REAL; p1 : INTEGER; p2 : INTEGER; p3 : REAL); PROCEDURE fill*(IN p0 : ARRAY OF SHORTREAL; p1 : SHORTREAL); PROCEDURE fill*(IN p0 : ARRAY OF SHORTREAL; p1 : INTEGER; p2 : INTEGER; p3 : SHORTREAL); PROCEDURE fill*(IN p0 : ARRAY OF INTEGER; p1 : INTEGER); PROCEDURE fill*(IN p0 : ARRAY OF INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER); PROCEDURE fill*(IN p0 : ARRAY OF LONGINT; p1 : INTEGER; p2 : INTEGER; p3 : LONGINT); PROCEDURE fill*(IN p0 : ARRAY OF LONGINT; p1 : LONGINT); PROCEDURE fill*(IN p0 : ARRAY OF java_lang.Object; p1 : INTEGER; p2 : INTEGER; p3 : java_lang.Object); PROCEDURE fill*(IN p0 : ARRAY OF java_lang.Object; p1 : java_lang.Object); PROCEDURE fill*(IN p0 : ARRAY OF SHORTINT; p1 : INTEGER; p2 : INTEGER; p3 : SHORTINT); PROCEDURE fill*(IN p0 : ARRAY OF SHORTINT; p1 : SHORTINT); PROCEDURE fill*(IN p0 : ARRAY OF BOOLEAN; p1 : INTEGER; p2 : INTEGER; p3 : BOOLEAN); PROCEDURE fill*(IN p0 : ARRAY OF BOOLEAN; p1 : BOOLEAN); PROCEDURE sort*(IN p0 : ARRAY OF BYTE); PROCEDURE sort*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER); PROCEDURE sort*(IN p0 : ARRAY OF CHAR); PROCEDURE sort*(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER); PROCEDURE sort*(IN p0 : ARRAY OF REAL); PROCEDURE sort*(IN p0 : ARRAY OF REAL; p1 : INTEGER; p2 : INTEGER); PROCEDURE sort*(IN p0 : ARRAY OF SHORTREAL); PROCEDURE sort*(IN p0 : ARRAY OF SHORTREAL; p1 : INTEGER; p2 : INTEGER); PROCEDURE sort*(IN p0 : ARRAY OF INTEGER); PROCEDURE sort*(IN p0 : ARRAY OF INTEGER; p1 : INTEGER; p2 : INTEGER); PROCEDURE sort*(IN p0 : ARRAY OF LONGINT); PROCEDURE sort*(IN p0 : ARRAY OF LONGINT; p1 : INTEGER; p2 : INTEGER); PROCEDURE sort*(IN p0 : ARRAY OF java_lang.Object); PROCEDURE sort*(IN p0 : ARRAY OF java_lang.Object; p1 : INTEGER; p2 : INTEGER); PROCEDURE sort*(IN p0 : ARRAY OF java_lang.Object; p1 : INTEGER; p2 : INTEGER; p3 : Comparator); PROCEDURE sort*(IN p0 : ARRAY OF java_lang.Object; p1 : Comparator); PROCEDURE sort*(IN p0 : ARRAY OF SHORTINT); PROCEDURE sort*(IN p0 : ARRAY OF SHORTINT; p1 : INTEGER; p2 : INTEGER); END; BitSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_lang.Cloneable + java_io.Serializable) STATIC PROCEDURE Init*() : BitSet,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : BitSet,CONSTRUCTOR; END; Calendar* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_io.Serializable + java_lang.Cloneable) fields! : POINTER TO ARRAY OF INTEGER; isSet! : POINTER TO ARRAY OF BOOLEAN; time! : LONGINT; isTimeSet! : BOOLEAN; areFieldsSet! : BOOLEAN; STATIC ERA* = 0; YEAR* = 1; MONTH* = 2; WEEK_OF_YEAR* = 3; WEEK_OF_MONTH* = 4; DATE* = 5; DAY_OF_MONTH* = 5; DAY_OF_YEAR* = 6; DAY_OF_WEEK* = 7; DAY_OF_WEEK_IN_MONTH* = 8; AM_PM* = 9; HOUR* = 10; HOUR_OF_DAY* = 11; MINUTE* = 12; SECOND* = 13; MILLISECOND* = 14; ZONE_OFFSET* = 15; DST_OFFSET* = 16; FIELD_COUNT* = 17; SUNDAY* = 1; MONDAY* = 2; TUESDAY* = 3; WEDNESDAY* = 4; THURSDAY* = 5; FRIDAY* = 6; SATURDAY* = 7; JANUARY* = 0; FEBRUARY* = 1; MARCH* = 2; APRIL* = 3; MAY* = 4; JUNE* = 5; JULY* = 6; AUGUST* = 7; SEPTEMBER* = 8; OCTOBER* = 9; NOVEMBER* = 10; DECEMBER* = 11; UNDECIMBER* = 12; AM* = 0; PM* = 1; PROCEDURE Init!() : Calendar,CONSTRUCTOR; PROCEDURE Init!(p0 : TimeZone; p1 : Locale) : Calendar,CONSTRUCTOR; PROCEDURE getAvailableLocales*() : POINTER TO ARRAY OF Locale; PROCEDURE getInstance*() : Calendar; PROCEDURE getInstance*(p0 : Locale) : Calendar; PROCEDURE getInstance*(p0 : TimeZone) : Calendar; PROCEDURE getInstance*(p0 : TimeZone; p1 : Locale) : Calendar; END; Collection* = POINTER TO INTERFACE RECORD (java_lang.Object) END; Collections* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC EMPTY_SET* : Set; EMPTY_LIST* : List; PROCEDURE binarySearch*(p0 : List; p1 : java_lang.Object) : INTEGER; PROCEDURE binarySearch*(p0 : List; p1 : java_lang.Object; p2 : Comparator) : INTEGER; PROCEDURE copy*(p0 : List; p1 : List); PROCEDURE enumeration*(p0 : Collection) : Enumeration; PROCEDURE fill*(p0 : List; p1 : java_lang.Object); PROCEDURE max*(p0 : Collection) : java_lang.Object; PROCEDURE max*(p0 : Collection; p1 : Comparator) : java_lang.Object; PROCEDURE min*(p0 : Collection) : java_lang.Object; PROCEDURE min*(p0 : Collection; p1 : Comparator) : java_lang.Object; PROCEDURE nCopies*(p0 : INTEGER; p1 : java_lang.Object) : List; PROCEDURE reverse*(p0 : List); PROCEDURE reverseOrder*() : Comparator; PROCEDURE shuffle*(p0 : List); PROCEDURE shuffle*(p0 : List; p1 : Random); PROCEDURE singleton*(p0 : java_lang.Object) : Set; PROCEDURE sort*(p0 : List); PROCEDURE sort*(p0 : List; p1 : Comparator); PROCEDURE synchronizedCollection*(p0 : Collection) : Collection; PROCEDURE synchronizedList*(p0 : List) : List; PROCEDURE synchronizedMap*(p0 : Map) : Map; PROCEDURE synchronizedSet*(p0 : Set) : Set; PROCEDURE synchronizedSortedMap*(p0 : SortedMap) : SortedMap; PROCEDURE synchronizedSortedSet*(p0 : SortedSet) : SortedSet; PROCEDURE unmodifiableCollection*(p0 : Collection) : Collection; PROCEDURE unmodifiableList*(p0 : List) : List; PROCEDURE unmodifiableMap*(p0 : Map) : Map; PROCEDURE unmodifiableSet*(p0 : Set) : Set; PROCEDURE unmodifiableSortedMap*(p0 : SortedMap) : SortedMap; PROCEDURE unmodifiableSortedSet*(p0 : SortedSet) : SortedSet; END; Comparator* = POINTER TO INTERFACE RECORD (java_lang.Object) END; ConcurrentModificationException* = POINTER TO EXTENSIBLE RECORD (java_lang.RuntimeException) STATIC PROCEDURE Init*() : ConcurrentModificationException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : ConcurrentModificationException,CONSTRUCTOR; END; Date* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable + java_lang.Cloneable + java_lang.Comparable) STATIC PROCEDURE Init*() : Date,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER) : Date,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER) : Date,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER) : Date,CONSTRUCTOR; PROCEDURE Init*(p0 : LONGINT) : Date,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : Date,CONSTRUCTOR; PROCEDURE UTC*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER) : LONGINT; PROCEDURE parse*(p0 : java_lang.String) : LONGINT; END; Dictionary* = POINTER TO ABSTRACT RECORD (java_lang.Object) STATIC PROCEDURE Init*() : Dictionary,CONSTRUCTOR; END; EmptyStackException* = POINTER TO EXTENSIBLE RECORD (java_lang.RuntimeException) STATIC PROCEDURE Init*() : EmptyStackException,CONSTRUCTOR; END; Enumeration* = POINTER TO INTERFACE RECORD (java_lang.Object) END; EventListener* = POINTER TO INTERFACE RECORD (java_lang.Object) END; EventObject* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) source! : java_lang.Object; STATIC PROCEDURE Init*(p0 : java_lang.Object) : EventObject,CONSTRUCTOR; END; GregorianCalendar* = POINTER TO EXTENSIBLE RECORD (Calendar) STATIC BC* = 0; AD* = 1; PROCEDURE Init*() : GregorianCalendar,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER) : GregorianCalendar,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER) : GregorianCalendar,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER) : GregorianCalendar,CONSTRUCTOR; PROCEDURE Init*(p0 : Locale) : GregorianCalendar,CONSTRUCTOR; PROCEDURE Init*(p0 : TimeZone) : GregorianCalendar,CONSTRUCTOR; PROCEDURE Init*(p0 : TimeZone; p1 : Locale) : GregorianCalendar,CONSTRUCTOR; END; HashMap* = POINTER TO EXTENSIBLE RECORD (AbstractMap + Map + java_lang.Cloneable + java_io.Serializable) STATIC PROCEDURE Init*() : HashMap,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : HashMap,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : SHORTREAL) : HashMap,CONSTRUCTOR; PROCEDURE Init*(p0 : Map) : HashMap,CONSTRUCTOR; END; HashSet* = POINTER TO EXTENSIBLE RECORD (AbstractSet + Set + java_lang.Cloneable + java_io.Serializable) STATIC PROCEDURE Init*() : HashSet,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : HashSet,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : SHORTREAL) : HashSet,CONSTRUCTOR; PROCEDURE Init*(p0 : Collection) : HashSet,CONSTRUCTOR; END; Hashtable* = POINTER TO EXTENSIBLE RECORD (Dictionary + Map + java_lang.Cloneable + java_io.Serializable) STATIC PROCEDURE Init*() : Hashtable,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : Hashtable,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : SHORTREAL) : Hashtable,CONSTRUCTOR; PROCEDURE Init*(p0 : Map) : Hashtable,CONSTRUCTOR; END; Iterator* = POINTER TO INTERFACE RECORD (java_lang.Object) END; LinkedList* = POINTER TO EXTENSIBLE RECORD (AbstractSequentialList + List + java_lang.Cloneable + java_io.Serializable) STATIC PROCEDURE Init*() : LinkedList,CONSTRUCTOR; PROCEDURE Init*(p0 : Collection) : LinkedList,CONSTRUCTOR; END; List* = POINTER TO INTERFACE RECORD (java_lang.Object + Collection) END; ListIterator* = POINTER TO INTERFACE RECORD (java_lang.Object + Iterator) END; ListResourceBundle* = POINTER TO ABSTRACT RECORD (ResourceBundle) STATIC PROCEDURE Init*() : ListResourceBundle,CONSTRUCTOR; END; Locale* = POINTER TO RECORD (java_lang.Object + java_lang.Cloneable + java_io.Serializable) STATIC ENGLISH* : Locale; FRENCH* : Locale; GERMAN* : Locale; ITALIAN* : Locale; JAPANESE* : Locale; KOREAN* : Locale; CHINESE* : Locale; SIMPLIFIED_CHINESE* : Locale; TRADITIONAL_CHINESE* : Locale; FRANCE* : Locale; GERMANY* : Locale; ITALY* : Locale; JAPAN* : Locale; KOREA* : Locale; CHINA* : Locale; PRC* : Locale; TAIWAN* : Locale; UK* : Locale; US* : Locale; CANADA* : Locale; CANADA_FRENCH* : Locale; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : Locale,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : java_lang.String) : Locale,CONSTRUCTOR; PROCEDURE getAvailableLocales*() : POINTER TO ARRAY OF Locale; PROCEDURE getDefault*() : Locale; PROCEDURE getISOCountries*() : POINTER TO ARRAY OF java_lang.String; PROCEDURE getISOLanguages*() : POINTER TO ARRAY OF java_lang.String; PROCEDURE setDefault*(p0 : Locale); END; Map$Entry* = POINTER TO INTERFACE RECORD (java_lang.Object) END; Map* = POINTER TO INTERFACE RECORD (java_lang.Object) END; MissingResourceException* = POINTER TO EXTENSIBLE RECORD (java_lang.RuntimeException) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : java_lang.String) : MissingResourceException,CONSTRUCTOR; END; NoSuchElementException* = POINTER TO EXTENSIBLE RECORD (java_lang.RuntimeException) STATIC PROCEDURE Init*() : NoSuchElementException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : NoSuchElementException,CONSTRUCTOR; END; Observable* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC PROCEDURE Init*() : Observable,CONSTRUCTOR; END; Observer* = POINTER TO INTERFACE RECORD (java_lang.Object) END; Properties* = POINTER TO EXTENSIBLE RECORD (Hashtable) defaults! : Properties; STATIC PROCEDURE Init*() : Properties,CONSTRUCTOR; PROCEDURE Init*(p0 : Properties) : Properties,CONSTRUCTOR; END; PropertyPermission* = POINTER TO RECORD (java_security.BasicPermission) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : PropertyPermission,CONSTRUCTOR; END; PropertyResourceBundle* = POINTER TO EXTENSIBLE RECORD (ResourceBundle) STATIC PROCEDURE Init*(p0 : java_io.InputStream) : PropertyResourceBundle,CONSTRUCTOR; END; Random* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) STATIC PROCEDURE Init*() : Random,CONSTRUCTOR; PROCEDURE Init*(p0 : LONGINT) : Random,CONSTRUCTOR; END; ResourceBundle* = POINTER TO ABSTRACT RECORD (java_lang.Object) parent! : ResourceBundle; STATIC PROCEDURE Init*() : ResourceBundle,CONSTRUCTOR; PROCEDURE getBundle*(p0 : java_lang.String) : ResourceBundle; PROCEDURE getBundle*(p0 : java_lang.String; p1 : Locale) : ResourceBundle; PROCEDURE getBundle*(p0 : java_lang.String; p1 : Locale; p2 : java_lang.ClassLoader) : ResourceBundle; END; Set* = POINTER TO INTERFACE RECORD (java_lang.Object + Collection) END; SimpleTimeZone* = POINTER TO EXTENSIBLE RECORD (TimeZone) STATIC PROCEDURE Init*(p0 : INTEGER; p1 : java_lang.String) : SimpleTimeZone,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER; p6 : INTEGER; p7 : INTEGER; p8 : INTEGER; p9 : INTEGER) : SimpleTimeZone,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER; p6 : INTEGER; p7 : INTEGER; p8 : INTEGER; p9 : INTEGER; p10 : INTEGER) : SimpleTimeZone,CONSTRUCTOR; END; SortedMap* = POINTER TO INTERFACE RECORD (java_lang.Object + Map) END; SortedSet* = POINTER TO INTERFACE RECORD (java_lang.Object + Set) END; Stack* = POINTER TO EXTENSIBLE RECORD (Vector) STATIC PROCEDURE Init*() : Stack,CONSTRUCTOR; END; StringTokenizer* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + Enumeration) STATIC PROCEDURE Init*(p0 : java_lang.String) : StringTokenizer,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : StringTokenizer,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : BOOLEAN) : StringTokenizer,CONSTRUCTOR; END; TimeZone* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_io.Serializable + java_lang.Cloneable) STATIC SHORT* = 0; LONG* = 1; PROCEDURE Init*() : TimeZone,CONSTRUCTOR; PROCEDURE getAvailableIDs*() : POINTER TO ARRAY OF java_lang.String; PROCEDURE getAvailableIDs*(p0 : INTEGER) : POINTER TO ARRAY OF java_lang.String; PROCEDURE getDefault*() : TimeZone; PROCEDURE getTimeZone*(p0 : java_lang.String) : TimeZone; PROCEDURE setDefault*(p0 : TimeZone); END; TooManyListenersException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception) STATIC PROCEDURE Init*() : TooManyListenersException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : TooManyListenersException,CONSTRUCTOR; END; TreeMap* = POINTER TO EXTENSIBLE RECORD (AbstractMap + SortedMap + java_lang.Cloneable + java_io.Serializable) STATIC PROCEDURE Init*() : TreeMap,CONSTRUCTOR; PROCEDURE Init*(p0 : Comparator) : TreeMap,CONSTRUCTOR; PROCEDURE Init*(p0 : Map) : TreeMap,CONSTRUCTOR; PROCEDURE Init*(p0 : SortedMap) : TreeMap,CONSTRUCTOR; END; TreeSet* = POINTER TO EXTENSIBLE RECORD (AbstractSet + SortedSet + java_lang.Cloneable + java_io.Serializable) STATIC PROCEDURE Init*() : TreeSet,CONSTRUCTOR; PROCEDURE Init*(p0 : Collection) : TreeSet,CONSTRUCTOR; PROCEDURE Init*(p0 : Comparator) : TreeSet,CONSTRUCTOR; PROCEDURE Init*(p0 : SortedSet) : TreeSet,CONSTRUCTOR; END; Vector* = POINTER TO EXTENSIBLE RECORD (AbstractList + List + java_lang.Cloneable + java_io.Serializable) elementData! : POINTER TO ARRAY OF java_lang.Object; elementCount! : INTEGER; capacityIncrement! : INTEGER; STATIC PROCEDURE Init*() : Vector,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : Vector,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER) : Vector,CONSTRUCTOR; PROCEDURE Init*(p0 : Collection) : Vector,CONSTRUCTOR; END; WeakHashMap* = POINTER TO EXTENSIBLE RECORD (AbstractMap + Map) STATIC PROCEDURE Init*() : WeakHashMap,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : WeakHashMap,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : SHORTREAL) : WeakHashMap,CONSTRUCTOR; END; PROCEDURE (self:AbstractCollection) add*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) addAll*(p0 : Collection) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) clear*(),NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) contains*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) containsAll*(p0 : Collection) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) isEmpty*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) iterator*() : Iterator,NEW,ABSTRACT; PROCEDURE (self:AbstractCollection) remove*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) removeAll*(p0 : Collection) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) retainAll*(p0 : Collection) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) size*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:AbstractCollection) toArray*() : POINTER TO ARRAY OF java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) toArray*(IN p0 : ARRAY OF java_lang.Object) : POINTER TO ARRAY OF java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:AbstractCollection) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AbstractList) add*(p0 : INTEGER; p1 : java_lang.Object),NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) add*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AbstractList) addAll*(p0 : INTEGER; p1 : Collection) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) clear*(),EXTENSIBLE; PROCEDURE (self:AbstractList) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AbstractList) get*(p0 : INTEGER) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:AbstractList) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AbstractList) indexOf*(p0 : java_lang.Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) iterator*() : Iterator,EXTENSIBLE; PROCEDURE (self:AbstractList) lastIndexOf*(p0 : java_lang.Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) listIterator*() : ListIterator,NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) listIterator*(p0 : INTEGER) : ListIterator,NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) remove*(p0 : INTEGER) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) removeRange!(p0 : INTEGER; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) set*(p0 : INTEGER; p1 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:AbstractList) subList*(p0 : INTEGER; p1 : INTEGER) : List,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) clear*(),NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) containsKey*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) containsValue*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) entrySet*() : Set,NEW,ABSTRACT; PROCEDURE (self:AbstractMap) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AbstractMap) get*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AbstractMap) isEmpty*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) keySet*() : Set,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) put*(p0 : java_lang.Object; p1 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) putAll*(p0 : Map),NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) remove*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) size*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractMap) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AbstractMap) values*() : Collection,NEW,EXTENSIBLE; PROCEDURE (self:AbstractSequentialList) add*(p0 : INTEGER; p1 : java_lang.Object),EXTENSIBLE; PROCEDURE (self:AbstractSequentialList) addAll*(p0 : INTEGER; p1 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AbstractSequentialList) get*(p0 : INTEGER) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:AbstractSequentialList) iterator*() : Iterator,EXTENSIBLE; PROCEDURE (self:AbstractSequentialList) listIterator*(p0 : INTEGER) : ListIterator,ABSTRACT; PROCEDURE (self:AbstractSequentialList) remove*(p0 : INTEGER) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:AbstractSequentialList) set*(p0 : INTEGER; p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:AbstractSet) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AbstractSet) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:ArrayList) add*(p0 : INTEGER; p1 : java_lang.Object),EXTENSIBLE; PROCEDURE (self:ArrayList) add*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:ArrayList) addAll*(p0 : INTEGER; p1 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:ArrayList) addAll*(p0 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:ArrayList) clear*(),EXTENSIBLE; PROCEDURE (self:ArrayList) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:ArrayList) contains*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:ArrayList) ensureCapacity*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ArrayList) get*(p0 : INTEGER) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:ArrayList) indexOf*(p0 : java_lang.Object) : INTEGER,EXTENSIBLE; PROCEDURE (self:ArrayList) isEmpty*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:ArrayList) lastIndexOf*(p0 : java_lang.Object) : INTEGER,EXTENSIBLE; PROCEDURE (self:ArrayList) remove*(p0 : INTEGER) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:ArrayList) removeRange!(p0 : INTEGER; p1 : INTEGER),EXTENSIBLE; PROCEDURE (self:ArrayList) set*(p0 : INTEGER; p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:ArrayList) size*() : INTEGER,EXTENSIBLE; PROCEDURE (self:ArrayList) toArray*() : POINTER TO ARRAY OF java_lang.Object,EXTENSIBLE; PROCEDURE (self:ArrayList) toArray*(IN p0 : ARRAY OF java_lang.Object) : POINTER TO ARRAY OF java_lang.Object,EXTENSIBLE; PROCEDURE (self:ArrayList) trimToSize*(),NEW,EXTENSIBLE; PROCEDURE (self:BitSet) and*(p0 : BitSet),NEW,EXTENSIBLE; PROCEDURE (self:BitSet) andNot*(p0 : BitSet),NEW,EXTENSIBLE; PROCEDURE (self:BitSet) clear*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:BitSet) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:BitSet) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:BitSet) get*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:BitSet) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:BitSet) length*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:BitSet) or*(p0 : BitSet),NEW,EXTENSIBLE; PROCEDURE (self:BitSet) set*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:BitSet) size*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:BitSet) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:BitSet) xor*(p0 : BitSet),NEW,EXTENSIBLE; PROCEDURE (self:Calendar) add*(p0 : INTEGER; p1 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:Calendar) after*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) before*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) clear*(),NEW; PROCEDURE (self:Calendar) clear*(p0 : INTEGER),NEW; PROCEDURE (self:Calendar) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Calendar) complete!(),NEW,EXTENSIBLE; PROCEDURE (self:Calendar) computeFields!(),NEW,ABSTRACT; PROCEDURE (self:Calendar) computeTime!(),NEW,ABSTRACT; PROCEDURE (self:Calendar) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Calendar) get*(p0 : INTEGER) : INTEGER,NEW; PROCEDURE (self:Calendar) getActualMaximum*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) getActualMinimum*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) getFirstDayOfWeek*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) getGreatestMinimum*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Calendar) getLeastMaximum*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Calendar) getMaximum*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Calendar) getMinimalDaysInFirstWeek*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) getMinimum*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Calendar) getTime*() : Date,NEW; PROCEDURE (self:Calendar) getTimeInMillis!() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) getTimeZone*() : TimeZone,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Calendar) internalGet!(p0 : INTEGER) : INTEGER,NEW; PROCEDURE (self:Calendar) isLenient*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Calendar) isSet*(p0 : INTEGER) : BOOLEAN,NEW; PROCEDURE (self:Calendar) roll*(p0 : INTEGER; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Calendar) roll*(p0 : INTEGER; p1 : BOOLEAN),NEW,ABSTRACT; PROCEDURE (self:Calendar) set*(p0 : INTEGER; p1 : INTEGER),NEW; PROCEDURE (self:Calendar) set*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER),NEW; PROCEDURE (self:Calendar) set*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER),NEW; PROCEDURE (self:Calendar) set*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),NEW; PROCEDURE (self:Calendar) setFirstDayOfWeek*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Calendar) setLenient*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:Calendar) setMinimalDaysInFirstWeek*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Calendar) setTime*(p0 : Date),NEW; PROCEDURE (self:Calendar) setTimeInMillis!(p0 : LONGINT),NEW,EXTENSIBLE; PROCEDURE (self:Calendar) setTimeZone*(p0 : TimeZone),NEW,EXTENSIBLE; PROCEDURE (self:Calendar) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Collection) add*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Collection) addAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Collection) clear*(),NEW,ABSTRACT; PROCEDURE (self:Collection) contains*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Collection) containsAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Collection) equals*(p0 : java_lang.Object) : BOOLEAN,ABSTRACT; PROCEDURE (self:Collection) hashCode*() : INTEGER,ABSTRACT; PROCEDURE (self:Collection) isEmpty*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Collection) iterator*() : Iterator,NEW,ABSTRACT; PROCEDURE (self:Collection) remove*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Collection) removeAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Collection) retainAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Collection) size*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Collection) toArray*() : POINTER TO ARRAY OF java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Collection) toArray*(IN p0 : ARRAY OF java_lang.Object) : POINTER TO ARRAY OF java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Comparator) compare*(p0 : java_lang.Object; p1 : java_lang.Object) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Comparator) equals*(p0 : java_lang.Object) : BOOLEAN,ABSTRACT; PROCEDURE (self:Date) after*(p0 : Date) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Date) before*(p0 : Date) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Date) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Date) compareTo*(p0 : java_lang.Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) compareTo*(p0 : Date) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Date) getDate*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) getDay*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) getHours*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) getMinutes*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) getMonth*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) getSeconds*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) getTime*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:Date) getTimezoneOffset*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) getYear*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Date) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Date) setDate*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Date) setHours*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Date) setMinutes*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Date) setMonth*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Date) setSeconds*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Date) setTime*(p0 : LONGINT),NEW,EXTENSIBLE; PROCEDURE (self:Date) setYear*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Date) toGMTString*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Date) toLocaleString*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Date) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Dictionary) elements*() : Enumeration,NEW,ABSTRACT; PROCEDURE (self:Dictionary) get*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Dictionary) isEmpty*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Dictionary) keys*() : Enumeration,NEW,ABSTRACT; PROCEDURE (self:Dictionary) put*(p0 : java_lang.Object; p1 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Dictionary) remove*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Dictionary) size*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Enumeration) hasMoreElements*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Enumeration) nextElement*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:EventObject) getSource*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:EventObject) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) add*(p0 : INTEGER; p1 : INTEGER),EXTENSIBLE; PROCEDURE (self:GregorianCalendar) computeFields!(),EXTENSIBLE; PROCEDURE (self:GregorianCalendar) computeTime!(),EXTENSIBLE; PROCEDURE (self:GregorianCalendar) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) getActualMaximum*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) getActualMinimum*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) getGreatestMinimum*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) getGregorianChange*() : Date,NEW; PROCEDURE (self:GregorianCalendar) getLeastMaximum*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) getMaximum*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) getMinimum*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) isLeapYear*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:GregorianCalendar) roll*(p0 : INTEGER; p1 : INTEGER),EXTENSIBLE; PROCEDURE (self:GregorianCalendar) roll*(p0 : INTEGER; p1 : BOOLEAN),EXTENSIBLE; PROCEDURE (self:GregorianCalendar) setGregorianChange*(p0 : Date),NEW,EXTENSIBLE; PROCEDURE (self:HashMap) clear*(),EXTENSIBLE; PROCEDURE (self:HashMap) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:HashMap) containsKey*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HashMap) containsValue*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HashMap) entrySet*() : Set,EXTENSIBLE; PROCEDURE (self:HashMap) get*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:HashMap) isEmpty*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HashMap) keySet*() : Set,EXTENSIBLE; PROCEDURE (self:HashMap) put*(p0 : java_lang.Object; p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:HashMap) putAll*(p0 : Map),EXTENSIBLE; PROCEDURE (self:HashMap) remove*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:HashMap) size*() : INTEGER,EXTENSIBLE; PROCEDURE (self:HashMap) values*() : Collection,EXTENSIBLE; PROCEDURE (self:HashSet) add*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HashSet) clear*(),EXTENSIBLE; PROCEDURE (self:HashSet) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:HashSet) contains*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HashSet) isEmpty*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HashSet) iterator*() : Iterator,EXTENSIBLE; PROCEDURE (self:HashSet) remove*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HashSet) size*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Hashtable) clear*(),NEW,EXTENSIBLE; PROCEDURE (self:Hashtable) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Hashtable) contains*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Hashtable) containsKey*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Hashtable) containsValue*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Hashtable) elements*() : Enumeration,EXTENSIBLE; PROCEDURE (self:Hashtable) entrySet*() : Set,NEW,EXTENSIBLE; PROCEDURE (self:Hashtable) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Hashtable) get*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Hashtable) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Hashtable) isEmpty*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Hashtable) keySet*() : Set,NEW,EXTENSIBLE; PROCEDURE (self:Hashtable) keys*() : Enumeration,EXTENSIBLE; PROCEDURE (self:Hashtable) put*(p0 : java_lang.Object; p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Hashtable) putAll*(p0 : Map),NEW,EXTENSIBLE; PROCEDURE (self:Hashtable) rehash!(),NEW,EXTENSIBLE; PROCEDURE (self:Hashtable) remove*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Hashtable) size*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Hashtable) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Hashtable) values*() : Collection,NEW,EXTENSIBLE; PROCEDURE (self:Iterator) hasNext*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Iterator) next*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Iterator) remove*(),NEW,ABSTRACT; PROCEDURE (self:LinkedList) add*(p0 : INTEGER; p1 : java_lang.Object),EXTENSIBLE; PROCEDURE (self:LinkedList) add*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LinkedList) addAll*(p0 : INTEGER; p1 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LinkedList) addAll*(p0 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LinkedList) addFirst*(p0 : java_lang.Object),NEW,EXTENSIBLE; PROCEDURE (self:LinkedList) addLast*(p0 : java_lang.Object),NEW,EXTENSIBLE; PROCEDURE (self:LinkedList) clear*(),EXTENSIBLE; PROCEDURE (self:LinkedList) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:LinkedList) contains*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LinkedList) get*(p0 : INTEGER) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:LinkedList) getFirst*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:LinkedList) getLast*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:LinkedList) indexOf*(p0 : java_lang.Object) : INTEGER,EXTENSIBLE; PROCEDURE (self:LinkedList) lastIndexOf*(p0 : java_lang.Object) : INTEGER,EXTENSIBLE; PROCEDURE (self:LinkedList) listIterator*(p0 : INTEGER) : ListIterator,EXTENSIBLE; PROCEDURE (self:LinkedList) remove*(p0 : INTEGER) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:LinkedList) remove*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LinkedList) removeFirst*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:LinkedList) removeLast*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:LinkedList) set*(p0 : INTEGER; p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:LinkedList) size*() : INTEGER,EXTENSIBLE; PROCEDURE (self:LinkedList) toArray*() : POINTER TO ARRAY OF java_lang.Object,EXTENSIBLE; PROCEDURE (self:LinkedList) toArray*(IN p0 : ARRAY OF java_lang.Object) : POINTER TO ARRAY OF java_lang.Object,EXTENSIBLE; PROCEDURE (self:List) add*(p0 : INTEGER; p1 : java_lang.Object),NEW,ABSTRACT; PROCEDURE (self:List) add*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) addAll*(p0 : INTEGER; p1 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) addAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) clear*(),NEW,ABSTRACT; PROCEDURE (self:List) contains*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) containsAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) equals*(p0 : java_lang.Object) : BOOLEAN,ABSTRACT; PROCEDURE (self:List) get*(p0 : INTEGER) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:List) hashCode*() : INTEGER,ABSTRACT; PROCEDURE (self:List) indexOf*(p0 : java_lang.Object) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:List) isEmpty*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) iterator*() : Iterator,NEW,ABSTRACT; PROCEDURE (self:List) lastIndexOf*(p0 : java_lang.Object) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:List) listIterator*() : ListIterator,NEW,ABSTRACT; PROCEDURE (self:List) listIterator*(p0 : INTEGER) : ListIterator,NEW,ABSTRACT; PROCEDURE (self:List) remove*(p0 : INTEGER) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:List) remove*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) removeAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) retainAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:List) set*(p0 : INTEGER; p1 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:List) size*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:List) subList*(p0 : INTEGER; p1 : INTEGER) : List,NEW,ABSTRACT; PROCEDURE (self:List) toArray*() : POINTER TO ARRAY OF java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:List) toArray*(IN p0 : ARRAY OF java_lang.Object) : POINTER TO ARRAY OF java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:ListIterator) add*(p0 : java_lang.Object),NEW,ABSTRACT; PROCEDURE (self:ListIterator) hasNext*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:ListIterator) hasPrevious*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:ListIterator) next*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:ListIterator) nextIndex*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:ListIterator) previous*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:ListIterator) previousIndex*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:ListIterator) remove*(),NEW,ABSTRACT; PROCEDURE (self:ListIterator) set*(p0 : java_lang.Object),NEW,ABSTRACT; PROCEDURE (self:ListResourceBundle) getContents!() : POINTER TO ARRAY OF java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:ListResourceBundle) getKeys*() : Enumeration,EXTENSIBLE; PROCEDURE (self:ListResourceBundle) handleGetObject*(p0 : java_lang.String) : java_lang.Object; PROCEDURE (self:Locale) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Locale) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Locale) getCountry*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) getDisplayCountry*() : java_lang.String,NEW; PROCEDURE (self:Locale) getDisplayCountry*(p0 : Locale) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) getDisplayLanguage*() : java_lang.String,NEW; PROCEDURE (self:Locale) getDisplayLanguage*(p0 : Locale) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) getDisplayName*() : java_lang.String,NEW; PROCEDURE (self:Locale) getDisplayName*(p0 : Locale) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) getDisplayVariant*() : java_lang.String,NEW; PROCEDURE (self:Locale) getDisplayVariant*(p0 : Locale) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) getISO3Country*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) getISO3Language*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) getLanguage*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) getVariant*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Locale) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Locale) toString*() : java_lang.String; PROCEDURE (self:Map$Entry) equals*(p0 : java_lang.Object) : BOOLEAN,ABSTRACT; PROCEDURE (self:Map$Entry) getKey*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Map$Entry) getValue*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Map$Entry) hashCode*() : INTEGER,ABSTRACT; PROCEDURE (self:Map$Entry) setValue*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Map) clear*(),NEW,ABSTRACT; PROCEDURE (self:Map) containsKey*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Map) containsValue*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Map) entrySet*() : Set,NEW,ABSTRACT; PROCEDURE (self:Map) equals*(p0 : java_lang.Object) : BOOLEAN,ABSTRACT; PROCEDURE (self:Map) get*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Map) hashCode*() : INTEGER,ABSTRACT; PROCEDURE (self:Map) isEmpty*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Map) keySet*() : Set,NEW,ABSTRACT; PROCEDURE (self:Map) put*(p0 : java_lang.Object; p1 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Map) putAll*(p0 : Map),NEW,ABSTRACT; PROCEDURE (self:Map) remove*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Map) size*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Map) values*() : Collection,NEW,ABSTRACT; PROCEDURE (self:MissingResourceException) getClassName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:MissingResourceException) getKey*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Observable) addObserver*(p0 : Observer),NEW,EXTENSIBLE; PROCEDURE (self:Observable) clearChanged!(),NEW,EXTENSIBLE; PROCEDURE (self:Observable) countObservers*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Observable) deleteObserver*(p0 : Observer),NEW,EXTENSIBLE; PROCEDURE (self:Observable) deleteObservers*(),NEW,EXTENSIBLE; PROCEDURE (self:Observable) hasChanged*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Observable) notifyObservers*(),NEW,EXTENSIBLE; PROCEDURE (self:Observable) notifyObservers*(p0 : java_lang.Object),NEW,EXTENSIBLE; PROCEDURE (self:Observable) setChanged!(),NEW,EXTENSIBLE; PROCEDURE (self:Observer) update*(p0 : Observable; p1 : java_lang.Object),NEW,ABSTRACT; PROCEDURE (self:Properties) getProperty*(p0 : java_lang.String) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Properties) getProperty*(p0 : java_lang.String; p1 : java_lang.String) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Properties) list*(p0 : java_io.PrintStream),NEW,EXTENSIBLE; PROCEDURE (self:Properties) list*(p0 : java_io.PrintWriter),NEW,EXTENSIBLE; PROCEDURE (self:Properties) load*(p0 : java_io.InputStream),NEW,EXTENSIBLE; PROCEDURE (self:Properties) propertyNames*() : Enumeration,NEW,EXTENSIBLE; PROCEDURE (self:Properties) save*(p0 : java_io.OutputStream; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:Properties) setProperty*(p0 : java_lang.String; p1 : java_lang.String) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:Properties) store*(p0 : java_io.OutputStream; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:PropertyPermission) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:PropertyPermission) getActions*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:PropertyPermission) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:PropertyPermission) implies*(p0 : java_security.Permission) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:PropertyPermission) newPermissionCollection*() : java_security.PermissionCollection,EXTENSIBLE; PROCEDURE (self:PropertyResourceBundle) getKeys*() : Enumeration,EXTENSIBLE; PROCEDURE (self:PropertyResourceBundle) handleGetObject*(p0 : java_lang.String) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Random) next!(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Random) nextBoolean*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Random) nextBytes*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE; PROCEDURE (self:Random) nextDouble*() : REAL,NEW,EXTENSIBLE; PROCEDURE (self:Random) nextFloat*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:Random) nextGaussian*() : REAL,NEW,EXTENSIBLE; PROCEDURE (self:Random) nextInt*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Random) nextInt*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Random) nextLong*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:Random) setSeed*(p0 : LONGINT),NEW,EXTENSIBLE; PROCEDURE (self:ResourceBundle) getKeys*() : Enumeration,NEW,ABSTRACT; PROCEDURE (self:ResourceBundle) getLocale*() : Locale,NEW,EXTENSIBLE; PROCEDURE (self:ResourceBundle) getObject*(p0 : java_lang.String) : java_lang.Object,NEW; PROCEDURE (self:ResourceBundle) getString*(p0 : java_lang.String) : java_lang.String,NEW; PROCEDURE (self:ResourceBundle) getStringArray*(p0 : java_lang.String) : POINTER TO ARRAY OF java_lang.String,NEW; PROCEDURE (self:ResourceBundle) handleGetObject!(p0 : java_lang.String) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:ResourceBundle) setParent!(p0 : ResourceBundle),NEW,EXTENSIBLE; PROCEDURE (self:Set) add*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Set) addAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Set) clear*(),NEW,ABSTRACT; PROCEDURE (self:Set) contains*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Set) containsAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Set) equals*(p0 : java_lang.Object) : BOOLEAN,ABSTRACT; PROCEDURE (self:Set) hashCode*() : INTEGER,ABSTRACT; PROCEDURE (self:Set) isEmpty*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Set) iterator*() : Iterator,NEW,ABSTRACT; PROCEDURE (self:Set) remove*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Set) removeAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Set) retainAll*(p0 : Collection) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Set) size*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Set) toArray*() : POINTER TO ARRAY OF java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:Set) toArray*(IN p0 : ARRAY OF java_lang.Object) : POINTER TO ARRAY OF java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:SimpleTimeZone) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) getDSTSavings*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) getOffset*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) getRawOffset*() : INTEGER,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) hasSameRules*(p0 : TimeZone) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) inDaylightTime*(p0 : Date) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setDSTSavings*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setEndRule*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setEndRule*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setEndRule*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setRawOffset*(p0 : INTEGER),EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setStartRule*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setStartRule*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setStartRule*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) setStartYear*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:SimpleTimeZone) useDaylightTime*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:SortedMap) comparator*() : Comparator,NEW,ABSTRACT; PROCEDURE (self:SortedMap) firstKey*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:SortedMap) headMap*(p0 : java_lang.Object) : SortedMap,NEW,ABSTRACT; PROCEDURE (self:SortedMap) lastKey*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:SortedMap) subMap*(p0 : java_lang.Object; p1 : java_lang.Object) : SortedMap,NEW,ABSTRACT; PROCEDURE (self:SortedMap) tailMap*(p0 : java_lang.Object) : SortedMap,NEW,ABSTRACT; PROCEDURE (self:SortedSet) comparator*() : Comparator,NEW,ABSTRACT; PROCEDURE (self:SortedSet) first*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:SortedSet) headSet*(p0 : java_lang.Object) : SortedSet,NEW,ABSTRACT; PROCEDURE (self:SortedSet) last*() : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:SortedSet) subSet*(p0 : java_lang.Object; p1 : java_lang.Object) : SortedSet,NEW,ABSTRACT; PROCEDURE (self:SortedSet) tailSet*(p0 : java_lang.Object) : SortedSet,NEW,ABSTRACT; PROCEDURE (self:Stack) empty*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Stack) peek*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:Stack) pop*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:Stack) push*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:Stack) search*(p0 : java_lang.Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:StringTokenizer) countTokens*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:StringTokenizer) hasMoreElements*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:StringTokenizer) hasMoreTokens*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:StringTokenizer) nextElement*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:StringTokenizer) nextToken*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:StringTokenizer) nextToken*(p0 : java_lang.String) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:TimeZone) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:TimeZone) getDisplayName*() : java_lang.String,NEW; PROCEDURE (self:TimeZone) getDisplayName*(p0 : Locale) : java_lang.String,NEW; PROCEDURE (self:TimeZone) getDisplayName*(p0 : BOOLEAN; p1 : INTEGER) : java_lang.String,NEW; PROCEDURE (self:TimeZone) getDisplayName*(p0 : BOOLEAN; p1 : INTEGER; p2 : Locale) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:TimeZone) getID*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:TimeZone) getOffset*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TimeZone) getRawOffset*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TimeZone) hasSameRules*(p0 : TimeZone) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:TimeZone) inDaylightTime*(p0 : Date) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:TimeZone) setID*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:TimeZone) setRawOffset*(p0 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:TimeZone) useDaylightTime*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:TreeMap) clear*(),EXTENSIBLE; PROCEDURE (self:TreeMap) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:TreeMap) comparator*() : Comparator,NEW,EXTENSIBLE; PROCEDURE (self:TreeMap) containsKey*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:TreeMap) containsValue*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:TreeMap) entrySet*() : Set,EXTENSIBLE; PROCEDURE (self:TreeMap) firstKey*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:TreeMap) get*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:TreeMap) headMap*(p0 : java_lang.Object) : SortedMap,NEW,EXTENSIBLE; PROCEDURE (self:TreeMap) keySet*() : Set,EXTENSIBLE; PROCEDURE (self:TreeMap) lastKey*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:TreeMap) put*(p0 : java_lang.Object; p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:TreeMap) putAll*(p0 : Map),EXTENSIBLE; PROCEDURE (self:TreeMap) remove*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:TreeMap) size*() : INTEGER,EXTENSIBLE; PROCEDURE (self:TreeMap) subMap*(p0 : java_lang.Object; p1 : java_lang.Object) : SortedMap,NEW,EXTENSIBLE; PROCEDURE (self:TreeMap) tailMap*(p0 : java_lang.Object) : SortedMap,NEW,EXTENSIBLE; PROCEDURE (self:TreeMap) values*() : Collection,EXTENSIBLE; PROCEDURE (self:TreeSet) add*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:TreeSet) addAll*(p0 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:TreeSet) clear*(),EXTENSIBLE; PROCEDURE (self:TreeSet) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:TreeSet) comparator*() : Comparator,NEW,EXTENSIBLE; PROCEDURE (self:TreeSet) contains*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:TreeSet) first*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:TreeSet) headSet*(p0 : java_lang.Object) : SortedSet,NEW,EXTENSIBLE; PROCEDURE (self:TreeSet) isEmpty*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:TreeSet) iterator*() : Iterator,EXTENSIBLE; PROCEDURE (self:TreeSet) last*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:TreeSet) remove*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:TreeSet) size*() : INTEGER,EXTENSIBLE; PROCEDURE (self:TreeSet) subSet*(p0 : java_lang.Object; p1 : java_lang.Object) : SortedSet,NEW,EXTENSIBLE; PROCEDURE (self:TreeSet) tailSet*(p0 : java_lang.Object) : SortedSet,NEW,EXTENSIBLE; PROCEDURE (self:Vector) add*(p0 : INTEGER; p1 : java_lang.Object),EXTENSIBLE; PROCEDURE (self:Vector) add*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) addAll*(p0 : INTEGER; p1 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) addAll*(p0 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) addElement*(p0 : java_lang.Object),NEW,EXTENSIBLE; PROCEDURE (self:Vector) capacity*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Vector) clear*(),EXTENSIBLE; PROCEDURE (self:Vector) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Vector) contains*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) containsAll*(p0 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) copyInto*(IN p0 : ARRAY OF java_lang.Object),NEW,EXTENSIBLE; PROCEDURE (self:Vector) elementAt*(p0 : INTEGER) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:Vector) elements*() : Enumeration,NEW,EXTENSIBLE; PROCEDURE (self:Vector) ensureCapacity*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Vector) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) firstElement*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:Vector) get*(p0 : INTEGER) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Vector) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Vector) indexOf*(p0 : java_lang.Object) : INTEGER,EXTENSIBLE; PROCEDURE (self:Vector) indexOf*(p0 : java_lang.Object; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Vector) insertElementAt*(p0 : java_lang.Object; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Vector) isEmpty*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) lastElement*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:Vector) lastIndexOf*(p0 : java_lang.Object) : INTEGER,EXTENSIBLE; PROCEDURE (self:Vector) lastIndexOf*(p0 : java_lang.Object; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Vector) remove*(p0 : INTEGER) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Vector) remove*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) removeAll*(p0 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) removeAllElements*(),NEW,EXTENSIBLE; PROCEDURE (self:Vector) removeElement*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Vector) removeElementAt*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Vector) removeRange!(p0 : INTEGER; p1 : INTEGER),EXTENSIBLE; PROCEDURE (self:Vector) retainAll*(p0 : Collection) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Vector) set*(p0 : INTEGER; p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Vector) setElementAt*(p0 : java_lang.Object; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Vector) setSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Vector) size*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Vector) subList*(p0 : INTEGER; p1 : INTEGER) : List,EXTENSIBLE; PROCEDURE (self:Vector) toArray*() : POINTER TO ARRAY OF java_lang.Object,EXTENSIBLE; PROCEDURE (self:Vector) toArray*(IN p0 : ARRAY OF java_lang.Object) : POINTER TO ARRAY OF java_lang.Object,EXTENSIBLE; PROCEDURE (self:Vector) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Vector) trimToSize*(),NEW,EXTENSIBLE; PROCEDURE (self:WeakHashMap) clear*(),EXTENSIBLE; PROCEDURE (self:WeakHashMap) containsKey*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:WeakHashMap) entrySet*() : Set,EXTENSIBLE; PROCEDURE (self:WeakHashMap) get*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:WeakHashMap) isEmpty*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:WeakHashMap) put*(p0 : java_lang.Object; p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:WeakHashMap) remove*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:WeakHashMap) size*() : INTEGER,EXTENSIBLE; END java_util.