CCISharp No Longer builds


CCISharp no longer builds on a clean check either in VS2010 or using build.cmd.
The main culprit seems to be Microsoft.Contracts (.NET 2 project), which conflicts with the System.Diagnostics namespace in .NET 4.
Framework has to be migrated from .NET 2 to .NET 4 as CCI itself is now in .NET 4, which then causes it to fail due to the issue above.
Removing Microsoft.Contracts will largely fix these issues.
However the next issue was:
error CS0618: Warning as Error: 'Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractMutatingVisitor' is obsolete: 'Please use CodeAndContractRewriter'
Resolving this is a much bigger problem as there appears to be quite a fundamental change and I'm not confident enough in the framework yet to make the change myself. I could however set it to treat the warning as a warning and ignore the obsolescence but at this point I figured it was better to raise the issue and point out the sample is currently unusable.
Closed Jul 10, 2012 at 6:11 PM by mikebarnett
Updated all of the classes to be based on the new mutators (and traversers).


hermanv wrote Feb 21, 2012 at 5:46 PM

I've fixed the build breaks. Adapting CCISharp to use the more modern visitors and mutators will have to wait for Peli to come back from vacation. There is also an issue with the test assembly which runs the code contracts rewriter when it builds, but the rewriter fails for some reason. I do not yet understand this issue.

ilengyel wrote Jul 6, 2012 at 12:41 PM

Is Peli back from vacation? It would be nice to see CciSharp updated.


hermanv wrote Jul 6, 2012 at 2:29 PM

He was back, but right now he is gone again "with absolutely no access to e-mail".

mikebarnett wrote Jul 10, 2012 at 6:13 PM

I fixed it. Please let me know if you find any other problems in it.