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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132 | with Ada.Strings.Wide_Wide_Unbounded; use Ada.Strings.Wide_Wide_Unbounded;
with Sf.System.Vector2;
with SpeziesDatentypen;
with StadtRecords;
with StadtKonstanten;
with StadtGrafikRecords;
private with ProduktionDatentypen;
private with TextaccessVariablen;
private with TextArrays;
private with GrafikRecordKonstanten;
with LeseGrenzen;
with LeseSpeziesbelegung;
private with UmwandlungenAdaEigenes;
package StadtseitenleisteGrafik is
pragma Elaborate_Body;
use type SpeziesDatentypen.Spieler_Enum;
procedure Stadtinformationen
(StadtauswahlExtern : in StadtGrafikRecords.StadtGrafikRecord)
with
Pre => (
LeseSpeziesbelegung.Belegung (SpeziesExtern => StadtauswahlExtern.SpeziesNummer.Spezies) /= SpeziesDatentypen.Leer_Spieler_Enum
and
StadtauswahlExtern.SpeziesNummer.Nummer in StadtKonstanten.AnfangNummer .. LeseGrenzen.Städtegrenzen (SpeziesExtern => StadtauswahlExtern.SpeziesNummer.Spezies)
);
function Stadt
(SpeziesExtern : in SpeziesDatentypen.Spezies_Enum;
StadtauswahlExtern : in StadtGrafikRecords.StadtGrafikRecord;
TextpositionExtern : in Sf.System.Vector2.sfVector2f;
MaximaleTextbreiteExtern : in Float)
return Float
with
Pre => (
-- LeseSpeziesbelegung.Belegung (SpeziesExtern => StadtauswahlExtern.SpeziesNummer.Spezies) /= SpeziesDatentypen.Leer_Spieler_Enum
-- and
-- LeseSpeziesbelegung.Belegung (SpeziesExtern => SpeziesExtern) /= SpeziesDatentypen.Leer_Spieler_Enum
-- and
-- StadtauswahlExtern.SpeziesNummer.Nummer in StadtKonstanten.AnfangNummer .. LeseGrenzen.Städtegrenzen (SpeziesExtern => StadtauswahlExtern.SpeziesNummer.Spezies)
TextpositionExtern.x > 0.00
and
TextpositionExtern.y > 0.00
),
Post => (
Stadt'Result > 0.00
);
private
Leerzeilen : Natural;
Zwischenspeicher : Unbounded_Wide_Wide_String;
YTextposition : Float;
YTextpositionZwei : Float;
Viewfläche : Sf.System.Vector2.sfVector2f := GrafikRecordKonstanten.StartView;
AnzuzeigenderText : TextArrays.AllgemeinesTextArray (TextaccessVariablen.StadtInformationenAccess'Range);
function Nahrung
(ProduktionExtern : in ProduktionDatentypen.Stadtproduktion;
VorhandenExtern : in ProduktionDatentypen.Stadtproduktion)
return Unbounded_Wide_Wide_String
with
Post => (
To_Wide_Wide_String (Source => Nahrung'Result)'Length > 0
);
function Kampfwerte
(StadtauswahlExtern : in StadtGrafikRecords.StadtGrafikRecord)
return Unbounded_Wide_Wide_String
with
Pre => (
LeseSpeziesbelegung.Belegung (SpeziesExtern => StadtauswahlExtern.SpeziesNummer.Spezies) /= SpeziesDatentypen.Leer_Spieler_Enum
and
StadtauswahlExtern.SpeziesNummer.Nummer in StadtKonstanten.AnfangNummer .. LeseGrenzen.Städtegrenzen (SpeziesExtern => StadtauswahlExtern.SpeziesNummer.Spezies)
),
Post => (
To_Wide_Wide_String (Source => Kampfwerte'Result)'Length > 0
);
function AktuellesBauprojekt
(SpeziesExtern : in SpeziesDatentypen.Spezies_Vorhanden_Enum;
BauprojektExtern : in StadtRecords.BauprojektRecord;
BauzeitExtern : in ProduktionDatentypen.Produktion)
return Unbounded_Wide_Wide_String
with
Pre => (
LeseSpeziesbelegung.Belegung (SpeziesExtern => SpeziesExtern) /= SpeziesDatentypen.Leer_Spieler_Enum
);
function Stadtanzeige
(SpeziesExtern : in SpeziesDatentypen.Spezies_Enum;
StadtauswahlExtern : in StadtGrafikRecords.StadtGrafikRecord;
TextpositionExtern : in Sf.System.Vector2.sfVector2f;
MaximaleTextbreiteExtern : in Float)
return Float
with
Pre => (
LeseSpeziesbelegung.Belegung (SpeziesExtern => StadtauswahlExtern.SpeziesNummer.Spezies) /= SpeziesDatentypen.Leer_Spieler_Enum
and
LeseSpeziesbelegung.Belegung (SpeziesExtern => SpeziesExtern) /= SpeziesDatentypen.Leer_Spieler_Enum
and
StadtauswahlExtern.SpeziesNummer.Nummer in StadtKonstanten.AnfangNummer .. LeseGrenzen.Städtegrenzen (SpeziesExtern => StadtauswahlExtern.SpeziesNummer.Spezies)
and
TextpositionExtern.x > 0.00
and
TextpositionExtern.y > 0.00
),
Post => (
Stadtanzeige'Result > 0.00
);
function ZahlAlsString is new UmwandlungenAdaEigenes.ZahlAlsString (GanzeZahl => ProduktionDatentypen.Produktion);
end StadtseitenleisteGrafik;
|