1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112 | with Ada.Strings.Wide_Wide_Unbounded; use Ada.Strings.Wide_Wide_Unbounded;
with Sf.System.Vector2;
with SpeziesDatentypen;
with KartenDatentypen;
with KartenRecords;
private with TextaccessVariablen;
private with ProduktionDatentypen;
private with ForschungenDatentypen;
private with ZahlenDatentypen;
private with TextArrays;
with LeseWeltkarteneinstellungen;
with LeseSpeziesbelegung;
private with UmwandlungenAdaEigenes;
package WichtigesSeitenleisteGrafik is
pragma Elaborate_Body;
use type SpeziesDatentypen.Spieler_Enum;
use type KartenDatentypen.Kartenfeld;
function WichtigesInformationen
(SpeziesExtern : in SpeziesDatentypen.Spezies_Vorhanden_Enum;
KoordinatenExtern : in KartenRecords.AchsenKartenfeldNaturalRecord;
TextpositionExtern : in Sf.System.Vector2.sfVector2f;
MaximaleTextbreiteExtern : in Float)
return Float
with
Pre => (
LeseSpeziesbelegung.Belegung (SpeziesExtern => SpeziesExtern) = SpeziesDatentypen.Mensch_Spieler_Enum
and
KoordinatenExtern.YAchse <= LeseWeltkarteneinstellungen.YAchse
and
KoordinatenExtern.XAchse <= LeseWeltkarteneinstellungen.XAchse
and
TextpositionExtern.x > 0.00
and
TextpositionExtern.y > 0.00
),
Post => (
WichtigesInformationen'Result > 0.00
);
private
Forschungsprojekt : ForschungenDatentypen.ForschungID;
Forschungszeit : ProduktionDatentypen.Lagermenge;
Geldzuwachs : ProduktionDatentypen.Produktion;
AktuelleRundenanzahl : ZahlenDatentypen.EigenesPositive;
Rundengrenze : ZahlenDatentypen.EigenesNatural;
Leerzeilen : Natural;
YTextposition : Float;
AnzuzeigenderText : TextArrays.AllgemeinesTextArray (TextaccessVariablen.KarteWichtigesAccess'Range);
function Koordinaten
(KoordinatenExtern : in KartenRecords.AchsenKartenfeldNaturalRecord)
return Unbounded_Wide_Wide_String
with
Pre => (
KoordinatenExtern.YAchse <= LeseWeltkarteneinstellungen.YAchse
and
KoordinatenExtern.XAchse <= LeseWeltkarteneinstellungen.XAchse
);
function Rundenanzahl
(SpeziesExtern : in SpeziesDatentypen.Spezies_Vorhanden_Enum)
return Unbounded_Wide_Wide_String
with
Pre => (
LeseSpeziesbelegung.Belegung (SpeziesExtern => SpeziesExtern) = SpeziesDatentypen.Mensch_Spieler_Enum
),
Post => (
To_Wide_Wide_String (Source => Rundenanzahl'Result)'Length > 0
);
function Geld
(SpeziesExtern : in SpeziesDatentypen.Spezies_Vorhanden_Enum)
return Unbounded_Wide_Wide_String
with
Pre => (
LeseSpeziesbelegung.Belegung (SpeziesExtern => SpeziesExtern) = SpeziesDatentypen.Mensch_Spieler_Enum
);
function Forschung
(SpeziesExtern : in SpeziesDatentypen.Spezies_Vorhanden_Enum)
return Unbounded_Wide_Wide_String
with
Pre => (
LeseSpeziesbelegung.Belegung (SpeziesExtern => SpeziesExtern) = SpeziesDatentypen.Mensch_Spieler_Enum
);
function ZahlAlsStringKostenLager is new UmwandlungenAdaEigenes.ZahlAlsString (GanzeZahl => ProduktionDatentypen.Produktion);
function ZahlAlsStringEbeneVorhanden is new UmwandlungenAdaEigenes.ZahlAlsString (GanzeZahl => KartenDatentypen.EbeneVorhanden);
function ZahlAlsStringPositive is new UmwandlungenAdaEigenes.ZahlAlsString (GanzeZahl => Natural);
end WichtigesSeitenleisteGrafik;
|