Package Name: java.awt.checkboxgroup

Return to: Package List


with java.lang; use java.lang;
with java.awt.Checkbox; use java.awt.Checkbox;
with java.lang.String; use java.lang.String;

package java.awt.CheckboxGroup is
    type CheckboxGroup_Obj is new Object with null record;

    type CheckboxGroup_Ptr is access all CheckboxGroup_Obj'Class;
    procedure init_CheckboxGroup(Obj : access CheckboxGroup_Obj'Class);

    function new_CheckboxGroup(Obj : CheckboxGroup_Ptr := null) return CheckboxGroup_Ptr;

    function getCurrent(Obj : access CheckboxGroup_Obj) return Checkbox_Ptr;
    procedure setCurrent(Obj : access CheckboxGroup_Obj;

        box : Checkbox_Ptr);
    -- The following operations are actually part of the "Checkbox"

    -- class, moved here to avoid circularity
    function new_Checkbox(
        label : String_Ptr;
        group : CheckboxGroup_Ptr;
        state : Boolean;
        Obj : Checkbox_Ptr := null)

      return Checkbox_Ptr;
    function getCheckboxGroup(Obj : access Checkbox_Obj'Class) 

      return CheckboxGroup_Ptr;
    procedure setCheckboxGroup(Obj : access Checkbox_Obj'Class;

        g : CheckboxGroup_Ptr);

    function toString(Obj : access CheckboxGroup_Obj) return String_Ptr;
    pragma Import(Java, setCurrent);
    pragma Import(Java, toString);

    pragma Import(Java, getCurrent);
    pragma Import(Java_Constructor, init_CheckboxGroup);

    pragma Import(Java_Constructor, new_CheckboxGroup);
    pragma Import(Java, setCheckboxGroup, 
      "java/awt/Checkbox.setCheckboxGroup");
    pragma Import(Java, getCheckboxGroup, 

      "java/awt/Checkbox.getCheckboxGroup");
    pragma Import(Java_Constructor, new_Checkbox, 

      "java/awt/Checkbox.");
end java.awt.CheckboxGroup;