public ProgramExecutionException(ProgramExecutionResult executionResult, Exception innerException) : base("An exception catched during program execution!", innerException) { ExecutionResult = executionResult; }
public StreamRedirectionExecutionException(ProgramExecutionResult executionResult, Exception innerException) : base("One of stream redirection methods has failed!", innerException) { ExecutionResult = executionResult; }
public ExecutionException(ProgramExecutionResult executionResult, string message) : base(message) { ExecutionResult = executionResult; }
public StdOutLengthLimitReachedExecutionException(ProgramExecutionResult executionResult, string message) : base(executionResult, message) { }
public PeakDiskSpaceUsageLimitReachedExecutionException(ProgramExecutionResult executionResult, string message) : base(executionResult, message) { }
public RealTimeLimitReachedExecutionException(ProgramExecutionResult executionResult, string message) : base(executionResult, message) { }
public ExecutionException(string message, Exception innerException, ProgramExecutionResult executionResult = null) : base(message, innerException) { ExecutionResult = executionResult; }