Converted record back to class. Ref #69

CityDoctorParent/CityDoctorValidation/src/main/java/de/hft/stuttgart/citydoctor2/check/Checker.java

@@ -317,7 +317,7 @@ public class Checker {
 		if (excludeFilters != null) {
 			for (Filter f : excludeFilters) {
 				if (f instanceof TypeFilter tf) {
-					FeatureType type = tf.type();
+					FeatureType type = tf.getType();
 					TopLevelFeatureType tlft = mapToTopLevelFeatureType(type);
 					if (tlft == null) {
 						continue;
@@ -336,7 +336,7 @@ public class Checker {
 		} else {
 			for (Filter f : includeFilters) {
 				if (f instanceof TypeFilter tf) {
-					FeatureType type = tf.type();
+					FeatureType type = tf.getType();
 					TopLevelFeatureType tlft = mapToTopLevelFeatureType(type);
 					if (tlft == null) {
 						continue;

CityDoctorParent/CityDoctorValidation/src/main/java/de/hft/stuttgart/citydoctor2/check/TypeFilter.java

@@ -21,17 +21,28 @@ package de.hft.stuttgart.citydoctor2.check;
 import de.hft.stuttgart.citydoctor2.datastructure.CityObject;
 import de.hft.stuttgart.citydoctor2.datastructure.FeatureType;
 
+
 /**
  * Filters the feature type of features
  *
  * @author Matthias Betz
  */
-public record TypeFilter(FeatureType type) implements Filter {
+public class TypeFilter implements Filter {
+
+	private final FeatureType type;
 
+    public TypeFilter(FeatureType type) {
+        this.type = type;
+    }
 
     @Override
     public boolean matches(CityObject co) {
         return co.getFeatureType() == type;
     }
 
+	public FeatureType getType() {
+		return type;
+	}
+
+
 }