public static ExecutionInfo RunCompiler(string srcPath, ProcessInfo compilerProcessInfo)
{
var embedObjs = new EmbedmentObjectDictionary <string>();
embedObjs.UpdateObject("srcPath", srcPath);
var execInfo = new ExecutionInfo();
var proc = new Process
{
StartInfo = compilerProcessInfo.CreateProcessStartInfo(embedObjs)
};
proc.Start();
proc.WaitForExit();
execInfo.SetMemoryNoData();
execInfo.SetTime(proc.UserProcessorTime.TotalMilliseconds, "ms");
execInfo.ExitCode = proc.ExitCode;
execInfo.stdout = proc.StandardOutput.ReadToEnd();
execInfo.stderr = proc.StandardError.ReadToEnd();
proc.Close();
return(execInfo);
}
public static ExecutionInfo RunProgram(string srcPath, string stdin, ProcessInfo executionProcessInfo)
{
var embedObjs = new EmbedmentObjectDictionary <string>();
embedObjs.UpdateObject("srcPath", srcPath);
int terminateMs = 5000;
var execInfo = new ExecutionInfo();
var proc = new Process
{
StartInfo = executionProcessInfo.CreateProcessStartInfo(embedObjs)
};
proc.Start();
proc.StandardInput.Write(stdin);
proc.StandardInput.Flush();
try {
execInfo.SetMemory(proc.PrivateMemorySize64 / 1024, "KB");
}
catch (InvalidOperationException) {
execInfo.SetMemoryNoData();
}
proc.WaitForExit(terminateMs);
if (proc.HasExited)
{
execInfo.SetTime(proc.UserProcessorTime.TotalMilliseconds, "ms");
execInfo.ExitCode = proc.ExitCode;
execInfo.stdout = proc.StandardOutput.ReadToEnd();
execInfo.stderr = proc.StandardError.ReadToEnd();
proc.Close();
}
else
{
if (!proc.CloseMainWindow())
{
proc.Kill();
}
execInfo.SetTerminated(terminateMs, "ms");
}
return(execInfo);
}
