update verigraph

JIRA: PARSER-154

code optimizations about graph manipulation and formula generation.

Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>

1 files changed, 42 insertions, 0 deletions

diff --git a/verigraph/jsonschema/endhost.json b/verigraph/jsonschema/endhost.json
new file mode 100644
index 0000000..37c8881
--- /dev/null
+++ b/verigraph/jsonschema/endhost.json
@@ -0,0 +1,42 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Endhost",
+    "description": "Polito Endhost",
+    "type": "array",
+    "items": {
+        "type": "object",
+        "properties": {
+            "body": {
+                "description": "HTTP body",
+                "type": "string"
+            },
+            "sequence": {
+                "description": "Sequence number",
+                "type": "integer"
+            },
+            "protocol": {
+                "description": "Protocol",
+                "type": "string",
+                "enum": ["HTTP_REQUEST", "HTTP_RESPONSE", "POP3_REQUEST", "POP3_RESPONSE"]
+            },
+            "email_from": {
+                "description": "E-mail sender",
+                "type": "string"
+            },
+            "url": {
+                "description": "URL",
+                "type": "string"
+            },
+            "options": {
+                "description": "Options",
+                "type": "string"
+            },
+            "destination": {
+                "description": "Destination node",
+                "type": "string"
+            }
+        },
+        "additionalProperties": false
+    },
+    "maxItems": 1
+}
\ No newline at end of file