Synnefo » Pithos MS Client

using System;

using System.Collections.Generic;

using System.Diagnostics.Contracts;

using System.Linq;

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);

        FileOverlayStatus GetFileOverlayStatus(string path);

        IEnumerable<string> StoreUnversionedFiles(ParallelQuery<string> paths);

        void Stop();

    }

    [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 FileOverlayStatus GetFileOverlayStatus(string path)

        {

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

            return default(FileOverlayStatus);

        }

        public IEnumerable<string> StoreUnversionedFiles(ParallelQuery<string> paths)

        {

            Contract.Requires(paths!=null);

            return default(IEnumerable<string>);

        }

        public void Stop()

        {

        }

        public void ClearFileStatus(string path)

        {

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

        }

        public void SetPithosStatus(PithosStatus status)

        {

        }

    }

}