EmbASP-Java
DLV2DesktopService.java
1 package it.unical.mat.embasp.specializations.dlv2.desktop;
2 
3 import java.util.List;
4 
5 import it.unical.mat.embasp.base.Callback;
6 import it.unical.mat.embasp.base.InputProgram;
7 import it.unical.mat.embasp.base.OptionDescriptor;
8 import it.unical.mat.embasp.base.Output;
9 import it.unical.mat.embasp.platforms.desktop.DesktopService;
10 import it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets;
11 
14 public class DLV2DesktopService extends DesktopService {
15  public DLV2DesktopService(final String exe_path) {
16  super(exe_path);
17  load_from_STDIN_option = "--stdin";
18  }
19 
20  @Override
21  protected Output getOutput(final String output, final String error) {
22  return new DLV2AnswerSets(output, error);
23  }
24 
25  public void startAsync(final Callback callback, final List<InputProgram> programs, final List<OptionDescriptor> options) {
26  super.startAsync(callback, programs, options);
27  }
28 
29  @Override
30  public Output startSync(final List<InputProgram> programs, final List<OptionDescriptor> options) {
31  return super.startSync(programs, options);
32  }
33 }
it.unical.mat.embasp.platforms.desktop.DesktopService
Definition: DesktopService.java:22
it.unical.mat.embasp.base.Callback
Definition: Callback.java:8
it.unical.mat.embasp.platforms.desktop.DesktopService.exe_path
String exe_path
Definition: DesktopService.java:24
it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets
Definition: DLV2AnswerSets.java:8
it.unical.mat.embasp.base.Output
Definition: Output.java:4
it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService.startSync
Output startSync(final List< InputProgram > programs, final List< OptionDescriptor > options)
Definition: DLV2DesktopService.java:30
it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService.startAsync
void startAsync(final Callback callback, final List< InputProgram > programs, final List< OptionDescriptor > options)
Definition: DLV2DesktopService.java:25
it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService
Definition: DLV2DesktopService.java:14