Package Name: java.util.observer
with java.lang; use java.lang;
-- with java.util.Observable; use java.util.Observable; -- circular
package java.util.Observer is
-- NOTE: Observer is an "interface" type
type Observer_Obj is new Object with null record;
pragma Convention(Java_Interface, Observer_Obj);
type Observer_Ptr is access all Observer_Obj'Class;
-- The following operation was moved to "Observable" to avoid circularity
-- procedure update(Obj : access Observer_Obj;
-- P1 : Observable_Ptr;
-- P2 : Object_Ptr);
end java.util.Observer;