public class AspInterface
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
(package private) class |
AspInterface.StreamFlusher
auxiliary class for reading output streams concurrently.
|
Modifier and Type | Field and Description |
---|---|
(package private) java.util.List<java.lang.String> |
errorData |
(package private) java.util.List<java.lang.String> |
outputData
these variables holds the (result or error) of an answer set solver
|
Constructor and Description |
---|
AspInterface() |
Modifier and Type | Method and Description |
---|---|
void |
executeProgram(java.util.List<java.lang.String> cmd,
java.lang.String input)
Executes an external application with a given path, a set of parameters and
an input string.
|
void |
executeProgram(java.lang.String... args) |
java.util.List<java.lang.String> |
getError() |
java.util.List<java.lang.String> |
getOutput()
this method returns the output of a previously called
answer set solver tools.
|
java.util.List<java.lang.String> outputData
java.util.List<java.lang.String> errorData
public void executeProgram(java.util.List<java.lang.String> cmd, java.lang.String input) throws java.io.IOException
cmd
- A string array consisting of the path to the executable and a
set of parameters.input
- An input string which is handed over to the executed program.java.io.IOException
public void executeProgram(java.lang.String... args) throws java.io.IOException
java.io.IOException
public java.util.List<java.lang.String> getOutput()
public java.util.List<java.lang.String> getError()