FOREIGN MODULE javax_microedition_midlet; IMPORT java_lang := "java.lang", com_sun_midp_midlet := "com.sun.midp.midlet", com_sun_midp_lcdui := "com.sun.midp.lcdui", java_io := "java.io"; TYPE MIDlet* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init!() : MIDlet,CONSTRUCTOR; END; MIDletStateChangeException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception) STATIC PROCEDURE Init*(p0 : java_lang.String) : MIDletStateChangeException,CONSTRUCTOR; PROCEDURE Init*() : MIDletStateChangeException,CONSTRUCTOR; END; PROCEDURE (self:MIDlet) destroyApp!(p0 : BOOLEAN),NEW,ABSTRACT; PROCEDURE (self:MIDlet) getAppProperty*(p0 : java_lang.String) : java_lang.String,NEW; PROCEDURE (self:MIDlet) notifyDestroyed*(),NEW; PROCEDURE (self:MIDlet) notifyPaused*(),NEW; PROCEDURE (self:MIDlet) pauseApp!(),NEW,ABSTRACT; PROCEDURE (self:MIDlet) resumeRequest*(),NEW; PROCEDURE (self:MIDlet) startApp!(),NEW,ABSTRACT; END javax_microedition_midlet.