Description
Supplies constants for standardized HTTP methods while the parent Method type remains open to extension tokens. A constant identifies wire spelling and semantics; an individual protocol engine may still reject a method it cannot complete safely. In particular, the initial Client has no tunnel handoff API and therefore rejects CONNECT.
CONNECT
CONNECT : constant Method := To_Method ("CONNECT");
CONNECT tunnel-establishment method.
DELETE
DELETE : constant Method := To_Method ("DELETE");
DELETE resource-removal method.
GET
GET : constant Method := To_Method ("GET");
GET retrieval method.
HEAD
HEAD : constant Method := To_Method ("HEAD");
HEAD metadata-only retrieval method.
OPTIONS
OPTIONS : constant Method := To_Method ("OPTIONS");
OPTIONS capability-discovery method.
PATCH
PATCH : constant Method := To_Method ("PATCH");
PATCH partial-modification method.
POST
POST : constant Method := To_Method ("POST");
POST representation-processing method.
PUT
PUT : constant Method := To_Method ("PUT");
PUT representation-replacement method.
TRACE
TRACE : constant Method := To_Method ("TRACE");
TRACE diagnostic loop-back method.