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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129 | -- REST API Validation
-- API to validate
--
-- The version of the OpenAPI document: 1.0.0
-- Contact: Stephane.Carrez@gmail.com
--
-- NOTE: This package is auto generated by OpenAPI-Generator 7.0.1-2023-08-27.
-- https://openapi-generator.tech
-- Do not edit the class manually.
with Swagger.Streams;
with Ada.Containers.Vectors;
package TestAPI.Models is
pragma Style_Checks ("-bmrIu");
type IntStruct_Type is record
Long_Int : Swagger.Long;
Short_Int : Integer;
Short_Int_2 : Integer;
Float_A : Swagger.Number;
Float_B : Swagger.Number;
end record;
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in TestAPI.Models.IntStruct_Type);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : out TestAPI.Models.IntStruct_Type);
type Options_Type is record
A : Swagger.UString_Vectors.Vector;
end record;
package Options_Type_Vectors is new Ada.Containers.Vectors
(Index_Type => Positive, Element_Type => TestAPI.Models.Options_Type);
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in TestAPI.Models.Options_Type);
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in Options_Type_Vectors.Vector);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : out TestAPI.Models.Options_Type);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : in out Options_Type_Vectors.Vector);
type StringsMap_Type is record
Key : Swagger.Nullable_UString;
end record;
package StringsMap_Type_Vectors is new Ada.Containers.Vectors
(Index_Type => Positive, Element_Type => TestAPI.Models.StringsMap_Type);
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in TestAPI.Models.StringsMap_Type);
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in StringsMap_Type_Vectors.Vector);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : out TestAPI.Models.StringsMap_Type);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : in out StringsMap_Type_Vectors.Vector);
-- ------------------------------
-- Information about a ticket
-- ------------------------------
type Ticket_Type is record
Id : Swagger.Long;
Title : Swagger.UString;
Description : Swagger.UString;
Owner : Swagger.Nullable_UString;
Create_Date : Swagger.Datetime;
End_Date : Swagger.Nullable_Date;
Update_Date : Swagger.Nullable_Date;
Status : Swagger.UString;
end record;
package Ticket_Type_Vectors is new Ada.Containers.Vectors
(Index_Type => Positive, Element_Type => TestAPI.Models.Ticket_Type);
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in TestAPI.Models.Ticket_Type);
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in Ticket_Type_Vectors.Vector);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : out TestAPI.Models.Ticket_Type);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : in out Ticket_Type_Vectors.Vector);
type OrchStoreRequest_Type is record
Requested_Qo_S : TestAPI.Models.StringsMap_Type;
Commands : TestAPI.Models.StringsMap_Type;
end record;
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in TestAPI.Models.OrchStoreRequest_Type);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : out TestAPI.Models.OrchStoreRequest_Type);
end TestAPI.Models;
|