ExternalProcessLauncher
creates and starts the
external process and connects it to the pipe.
Pipe
is responsible for sending and receiving
input/output strings to/from the external process.See: Description
Interface | Description |
---|---|
Pipe |
This interface describes a pipe for sending messages to or receiving them from an external
SMT solver process.
|
Class | Description |
---|---|
AbstractSolverSocket |
The SolverSocket class describes the communication between the KeY and the SMT solver process.
|
ExternalProcessLauncher |
This class is responsible for starting external processes:
It creates the process (stderr is merged to stdout).
Creates the pipe that is used for communication.
Starts the process and returns.
|
SimplePipe |
This class represents a simplified version of the existing pipe.
|
SolverCommunication |
Stores the communication between KeY and an external solver: Contains a list that stores the
messages that have been sent from the solver to KeY and vice versa.
|
SolverCommunication.Message |
Represents a single message sent from or to the solver.
|
Enum | Description |
---|---|
SolverCommunication.MessageType |
The message type depends on the channel which was used for sending the message.
|
ExternalProcessLauncher
creates and starts the
external process and connects it to the pipe.Pipe
is responsible for sending and receiving
input/output strings to/from the external process. It uses
BufferedMessageReader
to split the received
strings into separate messages. AbstractSolverSocket
defines the (solver
specific) behaviour for handling solver results.SolverCommunication
stores the messages sent
to and from the external solver.Copyright © 2003-2019 The KeY-Project.