Package Name: java.awt.checkbox
with java.awt.Component; use java.awt.Component;
with java.lang.String; use java.lang.String;
-- with java.awt.CheckboxGroup; use java.awt.CheckboxGroup; -- circular
package java.awt.Checkbox is
type Checkbox_Obj is new Component_Obj with null record;
type Checkbox_Ptr is access all Checkbox_Obj'Class;
procedure init_Checkbox(Obj : access Checkbox_Obj'Class);
function new_Checkbox(Obj : Checkbox_Ptr := null) return Checkbox_Ptr;
function new_Checkbox(
label : String_Ptr;
Obj : Checkbox_Ptr := null)
return Checkbox_Ptr;
procedure addNotify(Obj : access Checkbox_Obj);
function getLabel(Obj : access Checkbox_Obj) return String_Ptr;
procedure setLabel(Obj : access Checkbox_Obj;
label : String_Ptr);
function getState(Obj : access Checkbox_Obj) return Boolean;
procedure setState(Obj : access Checkbox_Obj;
state : Boolean);
pragma Import(Java, addNotify);
pragma Import(Java, setState);
pragma Import(Java, setLabel);
pragma Import(Java, getState);
pragma Import(Java, getLabel);
pragma Import(Java_Constructor, init_Checkbox);
pragma Import(Java_Constructor, new_Checkbox);
end java.awt.Checkbox;