2 using System.Collections.Generic;
3 using System.Diagnostics.Contracts;
7 using System.Threading;
9 namespace Pithos.Interfaces
11 [ContractClass(typeof(IStatusCheckerContract))]
12 public interface IStatusChecker
14 FileOverlayStatus GetFileOverlayStatus(string path);
16 PithosStatus GetPithosStatus();
20 [ContractClassFor(typeof(IStatusChecker))]
21 public abstract class IStatusCheckerContract:IStatusChecker
23 public FileOverlayStatus GetFileOverlayStatus(string path)
25 Contract.Requires(!String.IsNullOrWhiteSpace(path),"Null or empty paths not allowed");
27 return default(FileOverlayStatus);
30 public PithosStatus GetPithosStatus()
32 return default(PithosStatus);
37 public enum FileOverlayStatus
46 public enum PithosStatus