CodeContracts: Possibly calling a method on a null reference
- by dtb
I'm having an argument with the CodeContracts static analysis tool.
My code:
class Foo
{
private static Foo instance = new Foo();
private string bar;
public Foo()
{
bar = "Hello World";
}
public static int BarLength()
{
return instance.bar.Length; // <<--
}
}
The tool tells me that instance.bar may be a null reference. I believe the opposite.
Who is right? How can I prove it wrong?
