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;