/// <summary>
/// Creates an empty snapshot.
/// </summary>
public EmptyWaveletSnapshot(WaveId waveId, WaveletId waveletId, ParticipantId creator, HashedVersion version, DateTime creationTime)
{
WaveId = waveId;
WaveletId = waveletId;
Creator = creator;
HashedVersion = version;
CreationTime = creationTime;
}
public IWaveletData CreateWavelet(WaveletId waveletId)
{
//Contract.Requires(!_wavelets.ContainsKey(waveletId), "Duplicate wavelet id: " + waveletId);
throw new NotImplementedException();
//IWaveletData wavelet = new WaveletData(_waveId, waveletId);
//_wavelets.Add(waveletId, wavelet);
//return wavelet;
}
public void RemoveWavelet(WaveletId waveletId)
{
//Contract.Ensures(_wavelets.Remove(waveletId), waveletId + " is not present");
}
public IWaveletData GetWavelet(WaveletId waveletId)
{
return _wavelets[waveletId];
}
public string SerializeWaveletId(WaveletId waveletId)
{
return waveletId.Domain + PartSeparator + waveletId.Id;
}
public string SerializeWaveletId(WaveletId waveletId)
{
return new StringBuilder(waveletId.Domain).Append(SEP).Append(waveletId.Id).ToString();
}
