From 60f30e44351647e3b4430c01b42fc100ee31318b Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 7 Jan 2013 10:15:51 +0100
Subject: [PATCH] add missing parameter to constructor, to prevent calling the
default constructor
---
.../src/de/prob/eventb/translator/ExpressionVisitor.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/eventb/translator/ExpressionVisitor.java b/de.prob.core/src/de/prob/eventb/translator/ExpressionVisitor.java
index 96a04d1a..8f2e21d0 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ExpressionVisitor.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ExpressionVisitor.java
@@ -115,6 +115,7 @@ public class ExpressionVisitor extends SimpleVisitorAdapter implements // NOPMD
// we need some abilities of the linked list, using List is not an option
private boolean expressionSet = false;
+ @SuppressWarnings("unused")
private ExpressionVisitor() { // we want to prevent clients from calling
// the default constructor
super();
@@ -166,7 +167,8 @@ public class ExpressionVisitor extends SimpleVisitorAdapter implements // NOPMD
final PPredicate pr = predicateVisitor.getPredicate();
- final ExpressionVisitor expressionVisitor = new ExpressionVisitor();
+ final ExpressionVisitor expressionVisitor = new ExpressionVisitor(
+ bounds);
expression.getExpression().accept(expressionVisitor);
final PExpression ex = expressionVisitor.getExpression();
--
GitLab