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 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;