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>

15 files changed, 235 insertions, 0 deletions

diff --git a/verigraph/jsonschema/antispam.json b/verigraph/jsonschema/antispam.json
new file mode 100644
index 0000000..dae3db9
--- /dev/null
+++ b/verigraph/jsonschema/antispam.json
@@ -0,0 +1,11 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Antispam",
+    "description": "Polito Antispam",
+    "type": "array",
+    "items": {
+        "type": "string"
+    },
+    "minItems": 0,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/cache.json b/verigraph/jsonschema/cache.json
new file mode 100644
index 0000000..0511e7b
--- /dev/null
+++ b/verigraph/jsonschema/cache.json
@@ -0,0 +1,11 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Cache",
+    "description": "Polito Cache",
+    "type": "array",
+    "items": {
+        "type": "string"
+    },
+    "minItems": 0,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/database.json b/verigraph/jsonschema/database.json
new file mode 100644
index 0000000..5b02a50
--- /dev/null
+++ b/verigraph/jsonschema/database.json
@@ -0,0 +1,5 @@
+[
+
+
+
+]
diff --git a/verigraph/jsonschema/dpi.json b/verigraph/jsonschema/dpi.json
new file mode 100644
index 0000000..6e4dd6f
--- /dev/null
+++ b/verigraph/jsonschema/dpi.json
@@ -0,0 +1,11 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Dpi",
+    "description": "Polito IDS",
+    "type": "array",
+    "items": {
+        "type": "string"
+    },
+    "minItems": 0,
+    "uniqueItems": true
+}
\ No newline at end of file
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
diff --git a/verigraph/jsonschema/endpoint.json b/verigraph/jsonschema/endpoint.json
new file mode 100644
index 0000000..1e6a521
--- /dev/null
+++ b/verigraph/jsonschema/endpoint.json
@@ -0,0 +1,9 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Endpoint",
+    "description": "Polito Endpoint",
+    "type": "array",
+    "minItems": 0,
+    "maxItems":0,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/fieldmodifier.json b/verigraph/jsonschema/fieldmodifier.json
new file mode 100644
index 0000000..8be9419
--- /dev/null
+++ b/verigraph/jsonschema/fieldmodifier.json
@@ -0,0 +1,12 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Field Modifier",
+    "description": "Polito Field Modifier",
+    "type": "array",
+    "items": {
+        "type": "object"
+    },
+    "minItems": 0,
+    "maxItems":0,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/firewall.json b/verigraph/jsonschema/firewall.json
new file mode 100644
index 0000000..01ec63f
--- /dev/null
+++ b/verigraph/jsonschema/firewall.json
@@ -0,0 +1,11 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Firewall",
+    "description": "Polito Firewall",
+    "type": "array",
+    "items": {
+        "type": "object"
+    },
+    "minItems": 0,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/mailclient.json b/verigraph/jsonschema/mailclient.json
new file mode 100644
index 0000000..cacfd5f
--- /dev/null
+++ b/verigraph/jsonschema/mailclient.json
@@ -0,0 +1,22 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Mail Client",
+    "description": "Polito Mail Client",
+    "type": "array",
+    "items": {
+        "type": "object",
+        "properties": {
+            "mailserver": {
+                "description": "Mail server name",
+                "type": "string"
+            }
+        },
+        "additionalProperties": false,
+        "required": [
+            "mailserver"
+        ]
+    },
+    "minItems": 1,
+    "maxItems": 1,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/mailserver.json b/verigraph/jsonschema/mailserver.json
new file mode 100644
index 0000000..974b560
--- /dev/null
+++ b/verigraph/jsonschema/mailserver.json
@@ -0,0 +1,12 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Mail Server",
+    "description": "Polito Mail Server",
+    "type": "array",
+    "items": {
+        "type": "object"
+    },
+    "minItems": 0,
+    "maxItems": 0,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/nat.json b/verigraph/jsonschema/nat.json
new file mode 100644
index 0000000..f2b973a
--- /dev/null
+++ b/verigraph/jsonschema/nat.json
@@ -0,0 +1,11 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Nat",
+    "description": "Polito Nat",
+    "type": "array",
+    "items": {
+        "type": "string"
+    },
+    "minItems": 0,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/vpnaccess.json b/verigraph/jsonschema/vpnaccess.json
new file mode 100644
index 0000000..907118d
--- /dev/null
+++ b/verigraph/jsonschema/vpnaccess.json
@@ -0,0 +1,22 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Vpn Access",
+    "description": "Polito Vpn Access",
+    "type": "array",
+    "items": {
+        "type": "object",
+        "properties": {
+            "vpnexit": {
+                "description": "Vpn Exit",
+                "type": "string"
+            }
+        },
+        "additionalProperties": false,
+        "required": [
+            "vpnexit"
+        ]
+    },
+    "minItems": 1,
+    "maxItems": 1,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/vpnexit.json b/verigraph/jsonschema/vpnexit.json
new file mode 100644
index 0000000..c80a138
--- /dev/null
+++ b/verigraph/jsonschema/vpnexit.json
@@ -0,0 +1,22 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Vpn Exit",
+    "description": "Polito Vpn Exit",
+    "type": "array",
+    "items": {
+        "type": "object",
+        "properties": {
+            "vpnaccess": {
+                "description": "Vpn Access",
+                "type": "string"
+            }
+        },
+        "additionalProperties": false,
+        "required": [
+            "vpnaccess"
+        ]
+    },
+    "minItems": 1,
+    "maxItems": 1,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/webclient.json b/verigraph/jsonschema/webclient.json
new file mode 100644
index 0000000..dfbc55e
--- /dev/null
+++ b/verigraph/jsonschema/webclient.json
@@ -0,0 +1,22 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Web client",
+    "description": "Polito Web Client",
+    "type": "array",
+    "items": {
+        "type": "object",
+        "properties": {
+            "webserver": {
+                "description": "Web server name",
+                "type": "string"
+            }
+        },
+        "additionalProperties": false,
+        "required": [
+            "webserver"
+        ]
+    },
+    "minItems": 1,
+    "maxItems": 1,
+    "uniqueItems": true
+}
\ No newline at end of file
diff --git a/verigraph/jsonschema/webserver.json b/verigraph/jsonschema/webserver.json
new file mode 100644
index 0000000..5d7a1c4
--- /dev/null
+++ b/verigraph/jsonschema/webserver.json
@@ -0,0 +1,12 @@
+{
+    "$schema": "http://json-schema.org/draft-04/schema#",
+    "title": "Web Server",
+    "description": "Polito Web Server",
+    "type": "array",
+    "items": {
+        "type": "object"
+    },
+    "minItems": 0,
+    "maxItems": 0,
+    "uniqueItems": true
+}
\ No newline at end of file