diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v12.0/Microsoft.CodeContractAnalysis.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v12.0/Microsoft.CodeContractAnalysis.targets index 385b0722..e49d77cd 100644 --- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v12.0/Microsoft.CodeContractAnalysis.targets +++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v12.0/Microsoft.CodeContractAnalysis.targets @@ -23,11 +23,11 @@ - + + Condition="'$(CodeContractsRunCodeAnalysis)' == 'true' or '$(CodeContractsDeferCodeAnalysis)' == 'true'" + DependsOnTargets="CodeContractsComputeCodeAnalysisDependencies;CodeContractsCodeAnalysisWriteRSPFile;CodeContractsRunCodeAnalysis"> @@ -101,14 +101,14 @@ medium - + full - low + low @@ -129,11 +129,9 @@ - - @(ContractDeclarativeAssembly->'%(RootDir)')@(ContractDeclarativeAssembly->'%(Directory)') @(ContractDeclarativeAssembly->'%(FullPath)') @@ -160,15 +158,15 @@ Condition="'$(CodeContractsRedundantAssumptions)' == 'true'">$(CodeContractCodeAnalysisOptions) -check assumptions $(CodeContractCodeAnalysisOptions) -suggest asserttocontracts - $(CodeContractCodeAnalysisOptions) -check conditionsvalidity - $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors - $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors - $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors + $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors + $(CodeContractCodeAnalysisOptions) -suggest calleeassumes - $(CodeContractCodeAnalysisOptions) -suggest assumes $(CodeContractCodeAnalysisOptions) -suggest requires @@ -176,7 +174,7 @@ Condition="'$(CodeContractsSuggestEnsures)' == 'true'">$(CodeContractCodeAnalysisOptions) -suggest methodensures -suggest propertyensures $(CodeContractCodeAnalysisOptions) -suggest necessaryensures - $(CodeContractCodeAnalysisOptions) -suggest objectinvariants $(CodeContractCodeAnalysisOptions) -suggest readonlyfields @@ -190,7 +188,7 @@ Condition="'$(CodeContractsInferObjectInvariants)' == 'true'">$(CodeContractCodeAnalysisOptions) -infer objectinvariants $(CodeContractCodeAnalysisOptions) -cache - $(CodeContractCodeAnalysisOptions) -forcecacheserver=true $(CodeContractCodeAnalysisOptions) -failOnWarnings @@ -230,10 +228,18 @@ + + + + + + diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v12.0/Microsoft.CodeContracts.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v12.0/Microsoft.CodeContracts.targets index f9912d42..78f7719c 100644 --- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v12.0/Microsoft.CodeContracts.targets +++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v12.0/Microsoft.CodeContracts.targets @@ -257,14 +257,14 @@ @@ -291,7 +291,7 @@ $(TargetFrameworkSDKToolsDirectory)sn.exe - $(MSBuildProgramFiles32)\Microsoft SDKs\Windows\v8.1A\bin\NETFX 4.5.1 Tools\sn.exe + $(MSBuildProgramFiles32)\Microsoft SDKs\Windows\v8.1A\bin\NETFX 4.5.1 Tools\sn.exe + Include="@(ContractReferenceAssemblies);$(IntermediateOutputPath)$(AssemblyName).ccrefgen.rsp"/> @@ -586,7 +586,7 @@ + > @@ -634,13 +634,13 @@ diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v14.0/Microsoft.CodeContractAnalysis.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v14.0/Microsoft.CodeContractAnalysis.targets index a87efedd..68f945c9 100644 --- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v14.0/Microsoft.CodeContractAnalysis.targets +++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v14.0/Microsoft.CodeContractAnalysis.targets @@ -23,11 +23,11 @@ - + + DependsOnTargets="CodeContractsComputeCodeAnalysisDependencies;CodeContractsCodeAnalysisWriteRSPFile;CodeContractsRunCodeAnalysis"> @@ -101,14 +101,14 @@ medium - + full - low + low @@ -129,11 +129,9 @@ - - @(ContractDeclarativeAssembly->'%(RootDir)')@(ContractDeclarativeAssembly->'%(Directory)') @(ContractDeclarativeAssembly->'%(FullPath)') @@ -160,15 +158,15 @@ Condition="'$(CodeContractsRedundantAssumptions)' == 'true'">$(CodeContractCodeAnalysisOptions) -check assumptions $(CodeContractCodeAnalysisOptions) -suggest asserttocontracts - $(CodeContractCodeAnalysisOptions) -check conditionsvalidity - $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors - $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors - $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors + $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors + $(CodeContractCodeAnalysisOptions) -suggest calleeassumes - $(CodeContractCodeAnalysisOptions) -suggest assumes $(CodeContractCodeAnalysisOptions) -suggest requires @@ -176,7 +174,7 @@ Condition="'$(CodeContractsSuggestEnsures)' == 'true'">$(CodeContractCodeAnalysisOptions) -suggest methodensures -suggest propertyensures $(CodeContractCodeAnalysisOptions) -suggest necessaryensures - $(CodeContractCodeAnalysisOptions) -suggest objectinvariants $(CodeContractCodeAnalysisOptions) -suggest readonlyfields @@ -190,7 +188,7 @@ Condition="'$(CodeContractsInferObjectInvariants)' == 'true'">$(CodeContractCodeAnalysisOptions) -infer objectinvariants $(CodeContractCodeAnalysisOptions) -cache - $(CodeContractCodeAnalysisOptions) -forcecacheserver=true $(CodeContractCodeAnalysisOptions) -failOnWarnings @@ -230,10 +228,18 @@ + + + + + + diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v14.0/Microsoft.CodeContracts.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v14.0/Microsoft.CodeContracts.targets index 50004f77..e048913b 100644 --- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v14.0/Microsoft.CodeContracts.targets +++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v14.0/Microsoft.CodeContracts.targets @@ -262,14 +262,14 @@ @@ -353,19 +353,19 @@ + Include="@(ContractReferenceAssemblies);$(IntermediateOutputPath)$(AssemblyName).ccrefgen.rsp"/> @@ -591,7 +591,7 @@ + > @@ -639,13 +639,13 @@ diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v3.5/Microsoft.CodeContractAnalysis.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v3.5/Microsoft.CodeContractAnalysis.targets index de913561..cb053319 100644 --- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v3.5/Microsoft.CodeContractAnalysis.targets +++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v3.5/Microsoft.CodeContractAnalysis.targets @@ -23,11 +23,11 @@ - + + DependsOnTargets="CodeContractsComputeCodeAnalysisDependencies;CodeContractsCodeAnalysisWriteRSPFile;CodeContractsRunCodeAnalysis"> @@ -85,14 +85,14 @@ medium - + full - low + low @@ -113,11 +113,9 @@ - - @(ContractDeclarativeAssembly->'%(RootDir)')@(ContractDeclarativeAssembly->'%(Directory)') @(ContractDeclarativeAssembly->'%(FullPath)') @@ -142,41 +140,41 @@ Condition="'$(CodeContractsEnumObligations)' == 'true'">$(CodeContractCodeAnalysisOptions) -enum $(CodeContractCodeAnalysisOptions) -check assumptions - $(CodeContractCodeAnalysisOptions) -check conditionsvalidity - $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors - $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors $(CodeContractCodeAnalysisOptions) -suggest asserttocontracts - $(CodeContractCodeAnalysisOptions) -check conditionsvalidity + $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors + $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors + $(CodeContractCodeAnalysisOptions) -suggest asserttocontracts + $(CodeContractCodeAnalysisOptions) -suggest assumes - $(CodeContractCodeAnalysisOptions) -suggest calleeassumes - $(CodeContractCodeAnalysisOptions) -suggest requires $(CodeContractCodeAnalysisOptions) -suggest methodensures -suggest propertyensures - $(CodeContractCodeAnalysisOptions) -suggest necessaryensures - $(CodeContractCodeAnalysisOptions) -suggest objectinvariants - $(CodeContractCodeAnalysisOptions) -infer requires - $(CodeContractCodeAnalysisOptions) -infer methodensures - $(CodeContractCodeAnalysisOptions) -infer autopropertiesensures $(CodeContractCodeAnalysisOptions) -infer objectinvariants - $(CodeContractCodeAnalysisOptions) -suggest readonlyfields - $(CodeContractCodeAnalysisOptions) -cache - $(CodeContractCodeAnalysisOptions) -forcecacheserver=true - $(CodeContractCodeAnalysisOptions) -failOnWarnings $(CodeContractCodeAnalysisOptions) -cacheFileDirectory "$(CodeContractsCacheDirectory)" @@ -190,7 +188,7 @@ Condition="'$(CodeContractsTargetType)' != ''">$(CodeContractCodeAnalysisOptions) -typeNameSelect:$(CodeContractsTargetType) $(CodeContractCodeAnalysisOptions) -lowScoreForExternal=false - $(CodeContractCodeAnalysisOptions) -namespaceSelect:$(CodeContractsTargetNamespace) $(CodeContractCodeAnalysisOptions) -baseline "$(CodeContractsBaseLineFile)" @@ -214,10 +212,18 @@ + + + + + + diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v3.5/Microsoft.CodeContracts.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v3.5/Microsoft.CodeContracts.targets index 64cf45d1..fc949157 100644 --- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v3.5/Microsoft.CodeContracts.targets +++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v3.5/Microsoft.CodeContracts.targets @@ -16,14 +16,14 @@ - - $(CodeContractsInstallDir)Contracts\Silverlight\v3.0 - + + $(CodeContractsInstallDir)Contracts\Silverlight\v3.0 + - - $(CodeContractsInstallDir)Contracts\v3.5 - + + $(CodeContractsInstallDir)Contracts\v3.5 + @@ -205,14 +205,14 @@ @@ -240,10 +240,10 @@ "$(CodeContractsSdkPath)Bin\sn.exe" @@ -294,19 +294,19 @@ + Include="@(ContractReferenceAssemblies);$(IntermediateOutputPath)$(AssemblyName).ccrefgen.rsp"/> @@ -531,7 +531,7 @@ + > @@ -579,13 +579,13 @@ diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v4.0/Microsoft.CodeContractAnalysis.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v4.0/Microsoft.CodeContractAnalysis.targets index ad5f2d6f..81ddbed6 100644 --- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v4.0/Microsoft.CodeContractAnalysis.targets +++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v4.0/Microsoft.CodeContractAnalysis.targets @@ -23,11 +23,11 @@ - + + DependsOnTargets="CodeContractsComputeCodeAnalysisDependencies;CodeContractsCodeAnalysisWriteRSPFile;CodeContractsRunCodeAnalysis"> @@ -101,14 +101,14 @@ medium - + full - low + low @@ -129,11 +129,9 @@ - - @(ContractDeclarativeAssembly->'%(RootDir)')@(ContractDeclarativeAssembly->'%(Directory)') @(ContractDeclarativeAssembly->'%(FullPath)') @@ -160,25 +158,25 @@ Condition="'$(CodeContractsRedundantAssumptions)' == 'true'">$(CodeContractCodeAnalysisOptions) -check assumptions $(CodeContractCodeAnalysisOptions) -suggest asserttocontracts - $(CodeContractCodeAnalysisOptions) -check conditionsvalidity - $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors - $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors - $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors + $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors + $(CodeContractCodeAnalysisOptions) -suggest calleeassumes - $(CodeContractCodeAnalysisOptions) -suggest assumes - $(CodeContractCodeAnalysisOptions) -suggest requires - $(CodeContractCodeAnalysisOptions) -suggest methodensures -suggest propertyensures $(CodeContractCodeAnalysisOptions) -suggest methodensures -suggest propertyensures + $(CodeContractCodeAnalysisOptions) -infer autopropertiesensures - $(CodeContractCodeAnalysisOptions) -suggest necessaryensures - $(CodeContractCodeAnalysisOptions) -suggest objectinvariants $(CodeContractCodeAnalysisOptions) -suggest readonlyfields @@ -192,7 +190,7 @@ Condition="'$(CodeContractsCacheAnalysisResults)' == 'true'">$(CodeContractCodeAnalysisOptions) -cache $(CodeContractCodeAnalysisOptions) -forcecacheserver=true - $(CodeContractCodeAnalysisOptions) -failOnWarnings $(CodeContractCodeAnalysisOptions) -cacheFileDirectory "$(CodeContractsCacheDirectory)" @@ -206,7 +204,7 @@ Condition="'$(CodeContractsTargetType)' != ''">$(CodeContractCodeAnalysisOptions) -typeNameSelect:$(CodeContractsTargetType) $(CodeContractCodeAnalysisOptions) -lowScoreForExternal=false - $(CodeContractCodeAnalysisOptions) -namespaceSelect:$(CodeContractsTargetNamespace) $(CodeContractCodeAnalysisOptions) -baseline "$(CodeContractsBaseLineFile)" @@ -230,10 +228,18 @@ + + + + + + diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v4.0/Microsoft.CodeContracts.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v4.0/Microsoft.CodeContracts.targets index 4f936e41..418e7dba 100644 --- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v4.0/Microsoft.CodeContracts.targets +++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v4.0/Microsoft.CodeContracts.targets @@ -247,14 +247,14 @@ @@ -336,19 +336,19 @@ + Include="@(ContractReferenceAssemblies);$(IntermediateOutputPath)$(AssemblyName).ccrefgen.rsp"/> @@ -574,7 +574,7 @@ + > @@ -622,13 +622,13 @@ diff --git a/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.Designer.cs b/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.Designer.cs index f62c331b..e64024d6 100644 --- a/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.Designer.cs +++ b/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.Designer.cs @@ -39,627 +39,636 @@ protected override void Dispose(bool disposing) /// private void InitializeComponent() { - this.components = new System.ComponentModel.Container(); - System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(PropertyPane)); - this.EnableRuntimeCheckingBox = new System.Windows.Forms.CheckBox(); - this.EnableStaticCheckingBox = new System.Windows.Forms.CheckBox(); - this.LibPathTextBox = new System.Windows.Forms.TextBox(); - this.LibPathLabel = new System.Windows.Forms.Label(); - this.ExtraRuntimeCheckerOptionsLabel = new System.Windows.Forms.Label(); - this.ExtraRuntimeCheckingOptionsBox = new System.Windows.Forms.TextBox(); - this.CustomRewriterMethodsClassTextBox = new System.Windows.Forms.TextBox(); - this.CustomRewriterMethodsClassLabel = new System.Windows.Forms.Label(); - this.CustomRewriterMethodsAssemblyLabel = new System.Windows.Forms.Label(); - this.CustomRewriterMethodsAssemblyTextBox = new System.Windows.Forms.TextBox(); - this.CustomRewriterMethodsLabel = new System.Windows.Forms.Label(); - this.RuntimeCheckingGroup = new System.Windows.Forms.GroupBox(); - this.SkipQuantifiersBox = new System.Windows.Forms.CheckBox(); - this.CallSiteRequiresBox = new System.Windows.Forms.CheckBox(); - this.AssertOnFailureBox = new System.Windows.Forms.CheckBox(); - this.OnlyPublicSurfaceContractsBox = new System.Windows.Forms.CheckBox(); - this.RuntimeCheckingLevelDropDown = new System.Windows.Forms.ComboBox(); - this.AdvancedGroup = new System.Windows.Forms.GroupBox(); - this.ExtraCodeAnalysisOptionsBox = new System.Windows.Forms.TextBox(); - this.AdditionalCodeAnalysisOptionsLabel = new System.Windows.Forms.Label(); - this.StaticCheckingGroup = new System.Windows.Forms.GroupBox(); - this.SuggestCalleeAssumptionsCheckBox = new System.Windows.Forms.CheckBox(); - this.skipAnalysisIfCannotConnectToCache = new System.Windows.Forms.CheckBox(); - this.checkMissingPublicEnsures = new System.Windows.Forms.CheckBox(); - this.linkUnderstandingTheStaticChecker = new System.Windows.Forms.LinkLabel(); - this.NecessaryEnsuresCheckBox = new System.Windows.Forms.CheckBox(); - this.AssertsToContractsCheckBox = new System.Windows.Forms.CheckBox(); - this.RedundantTestsCheckBox = new System.Windows.Forms.CheckBox(); - this.SuggestReadonlyCheckBox = new System.Windows.Forms.CheckBox(); - this.BeingOptmisticOnExternalCheckBox = new System.Windows.Forms.CheckBox(); - this.missingPublicRequiresAsWarningsCheckBox = new System.Windows.Forms.CheckBox(); - this.SQLServerLabel = new System.Windows.Forms.Label(); - this.SQLServerTextBox = new System.Windows.Forms.TextBox(); - this.CacheResultsCheckBox = new System.Windows.Forms.CheckBox(); - this.SuggestAssumptionsCheckBox = new System.Windows.Forms.CheckBox(); - this.InferObjectInvariantsCheckBox = new System.Windows.Forms.CheckBox(); - this.SuggestObjectInvariantsCheckBox = new System.Windows.Forms.CheckBox(); - this.WarningFullLabel = new System.Windows.Forms.Label(); - this.WarningLowLabel = new System.Windows.Forms.Label(); - this.WarningLevelTrackBar = new System.Windows.Forms.TrackBar(); - this.WarningLevelLabel = new System.Windows.Forms.Label(); - this.redundantAssumptionsCheckBox = new System.Windows.Forms.CheckBox(); - this.InferRequiresCheckBox = new System.Windows.Forms.CheckBox(); - this.InferEnsuresCheckBox = new System.Windows.Forms.CheckBox(); - this.SuggestRequiresCheckBox = new System.Windows.Forms.CheckBox(); - this.BaseLineUpdateButton = new System.Windows.Forms.Button(); - this.ImplicitArithmeticObligationsBox = new System.Windows.Forms.CheckBox(); - this.FailBuildOnWarningsCheckBox = new System.Windows.Forms.CheckBox(); - this.ShowSquiggliesBox = new System.Windows.Forms.CheckBox(); - this.RunInBackgroundBox = new System.Windows.Forms.CheckBox(); - this.BaseLineBox = new System.Windows.Forms.CheckBox(); - this.BaseLineTextBox = new System.Windows.Forms.TextBox(); - this.ImplicitArrayBoundObligationsBox = new System.Windows.Forms.CheckBox(); - this.ImplicitNonNullObligationsBox = new System.Windows.Forms.CheckBox(); - this.ImplicitEnumWritesBox = new System.Windows.Forms.CheckBox(); - this.WarningLevelToolTip = new System.Windows.Forms.ToolTip(this.components); - this.EmitContractDocumentationCheckBox = new System.Windows.Forms.CheckBox(); - this.ContractReferenceAssemblySelection = new System.Windows.Forms.ComboBox(); - this.VersionLabel = new System.Windows.Forms.LinkLabel(); - this.contractReferenceAssemblyGroup = new System.Windows.Forms.GroupBox(); - this.AssemblyModeLabel = new System.Windows.Forms.Label(); - this.AssemblyModeDropDown = new System.Windows.Forms.ComboBox(); - this.PrecisionLevelToolTip = new System.Windows.Forms.ToolTip(this.components); - this.docLink = new System.Windows.Forms.LinkLabel(); - this.help_Link = new System.Windows.Forms.LinkLabel(); - this.InferEnsuresAutoPropertiesCheckBox = new System.Windows.Forms.CheckBox(); - this.RuntimeCheckingGroup.SuspendLayout(); - this.AdvancedGroup.SuspendLayout(); - this.StaticCheckingGroup.SuspendLayout(); - ((System.ComponentModel.ISupportInitialize)(this.WarningLevelTrackBar)).BeginInit(); - this.contractReferenceAssemblyGroup.SuspendLayout(); - this.SuspendLayout(); - // - // EnableRuntimeCheckingBox - // - resources.ApplyResources(this.EnableRuntimeCheckingBox, "EnableRuntimeCheckingBox"); - this.EnableRuntimeCheckingBox.Name = "EnableRuntimeCheckingBox"; - this.EnableRuntimeCheckingBox.UseVisualStyleBackColor = true; - this.EnableRuntimeCheckingBox.CheckedChanged += new System.EventHandler(this.EnableContractCheckingBox_CheckedChanged); - // - // EnableStaticCheckingBox - // - resources.ApplyResources(this.EnableStaticCheckingBox, "EnableStaticCheckingBox"); - this.EnableStaticCheckingBox.Name = "EnableStaticCheckingBox"; - this.EnableStaticCheckingBox.UseVisualStyleBackColor = true; - this.EnableStaticCheckingBox.CheckedChanged += new System.EventHandler(this.EnableStaticCheckingBox_CheckedChanged); - // - // LibPathTextBox - // - resources.ApplyResources(this.LibPathTextBox, "LibPathTextBox"); - this.LibPathTextBox.Name = "LibPathTextBox"; - this.LibPathTextBox.TextChanged += new System.EventHandler(this.LibPathTextBox_TextChanged); - // - // LibPathLabel - // - resources.ApplyResources(this.LibPathLabel, "LibPathLabel"); - this.LibPathLabel.Name = "LibPathLabel"; - // - // ExtraRuntimeCheckerOptionsLabel - // - resources.ApplyResources(this.ExtraRuntimeCheckerOptionsLabel, "ExtraRuntimeCheckerOptionsLabel"); - this.ExtraRuntimeCheckerOptionsLabel.Name = "ExtraRuntimeCheckerOptionsLabel"; - // - // ExtraRuntimeCheckingOptionsBox - // - resources.ApplyResources(this.ExtraRuntimeCheckingOptionsBox, "ExtraRuntimeCheckingOptionsBox"); - this.ExtraRuntimeCheckingOptionsBox.Name = "ExtraRuntimeCheckingOptionsBox"; - this.ExtraRuntimeCheckingOptionsBox.TextChanged += new System.EventHandler(this.PlatformTextBox_TextChanged); - // - // CustomRewriterMethodsClassTextBox - // - resources.ApplyResources(this.CustomRewriterMethodsClassTextBox, "CustomRewriterMethodsClassTextBox"); - this.CustomRewriterMethodsClassTextBox.Name = "CustomRewriterMethodsClassTextBox"; - this.CustomRewriterMethodsClassTextBox.TextChanged += new System.EventHandler(this.CustomRewriterMethodsClassTextBox_TextChanged); - // - // CustomRewriterMethodsClassLabel - // - resources.ApplyResources(this.CustomRewriterMethodsClassLabel, "CustomRewriterMethodsClassLabel"); - this.CustomRewriterMethodsClassLabel.Name = "CustomRewriterMethodsClassLabel"; - // - // CustomRewriterMethodsAssemblyLabel - // - resources.ApplyResources(this.CustomRewriterMethodsAssemblyLabel, "CustomRewriterMethodsAssemblyLabel"); - this.CustomRewriterMethodsAssemblyLabel.Name = "CustomRewriterMethodsAssemblyLabel"; - // - // CustomRewriterMethodsAssemblyTextBox - // - resources.ApplyResources(this.CustomRewriterMethodsAssemblyTextBox, "CustomRewriterMethodsAssemblyTextBox"); - this.CustomRewriterMethodsAssemblyTextBox.Name = "CustomRewriterMethodsAssemblyTextBox"; - this.CustomRewriterMethodsAssemblyTextBox.TextChanged += new System.EventHandler(this.CustomRewriterMethodsAssemblyTextBox_TextChanged); - // - // CustomRewriterMethodsLabel - // - resources.ApplyResources(this.CustomRewriterMethodsLabel, "CustomRewriterMethodsLabel"); - this.CustomRewriterMethodsLabel.Name = "CustomRewriterMethodsLabel"; - // - // RuntimeCheckingGroup - // - this.RuntimeCheckingGroup.Controls.Add(this.SkipQuantifiersBox); - this.RuntimeCheckingGroup.Controls.Add(this.CallSiteRequiresBox); - this.RuntimeCheckingGroup.Controls.Add(this.AssertOnFailureBox); - this.RuntimeCheckingGroup.Controls.Add(this.OnlyPublicSurfaceContractsBox); - this.RuntimeCheckingGroup.Controls.Add(this.RuntimeCheckingLevelDropDown); - this.RuntimeCheckingGroup.Controls.Add(this.EnableRuntimeCheckingBox); - this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsLabel); - this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsClassTextBox); - this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsAssemblyTextBox); - this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsAssemblyLabel); - this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsClassLabel); - resources.ApplyResources(this.RuntimeCheckingGroup, "RuntimeCheckingGroup"); - this.RuntimeCheckingGroup.Name = "RuntimeCheckingGroup"; - this.RuntimeCheckingGroup.TabStop = false; - // - // SkipQuantifiersBox - // - resources.ApplyResources(this.SkipQuantifiersBox, "SkipQuantifiersBox"); - this.SkipQuantifiersBox.Name = "SkipQuantifiersBox"; - this.SkipQuantifiersBox.UseVisualStyleBackColor = true; - this.SkipQuantifiersBox.CheckedChanged += new System.EventHandler(this.SkipQuantifiersBox_CheckedChanged); - // - // CallSiteRequiresBox - // - resources.ApplyResources(this.CallSiteRequiresBox, "CallSiteRequiresBox"); - this.CallSiteRequiresBox.Name = "CallSiteRequiresBox"; - this.CallSiteRequiresBox.UseVisualStyleBackColor = true; - this.CallSiteRequiresBox.CheckedChanged += new System.EventHandler(this.CallSiteRequiresBox_CheckedChanged); - // - // AssertOnFailureBox - // - resources.ApplyResources(this.AssertOnFailureBox, "AssertOnFailureBox"); - this.AssertOnFailureBox.Name = "AssertOnFailureBox"; - this.AssertOnFailureBox.UseVisualStyleBackColor = true; - this.AssertOnFailureBox.CheckedChanged += new System.EventHandler(this.AssertOnFailureBox_CheckedChanged); - // - // OnlyPublicSurfaceContractsBox - // - resources.ApplyResources(this.OnlyPublicSurfaceContractsBox, "OnlyPublicSurfaceContractsBox"); - this.OnlyPublicSurfaceContractsBox.Name = "OnlyPublicSurfaceContractsBox"; - this.OnlyPublicSurfaceContractsBox.UseVisualStyleBackColor = true; - this.OnlyPublicSurfaceContractsBox.CheckedChanged += new System.EventHandler(this.OnlyPublicSurfaceContractsBox_CheckedChanged_1); - // - // RuntimeCheckingLevelDropDown - // - this.RuntimeCheckingLevelDropDown.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList; - resources.ApplyResources(this.RuntimeCheckingLevelDropDown, "RuntimeCheckingLevelDropDown"); - this.RuntimeCheckingLevelDropDown.FormattingEnabled = true; - this.RuntimeCheckingLevelDropDown.Items.AddRange(new object[] { + this.components = new System.ComponentModel.Container(); + System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(PropertyPane)); + this.EnableRuntimeCheckingBox = new System.Windows.Forms.CheckBox(); + this.EnableStaticCheckingBox = new System.Windows.Forms.CheckBox(); + this.LibPathTextBox = new System.Windows.Forms.TextBox(); + this.LibPathLabel = new System.Windows.Forms.Label(); + this.ExtraRuntimeCheckerOptionsLabel = new System.Windows.Forms.Label(); + this.ExtraRuntimeCheckingOptionsBox = new System.Windows.Forms.TextBox(); + this.CustomRewriterMethodsClassTextBox = new System.Windows.Forms.TextBox(); + this.CustomRewriterMethodsClassLabel = new System.Windows.Forms.Label(); + this.CustomRewriterMethodsAssemblyLabel = new System.Windows.Forms.Label(); + this.CustomRewriterMethodsAssemblyTextBox = new System.Windows.Forms.TextBox(); + this.CustomRewriterMethodsLabel = new System.Windows.Forms.Label(); + this.RuntimeCheckingGroup = new System.Windows.Forms.GroupBox(); + this.SkipQuantifiersBox = new System.Windows.Forms.CheckBox(); + this.CallSiteRequiresBox = new System.Windows.Forms.CheckBox(); + this.AssertOnFailureBox = new System.Windows.Forms.CheckBox(); + this.OnlyPublicSurfaceContractsBox = new System.Windows.Forms.CheckBox(); + this.RuntimeCheckingLevelDropDown = new System.Windows.Forms.ComboBox(); + this.AdvancedGroup = new System.Windows.Forms.GroupBox(); + this.ExtraCodeAnalysisOptionsBox = new System.Windows.Forms.TextBox(); + this.AdditionalCodeAnalysisOptionsLabel = new System.Windows.Forms.Label(); + this.StaticCheckingGroup = new System.Windows.Forms.GroupBox(); + this.InferEnsuresAutoPropertiesCheckBox = new System.Windows.Forms.CheckBox(); + this.SuggestCalleeAssumptionsCheckBox = new System.Windows.Forms.CheckBox(); + this.skipAnalysisIfCannotConnectToCache = new System.Windows.Forms.CheckBox(); + this.checkMissingPublicEnsures = new System.Windows.Forms.CheckBox(); + this.linkUnderstandingTheStaticChecker = new System.Windows.Forms.LinkLabel(); + this.NecessaryEnsuresCheckBox = new System.Windows.Forms.CheckBox(); + this.AssertsToContractsCheckBox = new System.Windows.Forms.CheckBox(); + this.RedundantTestsCheckBox = new System.Windows.Forms.CheckBox(); + this.SuggestReadonlyCheckBox = new System.Windows.Forms.CheckBox(); + this.BeingOptmisticOnExternalCheckBox = new System.Windows.Forms.CheckBox(); + this.missingPublicRequiresAsWarningsCheckBox = new System.Windows.Forms.CheckBox(); + this.SQLServerLabel = new System.Windows.Forms.Label(); + this.SQLServerTextBox = new System.Windows.Forms.TextBox(); + this.CacheResultsCheckBox = new System.Windows.Forms.CheckBox(); + this.SuggestAssumptionsCheckBox = new System.Windows.Forms.CheckBox(); + this.InferObjectInvariantsCheckBox = new System.Windows.Forms.CheckBox(); + this.SuggestObjectInvariantsCheckBox = new System.Windows.Forms.CheckBox(); + this.WarningFullLabel = new System.Windows.Forms.Label(); + this.WarningLowLabel = new System.Windows.Forms.Label(); + this.WarningLevelTrackBar = new System.Windows.Forms.TrackBar(); + this.WarningLevelLabel = new System.Windows.Forms.Label(); + this.redundantAssumptionsCheckBox = new System.Windows.Forms.CheckBox(); + this.InferRequiresCheckBox = new System.Windows.Forms.CheckBox(); + this.InferEnsuresCheckBox = new System.Windows.Forms.CheckBox(); + this.SuggestRequiresCheckBox = new System.Windows.Forms.CheckBox(); + this.BaseLineUpdateButton = new System.Windows.Forms.Button(); + this.ImplicitArithmeticObligationsBox = new System.Windows.Forms.CheckBox(); + this.FailBuildOnWarningsCheckBox = new System.Windows.Forms.CheckBox(); + this.ShowSquiggliesBox = new System.Windows.Forms.CheckBox(); + this.RunInBackgroundBox = new System.Windows.Forms.CheckBox(); + this.BaseLineBox = new System.Windows.Forms.CheckBox(); + this.BaseLineTextBox = new System.Windows.Forms.TextBox(); + this.ImplicitArrayBoundObligationsBox = new System.Windows.Forms.CheckBox(); + this.ImplicitNonNullObligationsBox = new System.Windows.Forms.CheckBox(); + this.ImplicitEnumWritesBox = new System.Windows.Forms.CheckBox(); + this.WarningLevelToolTip = new System.Windows.Forms.ToolTip(this.components); + this.EmitContractDocumentationCheckBox = new System.Windows.Forms.CheckBox(); + this.ContractReferenceAssemblySelection = new System.Windows.Forms.ComboBox(); + this.VersionLabel = new System.Windows.Forms.LinkLabel(); + this.contractReferenceAssemblyGroup = new System.Windows.Forms.GroupBox(); + this.AssemblyModeLabel = new System.Windows.Forms.Label(); + this.AssemblyModeDropDown = new System.Windows.Forms.ComboBox(); + this.PrecisionLevelToolTip = new System.Windows.Forms.ToolTip(this.components); + this.docLink = new System.Windows.Forms.LinkLabel(); + this.help_Link = new System.Windows.Forms.LinkLabel(); + this.DeferAnalysisCheckBox = new System.Windows.Forms.CheckBox(); + this.RuntimeCheckingGroup.SuspendLayout(); + this.AdvancedGroup.SuspendLayout(); + this.StaticCheckingGroup.SuspendLayout(); + ((System.ComponentModel.ISupportInitialize)(this.WarningLevelTrackBar)).BeginInit(); + this.contractReferenceAssemblyGroup.SuspendLayout(); + this.SuspendLayout(); + // + // EnableRuntimeCheckingBox + // + resources.ApplyResources(this.EnableRuntimeCheckingBox, "EnableRuntimeCheckingBox"); + this.EnableRuntimeCheckingBox.Name = "EnableRuntimeCheckingBox"; + this.EnableRuntimeCheckingBox.UseVisualStyleBackColor = true; + this.EnableRuntimeCheckingBox.CheckedChanged += new System.EventHandler(this.EnableContractCheckingBox_CheckedChanged); + // + // EnableStaticCheckingBox + // + resources.ApplyResources(this.EnableStaticCheckingBox, "EnableStaticCheckingBox"); + this.EnableStaticCheckingBox.Name = "EnableStaticCheckingBox"; + this.EnableStaticCheckingBox.UseVisualStyleBackColor = true; + this.EnableStaticCheckingBox.CheckedChanged += new System.EventHandler(this.EnableStaticCheckingBox_CheckedChanged); + // + // LibPathTextBox + // + resources.ApplyResources(this.LibPathTextBox, "LibPathTextBox"); + this.LibPathTextBox.Name = "LibPathTextBox"; + this.LibPathTextBox.TextChanged += new System.EventHandler(this.LibPathTextBox_TextChanged); + // + // LibPathLabel + // + resources.ApplyResources(this.LibPathLabel, "LibPathLabel"); + this.LibPathLabel.Name = "LibPathLabel"; + // + // ExtraRuntimeCheckerOptionsLabel + // + resources.ApplyResources(this.ExtraRuntimeCheckerOptionsLabel, "ExtraRuntimeCheckerOptionsLabel"); + this.ExtraRuntimeCheckerOptionsLabel.Name = "ExtraRuntimeCheckerOptionsLabel"; + // + // ExtraRuntimeCheckingOptionsBox + // + resources.ApplyResources(this.ExtraRuntimeCheckingOptionsBox, "ExtraRuntimeCheckingOptionsBox"); + this.ExtraRuntimeCheckingOptionsBox.Name = "ExtraRuntimeCheckingOptionsBox"; + this.ExtraRuntimeCheckingOptionsBox.TextChanged += new System.EventHandler(this.PlatformTextBox_TextChanged); + // + // CustomRewriterMethodsClassTextBox + // + resources.ApplyResources(this.CustomRewriterMethodsClassTextBox, "CustomRewriterMethodsClassTextBox"); + this.CustomRewriterMethodsClassTextBox.Name = "CustomRewriterMethodsClassTextBox"; + this.CustomRewriterMethodsClassTextBox.TextChanged += new System.EventHandler(this.CustomRewriterMethodsClassTextBox_TextChanged); + // + // CustomRewriterMethodsClassLabel + // + resources.ApplyResources(this.CustomRewriterMethodsClassLabel, "CustomRewriterMethodsClassLabel"); + this.CustomRewriterMethodsClassLabel.Name = "CustomRewriterMethodsClassLabel"; + // + // CustomRewriterMethodsAssemblyLabel + // + resources.ApplyResources(this.CustomRewriterMethodsAssemblyLabel, "CustomRewriterMethodsAssemblyLabel"); + this.CustomRewriterMethodsAssemblyLabel.Name = "CustomRewriterMethodsAssemblyLabel"; + // + // CustomRewriterMethodsAssemblyTextBox + // + resources.ApplyResources(this.CustomRewriterMethodsAssemblyTextBox, "CustomRewriterMethodsAssemblyTextBox"); + this.CustomRewriterMethodsAssemblyTextBox.Name = "CustomRewriterMethodsAssemblyTextBox"; + this.CustomRewriterMethodsAssemblyTextBox.TextChanged += new System.EventHandler(this.CustomRewriterMethodsAssemblyTextBox_TextChanged); + // + // CustomRewriterMethodsLabel + // + resources.ApplyResources(this.CustomRewriterMethodsLabel, "CustomRewriterMethodsLabel"); + this.CustomRewriterMethodsLabel.Name = "CustomRewriterMethodsLabel"; + // + // RuntimeCheckingGroup + // + this.RuntimeCheckingGroup.Controls.Add(this.SkipQuantifiersBox); + this.RuntimeCheckingGroup.Controls.Add(this.CallSiteRequiresBox); + this.RuntimeCheckingGroup.Controls.Add(this.AssertOnFailureBox); + this.RuntimeCheckingGroup.Controls.Add(this.OnlyPublicSurfaceContractsBox); + this.RuntimeCheckingGroup.Controls.Add(this.RuntimeCheckingLevelDropDown); + this.RuntimeCheckingGroup.Controls.Add(this.EnableRuntimeCheckingBox); + this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsLabel); + this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsClassTextBox); + this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsAssemblyTextBox); + this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsAssemblyLabel); + this.RuntimeCheckingGroup.Controls.Add(this.CustomRewriterMethodsClassLabel); + resources.ApplyResources(this.RuntimeCheckingGroup, "RuntimeCheckingGroup"); + this.RuntimeCheckingGroup.Name = "RuntimeCheckingGroup"; + this.RuntimeCheckingGroup.TabStop = false; + // + // SkipQuantifiersBox + // + resources.ApplyResources(this.SkipQuantifiersBox, "SkipQuantifiersBox"); + this.SkipQuantifiersBox.Name = "SkipQuantifiersBox"; + this.SkipQuantifiersBox.UseVisualStyleBackColor = true; + this.SkipQuantifiersBox.CheckedChanged += new System.EventHandler(this.SkipQuantifiersBox_CheckedChanged); + // + // CallSiteRequiresBox + // + resources.ApplyResources(this.CallSiteRequiresBox, "CallSiteRequiresBox"); + this.CallSiteRequiresBox.Name = "CallSiteRequiresBox"; + this.CallSiteRequiresBox.UseVisualStyleBackColor = true; + this.CallSiteRequiresBox.CheckedChanged += new System.EventHandler(this.CallSiteRequiresBox_CheckedChanged); + // + // AssertOnFailureBox + // + resources.ApplyResources(this.AssertOnFailureBox, "AssertOnFailureBox"); + this.AssertOnFailureBox.Name = "AssertOnFailureBox"; + this.AssertOnFailureBox.UseVisualStyleBackColor = true; + this.AssertOnFailureBox.CheckedChanged += new System.EventHandler(this.AssertOnFailureBox_CheckedChanged); + // + // OnlyPublicSurfaceContractsBox + // + resources.ApplyResources(this.OnlyPublicSurfaceContractsBox, "OnlyPublicSurfaceContractsBox"); + this.OnlyPublicSurfaceContractsBox.Name = "OnlyPublicSurfaceContractsBox"; + this.OnlyPublicSurfaceContractsBox.UseVisualStyleBackColor = true; + this.OnlyPublicSurfaceContractsBox.CheckedChanged += new System.EventHandler(this.OnlyPublicSurfaceContractsBox_CheckedChanged_1); + // + // RuntimeCheckingLevelDropDown + // + this.RuntimeCheckingLevelDropDown.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList; + resources.ApplyResources(this.RuntimeCheckingLevelDropDown, "RuntimeCheckingLevelDropDown"); + this.RuntimeCheckingLevelDropDown.FormattingEnabled = true; + this.RuntimeCheckingLevelDropDown.Items.AddRange(new object[] { resources.GetString("RuntimeCheckingLevelDropDown.Items"), resources.GetString("RuntimeCheckingLevelDropDown.Items1"), resources.GetString("RuntimeCheckingLevelDropDown.Items2"), resources.GetString("RuntimeCheckingLevelDropDown.Items3"), resources.GetString("RuntimeCheckingLevelDropDown.Items4")}); - this.RuntimeCheckingLevelDropDown.Name = "RuntimeCheckingLevelDropDown"; - this.RuntimeCheckingLevelDropDown.SelectedIndexChanged += new System.EventHandler(this.runtimeCheckingLevel_SelectedIndexChanged); - // - // AdvancedGroup - // - this.AdvancedGroup.Controls.Add(this.ExtraCodeAnalysisOptionsBox); - this.AdvancedGroup.Controls.Add(this.AdditionalCodeAnalysisOptionsLabel); - this.AdvancedGroup.Controls.Add(this.LibPathLabel); - this.AdvancedGroup.Controls.Add(this.ExtraRuntimeCheckingOptionsBox); - this.AdvancedGroup.Controls.Add(this.LibPathTextBox); - this.AdvancedGroup.Controls.Add(this.ExtraRuntimeCheckerOptionsLabel); - resources.ApplyResources(this.AdvancedGroup, "AdvancedGroup"); - this.AdvancedGroup.Name = "AdvancedGroup"; - this.AdvancedGroup.TabStop = false; - // - // ExtraCodeAnalysisOptionsBox - // - resources.ApplyResources(this.ExtraCodeAnalysisOptionsBox, "ExtraCodeAnalysisOptionsBox"); - this.ExtraCodeAnalysisOptionsBox.Name = "ExtraCodeAnalysisOptionsBox"; - this.ExtraCodeAnalysisOptionsBox.TextChanged += new System.EventHandler(this.ExtraCodeAnalysisOptionsBox_TextChanged); - // - // AdditionalCodeAnalysisOptionsLabel - // - resources.ApplyResources(this.AdditionalCodeAnalysisOptionsLabel, "AdditionalCodeAnalysisOptionsLabel"); - this.AdditionalCodeAnalysisOptionsLabel.Name = "AdditionalCodeAnalysisOptionsLabel"; - // - // StaticCheckingGroup - // - this.StaticCheckingGroup.Controls.Add(this.InferEnsuresAutoPropertiesCheckBox); - this.StaticCheckingGroup.Controls.Add(this.SuggestCalleeAssumptionsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.skipAnalysisIfCannotConnectToCache); - this.StaticCheckingGroup.Controls.Add(this.checkMissingPublicEnsures); - this.StaticCheckingGroup.Controls.Add(this.linkUnderstandingTheStaticChecker); - this.StaticCheckingGroup.Controls.Add(this.NecessaryEnsuresCheckBox); - this.StaticCheckingGroup.Controls.Add(this.AssertsToContractsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.RedundantTestsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.SuggestReadonlyCheckBox); - this.StaticCheckingGroup.Controls.Add(this.BeingOptmisticOnExternalCheckBox); - this.StaticCheckingGroup.Controls.Add(this.missingPublicRequiresAsWarningsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.SQLServerLabel); - this.StaticCheckingGroup.Controls.Add(this.SQLServerTextBox); - this.StaticCheckingGroup.Controls.Add(this.SuggestAssumptionsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.InferObjectInvariantsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.SuggestObjectInvariantsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.WarningFullLabel); - this.StaticCheckingGroup.Controls.Add(this.WarningLowLabel); - this.StaticCheckingGroup.Controls.Add(this.WarningLevelTrackBar); - this.StaticCheckingGroup.Controls.Add(this.WarningLevelLabel); - this.StaticCheckingGroup.Controls.Add(this.CacheResultsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.redundantAssumptionsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.InferRequiresCheckBox); - this.StaticCheckingGroup.Controls.Add(this.InferEnsuresCheckBox); - this.StaticCheckingGroup.Controls.Add(this.SuggestRequiresCheckBox); - this.StaticCheckingGroup.Controls.Add(this.BaseLineUpdateButton); - this.StaticCheckingGroup.Controls.Add(this.ImplicitArithmeticObligationsBox); - this.StaticCheckingGroup.Controls.Add(this.FailBuildOnWarningsCheckBox); - this.StaticCheckingGroup.Controls.Add(this.ShowSquiggliesBox); - this.StaticCheckingGroup.Controls.Add(this.RunInBackgroundBox); - this.StaticCheckingGroup.Controls.Add(this.BaseLineBox); - this.StaticCheckingGroup.Controls.Add(this.BaseLineTextBox); - this.StaticCheckingGroup.Controls.Add(this.ImplicitArrayBoundObligationsBox); - this.StaticCheckingGroup.Controls.Add(this.ImplicitNonNullObligationsBox); - this.StaticCheckingGroup.Controls.Add(this.ImplicitEnumWritesBox); - this.StaticCheckingGroup.Controls.Add(this.EnableStaticCheckingBox); - resources.ApplyResources(this.StaticCheckingGroup, "StaticCheckingGroup"); - this.StaticCheckingGroup.Name = "StaticCheckingGroup"; - this.StaticCheckingGroup.TabStop = false; - // - // SuggestCalleeAssumptionsCheckBox - // - resources.ApplyResources(this.SuggestCalleeAssumptionsCheckBox, "SuggestCalleeAssumptionsCheckBox"); - this.SuggestCalleeAssumptionsCheckBox.Name = "SuggestCalleeAssumptionsCheckBox"; - this.SuggestCalleeAssumptionsCheckBox.UseVisualStyleBackColor = true; - this.SuggestCalleeAssumptionsCheckBox.CheckedChanged += new System.EventHandler(this.SuggestCalleeAssumptionsCheckBox_CheckedChanged); - // - // skipAnalysisIfCannotConnectToCache - // - resources.ApplyResources(this.skipAnalysisIfCannotConnectToCache, "skipAnalysisIfCannotConnectToCache"); - this.skipAnalysisIfCannotConnectToCache.Name = "skipAnalysisIfCannotConnectToCache"; - this.skipAnalysisIfCannotConnectToCache.UseVisualStyleBackColor = true; - this.skipAnalysisIfCannotConnectToCache.CheckedChanged += new System.EventHandler(this.skipAnalysisIfCannotConnectToCache_CheckedChanged); - // - // checkMissingPublicEnsures - // - resources.ApplyResources(this.checkMissingPublicEnsures, "checkMissingPublicEnsures"); - this.checkMissingPublicEnsures.Name = "checkMissingPublicEnsures"; - this.checkMissingPublicEnsures.UseVisualStyleBackColor = true; - this.checkMissingPublicEnsures.CheckedChanged += new System.EventHandler(this.checkMissingPublicEnsures_CheckedChanged); - // - // linkUnderstandingTheStaticChecker - // - resources.ApplyResources(this.linkUnderstandingTheStaticChecker, "linkUnderstandingTheStaticChecker"); - this.linkUnderstandingTheStaticChecker.Name = "linkUnderstandingTheStaticChecker"; - this.linkUnderstandingTheStaticChecker.TabStop = true; - this.linkUnderstandingTheStaticChecker.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.linkUnderstandingTheStaticChecker_LinkClicked); - // - // NecessaryEnsuresCheckBox - // - resources.ApplyResources(this.NecessaryEnsuresCheckBox, "NecessaryEnsuresCheckBox"); - this.NecessaryEnsuresCheckBox.Checked = true; - this.NecessaryEnsuresCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.NecessaryEnsuresCheckBox.Name = "NecessaryEnsuresCheckBox"; - this.NecessaryEnsuresCheckBox.UseVisualStyleBackColor = true; - this.NecessaryEnsuresCheckBox.CheckedChanged += new System.EventHandler(this.NecessaryEnsuresCheckBox_CheckedChanged); - // - // AssertsToContractsCheckBox - // - resources.ApplyResources(this.AssertsToContractsCheckBox, "AssertsToContractsCheckBox"); - this.AssertsToContractsCheckBox.Checked = true; - this.AssertsToContractsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.AssertsToContractsCheckBox.Name = "AssertsToContractsCheckBox"; - this.AssertsToContractsCheckBox.UseVisualStyleBackColor = true; - this.AssertsToContractsCheckBox.CheckedChanged += new System.EventHandler(this.AssertsToContractsCheckBox_CheckedChanged); - // - // RedundantTestsCheckBox - // - resources.ApplyResources(this.RedundantTestsCheckBox, "RedundantTestsCheckBox"); - this.RedundantTestsCheckBox.Checked = true; - this.RedundantTestsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.RedundantTestsCheckBox.Name = "RedundantTestsCheckBox"; - this.RedundantTestsCheckBox.UseVisualStyleBackColor = true; - this.RedundantTestsCheckBox.CheckedChanged += new System.EventHandler(this.RedundantTestsCheckBox_CheckedChanged); - // - // SuggestReadonlyCheckBox - // - resources.ApplyResources(this.SuggestReadonlyCheckBox, "SuggestReadonlyCheckBox"); - this.SuggestReadonlyCheckBox.Checked = true; - this.SuggestReadonlyCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.SuggestReadonlyCheckBox.Name = "SuggestReadonlyCheckBox"; - this.SuggestReadonlyCheckBox.UseVisualStyleBackColor = true; - // - // BeingOptmisticOnExternalCheckBox - // - resources.ApplyResources(this.BeingOptmisticOnExternalCheckBox, "BeingOptmisticOnExternalCheckBox"); - this.BeingOptmisticOnExternalCheckBox.Checked = true; - this.BeingOptmisticOnExternalCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.BeingOptmisticOnExternalCheckBox.Name = "BeingOptmisticOnExternalCheckBox"; - this.BeingOptmisticOnExternalCheckBox.UseVisualStyleBackColor = true; - this.BeingOptmisticOnExternalCheckBox.CheckedChanged += new System.EventHandler(this.BeingOptmisticOnExternalCheckBox_CheckedChanged); - // - // missingPublicRequiresAsWarningsCheckBox - // - resources.ApplyResources(this.missingPublicRequiresAsWarningsCheckBox, "missingPublicRequiresAsWarningsCheckBox"); - this.missingPublicRequiresAsWarningsCheckBox.Checked = true; - this.missingPublicRequiresAsWarningsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.missingPublicRequiresAsWarningsCheckBox.Name = "missingPublicRequiresAsWarningsCheckBox"; - this.missingPublicRequiresAsWarningsCheckBox.UseVisualStyleBackColor = true; - this.missingPublicRequiresAsWarningsCheckBox.CheckedChanged += new System.EventHandler(this.missingPublicRequiresAsWarningsCheckBox_CheckedChanged); - // - // SQLServerLabel - // - resources.ApplyResources(this.SQLServerLabel, "SQLServerLabel"); - this.SQLServerLabel.Name = "SQLServerLabel"; - // - // SQLServerTextBox - // - this.SQLServerTextBox.Enabled = this.CacheResultsCheckBox.Enabled; - resources.ApplyResources(this.SQLServerTextBox, "SQLServerTextBox"); - this.SQLServerTextBox.Name = "SQLServerTextBox"; - this.SQLServerTextBox.TextChanged += new System.EventHandler(this.SQLServerTextBox_TextChanged); - // - // CacheResultsCheckBox - // - resources.ApplyResources(this.CacheResultsCheckBox, "CacheResultsCheckBox"); - this.CacheResultsCheckBox.Checked = true; - this.CacheResultsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.CacheResultsCheckBox.Name = "CacheResultsCheckBox"; - this.CacheResultsCheckBox.UseVisualStyleBackColor = true; - this.CacheResultsCheckBox.CheckedChanged += new System.EventHandler(this.CacheResultsCheckBox_CheckedChanged); - // - // SuggestAssumptionsCheckBox - // - resources.ApplyResources(this.SuggestAssumptionsCheckBox, "SuggestAssumptionsCheckBox"); - this.SuggestAssumptionsCheckBox.Name = "SuggestAssumptionsCheckBox"; - this.SuggestAssumptionsCheckBox.UseVisualStyleBackColor = true; - this.SuggestAssumptionsCheckBox.CheckedChanged += new System.EventHandler(this.SuggestAssumptions_CheckedChanged); - // - // InferObjectInvariantsCheckBox - // - resources.ApplyResources(this.InferObjectInvariantsCheckBox, "InferObjectInvariantsCheckBox"); - this.InferObjectInvariantsCheckBox.Name = "InferObjectInvariantsCheckBox"; - this.InferObjectInvariantsCheckBox.UseVisualStyleBackColor = true; - this.InferObjectInvariantsCheckBox.CheckedChanged += new System.EventHandler(this.InferObjectInvariantsCheckBox_CheckedChanged); - // - // SuggestObjectInvariantsCheckBox - // - resources.ApplyResources(this.SuggestObjectInvariantsCheckBox, "SuggestObjectInvariantsCheckBox"); - this.SuggestObjectInvariantsCheckBox.Name = "SuggestObjectInvariantsCheckBox"; - this.SuggestObjectInvariantsCheckBox.UseVisualStyleBackColor = true; - this.SuggestObjectInvariantsCheckBox.CheckedChanged += new System.EventHandler(this.SuggestObjectInvariantsCheckBox_CheckedChanged); - // - // WarningFullLabel - // - resources.ApplyResources(this.WarningFullLabel, "WarningFullLabel"); - this.WarningFullLabel.Name = "WarningFullLabel"; - // - // WarningLowLabel - // - resources.ApplyResources(this.WarningLowLabel, "WarningLowLabel"); - this.WarningLowLabel.Name = "WarningLowLabel"; - // - // WarningLevelTrackBar - // - this.WarningLevelTrackBar.LargeChange = 1; - resources.ApplyResources(this.WarningLevelTrackBar, "WarningLevelTrackBar"); - this.WarningLevelTrackBar.Maximum = 3; - this.WarningLevelTrackBar.Name = "WarningLevelTrackBar"; - this.WarningLevelTrackBar.Scroll += new System.EventHandler(this.WarningLevelTrackBar_Scroll); - // - // WarningLevelLabel - // - resources.ApplyResources(this.WarningLevelLabel, "WarningLevelLabel"); - this.WarningLevelLabel.Name = "WarningLevelLabel"; - // - // redundantAssumptionsCheckBox - // - resources.ApplyResources(this.redundantAssumptionsCheckBox, "redundantAssumptionsCheckBox"); - this.redundantAssumptionsCheckBox.Checked = true; - this.redundantAssumptionsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.redundantAssumptionsCheckBox.Name = "redundantAssumptionsCheckBox"; - this.redundantAssumptionsCheckBox.UseVisualStyleBackColor = true; - this.redundantAssumptionsCheckBox.CheckedChanged += new System.EventHandler(this.redundantAssumptionsCheckBox_CheckedChanged); - // - // InferRequiresCheckBox - // - resources.ApplyResources(this.InferRequiresCheckBox, "InferRequiresCheckBox"); - this.InferRequiresCheckBox.Checked = true; - this.InferRequiresCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.InferRequiresCheckBox.Name = "InferRequiresCheckBox"; - this.InferRequiresCheckBox.UseVisualStyleBackColor = true; - this.InferRequiresCheckBox.CheckedChanged += new System.EventHandler(this.InferRequires_CheckedChanged); - // - // InferEnsuresCheckBox - // - resources.ApplyResources(this.InferEnsuresCheckBox, "InferEnsuresCheckBox"); - this.InferEnsuresCheckBox.Name = "InferEnsuresCheckBox"; - this.InferEnsuresCheckBox.UseVisualStyleBackColor = true; - this.InferEnsuresCheckBox.CheckedChanged += new System.EventHandler(this.InferEnsuresCheckBox_CheckedChanged); - // - // SuggestRequiresCheckBox - // - resources.ApplyResources(this.SuggestRequiresCheckBox, "SuggestRequiresCheckBox"); - this.SuggestRequiresCheckBox.Name = "SuggestRequiresCheckBox"; - this.SuggestRequiresCheckBox.UseVisualStyleBackColor = true; - this.SuggestRequiresCheckBox.CheckedChanged += new System.EventHandler(this.SuggestRequiresCheckBox_CheckedChanged); - // - // BaseLineUpdateButton - // - resources.ApplyResources(this.BaseLineUpdateButton, "BaseLineUpdateButton"); - this.BaseLineUpdateButton.Name = "BaseLineUpdateButton"; - this.BaseLineUpdateButton.UseVisualStyleBackColor = true; - this.BaseLineUpdateButton.Click += new System.EventHandler(this.updateBaselineButton_Click); - // - // ImplicitArithmeticObligationsBox - // - resources.ApplyResources(this.ImplicitArithmeticObligationsBox, "ImplicitArithmeticObligationsBox"); - this.ImplicitArithmeticObligationsBox.Checked = true; - this.ImplicitArithmeticObligationsBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.ImplicitArithmeticObligationsBox.Name = "ImplicitArithmeticObligationsBox"; - this.ImplicitArithmeticObligationsBox.UseVisualStyleBackColor = true; - this.ImplicitArithmeticObligationsBox.CheckedChanged += new System.EventHandler(this.ImplicitArithmeticObligationsBox_CheckedChanged); - // - // FailBuildOnWarningsCheckBox - // - resources.ApplyResources(this.FailBuildOnWarningsCheckBox, "FailBuildOnWarningsCheckBox"); - this.FailBuildOnWarningsCheckBox.Name = "FailBuildOnWarningsCheckBox"; - this.FailBuildOnWarningsCheckBox.UseVisualStyleBackColor = true; - this.FailBuildOnWarningsCheckBox.CheckedChanged += new System.EventHandler(this.FailBuildOnWarningsCheckBox_CheckedChanged); - // - // ShowSquiggliesBox - // - resources.ApplyResources(this.ShowSquiggliesBox, "ShowSquiggliesBox"); - this.ShowSquiggliesBox.Checked = true; - this.ShowSquiggliesBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.ShowSquiggliesBox.Name = "ShowSquiggliesBox"; - this.ShowSquiggliesBox.UseVisualStyleBackColor = true; - this.ShowSquiggliesBox.CheckedChanged += new System.EventHandler(this.SquiggliesBox_CheckedChanged); - // - // RunInBackgroundBox - // - resources.ApplyResources(this.RunInBackgroundBox, "RunInBackgroundBox"); - this.RunInBackgroundBox.Checked = true; - this.RunInBackgroundBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.RunInBackgroundBox.Name = "RunInBackgroundBox"; - this.RunInBackgroundBox.UseVisualStyleBackColor = true; - this.RunInBackgroundBox.CheckedChanged += new System.EventHandler(this.RunInBackgroundBox_CheckedChanged); - // - // BaseLineBox - // - resources.ApplyResources(this.BaseLineBox, "BaseLineBox"); - this.BaseLineBox.AccessibleRole = System.Windows.Forms.AccessibleRole.ToolTip; - this.BaseLineBox.Name = "BaseLineBox"; - this.BaseLineBox.UseVisualStyleBackColor = true; - this.BaseLineBox.CheckedChanged += new System.EventHandler(this.BaseLineBox_CheckedChanged); - // - // BaseLineTextBox - // - resources.ApplyResources(this.BaseLineTextBox, "BaseLineTextBox"); - this.BaseLineTextBox.Name = "BaseLineTextBox"; - this.BaseLineTextBox.TextChanged += new System.EventHandler(this.BaseLineTextBox_TextChanged); - // - // ImplicitArrayBoundObligationsBox - // - resources.ApplyResources(this.ImplicitArrayBoundObligationsBox, "ImplicitArrayBoundObligationsBox"); - this.ImplicitArrayBoundObligationsBox.Checked = true; - this.ImplicitArrayBoundObligationsBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.ImplicitArrayBoundObligationsBox.Name = "ImplicitArrayBoundObligationsBox"; - this.ImplicitArrayBoundObligationsBox.UseVisualStyleBackColor = true; - this.ImplicitArrayBoundObligationsBox.CheckedChanged += new System.EventHandler(this.ImplicitArrayBoundObligationsBox_CheckedChanged); - // - // ImplicitNonNullObligationsBox - // - resources.ApplyResources(this.ImplicitNonNullObligationsBox, "ImplicitNonNullObligationsBox"); - this.ImplicitNonNullObligationsBox.Checked = true; - this.ImplicitNonNullObligationsBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.ImplicitNonNullObligationsBox.Name = "ImplicitNonNullObligationsBox"; - this.ImplicitNonNullObligationsBox.UseVisualStyleBackColor = true; - this.ImplicitNonNullObligationsBox.CheckedChanged += new System.EventHandler(this.ImplicitNonNullObligationsBox_CheckedChanged); - // - // ImplicitEnumWritesBox - // - resources.ApplyResources(this.ImplicitEnumWritesBox, "ImplicitEnumWritesBox"); - this.ImplicitEnumWritesBox.Checked = true; - this.ImplicitEnumWritesBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.ImplicitEnumWritesBox.Name = "ImplicitEnumWritesBox"; - this.ImplicitEnumWritesBox.UseVisualStyleBackColor = true; - this.ImplicitEnumWritesBox.CheckedChanged += new System.EventHandler(this.ImplicitEnumWritesBox_CheckedChanged); - // - // EmitContractDocumentationCheckBox - // - resources.ApplyResources(this.EmitContractDocumentationCheckBox, "EmitContractDocumentationCheckBox"); - this.EmitContractDocumentationCheckBox.Name = "EmitContractDocumentationCheckBox"; - this.EmitContractDocumentationCheckBox.UseVisualStyleBackColor = true; - this.EmitContractDocumentationCheckBox.CheckedChanged += new System.EventHandler(this.EmitContractDocumentationCheckBox_CheckedChanged); - // - // ContractReferenceAssemblySelection - // - this.ContractReferenceAssemblySelection.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList; - this.ContractReferenceAssemblySelection.FormattingEnabled = true; - this.ContractReferenceAssemblySelection.Items.AddRange(new object[] { + this.RuntimeCheckingLevelDropDown.Name = "RuntimeCheckingLevelDropDown"; + this.RuntimeCheckingLevelDropDown.SelectedIndexChanged += new System.EventHandler(this.runtimeCheckingLevel_SelectedIndexChanged); + // + // AdvancedGroup + // + this.AdvancedGroup.Controls.Add(this.ExtraCodeAnalysisOptionsBox); + this.AdvancedGroup.Controls.Add(this.AdditionalCodeAnalysisOptionsLabel); + this.AdvancedGroup.Controls.Add(this.LibPathLabel); + this.AdvancedGroup.Controls.Add(this.ExtraRuntimeCheckingOptionsBox); + this.AdvancedGroup.Controls.Add(this.LibPathTextBox); + this.AdvancedGroup.Controls.Add(this.ExtraRuntimeCheckerOptionsLabel); + resources.ApplyResources(this.AdvancedGroup, "AdvancedGroup"); + this.AdvancedGroup.Name = "AdvancedGroup"; + this.AdvancedGroup.TabStop = false; + // + // ExtraCodeAnalysisOptionsBox + // + resources.ApplyResources(this.ExtraCodeAnalysisOptionsBox, "ExtraCodeAnalysisOptionsBox"); + this.ExtraCodeAnalysisOptionsBox.Name = "ExtraCodeAnalysisOptionsBox"; + this.ExtraCodeAnalysisOptionsBox.TextChanged += new System.EventHandler(this.ExtraCodeAnalysisOptionsBox_TextChanged); + // + // AdditionalCodeAnalysisOptionsLabel + // + resources.ApplyResources(this.AdditionalCodeAnalysisOptionsLabel, "AdditionalCodeAnalysisOptionsLabel"); + this.AdditionalCodeAnalysisOptionsLabel.Name = "AdditionalCodeAnalysisOptionsLabel"; + // + // StaticCheckingGroup + // + this.StaticCheckingGroup.Controls.Add(this.InferEnsuresAutoPropertiesCheckBox); + this.StaticCheckingGroup.Controls.Add(this.SuggestCalleeAssumptionsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.skipAnalysisIfCannotConnectToCache); + this.StaticCheckingGroup.Controls.Add(this.checkMissingPublicEnsures); + this.StaticCheckingGroup.Controls.Add(this.linkUnderstandingTheStaticChecker); + this.StaticCheckingGroup.Controls.Add(this.NecessaryEnsuresCheckBox); + this.StaticCheckingGroup.Controls.Add(this.AssertsToContractsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.RedundantTestsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.SuggestReadonlyCheckBox); + this.StaticCheckingGroup.Controls.Add(this.BeingOptmisticOnExternalCheckBox); + this.StaticCheckingGroup.Controls.Add(this.missingPublicRequiresAsWarningsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.SQLServerLabel); + this.StaticCheckingGroup.Controls.Add(this.SQLServerTextBox); + this.StaticCheckingGroup.Controls.Add(this.SuggestAssumptionsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.InferObjectInvariantsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.DeferAnalysisCheckBox); + this.StaticCheckingGroup.Controls.Add(this.SuggestObjectInvariantsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.WarningFullLabel); + this.StaticCheckingGroup.Controls.Add(this.WarningLowLabel); + this.StaticCheckingGroup.Controls.Add(this.WarningLevelTrackBar); + this.StaticCheckingGroup.Controls.Add(this.WarningLevelLabel); + this.StaticCheckingGroup.Controls.Add(this.CacheResultsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.redundantAssumptionsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.InferRequiresCheckBox); + this.StaticCheckingGroup.Controls.Add(this.InferEnsuresCheckBox); + this.StaticCheckingGroup.Controls.Add(this.SuggestRequiresCheckBox); + this.StaticCheckingGroup.Controls.Add(this.BaseLineUpdateButton); + this.StaticCheckingGroup.Controls.Add(this.ImplicitArithmeticObligationsBox); + this.StaticCheckingGroup.Controls.Add(this.FailBuildOnWarningsCheckBox); + this.StaticCheckingGroup.Controls.Add(this.ShowSquiggliesBox); + this.StaticCheckingGroup.Controls.Add(this.RunInBackgroundBox); + this.StaticCheckingGroup.Controls.Add(this.BaseLineBox); + this.StaticCheckingGroup.Controls.Add(this.BaseLineTextBox); + this.StaticCheckingGroup.Controls.Add(this.ImplicitArrayBoundObligationsBox); + this.StaticCheckingGroup.Controls.Add(this.ImplicitNonNullObligationsBox); + this.StaticCheckingGroup.Controls.Add(this.ImplicitEnumWritesBox); + this.StaticCheckingGroup.Controls.Add(this.EnableStaticCheckingBox); + resources.ApplyResources(this.StaticCheckingGroup, "StaticCheckingGroup"); + this.StaticCheckingGroup.Name = "StaticCheckingGroup"; + this.StaticCheckingGroup.TabStop = false; + // + // InferEnsuresAutoPropertiesCheckBox + // + resources.ApplyResources(this.InferEnsuresAutoPropertiesCheckBox, "InferEnsuresAutoPropertiesCheckBox"); + this.InferEnsuresAutoPropertiesCheckBox.Checked = true; + this.InferEnsuresAutoPropertiesCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.InferEnsuresAutoPropertiesCheckBox.Name = "InferEnsuresAutoPropertiesCheckBox"; + this.InferEnsuresAutoPropertiesCheckBox.UseVisualStyleBackColor = true; + this.InferEnsuresAutoPropertiesCheckBox.CheckedChanged += new System.EventHandler(this.InferEnsuresAutoPropertiesCheckBox_CheckedChanged); + // + // SuggestCalleeAssumptionsCheckBox + // + resources.ApplyResources(this.SuggestCalleeAssumptionsCheckBox, "SuggestCalleeAssumptionsCheckBox"); + this.SuggestCalleeAssumptionsCheckBox.Name = "SuggestCalleeAssumptionsCheckBox"; + this.SuggestCalleeAssumptionsCheckBox.UseVisualStyleBackColor = true; + this.SuggestCalleeAssumptionsCheckBox.CheckedChanged += new System.EventHandler(this.SuggestCalleeAssumptionsCheckBox_CheckedChanged); + // + // skipAnalysisIfCannotConnectToCache + // + resources.ApplyResources(this.skipAnalysisIfCannotConnectToCache, "skipAnalysisIfCannotConnectToCache"); + this.skipAnalysisIfCannotConnectToCache.Name = "skipAnalysisIfCannotConnectToCache"; + this.skipAnalysisIfCannotConnectToCache.UseVisualStyleBackColor = true; + this.skipAnalysisIfCannotConnectToCache.CheckedChanged += new System.EventHandler(this.skipAnalysisIfCannotConnectToCache_CheckedChanged); + // + // checkMissingPublicEnsures + // + resources.ApplyResources(this.checkMissingPublicEnsures, "checkMissingPublicEnsures"); + this.checkMissingPublicEnsures.Name = "checkMissingPublicEnsures"; + this.checkMissingPublicEnsures.UseVisualStyleBackColor = true; + this.checkMissingPublicEnsures.CheckedChanged += new System.EventHandler(this.checkMissingPublicEnsures_CheckedChanged); + // + // linkUnderstandingTheStaticChecker + // + resources.ApplyResources(this.linkUnderstandingTheStaticChecker, "linkUnderstandingTheStaticChecker"); + this.linkUnderstandingTheStaticChecker.Name = "linkUnderstandingTheStaticChecker"; + this.linkUnderstandingTheStaticChecker.TabStop = true; + this.linkUnderstandingTheStaticChecker.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.linkUnderstandingTheStaticChecker_LinkClicked); + // + // NecessaryEnsuresCheckBox + // + resources.ApplyResources(this.NecessaryEnsuresCheckBox, "NecessaryEnsuresCheckBox"); + this.NecessaryEnsuresCheckBox.Checked = true; + this.NecessaryEnsuresCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.NecessaryEnsuresCheckBox.Name = "NecessaryEnsuresCheckBox"; + this.NecessaryEnsuresCheckBox.UseVisualStyleBackColor = true; + this.NecessaryEnsuresCheckBox.CheckedChanged += new System.EventHandler(this.NecessaryEnsuresCheckBox_CheckedChanged); + // + // AssertsToContractsCheckBox + // + resources.ApplyResources(this.AssertsToContractsCheckBox, "AssertsToContractsCheckBox"); + this.AssertsToContractsCheckBox.Checked = true; + this.AssertsToContractsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.AssertsToContractsCheckBox.Name = "AssertsToContractsCheckBox"; + this.AssertsToContractsCheckBox.UseVisualStyleBackColor = true; + this.AssertsToContractsCheckBox.CheckedChanged += new System.EventHandler(this.AssertsToContractsCheckBox_CheckedChanged); + // + // RedundantTestsCheckBox + // + resources.ApplyResources(this.RedundantTestsCheckBox, "RedundantTestsCheckBox"); + this.RedundantTestsCheckBox.Checked = true; + this.RedundantTestsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.RedundantTestsCheckBox.Name = "RedundantTestsCheckBox"; + this.RedundantTestsCheckBox.UseVisualStyleBackColor = true; + this.RedundantTestsCheckBox.CheckedChanged += new System.EventHandler(this.RedundantTestsCheckBox_CheckedChanged); + // + // SuggestReadonlyCheckBox + // + resources.ApplyResources(this.SuggestReadonlyCheckBox, "SuggestReadonlyCheckBox"); + this.SuggestReadonlyCheckBox.Checked = true; + this.SuggestReadonlyCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.SuggestReadonlyCheckBox.Name = "SuggestReadonlyCheckBox"; + this.SuggestReadonlyCheckBox.UseVisualStyleBackColor = true; + // + // BeingOptmisticOnExternalCheckBox + // + resources.ApplyResources(this.BeingOptmisticOnExternalCheckBox, "BeingOptmisticOnExternalCheckBox"); + this.BeingOptmisticOnExternalCheckBox.Checked = true; + this.BeingOptmisticOnExternalCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.BeingOptmisticOnExternalCheckBox.Name = "BeingOptmisticOnExternalCheckBox"; + this.BeingOptmisticOnExternalCheckBox.UseVisualStyleBackColor = true; + this.BeingOptmisticOnExternalCheckBox.CheckedChanged += new System.EventHandler(this.BeingOptmisticOnExternalCheckBox_CheckedChanged); + // + // missingPublicRequiresAsWarningsCheckBox + // + resources.ApplyResources(this.missingPublicRequiresAsWarningsCheckBox, "missingPublicRequiresAsWarningsCheckBox"); + this.missingPublicRequiresAsWarningsCheckBox.Checked = true; + this.missingPublicRequiresAsWarningsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.missingPublicRequiresAsWarningsCheckBox.Name = "missingPublicRequiresAsWarningsCheckBox"; + this.missingPublicRequiresAsWarningsCheckBox.UseVisualStyleBackColor = true; + this.missingPublicRequiresAsWarningsCheckBox.CheckedChanged += new System.EventHandler(this.missingPublicRequiresAsWarningsCheckBox_CheckedChanged); + // + // SQLServerLabel + // + resources.ApplyResources(this.SQLServerLabel, "SQLServerLabel"); + this.SQLServerLabel.Name = "SQLServerLabel"; + // + // SQLServerTextBox + // + this.SQLServerTextBox.Enabled = this.CacheResultsCheckBox.Enabled; + resources.ApplyResources(this.SQLServerTextBox, "SQLServerTextBox"); + this.SQLServerTextBox.Name = "SQLServerTextBox"; + this.SQLServerTextBox.TextChanged += new System.EventHandler(this.SQLServerTextBox_TextChanged); + // + // CacheResultsCheckBox + // + resources.ApplyResources(this.CacheResultsCheckBox, "CacheResultsCheckBox"); + this.CacheResultsCheckBox.Checked = true; + this.CacheResultsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.CacheResultsCheckBox.Name = "CacheResultsCheckBox"; + this.CacheResultsCheckBox.UseVisualStyleBackColor = true; + this.CacheResultsCheckBox.CheckedChanged += new System.EventHandler(this.CacheResultsCheckBox_CheckedChanged); + // + // SuggestAssumptionsCheckBox + // + resources.ApplyResources(this.SuggestAssumptionsCheckBox, "SuggestAssumptionsCheckBox"); + this.SuggestAssumptionsCheckBox.Name = "SuggestAssumptionsCheckBox"; + this.SuggestAssumptionsCheckBox.UseVisualStyleBackColor = true; + this.SuggestAssumptionsCheckBox.CheckedChanged += new System.EventHandler(this.SuggestAssumptions_CheckedChanged); + // + // InferObjectInvariantsCheckBox + // + resources.ApplyResources(this.InferObjectInvariantsCheckBox, "InferObjectInvariantsCheckBox"); + this.InferObjectInvariantsCheckBox.Name = "InferObjectInvariantsCheckBox"; + this.InferObjectInvariantsCheckBox.UseVisualStyleBackColor = true; + this.InferObjectInvariantsCheckBox.CheckedChanged += new System.EventHandler(this.InferObjectInvariantsCheckBox_CheckedChanged); + // + // SuggestObjectInvariantsCheckBox + // + resources.ApplyResources(this.SuggestObjectInvariantsCheckBox, "SuggestObjectInvariantsCheckBox"); + this.SuggestObjectInvariantsCheckBox.Name = "SuggestObjectInvariantsCheckBox"; + this.SuggestObjectInvariantsCheckBox.UseVisualStyleBackColor = true; + this.SuggestObjectInvariantsCheckBox.CheckedChanged += new System.EventHandler(this.SuggestObjectInvariantsCheckBox_CheckedChanged); + // + // WarningFullLabel + // + resources.ApplyResources(this.WarningFullLabel, "WarningFullLabel"); + this.WarningFullLabel.Name = "WarningFullLabel"; + // + // WarningLowLabel + // + resources.ApplyResources(this.WarningLowLabel, "WarningLowLabel"); + this.WarningLowLabel.Name = "WarningLowLabel"; + // + // WarningLevelTrackBar + // + this.WarningLevelTrackBar.LargeChange = 1; + resources.ApplyResources(this.WarningLevelTrackBar, "WarningLevelTrackBar"); + this.WarningLevelTrackBar.Maximum = 3; + this.WarningLevelTrackBar.Name = "WarningLevelTrackBar"; + this.WarningLevelTrackBar.Scroll += new System.EventHandler(this.WarningLevelTrackBar_Scroll); + // + // WarningLevelLabel + // + resources.ApplyResources(this.WarningLevelLabel, "WarningLevelLabel"); + this.WarningLevelLabel.Name = "WarningLevelLabel"; + // + // redundantAssumptionsCheckBox + // + resources.ApplyResources(this.redundantAssumptionsCheckBox, "redundantAssumptionsCheckBox"); + this.redundantAssumptionsCheckBox.Checked = true; + this.redundantAssumptionsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.redundantAssumptionsCheckBox.Name = "redundantAssumptionsCheckBox"; + this.redundantAssumptionsCheckBox.UseVisualStyleBackColor = true; + this.redundantAssumptionsCheckBox.CheckedChanged += new System.EventHandler(this.redundantAssumptionsCheckBox_CheckedChanged); + // + // InferRequiresCheckBox + // + resources.ApplyResources(this.InferRequiresCheckBox, "InferRequiresCheckBox"); + this.InferRequiresCheckBox.Checked = true; + this.InferRequiresCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.InferRequiresCheckBox.Name = "InferRequiresCheckBox"; + this.InferRequiresCheckBox.UseVisualStyleBackColor = true; + this.InferRequiresCheckBox.CheckedChanged += new System.EventHandler(this.InferRequires_CheckedChanged); + // + // InferEnsuresCheckBox + // + resources.ApplyResources(this.InferEnsuresCheckBox, "InferEnsuresCheckBox"); + this.InferEnsuresCheckBox.Name = "InferEnsuresCheckBox"; + this.InferEnsuresCheckBox.UseVisualStyleBackColor = true; + this.InferEnsuresCheckBox.CheckedChanged += new System.EventHandler(this.InferEnsuresCheckBox_CheckedChanged); + // + // SuggestRequiresCheckBox + // + resources.ApplyResources(this.SuggestRequiresCheckBox, "SuggestRequiresCheckBox"); + this.SuggestRequiresCheckBox.Name = "SuggestRequiresCheckBox"; + this.SuggestRequiresCheckBox.UseVisualStyleBackColor = true; + this.SuggestRequiresCheckBox.CheckedChanged += new System.EventHandler(this.SuggestRequiresCheckBox_CheckedChanged); + // + // BaseLineUpdateButton + // + resources.ApplyResources(this.BaseLineUpdateButton, "BaseLineUpdateButton"); + this.BaseLineUpdateButton.Name = "BaseLineUpdateButton"; + this.BaseLineUpdateButton.UseVisualStyleBackColor = true; + this.BaseLineUpdateButton.Click += new System.EventHandler(this.updateBaselineButton_Click); + // + // ImplicitArithmeticObligationsBox + // + resources.ApplyResources(this.ImplicitArithmeticObligationsBox, "ImplicitArithmeticObligationsBox"); + this.ImplicitArithmeticObligationsBox.Checked = true; + this.ImplicitArithmeticObligationsBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.ImplicitArithmeticObligationsBox.Name = "ImplicitArithmeticObligationsBox"; + this.ImplicitArithmeticObligationsBox.UseVisualStyleBackColor = true; + this.ImplicitArithmeticObligationsBox.CheckedChanged += new System.EventHandler(this.ImplicitArithmeticObligationsBox_CheckedChanged); + // + // FailBuildOnWarningsCheckBox + // + resources.ApplyResources(this.FailBuildOnWarningsCheckBox, "FailBuildOnWarningsCheckBox"); + this.FailBuildOnWarningsCheckBox.Name = "FailBuildOnWarningsCheckBox"; + this.FailBuildOnWarningsCheckBox.UseVisualStyleBackColor = true; + this.FailBuildOnWarningsCheckBox.CheckedChanged += new System.EventHandler(this.FailBuildOnWarningsCheckBox_CheckedChanged); + // + // ShowSquiggliesBox + // + resources.ApplyResources(this.ShowSquiggliesBox, "ShowSquiggliesBox"); + this.ShowSquiggliesBox.Checked = true; + this.ShowSquiggliesBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.ShowSquiggliesBox.Name = "ShowSquiggliesBox"; + this.ShowSquiggliesBox.UseVisualStyleBackColor = true; + this.ShowSquiggliesBox.CheckedChanged += new System.EventHandler(this.SquiggliesBox_CheckedChanged); + // + // RunInBackgroundBox + // + resources.ApplyResources(this.RunInBackgroundBox, "RunInBackgroundBox"); + this.RunInBackgroundBox.Checked = true; + this.RunInBackgroundBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.RunInBackgroundBox.Name = "RunInBackgroundBox"; + this.RunInBackgroundBox.UseVisualStyleBackColor = true; + this.RunInBackgroundBox.CheckedChanged += new System.EventHandler(this.RunInBackgroundBox_CheckedChanged); + // + // BaseLineBox + // + resources.ApplyResources(this.BaseLineBox, "BaseLineBox"); + this.BaseLineBox.AccessibleRole = System.Windows.Forms.AccessibleRole.ToolTip; + this.BaseLineBox.Name = "BaseLineBox"; + this.BaseLineBox.UseVisualStyleBackColor = true; + this.BaseLineBox.CheckedChanged += new System.EventHandler(this.BaseLineBox_CheckedChanged); + // + // BaseLineTextBox + // + resources.ApplyResources(this.BaseLineTextBox, "BaseLineTextBox"); + this.BaseLineTextBox.Name = "BaseLineTextBox"; + this.BaseLineTextBox.TextChanged += new System.EventHandler(this.BaseLineTextBox_TextChanged); + // + // ImplicitArrayBoundObligationsBox + // + resources.ApplyResources(this.ImplicitArrayBoundObligationsBox, "ImplicitArrayBoundObligationsBox"); + this.ImplicitArrayBoundObligationsBox.Checked = true; + this.ImplicitArrayBoundObligationsBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.ImplicitArrayBoundObligationsBox.Name = "ImplicitArrayBoundObligationsBox"; + this.ImplicitArrayBoundObligationsBox.UseVisualStyleBackColor = true; + this.ImplicitArrayBoundObligationsBox.CheckedChanged += new System.EventHandler(this.ImplicitArrayBoundObligationsBox_CheckedChanged); + // + // ImplicitNonNullObligationsBox + // + resources.ApplyResources(this.ImplicitNonNullObligationsBox, "ImplicitNonNullObligationsBox"); + this.ImplicitNonNullObligationsBox.Checked = true; + this.ImplicitNonNullObligationsBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.ImplicitNonNullObligationsBox.Name = "ImplicitNonNullObligationsBox"; + this.ImplicitNonNullObligationsBox.UseVisualStyleBackColor = true; + this.ImplicitNonNullObligationsBox.CheckedChanged += new System.EventHandler(this.ImplicitNonNullObligationsBox_CheckedChanged); + // + // ImplicitEnumWritesBox + // + resources.ApplyResources(this.ImplicitEnumWritesBox, "ImplicitEnumWritesBox"); + this.ImplicitEnumWritesBox.Checked = true; + this.ImplicitEnumWritesBox.CheckState = System.Windows.Forms.CheckState.Checked; + this.ImplicitEnumWritesBox.Name = "ImplicitEnumWritesBox"; + this.ImplicitEnumWritesBox.UseVisualStyleBackColor = true; + this.ImplicitEnumWritesBox.CheckedChanged += new System.EventHandler(this.ImplicitEnumWritesBox_CheckedChanged); + // + // EmitContractDocumentationCheckBox + // + resources.ApplyResources(this.EmitContractDocumentationCheckBox, "EmitContractDocumentationCheckBox"); + this.EmitContractDocumentationCheckBox.Name = "EmitContractDocumentationCheckBox"; + this.EmitContractDocumentationCheckBox.UseVisualStyleBackColor = true; + this.EmitContractDocumentationCheckBox.CheckedChanged += new System.EventHandler(this.EmitContractDocumentationCheckBox_CheckedChanged); + // + // ContractReferenceAssemblySelection + // + this.ContractReferenceAssemblySelection.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList; + this.ContractReferenceAssemblySelection.FormattingEnabled = true; + this.ContractReferenceAssemblySelection.Items.AddRange(new object[] { resources.GetString("ContractReferenceAssemblySelection.Items"), resources.GetString("ContractReferenceAssemblySelection.Items1"), resources.GetString("ContractReferenceAssemblySelection.Items2")}); - resources.ApplyResources(this.ContractReferenceAssemblySelection, "ContractReferenceAssemblySelection"); - this.ContractReferenceAssemblySelection.Name = "ContractReferenceAssemblySelection"; - this.ContractReferenceAssemblySelection.SelectedIndexChanged += new System.EventHandler(this.ContractReferenceAssemblySelection_SelectedIndexChanged); - // - // VersionLabel - // - resources.ApplyResources(this.VersionLabel, "VersionLabel"); - this.VersionLabel.Name = "VersionLabel"; - this.VersionLabel.TabStop = true; - this.VersionLabel.Click += new System.EventHandler(this.VersionLabel_Click); - // - // contractReferenceAssemblyGroup - // - this.contractReferenceAssemblyGroup.Controls.Add(this.ContractReferenceAssemblySelection); - this.contractReferenceAssemblyGroup.Controls.Add(this.EmitContractDocumentationCheckBox); - resources.ApplyResources(this.contractReferenceAssemblyGroup, "contractReferenceAssemblyGroup"); - this.contractReferenceAssemblyGroup.Name = "contractReferenceAssemblyGroup"; - this.contractReferenceAssemblyGroup.TabStop = false; - // - // AssemblyModeLabel - // - resources.ApplyResources(this.AssemblyModeLabel, "AssemblyModeLabel"); - this.AssemblyModeLabel.Name = "AssemblyModeLabel"; - // - // AssemblyModeDropDown - // - this.AssemblyModeDropDown.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList; - this.AssemblyModeDropDown.FormattingEnabled = true; - this.AssemblyModeDropDown.Items.AddRange(new object[] { + resources.ApplyResources(this.ContractReferenceAssemblySelection, "ContractReferenceAssemblySelection"); + this.ContractReferenceAssemblySelection.Name = "ContractReferenceAssemblySelection"; + this.ContractReferenceAssemblySelection.SelectedIndexChanged += new System.EventHandler(this.ContractReferenceAssemblySelection_SelectedIndexChanged); + // + // VersionLabel + // + resources.ApplyResources(this.VersionLabel, "VersionLabel"); + this.VersionLabel.Name = "VersionLabel"; + this.VersionLabel.TabStop = true; + this.VersionLabel.Click += new System.EventHandler(this.VersionLabel_Click); + // + // contractReferenceAssemblyGroup + // + this.contractReferenceAssemblyGroup.Controls.Add(this.ContractReferenceAssemblySelection); + this.contractReferenceAssemblyGroup.Controls.Add(this.EmitContractDocumentationCheckBox); + resources.ApplyResources(this.contractReferenceAssemblyGroup, "contractReferenceAssemblyGroup"); + this.contractReferenceAssemblyGroup.Name = "contractReferenceAssemblyGroup"; + this.contractReferenceAssemblyGroup.TabStop = false; + // + // AssemblyModeLabel + // + resources.ApplyResources(this.AssemblyModeLabel, "AssemblyModeLabel"); + this.AssemblyModeLabel.Name = "AssemblyModeLabel"; + // + // AssemblyModeDropDown + // + this.AssemblyModeDropDown.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList; + this.AssemblyModeDropDown.FormattingEnabled = true; + this.AssemblyModeDropDown.Items.AddRange(new object[] { resources.GetString("AssemblyModeDropDown.Items"), resources.GetString("AssemblyModeDropDown.Items1")}); - resources.ApplyResources(this.AssemblyModeDropDown, "AssemblyModeDropDown"); - this.AssemblyModeDropDown.Name = "AssemblyModeDropDown"; - this.AssemblyModeDropDown.SelectedIndexChanged += new System.EventHandler(this.AssemblyModeDropDown_SelectedIndexChanged); - // - // docLink - // - resources.ApplyResources(this.docLink, "docLink"); - this.docLink.Name = "docLink"; - this.docLink.TabStop = true; - this.docLink.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.docLink_LinkClicked); - // - // help_Link - // - resources.ApplyResources(this.help_Link, "help_Link"); - this.help_Link.Name = "help_Link"; - this.help_Link.TabStop = true; - this.help_Link.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.help_Link_LinkClicked); - // - // InferEnsuresAutoPropertiesCheckBox - // - resources.ApplyResources(this.InferEnsuresAutoPropertiesCheckBox, "InferEnsuresAutoPropertiesCheckBox"); - this.InferEnsuresAutoPropertiesCheckBox.Checked = true; - this.InferEnsuresAutoPropertiesCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; - this.InferEnsuresAutoPropertiesCheckBox.Name = "InferEnsuresAutoPropertiesCheckBox"; - this.InferEnsuresAutoPropertiesCheckBox.UseVisualStyleBackColor = true; - this.InferEnsuresAutoPropertiesCheckBox.CheckedChanged += new System.EventHandler(this.InferEnsuresAutoPropertiesCheckBox_CheckedChanged); - // - // PropertyPane - // - resources.ApplyResources(this, "$this"); - this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; - this.Controls.Add(this.help_Link); - this.Controls.Add(this.docLink); - this.Controls.Add(this.AssemblyModeDropDown); - this.Controls.Add(this.AssemblyModeLabel); - this.Controls.Add(this.contractReferenceAssemblyGroup); - this.Controls.Add(this.VersionLabel); - this.Controls.Add(this.StaticCheckingGroup); - this.Controls.Add(this.AdvancedGroup); - this.Controls.Add(this.RuntimeCheckingGroup); - this.Name = "PropertyPane"; - this.Load += new System.EventHandler(this.PropertyPane_Load); - this.RuntimeCheckingGroup.ResumeLayout(false); - this.RuntimeCheckingGroup.PerformLayout(); - this.AdvancedGroup.ResumeLayout(false); - this.AdvancedGroup.PerformLayout(); - this.StaticCheckingGroup.ResumeLayout(false); - this.StaticCheckingGroup.PerformLayout(); - ((System.ComponentModel.ISupportInitialize)(this.WarningLevelTrackBar)).EndInit(); - this.contractReferenceAssemblyGroup.ResumeLayout(false); - this.contractReferenceAssemblyGroup.PerformLayout(); - this.ResumeLayout(false); - this.PerformLayout(); + resources.ApplyResources(this.AssemblyModeDropDown, "AssemblyModeDropDown"); + this.AssemblyModeDropDown.Name = "AssemblyModeDropDown"; + this.AssemblyModeDropDown.SelectedIndexChanged += new System.EventHandler(this.AssemblyModeDropDown_SelectedIndexChanged); + // + // docLink + // + resources.ApplyResources(this.docLink, "docLink"); + this.docLink.Name = "docLink"; + this.docLink.TabStop = true; + this.docLink.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.docLink_LinkClicked); + // + // help_Link + // + resources.ApplyResources(this.help_Link, "help_Link"); + this.help_Link.Name = "help_Link"; + this.help_Link.TabStop = true; + this.help_Link.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.help_Link_LinkClicked); + // + // DeferAnalysisCheckBox + // + resources.ApplyResources(this.DeferAnalysisCheckBox, "DeferAnalysisCheckBox"); + this.DeferAnalysisCheckBox.Name = "DeferAnalysisCheckBox"; + this.DeferAnalysisCheckBox.UseVisualStyleBackColor = true; + this.DeferAnalysisCheckBox.CheckedChanged += new System.EventHandler(this.DeferAnalysisCheckBox_CheckedChanged); + // + // PropertyPane + // + resources.ApplyResources(this, "$this"); + this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; + this.Controls.Add(this.help_Link); + this.Controls.Add(this.docLink); + this.Controls.Add(this.AssemblyModeDropDown); + this.Controls.Add(this.AssemblyModeLabel); + this.Controls.Add(this.contractReferenceAssemblyGroup); + this.Controls.Add(this.VersionLabel); + this.Controls.Add(this.StaticCheckingGroup); + this.Controls.Add(this.AdvancedGroup); + this.Controls.Add(this.RuntimeCheckingGroup); + this.Name = "PropertyPane"; + this.Load += new System.EventHandler(this.PropertyPane_Load); + this.RuntimeCheckingGroup.ResumeLayout(false); + this.RuntimeCheckingGroup.PerformLayout(); + this.AdvancedGroup.ResumeLayout(false); + this.AdvancedGroup.PerformLayout(); + this.StaticCheckingGroup.ResumeLayout(false); + this.StaticCheckingGroup.PerformLayout(); + ((System.ComponentModel.ISupportInitialize)(this.WarningLevelTrackBar)).EndInit(); + this.contractReferenceAssemblyGroup.ResumeLayout(false); + this.contractReferenceAssemblyGroup.PerformLayout(); + this.ResumeLayout(false); + this.PerformLayout(); } @@ -731,5 +740,6 @@ private void InitializeComponent() private System.Windows.Forms.CheckBox skipAnalysisIfCannotConnectToCache; private System.Windows.Forms.CheckBox SuggestCalleeAssumptionsCheckBox; private System.Windows.Forms.CheckBox InferEnsuresAutoPropertiesCheckBox; + private System.Windows.Forms.CheckBox DeferAnalysisCheckBox; } } diff --git a/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.cs b/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.cs index c41decc4..3a93aeb3 100644 --- a/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.cs +++ b/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.cs @@ -76,7 +76,9 @@ public PropertyPane() new CheckBoxProperty("CodeContractsCacheAnalysisResults", CacheResultsCheckBox, true), new CheckBoxProperty("CodeContractsSkipAnalysisIfCannotConnectToCache", skipAnalysisIfCannotConnectToCache, false), new CheckBoxProperty("CodeContractsFailBuildOnWarnings", FailBuildOnWarningsCheckBox, false), - new CheckBoxProperty("CodeContractsBeingOptimisticOnExternal", BeingOptmisticOnExternalCheckBox, true) + new CheckBoxProperty("CodeContractsBeingOptimisticOnExternal", BeingOptmisticOnExternalCheckBox, true), + + new CheckBoxProperty("CodeContractsDeferCodeAnalysis", DeferAnalysisCheckBox, false) }; } @@ -173,6 +175,8 @@ private void EnableDisableStaticDependentUI() AssertsToContractsCheckBox.Enabled = enabled; NecessaryEnsuresCheckBox.Enabled = enabled; RedundantTestsCheckBox.Enabled = enabled; + + DeferAnalysisCheckBox.Enabled = enabled; #endif } @@ -199,9 +203,15 @@ private void EnableDisableBaseLineUI() private void EnableDisableBackgroundDependentUI() { // Enable/Disable dependent options - FailBuildOnWarningsCheckBox.Enabled = IsUnChecked(RunInBackgroundBox.CheckState) && IsChecked(EnableStaticCheckingBox.CheckState); + FailBuildOnWarningsCheckBox.Enabled = IsUnChecked(RunInBackgroundBox.CheckState) && IsChecked(EnableStaticCheckingBox.CheckState) && IsUnChecked(DeferAnalysisCheckBox.CheckState); } + private void EnableDisableDeferDependentUI() + { + RunInBackgroundBox.Enabled = IsUnChecked(DeferAnalysisCheckBox.CheckState) && IsChecked(EnableStaticCheckingBox.CheckState); + EnableDisableBackgroundDependentUI(); + } + private void EnableDisableCacheDependendUI() { SQLServerTextBox.Enabled = IsChecked(CacheResultsCheckBox.CheckState) && IsChecked(EnableStaticCheckingBox.CheckState); @@ -297,7 +307,8 @@ public void LoadProperties(string[] configNames, IPropertyStorage storage) EnableDisableBaseLineUI(); - EnableDisableBackgroundDependentUI(); + EnableDisableDeferDependentUI(); + EnableDisableBackgroundDependentUI(); EnableDisableCacheDependendUI(); @@ -427,6 +438,8 @@ private void EnableStaticCheckingBox_CheckedChanged(object sender, EventArgs e) { PropertiesChanged(); EnableDisableStaticDependentUI(); + EnableDisableDeferDependentUI(); + EnableDisableBackgroundDependentUI(); } private void LibPathTextBox_TextChanged(object sender, EventArgs e) @@ -747,5 +760,11 @@ private void InferEnsuresAutoPropertiesCheckBox_CheckedChanged(object sender, Ev { this.PropertiesChanged(); } + + private void DeferAnalysisCheckBox_CheckedChanged(object sender, EventArgs e) + { + this.PropertiesChanged(); + EnableDisableDeferDependentUI(); + } } } diff --git a/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.resx b/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.resx index 0fa29525..31c1ffa9 100644 --- a/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.resx +++ b/Microsoft.Research/ManagedContractsVSPropertyPane/PropertyPane.resx @@ -123,14 +123,10 @@ - 12, 29 - - - - 4, 5, 4, 5 + 8, 19 - 290, 24 + 195, 17 11 @@ -154,13 +150,10 @@ True - 12, 37 - - - 4, 5, 4, 5 + 8, 24 - 271, 24 + 183, 17 41 @@ -178,16 +171,13 @@ StaticCheckingGroup - 35 + 36 - 279, 35 - - - 4, 5, 4, 5 + 186, 23 - 544, 26 + 364, 20 92 @@ -208,13 +198,10 @@ True - 38, 42 - - - 4, 0, 4, 0 + 25, 27 - 207, 20 + 138, 13 91 @@ -238,13 +225,10 @@ True - 38, 83 - - - 4, 0, 4, 0 + 25, 54 - 232, 20 + 155, 13 93 @@ -265,13 +249,10 @@ 5 - 279, 78 - - - 4, 5, 4, 5 + 186, 51 - 544, 26 + 364, 20 94 @@ -289,13 +270,10 @@ 3 - 390, 85 - - - 4, 5, 4, 5 + 260, 55 - 148, 26 + 100, 20 17 @@ -316,13 +294,10 @@ True - 334, 89 - - - 4, 0, 4, 0 + 223, 58 - 48, 20 + 32, 13 16 @@ -346,13 +321,10 @@ True - 38, 89 - - - 4, 0, 4, 0 + 25, 58 - 77, 20 + 51, 13 14 @@ -373,13 +345,10 @@ 9 - 118, 85 - - - 4, 5, 4, 5 + 79, 55 - 205, 26 + 138, 20 15 @@ -400,13 +369,10 @@ True - 38, 60 - - - 4, 0, 4, 0 + 25, 39 - 193, 20 + 128, 13 13 @@ -487,16 +453,10 @@ 4 - 4, 52 - - - 4, 5, 4, 5 - - - 4, 5, 4, 5 + 3, 34 - 836, 148 + 557, 96 10 @@ -519,17 +479,15 @@ True + NoControl - 574, 117 - - - 4, 5, 4, 5 + 383, 76 - 147, 24 + 100, 17 21 @@ -553,13 +511,10 @@ True - 574, 88 - - - 4, 5, 4, 5 + 383, 57 - 229, 24 + 155, 17 20 @@ -583,13 +538,10 @@ True - 574, 58 - - - 4, 5, 4, 5 + 383, 38 - 220, 24 + 147, 17 19 @@ -613,13 +565,10 @@ True - 574, 29 - - - 4, 5, 4, 5 + 383, 19 - 245, 24 + 167, 17 18 @@ -658,13 +607,10 @@ None - 314, 23 - - - 4, 5, 4, 5 + 209, 15 - 156, 28 + 105, 21 12 @@ -706,16 +652,10 @@ 1 - 9, 914 - - - 4, 5, 4, 5 - - - 4, 5, 4, 5 + 6, 594 - 836, 168 + 557, 109 90 @@ -736,13 +676,10 @@ 7 - 279, 118 - - - 4, 5, 4, 5 + 186, 77 - 544, 26 + 364, 20 96 @@ -763,13 +700,10 @@ True - 38, 123 - - - 4, 0, 4, 0 + 25, 80 - 213, 20 + 143, 13 95 @@ -799,13 +733,10 @@ NoControl - 284, 360 - - - 4, 5, 4, 5 + 189, 234 - 259, 24 + 172, 17 1009 @@ -832,13 +763,10 @@ NoControl - 284, 218 - - - 4, 5, 4, 5 + 189, 142 - 229, 24 + 154, 17 1008 @@ -865,13 +793,10 @@ NoControl - 330, 437 - - - 4, 5, 4, 5 + 220, 284 - 344, 24 + 236, 17 1007 @@ -898,13 +823,10 @@ NoControl - 549, 143 - - - 4, 5, 4, 5 + 366, 93 - 243, 24 + 165, 17 1006 @@ -931,13 +853,10 @@ NoControl - 594, 25 - - - 4, 0, 4, 0 + 396, 16 - 238, 20 + 164, 13 91 @@ -964,13 +883,10 @@ NoControl - 284, 289 - - - 4, 5, 4, 5 + 189, 188 - 232, 24 + 156, 17 1005 @@ -997,13 +913,10 @@ NoControl - 40, 289 - - - 4, 5, 4, 5 + 27, 188 - 239, 24 + 160, 17 1004 @@ -1030,13 +943,10 @@ NoControl - 284, 183 - - - 4, 5, 4, 5 + 189, 119 - 245, 24 + 167, 17 1003 @@ -1063,13 +973,10 @@ NoControl - 284, 254 - - - 4, 5, 4, 5 + 189, 165 - 200, 24 + 135, 17 1002 @@ -1096,13 +1003,10 @@ NoControl - 361, 481 - - - 4, 5, 4, 5 + 241, 313 - 237, 24 + 160, 17 1001 @@ -1129,13 +1033,10 @@ NoControl - 284, 143 - - - 4, 5, 4, 5 + 189, 93 - 243, 24 + 165, 17 51 @@ -1162,13 +1063,10 @@ NoControl - 226, 397 - - - 4, 0, 4, 0 + 151, 258 - 91, 20 + 62, 13 62 @@ -1198,16 +1096,13 @@ StaticCheckingGroup - 20 + 21 - 329, 394 - - - 4, 5, 4, 5 + 219, 256 - 463, 26 + 310, 20 65 @@ -1231,13 +1126,10 @@ NoControl - 40, 218 - - - 4, 5, 4, 5 + 27, 142 - 208, 24 + 140, 17 53 @@ -1264,13 +1156,10 @@ NoControl - 284, 325 - - - 4, 5, 4, 5 + 189, 211 - 226, 24 + 153, 17 58 @@ -1290,6 +1179,36 @@ 14 + + True + + + NoControl + + + 366, 119 + + + 166, 17 + + + 59 + + + Create checking artifacts only + + + DeferAnalysisCheckBox + + + System.Windows.Forms.CheckBox, System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089 + + + StaticCheckingGroup + + + 15 + True @@ -1297,13 +1216,10 @@ NoControl - 549, 254 - - - 4, 5, 4, 5 + 366, 165 - 217, 24 + 148, 17 59 @@ -1321,7 +1237,7 @@ StaticCheckingGroup - 15 + 16 True @@ -1330,13 +1246,10 @@ NoControl - 283, 458 - - - 4, 0, 4, 0 + 189, 298 - 21, 20 + 15, 13 1000 @@ -1354,19 +1267,16 @@ StaticCheckingGroup - 16 + 17 True - 178, 458 - - - 4, 0, 4, 0 + 119, 298 - 32, 20 + 23, 13 1000 @@ -1384,16 +1294,13 @@ StaticCheckingGroup - 17 + 18 - 166, 481 - - - 4, 5, 4, 5 + 111, 313 - 152, 69 + 101, 45 74 @@ -1408,7 +1315,7 @@ StaticCheckingGroup - 18 + 19 True @@ -1417,13 +1324,10 @@ NoControl - 43, 504 - - - 4, 0, 4, 0 + 29, 328 - 113, 20 + 79, 13 73 @@ -1441,7 +1345,7 @@ StaticCheckingGroup - 19 + 20 True @@ -1450,13 +1354,10 @@ NoControl - 40, 393 - - - 4, 5, 4, 5 + 27, 255 - 132, 24 + 90, 17 61 @@ -1474,19 +1375,16 @@ StaticCheckingGroup - 20 + 21 True - 40, 183 - - - 4, 5, 4, 5 + 27, 119 - 217, 24 + 147, 17 52 @@ -1504,19 +1402,16 @@ StaticCheckingGroup - 21 + 22 True - 40, 325 - - - 4, 5, 4, 5 + 27, 211 - 129, 24 + 87, 17 54 @@ -1534,7 +1429,7 @@ StaticCheckingGroup - 22 + 23 True @@ -1546,13 +1441,10 @@ NoControl - 40, 359 - - - 4, 5, 4, 5 + 27, 233 - 129, 24 + 87, 17 56 @@ -1570,7 +1462,7 @@ StaticCheckingGroup - 23 + 24 True @@ -1579,13 +1471,10 @@ NoControl - 40, 254 - - - 4, 5, 4, 5 + 27, 165 - 156, 24 + 105, 17 55 @@ -1603,16 +1492,13 @@ StaticCheckingGroup - 24 + 25 - 748, 549 - - - 4, 5, 4, 5 + 499, 357 - 80, 35 + 53, 23 72 @@ -1630,19 +1516,16 @@ StaticCheckingGroup - 25 + 26 True - 284, 108 - - - 4, 5, 4, 5 + 189, 70 - 153, 24 + 105, 17 46 @@ -1660,7 +1543,7 @@ StaticCheckingGroup - 26 + 27 True @@ -1669,13 +1552,10 @@ NoControl - 549, 72 - - - 4, 5, 4, 5 + 366, 47 - 186, 24 + 127, 17 44 @@ -1693,19 +1573,16 @@ StaticCheckingGroup - 27 + 28 True - 284, 72 - - - 4, 5, 4, 5 + 189, 47 - 149, 24 + 102, 17 43 @@ -1723,19 +1600,16 @@ StaticCheckingGroup - 28 + 29 True - 40, 72 - - - 4, 5, 4, 5 + 27, 47 - 184, 24 + 128, 17 42 @@ -1753,7 +1627,7 @@ StaticCheckingGroup - 29 + 30 Produce or use a baseline to filter warnings @@ -1762,13 +1636,10 @@ True - 42, 558 - - - 4, 5, 4, 5 + 28, 363 - 96, 24 + 66, 17 70 @@ -1786,16 +1657,13 @@ StaticCheckingGroup - 30 + 31 - 150, 554 - - - 4, 5, 4, 5 + 100, 360 - 588, 26 + 393, 20 71 @@ -1810,19 +1678,16 @@ StaticCheckingGroup - 31 + 32 True - 549, 108 - - - 4, 5, 4, 5 + 366, 70 - 180, 24 + 124, 17 47 @@ -1840,19 +1705,16 @@ StaticCheckingGroup - 32 + 33 True - 42, 112 - - - 4, 5, 4, 5 + 28, 73 - 144, 24 + 100, 17 45 @@ -1870,7 +1732,7 @@ StaticCheckingGroup - 33 + 34 True @@ -1879,13 +1741,10 @@ NoControl - 40, 148 - - - 4, 5, 4, 5 + 27, 96 - 173, 24 + 119, 17 50 @@ -1903,19 +1762,13 @@ StaticCheckingGroup - 34 + 35 - 4, 209 - - - 4, 5, 4, 5 - - - 4, 5, 4, 5 + 3, 136 - 836, 620 + 557, 403 40 @@ -1942,13 +1795,10 @@ True - 360, 29 - - - 4, 5, 4, 5 + 240, 19 - 258, 24 + 175, 17 82 @@ -1978,13 +1828,10 @@ DoNotBuild - 12, 26 - - - 4, 5, 4, 5 + 8, 17 - 156, 28 + 105, 21 81 @@ -2005,13 +1852,10 @@ True - 730, 42 - - - 4, 0, 4, 0 + 487, 27 - 59, 20 + 41, 13 2 @@ -2035,16 +1879,10 @@ 5 - 9, 838 - - - 4, 5, 4, 5 - - - 4, 5, 4, 5 + 6, 545 - 836, 66 + 557, 43 80 @@ -2068,13 +1906,10 @@ True - 4, 18 - - - 4, 0, 4, 0 + 3, 12 - 125, 20 + 84, 13 0 @@ -2101,13 +1936,10 @@ Standard Contract Requires - 138, 12 - - - 4, 5, 4, 5 + 92, 8 - 336, 28 + 225, 21 1 @@ -2131,13 +1963,10 @@ True - 726, 17 - - - 4, 0, 4, 0 + 484, 11 - 118, 20 + 79, 13 3 @@ -2164,13 +1993,10 @@ NoControl - 664, 17 - - - 4, 0, 4, 0 + 443, 11 - 42, 20 + 29, 13 2 @@ -2194,16 +2020,13 @@ True - 9, 20 + 6, 13 True - - 4, 5, 4, 5 - - 867, 1102 + 578, 716 WarningLevelToolTip