protected override int GetNext(IntRange fromRange, int soFar) { Contract.Requires(!fromRange.IsFixed); Contract.Requires(soFar >= 0); Contract.Ensures(fromRange.IsIn(Contract.Result<int>())); return 0; }
protected override int GetNext(IntRange fromRange, int soFar) { Contract.Requires(!fromRange.IsFixed); Contract.Requires(soFar >= 0); Contract.Ensures(fromRange.IsIn(Contract.Result<int>())); return 0; }