1 package it.unical.mat.embasp.specializations.solver_planning_domains.android;
3 import android.content.Context;
5 import java.io.BufferedReader;
6 import java.io.FileReader;
7 import java.io.IOException;
10 import it.unical.mat.embasp.base.Callback;
11 import it.unical.mat.embasp.base.InputProgram;
12 import it.unical.mat.embasp.base.OptionDescriptor;
13 import it.unical.mat.embasp.base.Output;
14 import it.unical.mat.embasp.platforms.android.AndroidService;
15 import it.unical.mat.embasp.platforms.android.AndroidUtility;
16 import it.unical.mat.embasp.specializations.solver_planning_domains.SPDPlan;
17 import it.unical.mat.embasp.specializations.solver_planning_domains.SPDUtility;
29 protected String readFile(String s)
throws IOException {
35 protected Output getOutput(
final String output,
final String error) {
36 return new SPDPlan(output, error);
40 public void startAsync(
final Callback callback,
final List<InputProgram> programs,
final List<OptionDescriptor> options) {
45 if (programs.isEmpty())
46 callback.callback(getOutput(
"",
"PDDLInputProgram not defined"));
48 callback.callback(getOutput(spdu.postJsonToURL(spdu.createJson(programs).toString()),
""));
49 }
catch (
final Exception e) {
50 callback.callback(getOutput(
"",
"Error : " + e.getMessage()));