Package Name: java.awt.insets

Return to: Package List

with java.lang; use java.lang;
with java.lang.String; use java.lang.String;
with java.lang.Cloneable; use java.lang.Cloneable;

package java.awt.Insets is
    type Insets_Obj is new Object with record

        Cloneable : aliased Cloneable_Obj;  -- implements Cloneable
        top : Integer;
        left : Integer;
        bottom : Integer;
        right : Integer;
    end record;

    type Insets_Ptr is access all Insets_Obj'Class;
    function new_Insets(
        top : Integer;
        left : Integer;
        bottom : Integer;
        right : Integer;
        Obj : Insets_Ptr := null)

      return Insets_Ptr;

    function toString(Obj : access Insets_Obj) return String_Ptr;

    function clone(Obj : access Insets_Obj) return Object_Ptr;
    pragma Import(Java, clone);

    pragma Import(Java, toString);

    pragma Import(Java_Constructor, new_Insets);
end java.awt.Insets;