de.uka.ilkd.key.smt

Class ExternalProcessLauncher<T>

java.lang.Object

de.uka.ilkd.key.smt.ExternalProcessLauncher<T>

public class ExternalProcessLauncher<T>
extends java.lang.Object

This class is responsible for starting external processes: 1. It creates the process 2. Creates a pipe, that is used for communication. 3. Starts the process and waits until the pipe has been closed or the process has been stopped. Remark: It blocks the invoking thread. The parameter T of the class can be used to define user-specific parameters.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.concurrent.locks.ReentrantLock	lockProcess lock for the process-object in order to guarantee synchronous access: If you want to access on process then acquire first the lock!
private Pipe<T>	pipe
private java.lang.Process	process

Constructor Summary

Constructors

Constructor and Description
ExternalProcessLauncher(T session, java.lang.String[] messageDelimiters)

Method Summary

Modifier and Type	Method and Description
(package private) T	getCommunication() Call this method only after the pipe has been stopped.
void	launch(java.lang.String[] command, java.lang.String initialMessage, PipeListener<T> listener) Main procedure of the class.
void	stop() Stops the external process: In particular the pipe is closed and the process is destroyed.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

process

private java.lang.Process process

lockProcess

private java.util.concurrent.locks.ReentrantLock lockProcess

lock for the process-object in order to guarantee synchronous access: If you want to access on process then acquire first the lock!

pipe

private final Pipe<T> pipe

Constructor Detail

ExternalProcessLauncher

ExternalProcessLauncher(T session,
                        java.lang.String[] messageDelimiters)

Method Detail

launch

public void launch(java.lang.String[] command,
                   java.lang.String initialMessage,
                   PipeListener<T> listener)
            throws java.lang.Throwable

Main procedure of the class. Starts the external process, then it goes sleeping until the process has finished its work.

Throws:

java.lang.Throwable

getCommunication

T getCommunication()

Call this method only after the pipe has been stopped. It is not thread safe!

Returns:

stop

public void stop()

Stops the external process: In particular the pipe is closed and the process is destroyed.