| Reporter |
Terje Sandstrom (Terje)
|
|---|---|
| Created | Mar 22, 2012 9:41:51 PM |
| Updated | Mar 22, 2012 9:43:46 PM |
| Priority | Normal |
| Type | Unspecified |
| Fix versions | No Fix versions |
| State | Submitted |
| Assignee | Unassigned |
| Subsystem | No subsystem |
| Affected versions | 7.0 Preview, 6.1.1 |
| Fixed in build | No Fixed in build |
R# gives a warning on lines with Code Contract statements. These warnings are nor correct, and R# should not give them.
The warning says that the method is skipped because it is conditional or partial, and it gives it an "orange" stick. R# should recognize the code contract statements and treat them correctly, even if code contracts are not supported per se, they should not give out warnings.
Reproduction: Write any method like this:
public void DoX(Class1 info)
{
Contract.Requires(info != null);
}
Then R# warns on the contract line.
The warning says that the method is skipped because it is conditional or partial, and it gives it an "orange" stick. R# should recognize the code contract statements and treat them correctly, even if code contracts are not supported per se, they should not give out warnings.
Reproduction: Write any method like this:
public void DoX(Class1 info)
{
Contract.Requires(info != null);
}
Then R# warns on the contract line.