Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving legigor's tweets.
Already using Twitter from your phone? Click here.
Its not possible to define ContractInvariantMethod within the ContractClassFor...4:41 PM Nov 19thfrom TweetDeck
Playing with MS Code Contracts' ContractClass implementations.. want to define detached contract for injecting props/other dependencies4:38 PM Nov 19thfrom TweetDeck