public class ExternalProcessLauncher
extends java.lang.Object
Constructor and Description |
---|
ExternalProcessLauncher(SolverCommunication session,
java.lang.String[] messageDelimiters)
Creates the external process launcher.
|
Modifier and Type | Method and Description |
---|---|
Pipe |
getPipe() |
void |
launch(java.lang.String[] command)
Main procedure of the class.
|
void |
stop()
Stops the external process: In particular the pipe is closed and the process is destroyed.
|
public ExternalProcessLauncher(@Nonnull SolverCommunication session, @Nonnull java.lang.String[] messageDelimiters)
session
- the store for the messages send to and received from the processmessageDelimiters
- delimiters which separate the messagespublic void launch(java.lang.String[] command) throws java.io.IOException
command
- command (program and arguments) which is used to start the external processjava.io.IOException
- if an I/O error occurspublic void stop()
public Pipe getPipe()
Copyright © 2003-2019 The KeY-Project.