|
private static CreateRangeSafe ( |
||
| lastRange | ||
| start | int | |
| end | int | |
| return | ||
private static Range CreateRangeSafe(Range lastRange, int start, int end)
{
Contract.Requires(lastRange.End <= start);
Contract.Requires(start <= end);
return new Range(start, end);
}
