EmbASP-Java
DLVDesktopService.java
1 package it.unical.mat.embasp.specializations.dlv.desktop;
2 
3 import it.unical.mat.embasp.base.Output;
4 import it.unical.mat.embasp.platforms.desktop.DesktopService;
5 import it.unical.mat.embasp.specializations.dlv.DLVAnswerSets;
6 
9 public class DLVDesktopService extends DesktopService {
10 
11  public DLVDesktopService(final String exe_path) {
12  super(exe_path);
13  load_from_STDIN_option = "--";
14  }
15 
16  @Override
17  protected Output getOutput(final String output, final String error) {
18  return new DLVAnswerSets(output, error);
19  }
20 
21 }
it.unical.mat.embasp.platforms.desktop.DesktopService
Definition: DesktopService.java:22
it.unical.mat.embasp.platforms.desktop.DesktopService.exe_path
String exe_path
Definition: DesktopService.java:24
it.unical.mat.embasp.base.Output
Definition: Output.java:4
it.unical.mat.embasp.specializations.dlv.desktop.DLVDesktopService
Definition: DLVDesktopService.java:9
it.unical.mat.embasp.specializations.dlv.DLVAnswerSets
Definition: DLVAnswerSets.java:6