Package Graphics.Area_Sizes

ADT; size of a area like a window

Class Area_Size

Size of an area, like a window; contains the distance of width and height. Zero_Area_Size : constant Area_Size := (0, 0);

Attributes

private Glib.Gint Width 

the width

private Glib.Gint Height 

the Height

Operations

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)

Class Area_Size_Deserializer

extends FET.Deserializer

Operations

public FET.Pot_Element Deserialize ( OpenCAGE.General.XML.Node_Ptr XML );

Deserialize a XML-structure to a pot element [This description is adopted from 'FET.Deserializer'.]

Class Area_Size_Pot_Element

extends FET.Pot_Element

Attributes

private Graphics.Area_Sizes.Area_Size Value 

Operations

public OpenCAGE.General.XML.Node_Ptr Serialize (void);

Serializes the content of this Pot_Element into XML [This description is adopted from 'FET.Pot_Element'.]

public Graphics.Area_Sizes.Area_Size_Deserializer Init (void);

public Ada.Strings.Unbounded.Unbounded_String Get_Element_ID (void);