Show a warning/error when a write happens to an object outside of local scope.
We can't account for all cases (can't look inside what other calls in a different assembly do) but we can see how far we get.
At the least we can see if any writes happen in the current method/property/ctor/whatever to a field/property somewhere else.
Show a warning/error when a write happens to an object outside of local scope. We can't account for all cases (can't look inside what other calls in a different assembly do) but we can see how far we get. At the least we can see if any writes happen in the current method/property/ctor/whatever to a field/property somewhere else.
https://msdn.microsoft.com/en-us/library/system.diagnostics.contracts.pureattribute(v=vs.110).aspx