Package Name: java.util.observer

Return to: Package List

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;