Skip to content
Snippets Groups Projects
Commit 0daf54dc authored by Jan Gruteser's avatar Jan Gruteser
Browse files

simplify UnsupportedConstructsFinder

parent 5300fefa
No related branches found
No related tags found
No related merge requests found
Pipeline #142546 passed
...@@ -88,8 +88,7 @@ public class Translator { ...@@ -88,8 +88,7 @@ public class Translator {
} }
public void translate() { public void translate() {
UnsupportedConstructsFinder unsupportedConstructsFinder = new UnsupportedConstructsFinder(start); start.apply(new UnsupportedConstructsFinder());
unsupportedConstructsFinder.find();
// ast transformation // ast transformation
SeesEliminator.eliminateSeesClauses(start, parsedMachines); SeesEliminator.eliminateSeesClauses(start, parsedMachines);
......
...@@ -12,7 +12,7 @@ import de.be4.classicalb.core.parser.node.*; ...@@ -12,7 +12,7 @@ import de.be4.classicalb.core.parser.node.*;
import de.tlc4b.exceptions.NotSupportedException; import de.tlc4b.exceptions.NotSupportedException;
public class UnsupportedConstructsFinder extends DepthFirstAdapter { public class UnsupportedConstructsFinder extends DepthFirstAdapter {
private final Start start;
private static final Set<Class<? extends Node>> unsupportedClasses = new HashSet<>(); private static final Set<Class<? extends Node>> unsupportedClasses = new HashSet<>();
static { static {
...@@ -38,14 +38,6 @@ public class UnsupportedConstructsFinder extends DepthFirstAdapter { ...@@ -38,14 +38,6 @@ public class UnsupportedConstructsFinder extends DepthFirstAdapter {
unsupportedClasses.add(clazz); 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<>( private static final List<String> SUM_TYPE = new LinkedList<>(
Arrays.asList("model_clause", "machine_clause", "substitution", "machine_parse_unit")); Arrays.asList("model_clause", "machine_clause", "substitution", "machine_parse_unit"));
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment