From 45ca4071870d358fde8581bbc4e08032fe30829b Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 6 Mar 2014 12:27:39 +0100
Subject: [PATCH] Added comments, made SuppressWarnings annotation more
 specific

---
 .../eventb/translator/internal/TranslationVisitor.java    | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java b/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
index 9b846ee5..52b9a419 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
@@ -52,15 +52,10 @@ import org.eventb.core.ast.extension.IExpressionExtension;
 import de.be4.classicalb.core.parser.node.*;
 
 /**
- * The global SuppressWarnings annotation is used because the deprecated code is
- * used to check if this new implementation computes the same results as the old
- * code.
- * 
- * That should be removed after a while.
+ * This visitor on an Event-B AST generates an AST in ProB's format.
  * 
  * @author plagge
  */
-@SuppressWarnings("deprecation")
 public class TranslationVisitor implements ISimpleVisitor {
 	private static final String UNCOVERED_PREDICATE = "Uncovered Predicate";
 
@@ -615,6 +610,7 @@ public class TranslationVisitor implements ISimpleVisitor {
 		predicates.push(result);
 	}
 
+	@SuppressWarnings("deprecation")
 	@Override
 	public void visitUnaryExpression(final UnaryExpression expression) {
 		final PExpression exp = getExpression(expression.getChild());
-- 
GitLab