Revision dccd340f trunk/Pithos.Core/Agents/FileSystemWatcherAdapter.cs
b/trunk/Pithos.Core/Agents/FileSystemWatcherAdapter.cs | ||
---|---|---|
94 | 94 |
throw new ArgumentException("e"); |
95 | 95 |
if (string.IsNullOrWhiteSpace(e.FullPath)) |
96 | 96 |
throw new ArgumentException("e"); |
97 |
Contract.Ensures(!String.IsNullOrWhiteSpace(_cachedDeletedFullPath)); |
|
98 | 97 |
Contract.EndContractBlock(); |
99 | 98 |
|
100 | 99 |
TaskEx.Run(() => InnerOnDeleted(sender, e)); |
... | ... | |
134 | 133 |
{ |
135 | 134 |
if (sender == null) |
136 | 135 |
throw new ArgumentNullException("sender"); |
137 |
Contract.Ensures(_cachedDeletedFullPath == null); |
|
138 | 136 |
Contract.EndContractBlock(); |
139 | 137 |
|
140 | 138 |
TaskEx.Run(() => InnerRename(sender, e)); |
... | ... | |
196 | 194 |
throw new ArgumentNullException("sender"); |
197 | 195 |
if (!(e.ChangeType == WatcherChangeTypes.Created || e.ChangeType == WatcherChangeTypes.Changed)) |
198 | 196 |
throw new ArgumentException("e"); |
199 |
Contract.Ensures(_cachedDeletedFullPath == null); |
|
200 | 197 |
Contract.EndContractBlock(); |
201 | 198 |
TaskEx.Run(() => InnerChangeOrCreated(sender, e)); |
202 | 199 |
|
Also available in: Unified diff