public interface Pipe
Modifier and Type | Method and Description |
---|---|
void |
close()
Forcibly closes the Pipe by destroying the process.
|
SolverCommunication |
getSolverCommunication()
Can be used to obtain the messages sent to and from the solver as well as its final result.
|
java.lang.String |
readMessage()
Reads a message from the external process.
|
void |
sendMessage(java.lang.String message)
Sends a message to the external process the Pipe is connected to.
|
void sendMessage(@Nonnull java.lang.String message) throws java.io.IOException
message
- the message to sendjava.io.IOException
- if an I/O error occurs@Nullable java.lang.String readMessage() throws java.io.IOException, java.lang.InterruptedException
java.io.IOException
- if reading failsjava.lang.InterruptedException
- if interrupted while waiting@Nonnull SolverCommunication getSolverCommunication()
void close()
Copyright © 2003-2019 The KeY-Project.