using System.Diagnostics.Contracts;
using System.IO;
using System.Linq;
+using System.Threading;
using Pithos.Interfaces;
namespace Pithos.Core
void SetStatus(string path, Action<FileState> setter);
void SetNetworkState(string fileName, NetworkState uploading);
NetworkState GetNetworkState(string fileName);
+
+ void StartProcessing(CancellationToken token);
+
}
[ContractClassFor(typeof(IStatusKeeper))]
public void SetPithosStatus(PithosStatus status)
{
}
+
+ public void StartProcessing(CancellationToken token)
+ {
+ Contract.Requires(token != null, "token can't be empty");
+ }
+
}
}