added aba classes

Author: jklein94

org-tweetyproject-web/pom.xml

@@ -104,6 +104,11 @@
     		<groupId>org.tweetyproject.arg</groupId>
     		<artifactId>delp</artifactId>
     		<version>1.24-SNAPSHOT</version>
+	    </dependency>
+		<dependency>
+    		<groupId>org.tweetyproject.arg</groupId>
+    		<artifactId>aba</artifactId>
+    		<version>1.24-SNAPSHOT</version>
 	    </dependency>
 		<dependency>
 		    <groupId>org.json</groupId>

org-tweetyproject-web/src/main/java/org/tweetyproject/web/pyargservices/RequestController.java

@@ -156,6 +156,8 @@ public DungServicesInfoResponse getInfo(@RequestBody DungReasonerPost pyArgPost)
 	@ResponseBody
 	public Response handleRequest(
   	@RequestBody DelpPost delpPost) {
+
+		System.out.println(delpPost.toString());
 
 		DelpResponse delpResponse =  new DelpResponse("query", delpPost.getEmail(), delpPost.getCompcriterion(), delpPost.getKb(), delpPost.getQuery(), delpPost.getTimeout(),null, 0.0, delpPost.getUnit_timeout(),null);
 		TimeUnit unit = Utils.getTimoutUnit(delpPost.getUnit_timeout());

org-tweetyproject-web/src/main/java/org/tweetyproject/web/pyargservices/Utils.java

@@ -30,27 +30,12 @@ public static DungTheory getDungTheory(int nr_of_arguments, List<List<Integer>>
         }
         for (List<Integer> list : atttacks) { 
             af_graph.add(new DirectedEdge<Argument>(arguments.get(list.get(0) - 1),arguments.get(list.get(1) - 1)));
-  
-        //     for (String item : list) { 
-        //         System.out.print("  "
-        //                          + item 
-        //                          + ", "); 
-        //     } 
-        //     System.out.println("], "); 
-        // } 
-        // System.out.println("]"); 
-        // return "";
         }
 
         DungTheory dungTheory = new DungTheory(af_graph);
         return dungTheory;
     } 
 
-    //    Gson gson = new Gson();
-    //     List<List<String>> firstList = gson.fromJson(atttacks, new TypeToken<List<List<Float>>>() {}.getType());
-    //     System.out.println(firstList.toString());
-
-
     public static String returnLowerCase(String stringInput) {
         return stringInput.toLowerCase();
     }
@@ -99,4 +84,6 @@ public static int checkUserTimeout(int user_timeout, int server_timeout, TimeUni
         return user_timeout;
     }
 
+    
+
 }

org-tweetyproject-web/src/main/java/org/tweetyproject/web/pyargservices/aba/AbaReasonerCalleeFactory.java

@@ -0,0 +1,54 @@
+package org.tweetyproject.web.pyargservices.aba;
+
+import org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner;
+import org.tweetyproject.arg.dung.syntax.DungTheory;
+import org.tweetyproject.web.pyargservices.Callee;
+
+
+
+
+public class AbaReasonerCalleeFactory {
+    public enum Command{
+		GET_MODELS ("get_models", "Get all models"),
+		GET_MODEL ("get_model", "Get some model");
+		/**id*/
+		public String id;
+		/**label*/
+		public String label;
+		
+		Command(String id, String label){
+			this.id = id;
+			this.label = label;			
+		}
+		/**
+		 * 
+		 * @param id ID
+		 * @return the measure
+		 */
+		public static Command getCommand(String id){
+			for(Command m: Command.values())
+				if(m.id.equals(id))
+					return m;
+			return null;
+		}
+	}
+    
+    public static Command [] getCommands(){
+        return Command.values();
+    }
+	/**
+	 * Creates a new inconsistency measure of the given type with default
+	 * settings.
+	 * @param im some identifier of an inconsistency measure.
+	 * @return the requested inconsistency measure.
+	 */
+	public static  Callee getCallee(Command cmd, AbstractExtensionReasoner reasoner, DungTheory bbase){
+		switch(cmd){
+			case GET_MODELS:
+				return new AbaReasonerGetModelsCallee(reasoner, bbase);
+			default:
+				throw new RuntimeException("Command not found: " + cmd.toString());
+		}
+	}
+    
+}

org-tweetyproject-web/src/main/java/org/tweetyproject/web/pyargservices/aba/AbaReasonerGetModelsCallee.java

@@ -0,0 +1,25 @@
+package org.tweetyproject.web.pyargservices.aba;
+
+import java.util.Collection;
+
+import org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner;
+import org.tweetyproject.arg.aba.semantics.AbaExtension;
+import org.tweetyproject.arg.aba.syntax.AbaTheory;
+import org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner;
+import org.tweetyproject.arg.dung.semantics.Extension;
+import org.tweetyproject.arg.dung.syntax.DungTheory;
+import org.tweetyproject.web.pyargservices.Callee;
+
+// public class AbaReasonerGetModelsCallee extends Callee {
+// 		GeneralAbaReasoner<T> reasoner;
+// 		AbaTheory<T> bbase;
+// 		public T AbaReasonerGetModelsCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase){
+// 			this.reasoner = reasoner;
+// 			this.bbase = bbase;
+// 		}
+// 		@Override
+// 		public  T Collection<AbaExtension<T>> call() throws Exception {
+// 			return this.reasoner.getModels(this.bbase);
+// 		}
+	
+// }

org-tweetyproject-web/src/main/java/org/tweetyproject/web/pyargservices/aba/AbaReasonerPost.java

@@ -0,0 +1,81 @@
+package org.tweetyproject.web.pyargservices.aba;
+
+import java.util.List;
+
+public class AbaReasonerPost
+ {
+
+    private String cmd;
+    private String email;
+    private int nr_of_arguments;
+    private List<List<Integer>> attacks;
+    private String semantics;
+    private String solver;
+    private int timeout; // Timeout in seconds
+    private String unit_timeout;
+
+  public String getUnit_timeout() {
+      return unit_timeout;
+    }
+
+    public void setUnit_timeout(String unit_timeout) {
+      this.unit_timeout = unit_timeout;
+    }
+
+  public String getCmd() {
+    return this.cmd;
+  }
+
+  public void setCmd(String cmd) {
+    this.cmd = cmd;
+  }
+
+  public String getEmail() {
+    return this.email;
+  }
+
+  public void setEmail(String email) {
+    this.email = email;
+  }
+
+  public int getNr_of_arguments() {
+    return this.nr_of_arguments;
+  }
+
+  public void setNr_of_arguments(int nr_of_arguments) {
+    this.nr_of_arguments = nr_of_arguments;
+  }
+
+  public List<List<Integer>> getAttacks() {
+    return this.attacks;
+  }
+
+  public void setAttacks(List<List<Integer>> attacks) {
+    this.attacks = attacks;
+  }
+
+  public String getSemantics() {
+    return this.semantics;
+  }
+
+  public void setSemantics(String semantics) {
+    this.semantics = semantics;
+  }
+
+  public String getSolver() {
+    return this.solver;
+  }
+
+  public void setSolver(String solver) {
+    this.solver = solver;
+  }
+
+  public int getTimeout() {
+    return this.timeout;
+  }
+
+  public void setTimeout(int timeout) {
+    this.timeout = timeout;
+  }
+
+}