Package Name: java.awt.checkbox

Return to: Package List

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;