Anfangen mit Masterarbeit

src/de/dhbwstuttgart/sat/asp/ASPGenerator.java

@@ -0,0 +1,24 @@
+package de.dhbwstuttgart.sat.asp;
+
+import de.dhbwstuttgart.parser.scope.JavaClassName;
+import de.dhbwstuttgart.syntaxtree.ClassOrInterface;
+import de.dhbwstuttgart.typeinference.constraints.ConstraintSet;
+
+import java.util.Collection;
+
+public class ASPGenerator {
+    public static String toASP(ConstraintSet constraintSet, Collection<ClassOrInterface> fcClasses){
+        String ret = "";
+        for(ClassOrInterface cl : fcClasses){
+            String className = toConstant(cl.getClassName());
+            String superClassName = toConstant(cl.getSuperClass().getName());
+
+        }
+        return ret;
+    }
+
+
+    public static String toConstant(JavaClassName name){
+        return "c" + name.toString().replace(".", "_");
+    }
+}

src/de/dhbwstuttgart/sat/asp/model/ASPType.java

@@ -0,0 +1,9 @@
+package de.dhbwstuttgart.sat.asp.model;
+
+import java.util.List;
+
+public class ASPType {
+    public ASPType(String name, List<ASPType> params){
+
+    }
+}