From a42de79292d9541db7865b54e93be2d0b6e6a094 Mon Sep 17 00:00:00 2001 From: "serena.spinoso" Date: Thu, 7 Sep 2017 10:22:39 +0200 Subject: update verigraph JIRA: PARSER-154 code optimizations about graph manipulation and formula generation. Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d Signed-off-by: serena.spinoso --- verigraph/src/main/webapp/json/antispam.json | 11 ------ verigraph/src/main/webapp/json/cache.json | 11 ------ verigraph/src/main/webapp/json/database.json | 5 --- verigraph/src/main/webapp/json/dpi.json | 11 ------ verigraph/src/main/webapp/json/endhost.json | 42 ----------------------- verigraph/src/main/webapp/json/endpoint.json | 9 ----- verigraph/src/main/webapp/json/fieldmodifier.json | 12 ------- verigraph/src/main/webapp/json/firewall.json | 11 ------ verigraph/src/main/webapp/json/mailclient.json | 22 ------------ verigraph/src/main/webapp/json/mailserver.json | 12 ------- verigraph/src/main/webapp/json/nat.json | 11 ------ verigraph/src/main/webapp/json/vpnaccess.json | 22 ------------ verigraph/src/main/webapp/json/vpnexit.json | 22 ------------ verigraph/src/main/webapp/json/webclient.json | 22 ------------ verigraph/src/main/webapp/json/webserver.json | 12 ------- 15 files changed, 235 deletions(-) delete mode 100644 verigraph/src/main/webapp/json/antispam.json delete mode 100644 verigraph/src/main/webapp/json/cache.json delete mode 100644 verigraph/src/main/webapp/json/database.json delete mode 100644 verigraph/src/main/webapp/json/dpi.json delete mode 100644 verigraph/src/main/webapp/json/endhost.json delete mode 100644 verigraph/src/main/webapp/json/endpoint.json delete mode 100644 verigraph/src/main/webapp/json/fieldmodifier.json delete mode 100644 verigraph/src/main/webapp/json/firewall.json delete mode 100644 verigraph/src/main/webapp/json/mailclient.json delete mode 100644 verigraph/src/main/webapp/json/mailserver.json delete mode 100644 verigraph/src/main/webapp/json/nat.json delete mode 100644 verigraph/src/main/webapp/json/vpnaccess.json delete mode 100644 verigraph/src/main/webapp/json/vpnexit.json delete mode 100644 verigraph/src/main/webapp/json/webclient.json delete mode 100644 verigraph/src/main/webapp/json/webserver.json (limited to 'verigraph/src/main/webapp/json') 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 -- cgit 1.2.3-korg