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