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
130
131
132
133
134
135
136
137 | -- 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 6.1.0-2022-07-31.
-- 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 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);
type OrchStoreRequest_Type is record
Requested_Qo_S : TestAPI.Models.StringsMap_Type;
Commands : TestAPI.Models.StringsMap_Type;
end record;
package OrchStoreRequest_Type_Vectors is new Ada.Containers.Vectors
(Index_Type => Positive,
Element_Type => TestAPI.Models.OrchStoreRequest_Type);
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in TestAPI.Models.OrchStoreRequest_Type);
procedure Serialize
(Into : in out Swagger.Streams.Output_Stream'Class;
Name : in String;
Value : in OrchStoreRequest_Type_Vectors.Vector);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : out TestAPI.Models.OrchStoreRequest_Type);
procedure Deserialize
(From : in Swagger.Value_Type;
Name : in String;
Value : in out OrchStoreRequest_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 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);
end TestAPI.Models;
|