public void SaveAndLoadSettingsPUT1([PexAssumeUnderTest] MemorySettingsStorage storage1, [PexAssumeUnderTest] String settingName, [PexAssumeNotNull] Object settingValue)
{
PexAssume.IsTrue(settingName != null);
PexAssume.IsTrue(settingValue != null);
PexAssume.IsTrue(storage1.GetSetting(settingName) == null);
storage1.SaveSetting(settingName, settingValue);
PexAssume.AreEqual(settingValue, storage1.GetSetting(settingName));
}
public void RemoveSettingsPUT1([PexAssumeUnderTest] MemorySettingsStorage storage1, [PexAssumeUnderTest] String settingName, [PexAssumeNotNull] Object settingValue)
{
PexAssume.IsTrue(settingName != null);
PexAssume.IsTrue(settingValue != null);
PexAssume.IsTrue(storage1.GetSetting(settingName) == null);
storage1.SaveSetting(settingName, settingValue);
storage1.RemoveSetting(settingName);
PexAssert.IsNull(storage1.GetSetting(settingName));
}
public void SaveAndLoadSettings()
{
Assert.IsNull(storage.GetSetting("X"), "X is not null");
Assert.IsNull(storage.GetSetting("NAME"), "NAME is not null");
storage.SaveSetting("X", 5);
storage.SaveSetting("NAME", "Charlie");
Assert.AreEqual(5, storage.GetSetting("X"));
Assert.AreEqual("Charlie", storage.GetSetting("NAME"));
}
public static MemorySettingsStorage Create([PexAssumeUnderTest] String[] settingNames, [PexAssumeNotNull] Object[] settingValues)
{
PexAssume.IsTrue(settingNames.Length == settingValues.Length);
PexAssume.IsTrue(settingNames.Length > 0);
MemorySettingsStorage memorySettingsStorage = new MemorySettingsStorage();
for (int count = 0; count < settingNames.Length; count++)
{
PexAssume.IsTrue(settingValues[count] is string || settingValues[count] is int || settingValues[count] is bool);
memorySettingsStorage.SaveSetting(settingNames[count], settingValues[count]);
}
return(memorySettingsStorage);
}
