honki_tonks_zivilisationen_0.5.5305_cfbe2104/src/Grafik/Auswahl/MenuestringsSetzenGrafik.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
with Ada.Strings.Wide_Wide_Unbounded; use Ada.Strings.Wide_Wide_Unbounded;

private with Sf.System.Vector2;

with MenueDatentypen;
with MenueKonstanten;

private with UmwandlungenAdaEigenes;

package MenuestringsSetzenGrafik is
   pragma Elaborate_Body;

   function MenüstringsSetzen
     (WelcheZeileExtern : in Positive;
      WelchesMenüExtern : in MenueDatentypen.Welches_Menü_Vorhanden_Enum)
      return Wide_Wide_String
     with
       Pre => (
                 WelcheZeileExtern <= MenueKonstanten.EndeMenü (WelchesMenüExtern)
              );
   
private
   
   ZeileAuflösungÄndern : constant Positive := 2;
   ZeileVollbildUmschalten : constant Positive := ZeileAuflösungÄndern + 1;
   ZeileVSync : constant Positive := ZeileVollbildUmschalten + 1;
   ZeileBildrateÄndern : constant Positive := ZeileVSync + 1;
   ZeileEbeneUnterhalbAnzeigen : constant Positive := ZeileBildrateÄndern + 1;
   ZeileBildrateAnzeigen : constant Positive := ZeileEbeneUnterhalbAnzeigen + 1;
   
   ZeileSoundlautstärke : constant Positive := 2;
   ZeileMusiklautstärke : constant Positive := ZeileSoundlautstärke + 1;
   
   ZeileAutomatischeSpielstände : constant Positive := 2;
   ZeileRundenBisAutospeichern : constant Positive := ZeileAutomatischeSpielstände + 1;
   
   AktuellerText : Unbounded_Wide_Wide_String;
   
   Zwischenspeicher : Unbounded_Wide_Wide_String;
   
   AktuelleAuflösung : Sf.System.Vector2.sfVector2u;
   
   
   
   function Grafikmenü
     (WelcheZeileExtern : in Positive)
      return Unbounded_Wide_Wide_String
     with
       Pre => (
                 WelcheZeileExtern <= MenueKonstanten.EndeMenü (MenueDatentypen.Grafik_Menü_Enum)
              );
   
   function Soundmenü
     (WelcheZeileExtern : in Positive)
      return Unbounded_Wide_Wide_String
     with
       Pre => (
                 WelcheZeileExtern <= MenueKonstanten.EndeMenü (MenueDatentypen.Sound_Menü_Enum)
              );
   
   function Spieleinstellungen
     (WelcheZeileExtern : in Positive)
      return Unbounded_Wide_Wide_String
     with
       Pre => (
                 WelcheZeileExtern <= MenueKonstanten.EndeMenü (MenueDatentypen.Spieleinstellungen_Menü_Enum)
              );
   
   function ZahlAlsString is new UmwandlungenAdaEigenes.ZahlAlsString (GanzeZahl => Natural);

end MenuestringsSetzenGrafik;