From a6ff0c96f8b22085df0c5aae777d8dcc0de3d93c Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Tue, 8 Jan 2013 07:35:45 +0100
Subject: [PATCH] removed "continue"
---
.../eventb/translator/ContextTranslator.java | 21 +++++++++----------
1 file changed, 10 insertions(+), 11 deletions(-)
diff --git a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
index 87595710..43de100e 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -374,18 +374,17 @@ public final class ContextTranslator extends AbstractComponentTranslator {
final List<PPredicate> list = new ArrayList<PPredicate>(
predicates.length);
for (final ISCAxiom element : predicates) {
- if (element.isTheorem() != theorems) {
- continue;
+ if (element.isTheorem() == theorems) {
+ final PredicateVisitor visitor = new PredicateVisitor(
+ new LinkedList<String>());
+ element.getPredicate(ff, te).accept(visitor);
+ final PPredicate predicate = visitor.getPredicate();
+ list.add(predicate);
+ labelMapping.put(predicate, element);
+ proofspragmas.add(new ClassifiedPragma("discharged", predicate,
+ Arrays.asList(new String[0]), Arrays
+ .asList(new String[0]), NO_POS, NO_POS));
}
- final PredicateVisitor visitor = new PredicateVisitor(
- new LinkedList<String>());
- element.getPredicate(ff, te).accept(visitor);
- final PPredicate predicate = visitor.getPredicate();
- list.add(predicate);
- labelMapping.put(predicate, element);
- proofspragmas.add(new ClassifiedPragma("discharged", predicate,
- Arrays.asList(new String[0]), Arrays.asList(new String[0]),
- NO_POS, NO_POS));
}
return list;
}
--
GitLab