سؤال

ووفقا ل هذه الميزة مصفوفة ، فيجوال ستوديو 2010 بريميوم (RC) ويشمل "تحليل رمز ثابت".

ومع ذلك، إضافة إلى المكالمات Contract.Requires في بداية أساليبي لا يبدو أن لديها أي تأثير. أنا لا أحصل على استثناءات وقت إذا ما انتهك العقد. أنا لا أحصل على تحذيرات مترجم إذا لم يمكن إثبات عقد. أنا أيضا لا يمكن العثور على علامة التبويب "مدونة العقود" في إعدادات المشروع.

وأنا في عداد المفقودين شيء واضح أو تتوفر هذه الميزة فقط في الطبعة النهائية؟

هل كانت مفيدة؟

المحلول

وهناك لا يبدو في الواقع أن هناك بعض الالتباس حول ما إذا كان قانون العقود يتم تضمينها في الإطار الذي يأتي مع بيتا 2 من VS2010، أو حتى في VS2010 نفسها. و كود العقود منتدى (وومصممة خصيصا <لأ href = " http://social.msdn.microsoft.com/Forums/en-US/codecontracts/thread/e2653d70-b075-465c-8ec9-2641879a0505 "يختلط =" نوفولو noreferrer "> هذا المنصب ) لديه العديد من يذكر هذا مع عدم وجود إجابات اعتبارا من بعد.


وأنا لا أعتقد أن قانون العقود تندرج تحت عنوان تحليل رمز ثابت. أعتقد تحليل رمز ثابت يشير إلى أدوات تحليل الرموز الأخرى مثل FxCop.

ولقد حاولت استخدام Contract.Requires في VS2010 بيتا 2 الطبعة النهائية، ولكن يمكنني الحصول على نفس السلوك كما كنت. إذا كنت تبحث في خصائص المشروع تحت علامة التبويب تحليل الرمز، يمكنك تمكين تحليل رمز، ولكن هذا لا تتصل العقود القانون.

ووفقا للتعليق من قبل ميليتا (من فريق مكتبات فئة قاعدة) على المادة ربط <لأ href = "https://connect.microsoft.com/VisualStudio/feedback/ViewFeedback.aspx؟FeedbackID=481327&wa=wsignin1. 0 "يختلط =" نوفولو noreferrer "> جعل عقد بيانات ثابتة فحص متوفرة في الطبعة الفنية :

<اقتباس فقرة>   

و... ولكن القيود المفروضة على أداة تحليل ثابتة تقف على هذا الإصدار القادم. إنها تحافظ على قصة تحليل رمز ثابت، في أن أدوات التحليل ثابتة تتطلب VSTS.

وهذا يشير إلى أنك (سوف) يكون لديك إصدار نظام الفريق للحصول على إصدار وقت الترجمة من عقود القانون.

نصائح أخرى

لتحصل على تحليل ثابت في بيتا 2 لديك لتحميل وتثبيت قانون العقود بت (1.2.21023.14 أو أعلى) من <لأ href = "http://msdn.microsoft.com/en-us/devlabs/dd491992 .aspx اتصال "يختلط =" نوفولو noreferrer "> MSDN DevLabs . ثم ضمن خصائص المشروع، سيكون هناك الآن علامة تبويب العقود القانون ... من هنا يمكنك تشغيل تحليل ثابت ...

وسلوك ترونه هو لأن API العقود المدونة في التجمع mscorlib، والذي يسمح يؤكد على العمل، ولكن أي شيء آخر.

وأفترض أن هذا لن يكون من الضروري قبل RTM.

وتحتاج إلى تشغيل عقود كود وقت التدقيق في خصائص المشروع. إذا لا أن جزء إعدادات موجودة ثم أنت بحاجة لتثبيت العقود كود تنزيل من مايكروسوفت (على الرغم من أن Contract.Requires موجود في الإطار).

وفقط التحقق من وقت متاح في الطبعات الفنية.

مرخصة بموجب: CC-BY-SA مع الإسناد
لا تنتمي إلى StackOverflow
scroll top