diff --git a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java index 21ddc60bca560bdd8223a0e7f5e239fe0586d3ee..eaeb66826e6f2881f7132d6666b6a17088277d53 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()); + } }