From 2b84caadaa9b742b633d68e6a301b7cea70276cc Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Fri, 29 Jun 2012 15:04:16 +0200
Subject: [PATCH] fixed warnings
---
.../src/de/prob/eventb/translator/PredicateVisitor.java | 3 ---
.../src/de/prob/eventb/translator2/EMFEventBTranslator.java | 5 -----
2 files changed, 8 deletions(-)
diff --git a/de.prob.core/src/de/prob/eventb/translator/PredicateVisitor.java b/de.prob.core/src/de/prob/eventb/translator/PredicateVisitor.java
index c1b4f6e0..7094ecab 100644
--- a/de.prob.core/src/de/prob/eventb/translator/PredicateVisitor.java
+++ b/de.prob.core/src/de/prob/eventb/translator/PredicateVisitor.java
@@ -8,7 +8,6 @@ package de.prob.eventb.translator; // NOPMD
// High number of imports because it depends on AST
import java.util.ArrayList;
-import java.util.Collections;
import java.util.LinkedList;
import java.util.List;
@@ -26,7 +25,6 @@ import org.eventb.core.ast.RelationalPredicate;
import org.eventb.core.ast.SimplePredicate;
import org.eventb.core.ast.UnaryPredicate;
-import de.be4.classicalb.core.parser.analysis.pragma.internal.ClassifiedPragma;
import de.be4.classicalb.core.parser.node.AConjunctPredicate;
import de.be4.classicalb.core.parser.node.ADisjunctPredicate;
import de.be4.classicalb.core.parser.node.AEqualPredicate;
@@ -52,7 +50,6 @@ import de.be4.classicalb.core.parser.node.ASubsetStrictPredicate;
import de.be4.classicalb.core.parser.node.ATruthPredicate;
import de.be4.classicalb.core.parser.node.PExpression;
import de.be4.classicalb.core.parser.node.PPredicate;
-import de.hhu.stups.sablecc.patch.SourcePosition;
import de.prob.eventb.translator.internal.SimpleVisitorAdapter;
public class PredicateVisitor extends SimpleVisitorAdapter implements // NOPMD
diff --git a/de.prob.core/src/de/prob/eventb/translator2/EMFEventBTranslator.java b/de.prob.core/src/de/prob/eventb/translator2/EMFEventBTranslator.java
index f5f0faa9..828469e7 100644
--- a/de.prob.core/src/de/prob/eventb/translator2/EMFEventBTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator2/EMFEventBTranslator.java
@@ -9,7 +9,6 @@ import org.eclipse.emf.common.util.EList;
import org.eventb.core.IEventBRoot;
import org.eventb.emf.core.EventBNamedCommentedComponentElement;
import org.eventb.emf.core.Project;
-import org.eventb.emf.core.context.Axiom;
import org.eventb.emf.core.context.CarrierSet;
import org.eventb.emf.core.context.Context;
import org.eventb.emf.core.machine.Machine;
@@ -54,10 +53,6 @@ public class EMFEventBTranslator {
s.getName()) }));
setList.add(deferredSet);
}
-
- EList<Axiom> axioms = c.getAxioms();
-
-
}
--
GitLab