1 files changed, 65 insertions, 0 deletions
diff --git a/verigraph/src/it/polito/verigraph/resources/beans/VerificationBean.java b/verigraph/src/it/polito/verigraph/resources/beans/VerificationBean.java
new file mode 100644
index 0000000..619ee46
--- /dev/null
+++ b/verigraph/src/it/polito/verigraph/resources/beans/VerificationBean.java
@@ -0,0 +1,65 @@
+/*******************************************************************************
+ * 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.verigraph.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;
+    }
+
+}
+\ No newline at end of file