Package Name: java.awt.insets
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;