From 85da40acec7d3c08e4e3ef87ec4ed8841f9b7cc2 Mon Sep 17 00:00:00 2001
From: Miles Vella <673-vella@users.noreply.gitlab.cs.uni-duesseldorf.de>
Date: Wed, 12 Mar 2025 15:15:36 +0100
Subject: [PATCH] Add IF-ELSEs and LETs to unsupported constructs
---
.../de/tlc4b/analysis/UnsupportedConstructsFinder.java | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
index 188266a..31727e9 100644
--- a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
+++ b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
@@ -32,6 +32,13 @@ public class UnsupportedConstructsFinder extends DepthFirstAdapter {
add(ARealSetExpression.class);
add(AFloatSetExpression.class);
add(ARealExpression.class);
+
+ add(AIfElsifExprExpression.class);
+ add(AIfPredicatePredicate.class);
+ add(AIfElsifPredicatePredicate.class);
+
+ add(ALetExpressionExpression.class);
+ add(ALetPredicatePredicate.class);
}
private static void add(Class<? extends Node> clazz) {
--
GitLab