2 using System.Collections.Generic;
3 using System.Diagnostics.Contracts;
6 using System.Threading;
8 namespace Pithos.Interfaces
10 [ContractClass(typeof(IStatusCheckerContract))]
11 public interface IStatusChecker
13 FileOverlayStatus GetFileOverlayStatus(string path);
15 PithosStatus GetPithosStatus();
19 [ContractClassFor(typeof(IStatusChecker))]
20 public abstract class IStatusCheckerContract:IStatusChecker
22 public FileOverlayStatus GetFileOverlayStatus(string path)
24 Contract.Requires(!String.IsNullOrWhiteSpace(path),"Null or empty paths not allowed");
26 return default(FileOverlayStatus);
29 public PithosStatus GetPithosStatus()
31 return default(PithosStatus);
36 public enum FileOverlayStatus
45 public enum PithosStatus