public ProcessPool.Tool AddToolToBatch(ProcessPool.ToolBatch batch, string projDir, string toolName, string arguments)
{
string iseBin = ISEBinPath;
if (iseBin == null)
{
throw new InvalidOperationException("No ISE installation detected. Unable to execute tool.");
}
return(batch.Add(iseBin, projDir, toolName, arguments));
}
internal void AddRunningTool(ProcessPool.ToolBatch bat)
{
_runningTools.Enqueue(bat);
}
