Code Contracts announcement
-
Link
This forum is now closed. Thank you all for your participation.
Regards,
MSDN Forums team
-
Link
We just released the CodeContracts tools as Open Source on
https://github.com/CodeContractsDotNet/CodeContracts
We accept contribution!!!
The CodeContracts team
-
Link
We just released the CodeContracts tools as Open Source on
https://github.com/CodeContractsDotNet/CodeContracts
We accept contribution!!!
The CodeContracts team
-
Link
Better inference of object invariants for the static checker!
Some bug fixes!
Get it here: http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970
-
Link
New checks, improved performances for the static checker
Get it here: http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970
-
Link
Dear CC users,
we are glad to announce the birth of a new blog on CodeContracts, static analysis etc: http://blogs.msdn.com/b/francesco/
-
Link
It has taken a long time, we know, but we have finally released the contract editor extensions for VS2012 and an update to VS2010.
The new version is much more stable and less CPU consuming than previously and hopefully much more useful as a result.
For VS2012: http://visualstudiogallery.msdn.microsoft.com/02de7066-b6ca-42b3-8b3c-2562c7fa024f
For VS2010: http://visualstudiogallery.msdn.microsoft.com/85f0aa38-a8a8-4811-8b86-e7f0b8d8c71b
If you haven't tried it yet, then please do and let us know what you think!
To review, the extensions should show you method contracts in the following situations:
- While you are typing a call to a method: the signature helper window should show you each overload's contract in the same window as the signature and exception information.
- Hovering over an existing method call: the quick info window should show you the method's contract in addition to its summary information.
- Method override and interface implementation definitions: hover over the method name in the signature to see the tooltip of the contracts inherited (or defined in the method).
- Metadata windows: if you "go to definition" for a type/method that is defined in an external assembly then the metadata window that VS creates should be augmented with method contracts.
Enjoy.
-
Link
We have added a section to our web site listing the external projects that we know about which are using Code Contracts. If you would like your project listed, please send us a link and we'll add it to the list. This would really help us in our efforts to get the project more fully supported by the product groups.
Thanks!
Mike
-
Link
We are so happy that you are interested in Code Contracts! You are at exactly the right place for learning how to use contracts from any .NET language to:
- Specify method preconditions for expressing conditions that a caller must meet in order to call a method.
- Specify method postconditions for expressing conditions that the implementation of a method must meet before returning. Conditions can be specified for both normal termination as well as exceptional termination.
- Specify object invariants that describe the healthy states for an instance of a class.
We currently provide three tools for making use of contracts:
- A binary rewriter that operates as a post-build step to inject the contracts into the appropriate places for them to be evaluated at runtime.
- A static checker that operates as a post-build step to analyze your code without even executing it for potential contract violations.
- A documentation generator that adds information about the contracts to the XML documentation files for your project.
The installer for these tools is available for either commercial or non-commercial use.
We welcome you to use the forum to ask questions about how to use contracts and the tools, to make suggestions for how we can improve, and --- if you really must --- to report bugs and problems.
You can also check out our home page at Microsoft Research.
-
1 Votesreporting error of 'could not find library Microsoft.VisualBasic.dll' when building CodeContracts in VS 2015
Built PresentationCore for .NETFramework\v4.0\, .NETFramework\v4.5\, .NETFramework\v4.6\ 23>vbc : error BC2017: could not find library ...
-
1 Votes
Will Nuget package be updated?
Just wondering if the Nuget package will be getting updated in the future, or if we wish to use recent fixes do we need to clone the source and build ourselves? According to the ... -
0 Votes
Donload delivers wrong file
Hi folks, I am downloading from the official website ...Unanswered | 1 Replies | 1212 Views | Created by mph_62 - Wednesday, June 1, 2016 12:51 PM | Last reply by EHLO, world - Wednesday, June 8, 2016 10:35 AM -
11 Votes
Critical Bug in Code Contracts rewriter - Code is moved out of try/catch block on build
Problem is decribed in the following post and answer: http://stackoverflow.com/questions/10866307/why-net-exception-is-not-caught/10866308#10866308 I would ...Answered | 3 Replies | 5323 Views | Created by Alexander Bartosh - Saturday, June 2, 2012 10:17 PM | Last reply by Alexander Bartosh - Wednesday, May 11, 2016 7:46 AM -
0 Votes
What ForAll statements can be proven? Simple examples are not working!
n % 2 == 0)); } } static bool Even(int[] numbers) { Contract.Requires(numbers != null); Contract.Ensures(!Contract.Result<bool>() || ...Discussion | 1 Replies | 1184 Views | Created by erisco - Saturday, April 9, 2016 6:26 PM | Last reply by erisco - Saturday, April 9, 2016 8:00 PM -
0 Votes
trying to write a code for a class and im not sure where to start
Your application must do the following: Print a “welcome” message to the user telling them that this ... -
0 Votes
It appears that CCRewriter alters the PE NTHeader in unintended ways
Because the MetadataWriter outputs an NTHeader that is only partially populated from values taken from the MetadataReader, there are some values that come from NTHeader ... -
0 Votes
DirectoryNotFoundException occured when creating a BitmapFrame
I Have the following code (put in a UnitTestMethod): [TestMethod] public void TestMethod1() { var image = ... -
0 Votes
VSTS Estimate plug-in
Sorry for tagging this as code contracts, but there is no "general" forum. Can you please update the Estimate plug-in to allow customization of the complexity scale? ... -
0 Votes
Unable to debug method with Code Contract statements, when executing unit tests
Environment: Windows Server 2012 R2, Visual Studio 2015 Update 1 Issue: When I debug a Unit Test, which is testing a method that contains Contracts, as soon as I ...Answered | 1 Replies | 1363 Views | Created by DesiHero-007 - Tuesday, December 29, 2015 6:55 AM | Last reply by DesiHero-007 - Tuesday, January 12, 2016 10:42 PM -
1 Votes
Static Checker Warns About Unproven Invariant Proved by Precondition
I have the following class: public class CustomEventArgs<T> : EventArgs { public T Item { get; } [ContractInvariantMethod] private void ...Unanswered | 2 Replies | 1294 Views | Created by Mikkel Lund - Thursday, January 7, 2016 9:56 PM | Last reply by Mikkel Lund - Monday, January 11, 2016 8:09 AM -
5 Votes
Regression in 1.5.60813.10: incorrect message when "Redundant Assumptions" is checked
namespace RegressionDemo { public abstract class Foo { protected ...Unanswered | 4 Replies | 2847 Views | Created by James Albert - Thursday, August 15, 2013 8:44 PM | Last reply by Alfred Myers - Friday, January 8, 2016 8:30 PM -
0 Votes
Code Contracts on Events
I am writing code contracts on an interface that uses events: interface EventInterface<T> { event EventHandler ItemAdded; bool Add(T ... -
0 Votes
Bug? Proving null from DataReader.FromBuffer()
public static void ContractBad(IBuffer left, IBuffer right) { Contract.Requires(left != null); Contract.Requires(right != ... -
0 Votes
New assemblyinfo added to cache for every build of unchanged projects
I am part of a team that have been happy users of code contracts for years. This week we started using the SQL Server cache on our continuous integration system, ... -
8 Votes
Checking Code Contracts with static analyzer
Hello, I am an employee of "Program Verification Systems" company. We develop PVS-Studio static code analyzer for C/C++/C++11/C++14/C#. To demonstrate the capabilities of our analyzer, we ...Discussion | 0 Replies | 1225 Views | Created by SvyatoslavRazmyslov - Tuesday, December 15, 2015 1:19 PM -
7 Votes
Bug in latest release (1.7.109088.11)
using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Threading.Tasks; namespace ...Unanswered | 3 Replies | 2032 Views | Created by wekempf - Thursday, September 11, 2014 3:08 PM | Last reply by Nikita Makhlin - Wednesday, December 9, 2015 1:26 PM -
2 Votes
C# 6.0 / Read Only Auto-Properties / Invariants
I think there are few bugs in the instrumentation / static analysier related to C# 6.0 and read only auto properties: Is there any plans to add the new ...Proposed | 2 Replies | 1498 Views | Created by Anthony Abate - Tuesday, September 29, 2015 12:37 PM | Last reply by Micah Zoltu - Sunday, November 22, 2015 7:19 PM -
0 Votes
Contract.Ensures causes CA2000 to reappear
Hi, I have a function in which I return a disposable type. To correctly handle the CA2000 case, I implemented this pattern Dim retVal as IDisposable dim ... -
0 Votes
ccrewrite : error Could not resolve member reference: Windows.UI.Xaml.Media.GeneralTransform::TransformBounds.
I have got a ccrewrite error Could not resolve member reference: Windows.UI.Xaml.Media.GeneralTransform::TransformBounds. I have no idea, as I do not put any contract ...Unanswered | 1 Replies | 1302 Views | Created by Yves Pflieger - Tuesday, November 3, 2015 11:45 AM | Last reply by CrazyCurlyBlue - Wednesday, November 18, 2015 3:22 AM
Code Contracts announcement
-
Link
This forum is now closed. Thank you all for your participation.
Regards,
MSDN Forums team
-
Link
We just released the CodeContracts tools as Open Source on
https://github.com/CodeContractsDotNet/CodeContracts
We accept contribution!!!
The CodeContracts team
-
Link
We just released the CodeContracts tools as Open Source on
https://github.com/CodeContractsDotNet/CodeContracts
We accept contribution!!!
The CodeContracts team
-
Link
Better inference of object invariants for the static checker!
Some bug fixes!
Get it here: http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970
-
Link
New checks, improved performances for the static checker
Get it here: http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970
-
Link
Dear CC users,
we are glad to announce the birth of a new blog on CodeContracts, static analysis etc: http://blogs.msdn.com/b/francesco/
-
Link
It has taken a long time, we know, but we have finally released the contract editor extensions for VS2012 and an update to VS2010.
The new version is much more stable and less CPU consuming than previously and hopefully much more useful as a result.
For VS2012: http://visualstudiogallery.msdn.microsoft.com/02de7066-b6ca-42b3-8b3c-2562c7fa024f
For VS2010: http://visualstudiogallery.msdn.microsoft.com/85f0aa38-a8a8-4811-8b86-e7f0b8d8c71b
If you haven't tried it yet, then please do and let us know what you think!
To review, the extensions should show you method contracts in the following situations:
- While you are typing a call to a method: the signature helper window should show you each overload's contract in the same window as the signature and exception information.
- Hovering over an existing method call: the quick info window should show you the method's contract in addition to its summary information.
- Method override and interface implementation definitions: hover over the method name in the signature to see the tooltip of the contracts inherited (or defined in the method).
- Metadata windows: if you "go to definition" for a type/method that is defined in an external assembly then the metadata window that VS creates should be augmented with method contracts.
Enjoy.
-
Link
We have added a section to our web site listing the external projects that we know about which are using Code Contracts. If you would like your project listed, please send us a link and we'll add it to the list. This would really help us in our efforts to get the project more fully supported by the product groups.
Thanks!
Mike
-
Link
We are so happy that you are interested in Code Contracts! You are at exactly the right place for learning how to use contracts from any .NET language to:
- Specify method preconditions for expressing conditions that a caller must meet in order to call a method.
- Specify method postconditions for expressing conditions that the implementation of a method must meet before returning. Conditions can be specified for both normal termination as well as exceptional termination.
- Specify object invariants that describe the healthy states for an instance of a class.
We currently provide three tools for making use of contracts:
- A binary rewriter that operates as a post-build step to inject the contracts into the appropriate places for them to be evaluated at runtime.
- A static checker that operates as a post-build step to analyze your code without even executing it for potential contract violations.
- A documentation generator that adds information about the contracts to the XML documentation files for your project.
The installer for these tools is available for either commercial or non-commercial use.
We welcome you to use the forum to ask questions about how to use contracts and the tools, to make suggestions for how we can improve, and --- if you really must --- to report bugs and problems.
You can also check out our home page at Microsoft Research.
