From a42de79292d9541db7865b54e93be2d0b6e6a094 Mon Sep 17 00:00:00 2001
From: "serena.spinoso" <serena.spinoso@polito.it>
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 <serena.spinoso@polito.it>
---
 verigraph/examples/verigraph-req4-success.json | 118 +++++++++++++++++++++++++
 1 file changed, 118 insertions(+)
 create mode 100644 verigraph/examples/verigraph-req4-success.json

(limited to 'verigraph/examples/verigraph-req4-success.json')

diff --git a/verigraph/examples/verigraph-req4-success.json b/verigraph/examples/verigraph-req4-success.json
new file mode 100644
index 0000000..422ad38
--- /dev/null
+++ b/verigraph/examples/verigraph-req4-success.json
@@ -0,0 +1,118 @@
+{
+   "nodes":[
+      {
+         "neighbours":[
+            {
+               "name":"webserver1"
+            },
+            {
+               "name":"nat"
+            }
+         ],
+         "configuration":[
+            {
+               "ip_host1":"webserver1"
+            }
+         ],
+         "name":"fw",
+         "functional_type":"firewall"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"host3"
+            },
+            {
+               "name":"fw"
+            }
+         ],
+         "name":"webserver1",
+         "functional_type":"webserver"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"host1"
+            },
+            {
+               "name":"dpi"
+            },
+            {
+               "name":"fw"
+            }
+         ],
+         "configuration":[
+            "host1",
+            "host2"
+         ],
+         "name":"nat",
+         "functional_type":"nat"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"host2"
+            },
+            {
+               "name":"nat"
+            }
+         ],
+         "configuration":[
+            "sex"
+         ],
+         "name":"dpi",
+         "functional_type":"dpi"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"dpi"
+            }
+         ],
+         "configuration":[
+            {
+               "url":"www.facebook.com",
+               "body":"candy",
+               "destination":"webserver1",
+               "protocol":"HTTP_REQUEST"
+            }
+         ],
+         "name":"host2",
+         "functional_type":"endhost"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"nat"
+            }
+         ],
+         "configuration":[
+            {
+               "url":"www.facebook.com",
+               "body":"drug",
+               "destination":"webserver1",
+               "protocol":"HTTP_REQUEST"
+            }
+         ],
+         "name":"host1",
+         "functional_type":"endhost"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"webserver1"
+            }
+         ],
+         "configuration":[
+            {
+               "url":"www.facebook.com",
+               "body":"cats",
+               "destination":"webserver1",
+               "protocol":"HTTP_REQUEST"
+            }
+         ],
+         "name":"host3",
+         "functional_type":"endhost"
+      }
+   ]
+}
\ No newline at end of file
-- 
cgit 1.2.3-korg