From a42de79292d9541db7865b54e93be2d0b6e6a094 Mon Sep 17 00:00:00 2001
From: "serena.spinoso" <serena.spinoso@polito.it>
Date: Thu, 7 Sep 2017 10:22:39 +0200
Subject: update verigraph

JIRA: PARSER-154

code optimizations about graph manipulation and formula generation.

Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
---
 .../it/polito/escape/verify/test/TestCase.java     | 161 ---------------------
 1 file changed, 161 deletions(-)
 delete mode 100644 verigraph/src/main/java/it/polito/escape/verify/test/TestCase.java

(limited to 'verigraph/src/main/java/it/polito/escape/verify/test/TestCase.java')

diff --git a/verigraph/src/main/java/it/polito/escape/verify/test/TestCase.java b/verigraph/src/main/java/it/polito/escape/verify/test/TestCase.java
deleted file mode 100644
index a4c85ab..0000000
--- a/verigraph/src/main/java/it/polito/escape/verify/test/TestCase.java
+++ /dev/null
@@ -1,161 +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.test;
-
-import java.util.HashMap;
-import java.util.Map;
-
-import com.fasterxml.jackson.annotation.JsonAnyGetter;
-import com.fasterxml.jackson.annotation.JsonAnySetter;
-import com.fasterxml.jackson.annotation.JsonIgnore;
-import com.fasterxml.jackson.annotation.JsonInclude;
-import com.fasterxml.jackson.annotation.JsonProperty;
-import com.fasterxml.jackson.annotation.JsonPropertyOrder;
-
-import it.polito.escape.verify.model.Graph;
-
-@JsonInclude(JsonInclude.Include.NON_NULL)
-@JsonPropertyOrder({ "id", "name", "description", "policy_url_parameters", "result", "graph" })
-public class TestCase {
-
-	@JsonProperty("id")
-	private Integer				id;
-
-	@JsonProperty("name")
-	private String				name;
-
-	@JsonProperty("description")
-	private String				description;
-
-	@JsonProperty("policy_url_parameters")
-	private String				policyUrlParameters;
-
-	@JsonProperty("result")
-	private String				result;
-
-	@JsonProperty("graph")
-	private Graph				graph;
-
-	@JsonIgnore
-	private Map<String, Object>	additionalProperties	= new HashMap<String, Object>();
-
-	/**
-	 * @return The id
-	 */
-	@JsonProperty("id")
-	public Integer getId() {
-		return id;
-	}
-
-	/**
-	 * @param id
-	 *            The id
-	 */
-	@JsonProperty("id")
-	public void setId(Integer id) {
-		this.id = id;
-	}
-
-	/**
-	 * @return The name
-	 */
-	@JsonProperty("name")
-	public String getName() {
-		return name;
-	}
-
-	/**
-	 * @param name
-	 *            The name
-	 */
-	@JsonProperty("name")
-	public void setName(String name) {
-		this.name = name;
-	}
-
-	/**
-	 * @return The description
-	 */
-	@JsonProperty("description")
-	public String getDescription() {
-		return description;
-	}
-
-	/**
-	 * @param description
-	 *            The description
-	 */
-	@JsonProperty("description")
-	public void setDescription(String description) {
-		this.description = description;
-	}
-
-	/**
-	 * @return The policyUrlParameters
-	 */
-	@JsonProperty("policy_url_parameters")
-	public String getPolicyUrlParameters() {
-		return policyUrlParameters;
-	}
-
-	/**
-	 * @param policyUrlParameters
-	 *            The policy_url_parameters
-	 */
-	@JsonProperty("policy_url_parameters")
-	public void setPolicyUrlParameters(String policyUrlParameters) {
-		this.policyUrlParameters = policyUrlParameters;
-	}
-
-	/**
-	 * @return The result
-	 */
-	@JsonProperty("result")
-	public String getResult() {
-		return result;
-	}
-
-	/**
-	 * @param result
-	 *            The result
-	 */
-	@JsonProperty("result")
-	public void setResult(String result) {
-		this.result = result;
-	}
-
-	/**
-	 * @return The graph
-	 */
-	@JsonProperty("graph")
-	public Graph getGraph() {
-		return graph;
-	}
-
-	/**
-	 * @param graph
-	 *            The graph
-	 */
-	@JsonProperty("graph")
-	public void setGraph(Graph graph) {
-		this.graph = graph;
-	}
-
-	@JsonAnyGetter
-	public Map<String, Object> getAdditionalProperties() {
-		return this.additionalProperties;
-	}
-
-	@JsonAnySetter
-	public void setAdditionalProperty(String name, Object value) {
-		this.additionalProperties.put(name, value);
-	}
-
-}
-- 
cgit 1.2.3-korg