From 0daf54dcb0ec97ef0ab561dbb4cb7d5178553834 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Mon, 5 Aug 2024 17:45:44 +0200
Subject: [PATCH] simplify UnsupportedConstructsFinder
---
src/main/java/de/tlc4b/Translator.java | 3 +--
.../de/tlc4b/analysis/UnsupportedConstructsFinder.java | 10 +---------
2 files changed, 2 insertions(+), 11 deletions(-)
diff --git a/src/main/java/de/tlc4b/Translator.java b/src/main/java/de/tlc4b/Translator.java
index ca4c6d1..9166b55 100644
--- a/src/main/java/de/tlc4b/Translator.java
+++ b/src/main/java/de/tlc4b/Translator.java
@@ -88,8 +88,7 @@ public class Translator {
}
public void translate() {
- UnsupportedConstructsFinder unsupportedConstructsFinder = new UnsupportedConstructsFinder(start);
- unsupportedConstructsFinder.find();
+ start.apply(new UnsupportedConstructsFinder());
// ast transformation
SeesEliminator.eliminateSeesClauses(start, parsedMachines);
diff --git a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
index 8f5ecc2..69d7ea1 100644
--- a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
+++ b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
@@ -12,7 +12,7 @@ import de.be4.classicalb.core.parser.node.*;
import de.tlc4b.exceptions.NotSupportedException;
public class UnsupportedConstructsFinder extends DepthFirstAdapter {
- private final Start start;
+
private static final Set<Class<? extends Node>> unsupportedClasses = new HashSet<>();
static {
@@ -38,14 +38,6 @@ public class UnsupportedConstructsFinder extends DepthFirstAdapter {
unsupportedClasses.add(clazz);
}
- public UnsupportedConstructsFinder(Start start) {
- this.start = start;
- }
-
- public void find() {
- start.apply(this);
- }
-
private static final List<String> SUM_TYPE = new LinkedList<>(
Arrays.asList("model_clause", "machine_clause", "substitution", "machine_parse_unit"));
--
GitLab