Add verigraph code base

JIRA: PARSER-111

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

1 files changed, 67 insertions, 0 deletions

diff --git a/verigraph/src/main/java/it/polito/escape/verify/resources/beans/VerificationBean.java b/verigraph/src/main/java/it/polito/escape/verify/resources/beans/VerificationBean.java
new file mode 100644
index 0000000..d6f9ca6
--- /dev/null
+++ b/verigraph/src/main/java/it/polito/escape/verify/resources/beans/VerificationBean.java
@@ -0,0 +1,67 @@
+/*******************************************************************************
+ * Copyright (c) 2017 Politecnico di Torino and others.
+ *
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Apache License, Version 2.0
+ * which accompanies this distribution, and is available at
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *******************************************************************************/
+
+package it.polito.escape.verify.resources.beans;
+
+import javax.ws.rs.QueryParam;
+
+import io.swagger.annotations.ApiModel;
+import io.swagger.annotations.ApiModelProperty;
+
+@ApiModel("Verification")
+public class VerificationBean {
+
+	@ApiModelProperty(example = "webclient", value = "Source node. Must refer to an existing node of the same graph")
+	private @QueryParam("source") String		source;
+
+	@ApiModelProperty(	example = "webserver",
+						value = "Destination node. Must refer to an existing node of the same graph")
+	private @QueryParam("destination") String	destination;
+
+	@ApiModelProperty(	example = "reachability",
+						value = "Verification policy ('reachability', 'isolation', 'traversal')")
+	private @QueryParam("type") String			type;
+
+	@ApiModelProperty(	example = "firewall",
+						value = "Absent if verification type is 'reachability', equal to the name of a middlebox to be avoided if verification type is 'isolation', equal to the name of a middlebox to be traversed if verification type is 'traversal'")
+	private @QueryParam("middlebox") String		middlebox;
+
+	public String getSource() {
+		return source;
+	}
+
+	public void setSource(String source) {
+		this.source = source;
+	}
+
+	public String getDestination() {
+		return destination;
+	}
+
+	public void setDestination(String destination) {
+		this.destination = destination;
+	}
+
+	public String getType() {
+		return type;
+	}
+
+	public void setType(String type) {
+		this.type = type;
+	}
+
+	public String getMiddlebox() {
+		return middlebox;
+	}
+
+	public void setMiddlebox(String middlebox) {
+		this.middlebox = middlebox;
+	}
+
+}