verigraph/src/main/java/it/polito/escape/verify/resources/beans/VerificationBean.java

   1 /*******************************************************************************
   2  * Copyright (c) 2017 Politecnico di Torino and others.
   3  *
   4  * All rights reserved. This program and the accompanying materials
   5  * are made available under the terms of the Apache License, Version 2.0
   6  * which accompanies this distribution, and is available at
   7  * http://www.apache.org/licenses/LICENSE-2.0
   8  *******************************************************************************/
   9
  10 package it.polito.escape.verify.resources.beans;
  11
  12 import javax.ws.rs.QueryParam;
  13
  14 import io.swagger.annotations.ApiModel;
  15 import io.swagger.annotations.ApiModelProperty;
  16
  17 @ApiModel("Verification")
  18 public class VerificationBean {
  19
  20         @ApiModelProperty(example = "webclient", value = "Source node. Must refer to an existing node of the same graph")
  21         private @QueryParam("source") String            source;
  22
  23         @ApiModelProperty(      example = "webserver",
  24                                                 value = "Destination node. Must refer to an existing node of the same graph")
  25         private @QueryParam("destination") String       destination;
  26
  27         @ApiModelProperty(      example = "reachability",
  28                                                 value = "Verification policy ('reachability', 'isolation', 'traversal')")
  29         private @QueryParam("type") String                      type;
  30
  31         @ApiModelProperty(      example = "firewall",
  32                                                 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'")
  33         private @QueryParam("middlebox") String         middlebox;
  34
  35         public String getSource() {
  36                 return source;
  37         }
  38
  39         public void setSource(String source) {
  40                 this.source = source;
  41         }
  42
  43         public String getDestination() {
  44                 return destination;
  45         }
  46
  47         public void setDestination(String destination) {
  48                 this.destination = destination;
  49         }
  50
  51         public String getType() {
  52                 return type;
  53         }
  54
  55         public void setType(String type) {
  56                 this.type = type;
  57         }
  58
  59         public String getMiddlebox() {
  60                 return middlebox;
  61         }
  62
  63         public void setMiddlebox(String middlebox) {
  64                 this.middlebox = middlebox;
  65         }
  66
  67 }