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"));
}
