honki_tonks_zivilisationen_0.5.5305_cfbe2104/src/Grafik/Ladezeiten/LadezeitenGrafik.ads

 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
with Ada.Strings.Wide_Wide_Unbounded; use Ada.Strings.Wide_Wide_Unbounded;

private with Sf.System.Vector2;

with SpeziesDatentypen;
with GrafikDatentypen;
with SpeziesKonstanten;

private with GrafikRecordKonstanten;
private with SystemDatentypen;

with LeseSpeziesbelegung;

private with UmwandlungenAdaEigenes;

package LadezeitenGrafik is
   pragma Elaborate_Body;
   use type SpeziesDatentypen.Spieler_Enum;
   use type SpeziesDatentypen.Spezies_Enum;
   
   procedure Ladezeiten
     (WelcheLadeanzeigeExtern : in GrafikDatentypen.Ladezeiten_Enum;
      SpeziesExtern : in SpeziesDatentypen.Spezies_Enum)
     with
       Pre => (
                 if SpeziesExtern /= SpeziesKonstanten.LeerSpezies then LeseSpeziesbelegung.Belegung (SpeziesExtern => SpeziesExtern) /= SpeziesDatentypen.Leer_Spieler_Enum
              );

private
   
   WelcheZeit : Positive;
   
   MaximalerLadefortschritt : constant Wide_Wide_String (1 .. 3) := "100";
   
   Text : Unbounded_Wide_Wide_String;
         
   Viewfläche : Sf.System.Vector2.sfVector2f := GrafikRecordKonstanten.StartView;
   Textposition : Sf.System.Vector2.sfVector2f;
   
   
   
   function SpielweltErstellen
     (MaximaleTextbreiteExtern : in Float)
      return Float
     with
       Pre => (
                 MaximaleTextbreiteExtern >= 0.00
              ),
           
       Post => (
                  SpielweltErstellen'Result >= 0.00
               );
   
   function Rundenende
     (MaximaleTextbreiteExtern : in Float)
      return Float
     with
       Pre => (
                 MaximaleTextbreiteExtern >= 0.00
              ),
           
       Post => (
                  Rundenende'Result >= 0.00
               );
   
   function SpeichernLaden
     (MaximaleTextbreiteExtern : in Float)
      return Float
     with
       Pre => (
                 MaximaleTextbreiteExtern >= 0.00
              ),
           
       Post => (
                  SpeichernLaden'Result >= 0.00
               );
   
   function KIRechnet
     (MaximaleTextbreiteExtern : in Float)
      return Float
     with
       Pre => (
                 MaximaleTextbreiteExtern >= 0.00
              ),
           
       Post => (
                  KIRechnet'Result >= 0.00
               );
   
   function ZahlAlsString is new UmwandlungenAdaEigenes.ZahlAlsString (GanzeZahl => SystemDatentypen.NullBisHundert);

end LadezeitenGrafik;