From 83aaff140c67b1b750885c6a38fa54890ae2d15b Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 8 Mar 2018 01:44:40 +0100
Subject: [PATCH] =?UTF-8?q?Aufr=C3=A4umen?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/de/dhbwstuttgart/sat/asp/parser/ASPParser.java | 4 ++++
 test/asp/ClingoTest.java                           | 1 -
 test/asp/typeinference/ASPTest.java                | 1 -
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/de/dhbwstuttgart/sat/asp/parser/ASPParser.java b/src/de/dhbwstuttgart/sat/asp/parser/ASPParser.java
index 1de833d6..75acfe90 100644
--- a/src/de/dhbwstuttgart/sat/asp/parser/ASPParser.java
+++ b/src/de/dhbwstuttgart/sat/asp/parser/ASPParser.java
@@ -158,6 +158,9 @@ public class ASPParser {
     }
 
     private void parseType(String statement){
+        //TODO: Diese Regel muss 3 Parameter parsen (TypPointer, TypName, ParameterlistenPointer)
+        throw new NotImplementedException();
+        /*
         Pattern p = Pattern.compile(ASPRule.ASP_TYPE+"\\(([^,]+),([^,]+)\\)");
         Matcher m = p.matcher(statement);
         boolean b = m.matches();
@@ -168,6 +171,7 @@ public class ASPParser {
             List<String> params = this.getParams(rs);
             this.types.put(ls,new ParsedType(ls, params));
         }
+        */
     }
 
     private List<String> getParams(String pointer) {
diff --git a/test/asp/ClingoTest.java b/test/asp/ClingoTest.java
index 248cf5a2..90635bde 100644
--- a/test/asp/ClingoTest.java
+++ b/test/asp/ClingoTest.java
@@ -3,7 +3,6 @@ package asp;
 import de.dhbwstuttgart.parser.NullToken;
 import de.dhbwstuttgart.sat.asp.parser.ASPParser;
 import de.dhbwstuttgart.sat.asp.writer.ASPFactory;
-import de.dhbwstuttgart.sat.asp.writer.ASPGenerator;
 import de.dhbwstuttgart.sat.asp.Clingo;
 import de.dhbwstuttgart.syntaxtree.ClassOrInterface;
 import de.dhbwstuttgart.syntaxtree.factory.ASTFactory;
diff --git a/test/asp/typeinference/ASPTest.java b/test/asp/typeinference/ASPTest.java
index 112d2023..632d288e 100644
--- a/test/asp/typeinference/ASPTest.java
+++ b/test/asp/typeinference/ASPTest.java
@@ -2,7 +2,6 @@ package asp.typeinference;
 
 import de.dhbwstuttgart.core.JavaTXCompiler;
 import de.dhbwstuttgart.sat.asp.writer.ASPFactory;
-import de.dhbwstuttgart.sat.asp.writer.ASPGenerator;
 import de.dhbwstuttgart.syntaxtree.ClassOrInterface;
 import de.dhbwstuttgart.syntaxtree.SourceFile;
 import de.dhbwstuttgart.typeinference.constraints.ConstraintSet;