public void SaveProperties(string[] configNames, IPropertyStorage storage)
{
Contract.Assume(storage != null);
foreach (var prop in properties)
{
Contract.Assume(prop != null);
prop.Save(configNames, storage);
}
if (AssemblyModeDropDown.SelectedItem != null)
{
storage.SetProperty(false, "", AssemblyModeName, AssemblyModeDropDown.SelectedIndex.ToString());
}
if (RuntimeCheckingLevelDropDown.SelectedItem != null)
{
storage.SetProperties(false, configNames, RuntimeCheckingLevelName, RuntimeCheckingLevelDropDown.SelectedItem.ToString());
}
if (ContractReferenceAssemblySelection.SelectedItem != null)
{
storage.SetProperties(false, configNames, ContractReferenceAssemblyName, ContractReferenceAssemblySelection.SelectedItem.ToString());
}
storage.SetProperties(false, configNames, WarningLevelName, WarningLevelTrackBar.Value.ToString());
}
/// <summary>
/// Save the textbox state to its associated msbuild property
/// </summary>
/// <param name="configNames">The set of configurations</param>
/// <param name="storage">The property storage</param>
public override void Save(string[] configNames, IPropertyStorage storage)
{
if (box.Text != null && box.Modified)
{ // only save on modification
storage.SetProperties(perUser, configNames, propertyName, box.Text);
}
}
/// <summary>
/// Save the negated checkbox state to its associated msbuild property
/// </summary>
/// <param name="configNames">The set of configurations</param>
/// <param name="storage">The property storage</param>
public override void Save(string[] configNames, IPropertyStorage storage)
{
if (box.CheckState != CheckState.Indeterminate)
{
storage.SetProperties(perUser, configNames, propertyName, !box.Checked);
}
}
// Save the UI settings to the property storage
public void SaveProperties(string[] configNames, IPropertyStorage storage)
{
storage.SetProperties(true, configNames, "UseContracts", this.useContractsCheck.Checked);
storage.SetProperties(true, configNames, "ProduceContractAssembly", this.produceContractAssemblyCheck.Checked);
storage.SetProperties(true, configNames, "Verify", this.useVerifier.Checked);
storage.SetProperties(true, configNames, "ReferenceTypesAreNonNullByDefault", this.nonNullByDefault.Checked);
storage.SetProperties(true, configNames, "ProgramVerifierCommandLineOptions", this.verifyopts.Text);
storage.SetProperties(true, configNames, "DisabledContractFeatures", this.GetDisabledList());
storage.SetProperties(true, configNames, "CheckContractAdmissibility", this.checkContracts.Checked);
storage.SetProperties(true, configNames, "CheckPurity", this.checkPurity.Checked);
}
public override void Save(string[] configNames, IPropertyStorage storage)
{
if (box.Text != null)
{
storage.SetProperties(false, configNames, propertyName, box.Text);
#if false
if (box.Text != defaultValue)
{
storage.SetProperties(false, configNames, propertyName, box.Text);
}
else
{
// don't clutter csproj file
foreach (var config in configNames)
{
storage.RemoveProperty(false, config, propertyName);
}
}
#endif
}
}
public override void Save(string[] configNames, IPropertyStorage storage)
{
if (box.CheckState != CheckState.Indeterminate)
{
storage.SetProperties(false, configNames, propertyName, !box.Checked);
#if false
if (box.Checked != defaultValue)
{
storage.SetProperties(false, configNames, propertyName, !box.Checked);
}
else
{
// don't clutter csproj file
foreach (var config in configNames)
{
storage.RemoveProperty(false, config, propertyName);
}
}
#endif
}
}
public override void Save(string[] configNames, IPropertyStorage storage)
{
if (box.CheckState != CheckState.Indeterminate)
{
storage.SetProperties(false, configNames, propertyName, box.Checked);
// TODO: avoid saving default values, once removing works
#if false
if (box.Checked != defaultValue)
{
storage.SetProperties(false, configNames, propertyName, box.Checked);
}
else
{
// don't clutter csproj file
foreach (var config in configNames)
{
storage.RemoveProperty(false, config, propertyName);
}
}
#endif
}
}
public override void Save(string[] configNames, IPropertyStorage storage)
{
if (box.Text != null)
{
storage.SetProperties(false, configNames, propertyName, box.Text);
#if false
if (box.Text != defaultValue)
{
storage.SetProperties(false, configNames, propertyName, box.Text);
}
else
{
// don't clutter csproj file
foreach (var config in configNames)
{
storage.RemoveProperty(false, config, propertyName);
}
}
#endif
}
}
// Save the UI settings to the property storage
public void SaveProperties(string[] configNames, IPropertyStorage storage)
{
storage.SetProperties(true, configNames, "UseContracts", this.useContractsCheck.Checked);
storage.SetProperties(true, configNames, "ProduceContractAssembly", this.produceContractAssemblyCheck.Checked);
storage.SetProperties(true, configNames, "Verify", this.useVerifier.Checked);
storage.SetProperties(true, configNames, "ReferenceTypesAreNonNullByDefault", this.nonNullByDefault.Checked);
storage.SetProperties(true, configNames, "ProgramVerifierCommandLineOptions", this.verifyopts.Text);
storage.SetProperties(true, configNames, "DisabledContractFeatures", this.GetDisabledList());
storage.SetProperties(true, configNames, "CheckContractAdmissibility", this.checkContracts.Checked);
storage.SetProperties(true, configNames, "CheckPurity", this.checkPurity.Checked);
}
/// <summary>
/// Save the textbox state to its associated msbuild property
/// </summary>
/// <param name="configNames">The set of configurations</param>
/// <param name="storage">The property storage</param>
public override void Save(string[] configNames, IPropertyStorage storage)
{
if (box.Text != null && box.Modified)
{ // only save on modification
storage.SetProperties(perUser, configNames, propertyName, box.Text);
}
}
/// <summary>
/// Save the negated checkbox state to its associated msbuild property
/// </summary>
/// <param name="configNames">The set of configurations</param>
/// <param name="storage">The property storage</param>
public override void Save(string[] configNames, IPropertyStorage storage)
{
if (box.CheckState != CheckState.Indeterminate)
{
storage.SetProperties(perUser, configNames, propertyName, !box.Checked);
}
}
public void SaveProperties(string[] configNames, IPropertyStorage storage)
{
Contract.Assume(storage != null);
foreach (var prop in properties)
{
Contract.Assume(prop != null);
prop.Save(configNames, storage);
}
if (AssemblyModeDropDown.SelectedItem != null)
{
storage.SetProperty(false, "", AssemblyModeName, AssemblyModeDropDown.SelectedIndex.ToString());
}
if (RuntimeCheckingLevelDropDown.SelectedItem != null)
{
storage.SetProperties(false, configNames, RuntimeCheckingLevelName, RuntimeCheckingLevelDropDown.SelectedItem.ToString());
}
if (ContractReferenceAssemblySelection.SelectedItem != null)
{
storage.SetProperties(false, configNames, ContractReferenceAssemblyName, ContractReferenceAssemblySelection.SelectedItem.ToString());
}
storage.SetProperties(false, configNames, WarningLevelName, WarningLevelTrackBar.Value.ToString());
}
