honki_tonks_zivilisationen_0.5.5305_cfbe2104/src/Globales/Diagnosesystem/Diagnoseinformationen.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
with Ada.Strings.Wide_Wide_Unbounded; use Ada.Strings.Wide_Wide_Unbounded;
with Ada.Streams.Stream_IO; use Ada.Streams.Stream_IO;

private with System;

with Sf.System.Vector2;
with Sf.Graphics.Rect;
with Sf.Graphics.Color;

with KartenRecords;
with EinheitenRecords;
with StadtRecords;

private with WeltkarteRecords;
private with StadtDatentypen;

package Diagnoseinformationen is
   pragma Elaborate_Body;
   
   
   procedure GrößenprüfungKartenfeld;
   procedure Größenprüfung;
   procedure GrößenprüfungDatei;
   procedure Zeilenabstand;
   
   procedure Zahl
     (ZahlExtern : in Integer);
   
   procedure Kommazahl
     (ZahlExtern : in Float);
   
   procedure Zeichen
     (ZeichenExtern : in Wide_Wide_Character);
   
   procedure Text
     (TextExtern : in Wide_Wide_String)
     with
       Pre => (
                 TextExtern'Length > 0
              );
   
   procedure UngebundenerText
     (TextExtern : in Unbounded_Wide_Wide_String)
     with
       Pre => (
                 To_Wide_Wide_String (Source => TextExtern)'Length > 0
              );

   procedure Koordinateninformationen
     (KoordinatenExtern : in KartenRecords.AchsenKartenfeldNaturalRecord);
   
   procedure Einheiteninformationen
     (EinheitSpeziesNummerExtern : in EinheitenRecords.SpeziesEinheitnummerRecord);
   
   procedure Stadtinformationen
     (StadtSpeziesNummerExtern : in StadtRecords.SpeziesStadtnummerRecord);
   
   procedure Grundinformationen
     (GrundExtern : in KartenRecords.KartengrundRecord);
   
   procedure Positionsinformationen
     (PositionExtern : in Sf.System.Vector2.sfVector2f);
   
   procedure Boxinformationen
     (BoxExtern : in Sf.Graphics.Rect.sfFloatRect);
   
   procedure Farbinformationen
     (FarbeExtern : in Sf.Graphics.Color.sfColor);
   
private
   
   ByteTeiler : constant Positive := System.Storage_Unit;
   KilobyteTeiler : constant Positive := ByteTeiler * 1_024;
   MegabyteTeiler : constant Positive := KilobyteTeiler * 1_024;
   
   Kartenfeld : constant Positive := WeltkarteRecords.WeltkarteRecord'Size;
   ZuPrüfendeGröße : constant Positive := StadtDatentypen.Städtebereich'Size;
   
   ZuSpeichern : StadtDatentypen.Städtebereich;
      
   DateiSpeichern : File_Type;

end Diagnoseinformationen;