1 files changed, 0 insertions, 67 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
deleted file mode 100644
index d6f9ca6..0000000
--- a/verigraph/src/main/java/it/polito/escape/verify/resources/beans/VerificationBean.java
+++ /dev/null
@@ -1,67 +0,0 @@
-/*******************************************************************************
- * 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;
-	}
-
-}