/usr/share/ada/adainclude/aws/soap-wsdl-parameters.ads is in libaws3.3.2.2-dev 17.2.2017-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | ------------------------------------------------------------------------------
-- Ada Web Server --
-- --
-- Copyright (C) 2003-2016, AdaCore --
-- --
-- This library is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 3, or (at your option) any --
-- later version. This library is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- --
-- --
-- --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- --
-- --
-- --
-- --
-- --
-- --
------------------------------------------------------------------------------
with Ada.Strings.Unbounded;
with SOAP.WSDL.Types;
package SOAP.WSDL.Parameters is
use Ada.Strings.Unbounded;
use type WSDL.Types.Kind;
-- Parameter
type Parameter;
type P_Set is access Parameter;
type Parameter (Mode : Types.Kind) is record
Name : Unbounded_String;
Elmt_Name : Unbounded_String; -- element name in the WSDL
Doc : Unbounded_String;
Typ : Types.Object;
Next : P_Set;
Min : Natural := 1; -- minOccurs
Max : Positive := 1; -- maxOccurs
Is_Set : Boolean := False;
case Mode is
when Types.Compound_Type =>
Length : Natural; -- Number of items (0 = unbounded)
P : P_Set;
E_Typ : Types.Object;
-- Element type needed for a set. If the set is empty we cannot
-- compute the Element type using P above.
when others =>
null;
end case;
end record;
function Is_Uniq (P : Parameter) return Boolean
with Post => Is_Uniq'Result = (P.Min = 1 and then P.Max = 1);
-- Returns True if Min and Max is set to one
procedure Append (P : in out P_Set; Param : Parameter) with
Post => Length (P) = Length (P)'Old + 1;
-- Add Param at the end of P
function Length (P : access Parameter) return Natural;
-- Returns the number of items in P
procedure Output (P : access Parameter);
-- Output parameter set, this is to be used for debugging purpose
procedure Release (P : in out P_Set) with
Post => Length (P) = 0;
-- Release memory associated the the parameter set
function To_SOAP
(P : Parameter;
Object, Name : String;
Type_Name : String := "";
NS : String := "") return String;
-- Returns the code to create a SOAP parameter with given Name. Object is
-- the reference to the object to convert. Type_Name is the name of the
-- enumeration to convert to/from. NS is the name-space for Name (not for
-- type-name).
function From_SOAP
(P : Parameter;
Object : String;
Type_Name : String := "";
Is_SOAP_Type : Boolean := False) return String
with Pre => P.Mode in WSDL.Types.Compound_Type xor Type_Name = "";
-- Is_SOAP_Type is true if Object is alreay a SOAP types object. So there
-- is no need for a convertion in this context.
end SOAP.WSDL.Parameters;
|