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

with KartenverbesserungDatentypen;

package AufgabenbeschreibungenGrafik is
   pragma Elaborate_Body;

   function KurzbeschreibungVerbesserung
     (KartenVerbesserungExtern : in KartenverbesserungDatentypen.Verbesserung_Vorhanden_Enum)
      return Unbounded_Wide_Wide_String
     with
       Post => (
                  To_Wide_Wide_String (Source => KurzbeschreibungVerbesserung'Result)'Length > 0
               );

   function LangbeschreibungVerbesserung
     (KartenVerbesserungExtern : in KartenverbesserungDatentypen.Verbesserung_Vorhanden_Enum)
      return Unbounded_Wide_Wide_String
     with
       Post => (
                  To_Wide_Wide_String (Source => LangbeschreibungVerbesserung'Result)'Length > 0
               );

   function KurzbeschreibungWeg
     (KartenWegExtern : in KartenverbesserungDatentypen.Weg_Vorhanden_Enum)
      return Unbounded_Wide_Wide_String
     with
       Post => (
                  To_Wide_Wide_String (Source => KurzbeschreibungWeg'Result)'Length > 0
               );

   function LangbeschreibungWeg
     (KartenWegExtern : in KartenverbesserungDatentypen.Weg_Vorhanden_Enum)
      return Unbounded_Wide_Wide_String
     with
       Post => (
                  To_Wide_Wide_String (Source => LangbeschreibungWeg'Result)'Length > 0
               );

end AufgabenbeschreibungenGrafik;