verigraph/src/main/java/it/polito/escape/verify/test/TestCase.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.test;
  11
  12 import java.util.HashMap;
  13 import java.util.Map;
  14
  15 import com.fasterxml.jackson.annotation.JsonAnyGetter;
  16 import com.fasterxml.jackson.annotation.JsonAnySetter;
  17 import com.fasterxml.jackson.annotation.JsonIgnore;
  18 import com.fasterxml.jackson.annotation.JsonInclude;
  19 import com.fasterxml.jackson.annotation.JsonProperty;
  20 import com.fasterxml.jackson.annotation.JsonPropertyOrder;
  21
  22 import it.polito.escape.verify.model.Graph;
  23
  24 @JsonInclude(JsonInclude.Include.NON_NULL)
  25 @JsonPropertyOrder({ "id", "name", "description", "policy_url_parameters", "result", "graph" })
  26 public class TestCase {
  27
  28         @JsonProperty("id")
  29         private Integer                         id;
  30
  31         @JsonProperty("name")
  32         private String                          name;
  33
  34         @JsonProperty("description")
  35         private String                          description;
  36
  37         @JsonProperty("policy_url_parameters")
  38         private String                          policyUrlParameters;
  39
  40         @JsonProperty("result")
  41         private String                          result;
  42
  43         @JsonProperty("graph")
  44         private Graph                           graph;
  45
  46         @JsonIgnore
  47         private Map<String, Object>     additionalProperties    = new HashMap<String, Object>();
  48
  49         /**
  50          * @return The id
  51          */
  52         @JsonProperty("id")
  53         public Integer getId() {
  54                 return id;
  55         }
  56
  57         /**
  58          * @param id
  59          *            The id
  60          */
  61         @JsonProperty("id")
  62         public void setId(Integer id) {
  63                 this.id = id;
  64         }
  65
  66         /**
  67          * @return The name
  68          */
  69         @JsonProperty("name")
  70         public String getName() {
  71                 return name;
  72         }
  73
  74         /**
  75          * @param name
  76          *            The name
  77          */
  78         @JsonProperty("name")
  79         public void setName(String name) {
  80                 this.name = name;
  81         }
  82
  83         /**
  84          * @return The description
  85          */
  86         @JsonProperty("description")
  87         public String getDescription() {
  88                 return description;
  89         }
  90
  91         /**
  92          * @param description
  93          *            The description
  94          */
  95         @JsonProperty("description")
  96         public void setDescription(String description) {
  97                 this.description = description;
  98         }
  99
 100         /**
 101          * @return The policyUrlParameters
 102          */
 103         @JsonProperty("policy_url_parameters")
 104         public String getPolicyUrlParameters() {
 105                 return policyUrlParameters;
 106         }
 107
 108         /**
 109          * @param policyUrlParameters
 110          *            The policy_url_parameters
 111          */
 112         @JsonProperty("policy_url_parameters")
 113         public void setPolicyUrlParameters(String policyUrlParameters) {
 114                 this.policyUrlParameters = policyUrlParameters;
 115         }
 116
 117         /**
 118          * @return The result
 119          */
 120         @JsonProperty("result")
 121         public String getResult() {
 122                 return result;
 123         }
 124
 125         /**
 126          * @param result
 127          *            The result
 128          */
 129         @JsonProperty("result")
 130         public void setResult(String result) {
 131                 this.result = result;
 132         }
 133
 134         /**
 135          * @return The graph
 136          */
 137         @JsonProperty("graph")
 138         public Graph getGraph() {
 139                 return graph;
 140         }
 141
 142         /**
 143          * @param graph
 144          *            The graph
 145          */
 146         @JsonProperty("graph")
 147         public void setGraph(Graph graph) {
 148                 this.graph = graph;
 149         }
 150
 151         @JsonAnyGetter
 152         public Map<String, Object> getAdditionalProperties() {
 153                 return this.additionalProperties;
 154         }
 155
 156         @JsonAnySetter
 157         public void setAdditionalProperty(String name, Object value) {
 158                 this.additionalProperties.put(name, value);
 159         }
 160
 161 }