/// <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(); }