From 174ba7a39df456eb2ae41dffb74a807b11849700 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Fri, 20 Sep 2019 13:52:04 +0200
Subject: [PATCH] remove usless method
---
src/main/java/de/tla2b/analysis/BOperation.java | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index dd673d8..447ab98 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -393,7 +393,7 @@ public class BOperation extends BuiltInOPs implements ASTConstants,
findUnchangedVariablesInOpApplNode(obody);
}
} else if(!(var.getOperator() instanceof OpDeclNode)) {
- throw new RuntimeException("cannot convert to list of unchanged variables: " + var.getOperator().getName() + " " + var.getLocation());
+ throw new RuntimeException("Cannot convert to list of UNCHANGED variables: " + var.getOperator().getName() + " " + var.getLocation());
} else {
unchangedVariablesList.add((OpDeclNode) var
.getOperator());
@@ -408,10 +408,6 @@ public class BOperation extends BuiltInOPs implements ASTConstants,
}
}
-
- private void addUnchangedVariablesInOpApplNodeTuple(OpApplNode k) {
-
- }
}
--
GitLab