with Ada.Strings.Wide_Wide_Unbounded; use Ada.Strings.Wide_Wide_Unbounded;

with SystemRecords;
with ZahlenDatentypen;

package SchreibeOptionen is
   pragma Elaborate_Body;

   procedure Sprache
     (SpracheExtern : in Unbounded_Wide_Wide_String)
     with
       Pre => (
                 To_Wide_Wide_String (Source => SpracheExtern)'Length >= 1
              );
   pragma Inline (Sprache);
   
   procedure Texturen
     (TexturenExtern : in Unbounded_Wide_Wide_String)
     with
       Pre => (
                 To_Wide_Wide_String (Source => TexturenExtern)'Length >= 1
              );
   pragma Inline (Texturen);
   
   procedure AnzahlAutospeichern
     (AutospeicheranzahlExtern : in ZahlenDatentypen.EigenesNatural);
   pragma Inline (AnzahlAutospeichern);
   
   procedure RundenAutospeichern
     (RundenanzahlExtern : in ZahlenDatentypen.EigenesPositive);
   pragma Inline (RundenAutospeichern);
   
   procedure Dezimaltrennzeichen
     (ZeichenExtern : in Wide_Wide_Character);
   pragma Inline (Dezimaltrennzeichen);
   
   procedure SicherheitsfragenAnzeigen
     (JaNeinExtern : in Boolean);
   pragma Inline (SicherheitsfragenAnzeigen);

   procedure GanzeSpieleinstellungen
     (EinstellungenExtern : in SystemRecords.NutzerEinstellungenRecord);
   pragma Inline (GanzeSpieleinstellungen);
   
   procedure AktuellerAutospeichernwert
     (AutospeichernwertExtern : in ZahlenDatentypen.EigenesPositive);
   pragma Inline (AktuellerAutospeichernwert);
   
   procedure GanzeSpielendeEinstellungen
     (EinstellungenExtern : in SystemRecords.SpielendeEinstellungenRecord);
   pragma Inline (GanzeSpielendeEinstellungen);

end SchreibeOptionen;
