| java.lang.Object
 de.uka.ilkd.key.proof.mgt.CvsRunner
| CvsRunner | | public class CvsRunner (Code) | | |
| Field Summary | |
| public static boolean | debug
|
| debug | | public static boolean debug(Code) | | |
| error | | protected void error(String mth, String msg) throws CvsException(Code) | | Emit an error.
Some abnormal situation occured, emit an error message.
Parameters:
mth - The method in which the error occured.
Parameters:
msg - The message to emit.
exception:
CvsException - The exception that will be thrown as a result of the error. |
| getQuotedFilename | | protected String getQuotedFilename(String line)(Code) | | Get a filename between quote contained in this String.
the filename of null. |
| getTemporaryFile | | File getTemporaryFile(String string) throws CvsException(Code) | | Dump the given string into a temporary file.
This is used for th -f argument of the cvs commit command.
This method should only be used from a synchronized method.
Parameters:
string - The string to dump. |
| waitForCompletion | | protected synchronized boolean waitForCompletion(ProcessEnvironment proc, boolean ccode) throws CvsException(Code) | | Wait for the underlying CVS process to finish.
Once the process is terminated, all relevant streams are closed, and
an exception if potentially thrown if the process indicated failure.
Parameters:
proc - The CVS process.
Parameters:
ccode - Should we expect a zero status from the child process.
exception:
CvsException - If a zero status is expected, and the CVS true iff operation successfulprocess exit status is not zero. |
|
|