Synnefo » Pithos MS Client

using System;

using System.Diagnostics.Contracts;

using Pithos.Interfaces;

namespace Pithos.Core

{

    [ContractClass(typeof(IStatusKeeperContract))]

    public interface IStatusKeeper

    {

        void SetFileOverlayStatus(string path,FileOverlayStatus status);

        void UpdateFileChecksum(string path, string checksum);

        void RemoveFileOverlayStatus(string path);

        void SetFileStatus(string path, FileStatus status);

        FileStatus GetFileStatus(string path);

        void ClearFileStatus(string path);

        void SetPithosStatus(PithosStatus status);

    }

    [ContractClassFor(typeof(IStatusKeeper))]

    public abstract class IStatusKeeperContract : IStatusKeeper

    {

        public void SetFileOverlayStatus(string path, FileOverlayStatus status)

        {

            Contract.Requires(!String.IsNullOrWhiteSpace(path));

        }

        public void UpdateFileChecksum(string path, string checksum)

        {

            Contract.Requires(!String.IsNullOrWhiteSpace(path));

            Contract.Requires(checksum!=null);

        }

        public void RemoveFileOverlayStatus(string path)

        {

            Contract.Requires(!String.IsNullOrWhiteSpace(path));

        }

        public void RenameFileOverlayStatus(string oldPath, string newPath)

        {

            Contract.Requires(!String.IsNullOrWhiteSpace(oldPath));

            Contract.Requires(!String.IsNullOrWhiteSpace(newPath));

        }

        public void SetFileStatus(string path, FileStatus status)

        {

            Contract.Requires(!String.IsNullOrWhiteSpace(path));

        }

        public FileStatus GetFileStatus(string path)

        {

            Contract.Requires(!String.IsNullOrWhiteSpace(path));

            return default(FileStatus);

        }

        public void ClearFileStatus(string path)

        {

            Contract.Requires(!String.IsNullOrWhiteSpace(path));

        }

        public void SetPithosStatus(PithosStatus status)

        {

        }

    }

}