summaryrefslogtreecommitdiffstats
path: root/verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java
diff options
context:
space:
mode:
authorserena.spinoso <serena.spinoso@polito.it>2017-09-07 10:22:39 +0200
committerserena.spinoso <serena.spinoso@polito.it>2017-09-12 08:42:03 +0200
commita42de79292d9541db7865b54e93be2d0b6e6a094 (patch)
treecc357be8dc0030be4fa965273c4074f0dcb79345 /verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java
parentdd361d8d9df7a69a4fc7c004db5b959440a024c2 (diff)
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>
Diffstat (limited to 'verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java')
-rw-r--r--verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java31
1 files changed, 0 insertions, 31 deletions
diff --git a/verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java b/verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java
deleted file mode 100644
index 8b94748..0000000
--- a/verigraph/src/main/java/it/polito/escape/verify/validation/exception/ValidationException.java
+++ /dev/null
@@ -1,31 +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.validation.exception;
-
-
-public class ValidationException extends Exception {
-
- /**
- *
- */
- private static final long serialVersionUID = -8251271078519549101L;
-
- private String message;
-
- public ValidationException(String message){
-// super(message);
- this.message = message;
- }
-
- @Override
- public String getMessage() {
- return this.message;
- }
-}