public static Options MaxStatements(this Options options, int maxStatements = 0) { options.WithoutConstraint(x => x is MaxStatements); if (maxStatements > 0 && maxStatements < int.MaxValue) { options.Constraint(new MaxStatements(maxStatements)); } return(options); }
public static Options TimeoutInterval(this Options options, TimeSpan timeoutInterval) { options.WithoutConstraint(x => x is TimeConstraint); if (timeoutInterval > TimeSpan.Zero && timeoutInterval < TimeSpan.MaxValue) { options.Constraint(new TimeConstraint2(timeoutInterval)); } return(options); }
public static Options CancellationToken(this Options options, CancellationToken cancellationToken) { options.WithoutConstraint(x => x is CancellationConstraint); if (cancellationToken != default) { options.Constraint(new CancellationConstraint(cancellationToken)); } return(options); }
public static Options LimitMemory(this Options options, long memoryLimit) { options.WithoutConstraint(x => x is MemoryLimit); if (memoryLimit > 0 && memoryLimit < int.MaxValue) { options.Constraint(new MemoryLimit(memoryLimit)); } return(options); }