From b9b04eac476cc93a2d54a9339e48d9bbdb8a9fa1 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Wed, 23 Jan 2019 16:47:56 +0100
Subject: [PATCH] add empty ELSIF list when constructing IF-THEN-ELSE
---
src/main/java/de/tla2bAst/BAstCreator.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 1286dda..46c2d55 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -1675,8 +1675,10 @@ public class BAstCreator extends BuiltInOPs
}
case OPCODE_ite: { // IF THEN ELSE
+ List<PExpression> Elsifs = new ArrayList<>();
AIfThenElseExpression ifthenElse = new AIfThenElseExpression(visitExprOrOpArgNodePredicate(n.getArgs()[0]),
- visitExprOrOpArgNodeExpression(n.getArgs()[1]), visitExprOrOpArgNodeExpression(n.getArgs()[2]));
+ visitExprOrOpArgNodeExpression(n.getArgs()[1]), Elsifs,
+ visitExprOrOpArgNodeExpression(n.getArgs()[2]));
return ifthenElse;
// ALambdaExpression lambda1 = new ALambdaExpression();
--
GitLab