Qual è la ragione per l'analisi statica non è stato reso disponibile per VS 2010 Pro? [chiuso]

Question

E 'così che gli sviluppatori regolari si concentrano sulla scrittura i loro contratti a livello locale e poi li trasmette deve essere analizzato a livello globale?

O c'è un modo per ottenere qualcosa di paragonabile a questa esperienza? Forse come download separato?

Anche se una libreria hanno contratti, poi sarebbero le descrizioni dei comandi IntelliSense includerebbero i contratti non importa quale viene utilizzato versione di VS?

Answer 1

Credo che sia stato biforcuta fuori in un progetto separato (su Devlabs) invece di una funzione built-in / pre-confezionati di Visual Studio.

Perché fanno questo cambiamento? Questa è una domanda per gli sviluppatori credo. Credo che volevano esporre il concetto a parte, forse permettendo così di essere utilizzato non solo all'interno dello studio.

Inoltre, dalla mia comprensione del pacchetto si scarica; è solito vedere alcun cambiamento nel comportamento con IntelliSense, dovrebbe integrarsi completamente con set di funzioni di Visual Studio.

• Come fare: installare code Contracts su Visual Studio 2010
• Codice contratti a progetto Pagina (Devlabs)