From 1e91c11d2298b2de44d11a8dd5bd02aac03f0eb7 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Thu, 23 Jan 2025 20:16:40 +0100
Subject: [PATCH] quick fix for Label and DescriptionPredicates
---
.../tlc4b/analysis/UnsupportedConstructsFinder.java | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
index 21ddc60..eaeb668 100644
--- a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
+++ b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
@@ -76,4 +76,16 @@ public class UnsupportedConstructsFinder extends DepthFirstAdapter {
}
}
+ // quick fix: ignore labels and descriptions FIXME: improve
+ @Override
+ public void caseALabelPredicate(ALabelPredicate node) {
+ node.getPredicate().apply(this);
+ node.replaceBy(node.getPredicate());
+ }
+
+ @Override
+ public void caseADescriptionPredicate(ADescriptionPredicate node) {
+ node.getPredicate().apply(this);
+ node.replaceBy(node.getPredicate());
+ }
}
--
GitLab