Package Name: java.awt.checkboxmenuitem
with java.awt.MenuItem; use java.awt.MenuItem;
with java.lang.String; use java.lang.String;
package java.awt.CheckboxMenuItem is
type CheckboxMenuItem_Obj is new MenuItem_Obj with null record;
type CheckboxMenuItem_Ptr is access all CheckboxMenuItem_Obj'Class;
function new_CheckboxMenuItem(
label : String_Ptr;
Obj : CheckboxMenuItem_Ptr := null)
return CheckboxMenuItem_Ptr;
procedure addNotify(Obj : access CheckboxMenuItem_Obj);
function getState(Obj : access CheckboxMenuItem_Obj) return Boolean;
procedure setState(Obj : access CheckboxMenuItem_Obj;
t : Boolean);
function paramString(Obj : access CheckboxMenuItem_Obj) return String_Ptr;
pragma Import(Java, addNotify);
pragma Import(Java, setState);
pragma Import(Java, getState);
pragma Import(Java, paramString);
pragma Import(Java_Constructor, new_CheckboxMenuItem);
end java.awt.CheckboxMenuItem;