/usr/share/ada/adainclude/aws/aws-response-set.ads is in libaws3.2.0-dev 3.2.0-3.
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 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 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 | ------------------------------------------------------------------------------
-- Ada Web Server --
-- --
-- Copyright (C) 2002-2014, 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/>. --
-- --
-- --
-- --
-- --
-- --
-- --
-- --
------------------------------------------------------------------------------
pragma Ada_2012;
with AWS.Net;
package AWS.Response.Set is
type Encoding_Direction is (Encode, Decode);
-- Server side would do gzip or deflate encoding,
-- Client side would do gzip or deflate decoding.
------------
-- Header --
------------
procedure Add_Header
(D : in out Data;
Name : String;
Value : String)
with Inline;
-- Add header name/value to the header container.
-- Should be used inside of server's callback when the user want
-- to add its own header lines to the response.
procedure Update_Header
(D : in out Data;
Name : String;
Value : String;
N : Positive := 1)
with Inline;
-- Update N-th header name/value in the header container.
-- Should be used inside of server's callback when the user want
-- to add/modify its own header lines to the response.
procedure Read_Header (Socket : Net.Socket_Type'Class; D : in out Data);
-- Read all header data from the socket and fill appropriate
-- data's fields.
procedure Status_Code
(D : in out Data;
Value : Messages.Status_Code)
with Inline;
-- Set the status code
procedure Content_Type
(D : in out Data;
Value : String)
with Inline;
-- Set the MIME type for the message body
procedure Expires
(D : in out Data;
Value : Calendar.Time)
with Inline;
-- Set the Expires date
procedure Expires
(D : in out Data;
Value : String)
with Inline;
-- As above but with a preformatted HTTP_Date
procedure Cache_Control
(D : in out Data;
Value : Messages.Cache_Option)
with Inline;
-- Set the Cache_Control mode for the message
procedure Location
(D : in out Data;
Value : String)
with Inline;
-- Set the location for the new page in the case of a moved
-- message. Should be used with redirection 3xx status codes.
procedure Authentication
(D : in out Data;
Realm : String;
Mode : Authentication_Mode := Basic;
Stale : Boolean := False)
with Inline;
-- Set the authentication mode requested by server. Set the status code to
-- the 401.
procedure Clear_Session (D : in out Data);
-- Send a command to clear the cookie on the client side. This will remove
-- the session Id from the client. This routine should be used when a
-- client logout from the Web application.
----------
-- Data --
----------
procedure Clear (D : in out Data);
-- Clear all internal data
procedure Mode
(D : in out Data;
Value : Data_Mode)
with Inline;
-- Set the data mode:
-- Header, Message, File, Stream, Socket_Taken or No_Data.
procedure Filename
(D : in out Data;
Value : String)
with Inline;
-- Set the filename which should be sent back.
-- It also set the Mode field to File.
procedure Stream
(D : in out Data;
Handle : not null access Resources.Streams.Stream_Type'Class;
Encoding : Messages.Content_Encoding := Messages.Identity)
with Inline;
-- Set the user defined data stream.
-- Encoding mean additional encoding would be applied on top of given
-- Handler stream.
procedure Close_Resource
(D : in out Data;
State : Boolean);
-- Set the server close state, if State if False the resource will not be
-- closed. This is needed to build transient resources as the closing must
-- be controlled by the transient task cleaner and not the server.
procedure Keep_Alive (D : in out Data; State : Boolean) with Inline;
-- Keep alive connection control. Setting this flag to False will send
-- "Connection: close" in server's response header line and the socket
-- will be closed after the response. This flag is True by default.
procedure Data_Encoding
(D : in out Data;
Encoding : Messages.Content_Encoding;
Direction : Encoding_Direction := Encode);
-- Set data encoding, the encoding will be used for the Message_Body and
-- Append_Body routines below.
-- Direction Encode is for server side, Direction Decode is for client
-- side. This routine have to be called before calling Message_Body or
-- Append_Body routines to activate the encoding. Note that by default no
-- encoding is done if Data_Encoding is not called (Encoding => Identity).
procedure Message_Body
(D : in out Data;
Value : Streams.Stream_Element_Array)
with Inline;
-- Set message body as a binary content. Set the Mode field to Message
procedure Message_Body
(D : in out Data;
Value : Strings.Unbounded.Unbounded_String)
with Inline;
-- Set the message body content as a unbounded_string. Set the Mode field
-- to Message.
procedure Message_Body
(D : in out Data;
Value : String)
with Inline;
-- Set the message body content as a string. Set the Mode field to Message
procedure Append_Body
(D : in out Data;
Item : Streams.Stream_Element_Array);
-- Add Item to the message
procedure Append_Body (D : in out Data; Item : String);
-- Add Item to the message
---------------
-- Other API --
---------------
function Is_Valid (D : Data) return Boolean;
-- Checking validity of the HTTP response
end AWS.Response.Set;
|