c# - Statically checked design by contract -


Recently, NAT 4.0 / Visual Studio 2010 is excited with the idea of ​​examining the design by contract.

However, I was sad to know that it will only be available in Visual Studio Team System.

Is there any option that gives the design static checked by contract for C #?

Will the mono project be added to the compiler in this functional?

He is referring to the theorem of the theorem.

There is nothing to stop open source or by applying its own to the commercial community. Contract classes are part of BCL and it is easy to add to mono. "We" need to make a theorem spokesman if we want to examine factual things.

The driver is not part of the compiler, it basically follows:

  • Compile a version of binary with defined . It uses all contract attributes and calls contract class static methods.
  • Just "Load an assembly for reflection", and parse the byte code of all method. Detailed flow analysis with state information will show some contracts "always true". Some "will be misinterpreted at some point." Other people "will be unable to prove the contract steadily."

The tool gets better, it will ultimately avoid warning every contract to offer proven results similar to the Microsoft version. / P>

Edit: Humans, if the reflector was an open source, it would be great for a first-run implementation, which could definitely work as a plugin. In this way motivational reasoning can be designed without worrying about binary loading. Once it has been proven functional (it gets?), The logic can be drawn to operate on the syntax trees created by another assembly loader (which is open source). Important / novel thing is that inductive logic - assembly loader has been done several times and there has not been a great change for this experiment.


Comments

Popular posts from this blog

c# - ListView onScroll event -

PHP - get image from byte array -

Linux Terminal Problem with Non-Canonical Terminal I/O app -