Package Name: java.awt.dimension
with java.lang; use java.lang;
with java.lang.String; use java.lang.String;
package java.awt.Dimension is
type Dimension_Obj is new Object with record
width : Integer;
height : Integer;
end record;
type Dimension_Ptr is access all Dimension_Obj'Class;
procedure init_Dimension(Obj : access Dimension_Obj'Class);
function new_Dimension(Obj : Dimension_Ptr := null) return Dimension_Ptr;
function new_Dimension(
d : Dimension_Ptr;
Obj : Dimension_Ptr := null)
return Dimension_Ptr;
function new_Dimension(
width : Integer;
height : Integer;
Obj : Dimension_Ptr := null)
return Dimension_Ptr;
function toString(Obj : access Dimension_Obj) return String_Ptr;
pragma Import(Java, toString);
pragma Import(Java_Constructor, init_Dimension);
pragma Import(Java_Constructor, new_Dimension);
end java.awt.Dimension;