Package Name: java.applet.appletstub
with java.lang; use java.lang;
with java.lang.String; use java.lang.String;
with java.applet.AppletContext; use java.applet.AppletContext;
with java.net.URL; use java.net.URL;
package java.applet.AppletStub is
-- NOTE: AppletStub is an "interface" type
type AppletStub_Obj is new Object with null record;
pragma Convention(Java_Interface, AppletStub_Obj);
type AppletStub_Ptr is access all AppletStub_Obj'Class;
function isActive(Obj : access AppletStub_Obj) return Boolean;
function getDocumentBase(Obj : access AppletStub_Obj) return URL_Ptr;
function getCodeBase(Obj : access AppletStub_Obj) return URL_Ptr;
function getParameter(Obj : access AppletStub_Obj;
P1 : String_Ptr)
return String_Ptr;
function getAppletContext(Obj : access AppletStub_Obj) return AppletContext_Ptr;
procedure appletResize(Obj : access AppletStub_Obj;
P1 : Integer;
P2 : Integer);
pragma Import(Java, getDocumentBase);
pragma Import(Java, appletResize);
pragma Import(Java, isActive);
pragma Import(Java, getCodeBase);
pragma Import(Java, getParameter);
pragma Import(Java, getAppletContext);
end java.applet.AppletStub;