From 3a766df128f610121b494398dd39f2728b503f66 Mon Sep 17 00:00:00 2001
From: dohan <dohan001@hhu.de>
Date: Fri, 24 Aug 2018 18:13:08 +0200
Subject: [PATCH] find unchanged variables in nested tuples
---
src/main/java/de/tla2b/analysis/BOperation.java | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index d25f0fe..0dfe571 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -376,6 +376,10 @@ public class BOperation extends BuiltInOPs implements ASTConstants,
// Tuple
for (int i = 0; i < k.getArgs().length; i++) {
OpApplNode var = (OpApplNode) k.getArgs()[i];
+ //findUnchangedVariablesInOpApplNode(var);
+ if(!(var.getOperator() instanceof OpDeclNode)) {
+ throw new RuntimeException(var.getOperator().getName() + " " + var.getLocation());
+ }
unchangedVariablesList.add((OpDeclNode) var
.getOperator());
String name = var.getOperator().getName().toString();
--
GitLab