Size of an area, like a window; contains the distance of width and height.
Zero_Area_Size : constant Area_Size := (0, 0);
public
Graphics.Area_Sizes.Area_Size
Create
(
Glib.Gint
Width
,
Glib.Gint
Height
);
Creates a Area
public
String
To_String
(void);
returns the point in a human readable format
public
Graphics.Area_Sizes.Area_Size
"+"
(
Graphics.Area_Sizes.Area_Size
A1
,
Graphics.Area_Sizes.Area_Size
A2
);
returns the additional Area
(Create( Width(A1) + Width(A2), Height(A1) + Height(A2) ))
public
Graphics.Area_Sizes.Area_Size
"-"
(
Graphics.Area_Sizes.Area_Size
A1
,
Graphics.Area_Sizes.Area_Size
A2
);
returns the difference Area
(Create( Width(A1) - Width(A2), Height(A1) - Height(A2) ))
public
Graphics.Area_Sizes.Area_Size
"*"
(
Graphics.Area_Sizes.Area_Size
A
,
Glib.Gint
F
);
returns a scaled area
public
Graphics.Area_Sizes.Area_Size
"*"
(
Graphics.Area_Sizes.Area_Size
A
,
Glib.Gfloat
F
);
returns a scaled area
public
Graphics.Area_Sizes.Area_Size
"/"
(
Graphics.Area_Sizes.Area_Size
A
,
Glib.Gint
F
);
returns a 1/F scaled area
public
Graphics.Area_Sizes.Area_Size
Max
(
Graphics.Area_Sizes.Area_Size
A1
,
Graphics.Area_Sizes.Area_Size
A2
);
returns a Area with the greater width respective height smaller of 2 areas A1 and A2
public
Graphics.Area_Sizes.Area_Size
Min
(
Graphics.Area_Sizes.Area_Size
A1
,
Graphics.Area_Sizes.Area_Size
A2
);
returns a Area with the smaller width respective height smaller of 2 areas A1 and A2
public
Graphics.Area_Sizes.Area_Size
Absolute
(
Graphics.Area_Sizes.Area_Size
A
);
returns the diagonal length of the Area A
public
Graphics.Area_Sizes.Area_Size
"<"
(
Graphics.Area_Sizes.Area_Size
A1
,
Graphics.Area_Sizes.Area_Size
A2
);
returns true, if Height(A1) < Height(A) and Width(A1) < Width(A2) and otherwise false
public
Graphics.Area_Sizes.Area_Size
"<="
(
Graphics.Area_Sizes.Area_Size
A1
,
Graphics.Area_Sizes.Area_Size
A2
);
returns Not(A2 < A1)
public
Graphics.Area_Sizes.Area_Size
">"
(
Graphics.Area_Sizes.Area_Size
A1
,
Graphics.Area_Sizes.Area_Size
A2
);
return A2 < A1
public
Graphics.Area_Sizes.Area_Size
">="
(
Graphics.Area_Sizes.Area_Size
A1
,
Graphics.Area_Sizes.Area_Size
A2
);
returns Not(A1 < A2)