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-2017, 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. --
-- --
-- As a special exception under Section 7 of GPL version 3, you are --
-- granted additional permissions described in the GCC Runtime Library --
-- Exception, version 3.1, as published by the Free Software Foundation. --
-- --
-- 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/>. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
------------------------------------------------------------------------------
with Ada.Strings.Unbounded;
with WSDL2AWS.WSDL.Types;
package WSDL2AWS.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 WSDL2AWS.WSDL.Parameters;
|
