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, 0 insertions, 235 deletions

diff --git a/verigraph/src/main/webapp/json/antispam.json b/verigraph/src/main/webapp/json/antispam.json
deleted file mode 100644
index dae3db9..0000000
--- a/verigraph/src/main/webapp/json/antispam.json
+++ /dev/null
@@ -1,11 +0,0 @@
-{
-    "$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/src/main/webapp/json/cache.json b/verigraph/src/main/webapp/json/cache.json
deleted file mode 100644
index 0511e7b..0000000
--- a/verigraph/src/main/webapp/json/cache.json
+++ /dev/null
@@ -1,11 +0,0 @@
-{
-    "$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/src/main/webapp/json/database.json b/verigraph/src/main/webapp/json/database.json
deleted file mode 100644
index 5b02a50..0000000
--- a/verigraph/src/main/webapp/json/database.json
+++ /dev/null
@@ -1,5 +0,0 @@
-[
-
-
-
-]
diff --git a/verigraph/src/main/webapp/json/dpi.json b/verigraph/src/main/webapp/json/dpi.json
deleted file mode 100644
index 6e4dd6f..0000000
--- a/verigraph/src/main/webapp/json/dpi.json
+++ /dev/null
@@ -1,11 +0,0 @@
-{
-    "$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/src/main/webapp/json/endhost.json b/verigraph/src/main/webapp/json/endhost.json
deleted file mode 100644
index 37c8881..0000000
--- a/verigraph/src/main/webapp/json/endhost.json
+++ /dev/null
@@ -1,42 +0,0 @@
-{
-    "$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/src/main/webapp/json/endpoint.json b/verigraph/src/main/webapp/json/endpoint.json
deleted file mode 100644
index 1e6a521..0000000
--- a/verigraph/src/main/webapp/json/endpoint.json
+++ /dev/null
@@ -1,9 +0,0 @@
-{
-    "$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/src/main/webapp/json/fieldmodifier.json b/verigraph/src/main/webapp/json/fieldmodifier.json
deleted file mode 100644
index 8be9419..0000000
--- a/verigraph/src/main/webapp/json/fieldmodifier.json
+++ /dev/null
@@ -1,12 +0,0 @@
-{
-    "$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/src/main/webapp/json/firewall.json b/verigraph/src/main/webapp/json/firewall.json
deleted file mode 100644
index 01ec63f..0000000
--- a/verigraph/src/main/webapp/json/firewall.json
+++ /dev/null
@@ -1,11 +0,0 @@
-{
-    "$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/src/main/webapp/json/mailclient.json b/verigraph/src/main/webapp/json/mailclient.json
deleted file mode 100644
index cacfd5f..0000000
--- a/verigraph/src/main/webapp/json/mailclient.json
+++ /dev/null
@@ -1,22 +0,0 @@
-{
-    "$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/src/main/webapp/json/mailserver.json b/verigraph/src/main/webapp/json/mailserver.json
deleted file mode 100644
index 974b560..0000000
--- a/verigraph/src/main/webapp/json/mailserver.json
+++ /dev/null
@@ -1,12 +0,0 @@
-{
-    "$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/src/main/webapp/json/nat.json b/verigraph/src/main/webapp/json/nat.json
deleted file mode 100644
index f2b973a..0000000
--- a/verigraph/src/main/webapp/json/nat.json
+++ /dev/null
@@ -1,11 +0,0 @@
-{
-    "$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/src/main/webapp/json/vpnaccess.json b/verigraph/src/main/webapp/json/vpnaccess.json
deleted file mode 100644
index 907118d..0000000
--- a/verigraph/src/main/webapp/json/vpnaccess.json
+++ /dev/null
@@ -1,22 +0,0 @@
-{
-    "$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/src/main/webapp/json/vpnexit.json b/verigraph/src/main/webapp/json/vpnexit.json
deleted file mode 100644
index c80a138..0000000
--- a/verigraph/src/main/webapp/json/vpnexit.json
+++ /dev/null
@@ -1,22 +0,0 @@
-{
-    "$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/src/main/webapp/json/webclient.json b/verigraph/src/main/webapp/json/webclient.json
deleted file mode 100644
index dfbc55e..0000000
--- a/verigraph/src/main/webapp/json/webclient.json
+++ /dev/null
@@ -1,22 +0,0 @@
-{
-    "$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/src/main/webapp/json/webserver.json b/verigraph/src/main/webapp/json/webserver.json
deleted file mode 100644
index 5d7a1c4..0000000
--- a/verigraph/src/main/webapp/json/webserver.json
+++ /dev/null
@@ -1,12 +0,0 @@
-{
-    "$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