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;