verigraph/src/main/java/it/polito/escape/verify/model/Verification.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.model;
  11
  12 import java.util.ArrayList;
  13 import java.util.List;
  14
  15 import io.swagger.annotations.ApiModel;
  16 import io.swagger.annotations.ApiModelProperty;
  17
  18 @ApiModel(value = "Policy verification")
  19 public class Verification {
  20
  21         @ApiModelProperty(example = "SAT | UNSAT | UNKNOWN")
  22         private String          result;
  23         private String comment;
  24         private List<Test>      tests   = new ArrayList<Test>();
  25
  26         public Verification() {
  27
  28         }
  29
  30         public Verification(String result) {
  31                 this.result = result;
  32         }
  33
  34         public Verification(String result, List<Test> tests, String comment){
  35                 this.result = result;
  36                 this.tests = tests;
  37                 this.comment = comment;
  38         }
  39
  40         public Verification(String result, String comment){
  41                 this.result = result;
  42                 this.comment = comment;
  43         }
  44
  45         public String getResult() {
  46                 return result;
  47         }
  48
  49         public void setResult(String result) {
  50                 this.result = result;
  51         }
  52
  53         public List<Test> getTests() {
  54                 return tests;
  55         }
  56
  57         public void setTests(List<Test> tests) {
  58                 this.tests = tests;
  59         }
  60
  61         public String getComment() {
  62                 return comment;
  63         }
  64
  65         public void setComment(String comment) {
  66                 this.comment = comment;
  67         }
  68
  69 }