コード例 #1
0
        /// <summary>
        /// Initializes a new instance of the <see cref="BoardStreamRepository"/> class.
        /// </summary>
        /// <param name="streamManager">Underlying stream manager.</param>
        public BoardStreamRepository(IStreamManager streamManager)
        {
            ContractExtensions.IsNotNull(streamManager, "streamManager");
            Contract.Ensures(this.streamManager != null);
            Contract.EndContractBlock();

            this.streamManager = streamManager;
        }
コード例 #2
0
        /// <summary>
        /// Initializes a new instance of the <see cref="CloudBlobStreamManager"/> class.
        /// </summary>
        /// <param name="container">The container in which the boards should be stored.</param>
        public CloudBlobStreamManager(CloudBlobContainer container)
        {
            ContractExtensions.IsNotNull(container, "container");
            Contract.Ensures(this.container != null);
            Contract.EndContractBlock();

            this.container = container;
        }
コード例 #3
0
ファイル: Board.cs プロジェクト: luis-crossover/testwithfakes
        public static Board FromBytes(byte[] source)
        {
            // The following lines represent the contracts that are checked even in release builds.
            // Commonly used contracts were extracted into the ContractExtensions helper class.
            // Note the use of the ContractArgumentValidator attribute in the helper methods.

            // Note that you can set the 'Emit contracts into XML doc file' project option for
            // code contracts. If you do so, Sandcastle will include the contract in the generated
            // documentation.

            ContractExtensions.IsNotNull(source, "source");
            ContractExtensions.IsArgumentInRange(source.Length == 9 * 9, "source", "Source does not have correct size (9 * 9 = 81 elements)");
            if (Contract.ForAll(source, cellValue => cellValue < 0 || cellValue > 9))
            {
                throw new ArgumentException("Source contains invalid values");
            }

            Contract.EndContractBlock();

            var result = new Board();

            try
            {
                for (byte rowIndex = 0, index = 0; rowIndex < 9; rowIndex++)
                {
                    for (byte columnIndex = 0; columnIndex < 9; columnIndex++, index++)
                    {
                        // Store content of source[index] in a variable because it is accessed multiple times.
                        var cellValue = source[index];

                        // Ignore zero
                        if (cellValue != 0)
                        {
                            // Note that it is not necessary to protect board bytes because result
                            // has just been created and nobody else has a reference on it.
                            if (!Board.TrySetCellInternal(result.content, rowIndex, columnIndex, cellValue))
                            {
                                throw new BoardException(string.Format(
                                                             CultureInfo.InvariantCulture,
                                                             "Specified source contains invalid value {0} in cell (row {1}, column {2})",
                                                             cellValue,
                                                             rowIndex,
                                                             columnIndex));
                            }
                        }
                    }
                }
            }
            catch
            {
                // Dispose created board in case of an exception
                result.Dispose();
                throw;
            }

            return(result);
        }
コード例 #4
0
        public static Task <Board> LoadFromFileAsync(string boardName, string boardsDirectory = null)
        {
            ContractExtensions.IsNotNull(boardName, "boardName");
            Contract.EndContractBlock();

            var streamManager = boardsDirectory == null ? new FileStreamManager() : new FileStreamManager(boardsDirectory);
            var repository    = new BoardStreamRepository(streamManager);

            return(repository.LoadAsync(boardName));
        }
コード例 #5
0
        /// <summary>
        /// Loads board from Azure Blob Storage asynchronously.
        /// </summary>
        /// <param name="accountName">Name of the Windows Azure Storage account.</param>
        /// <param name="accountKey">Key for the Windows Azure Storaeg account.</param>
        /// <param name="containerName">Container in which boards are stored.</param>
        /// <param name="boardName">Name of the board.</param>
        /// <returns>
        /// A task that represents the asynchronous operation. The value of the
        /// TResult parameter contains the loaded board.
        /// </returns>
        public static Task <Board> LoadFromBlobStorageAsync(string accountName, string accountKey, string containerName, string boardName)
        {
            ContractExtensions.IsNotNull(accountName, "accountName");
            ContractExtensions.IsNotNull(accountKey, "accountKey");
            ContractExtensions.IsNotNull(containerName, "containerName");
            Contract.EndContractBlock();

            var credentials = new StorageCredentials(accountName, accountKey);
            var account     = new CloudStorageAccount(credentials, true);
            var client      = account.CreateCloudBlobClient();
            var container   = client.GetContainerReference(containerName);
            var repository  = new BoardStreamRepository(new CloudBlobStreamManager(container));

            return(repository.LoadAsync(boardName));
        }
コード例 #6
0
        /// <summary>
        /// Saves the board using the specified name
        /// </summary>
        /// <param name="boardName">Name of the board.</param>
        /// <param name="board">The board to save.</param>
        /// <returns>A task that represents the asynchronous operation.</returns>
        public async Task SaveAsync(string boardName, Board board)
        {
            ContractExtensions.IsNotNull(boardName, "boardName");
            ContractExtensions.IsNotNull(board, "board");
            Contract.Ensures(Contract.Result <Task>() != null);
            Contract.EndContractBlock();

            // Open underlying stream for writing
            using (var stream = await this.streamManager.OpenStreamAsync(boardName, AccessMode.Write))
            {
                // Get byte array from board and save it.
                var boardData = (byte[])board;

                // Note the use of ConfigureAwait(false) here.
                await stream.WriteAsync(boardData, 0, boardData.Length)
                .ConfigureAwait(false);
            }
        }
コード例 #7
0
ファイル: Board.cs プロジェクト: luis-crossover/testwithfakes
        /// <summary>
        /// Converts <see cref="Board"/> instance to bytes.
        /// </summary>
        /// <param name="source">Source board.</param>
        /// <returns>Board data as a byte array.</returns>
        public static byte[] ToBytes(Board source)
        {
            ContractExtensions.IsNotNull(source, "source");
            ContractExtensions.IsNotDisposed(source, source.IsDisposed);
            Contract.EndContractBlock();

            var result = new byte[9 * 9];

            source.contentLock.EnterReadLock();
            try
            {
                source.content.CopyTo(result, 0);
                return(result);
            }
            finally
            {
                source.contentLock.ExitReadLock();
            }
        }
コード例 #8
0
        /// <summary>
        /// Loads the board using the specified name
        /// </summary>
        /// <param name="boardName">Name of the board to load.</param>
        /// <returns>
        /// A task that represents the asynchronous operation. The value of the
        /// TResult parameter contains the loaded board.
        /// </returns>
        public async Task <Board> LoadAsync(string boardName)
        {
            ContractExtensions.IsNotNull(boardName, "boardName");
            Contract.Ensures(Contract.Result <Task <Board> >() != null);
            Contract.Ensures(Contract.Result <Task <Board> >().Result != null);
            Contract.EndContractBlock();

            // Open underlying stream for reading
            using (var stream = await this.streamManager.OpenStreamAsync(boardName, AccessMode.Read))
            {
                // Load board content
                var boardData    = new byte[9 * 9];
                var resultLength = await stream.ReadAsync(boardData, 0, boardData.Length).ConfigureAwait(false);

                if (resultLength != 9 * 9)
                {
                    // Board stream has to be at least 9 * 9 bytes long.
                    throw new BoardException("Incorrect file format. Board file too small.");
                }

                // Convert board data. This will throw an exception if the board data is invalid.
                return((Board)boardData);
            }
        }