-- 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;