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