verigraph/jsonschema/endhost.json

   1 {
   2     "$schema": "http://json-schema.org/draft-04/schema#",
   3     "title": "Endhost",
   4     "description": "Polito Endhost",
   5     "type": "array",
   6     "items": {
   7         "type": "object",
   8         "properties": {
   9             "body": {
  10                 "description": "HTTP body",
  11                 "type": "string"
  12             },
  13             "sequence": {
  14                 "description": "Sequence number",
  15                 "type": "integer"
  16             },
  17             "protocol": {
  18                 "description": "Protocol",
  19                 "type": "string",
  20                 "enum": ["HTTP_REQUEST", "HTTP_RESPONSE", "POP3_REQUEST", "POP3_RESPONSE"]
  21             },
  22             "email_from": {
  23                 "description": "E-mail sender",
  24                 "type": "string"
  25             },
  26             "url": {
  27                 "description": "URL",
  28                 "type": "string"
  29             },
  30             "options": {
  31                 "description": "Options",
  32                 "type": "string"
  33             },
  34             "destination": {
  35                 "description": "Destination node",
  36                 "type": "string"
  37             }
  38         },
  39         "additionalProperties": false
  40     },
  41     "maxItems": 1
  42 }