public List <DatabaseNonClusteredIndexes> GetDatabaseNonClusteredIndexes(
            [PexAssumeUnderTest] DatabaseSchemaAccessLayer target,
            string database
            )
        {
            List <DatabaseNonClusteredIndexes> result
                = target.GetDatabaseNonClusteredIndexes(database);

            return(result);
            // TODO: add assertions to method DatabaseSchemaAccessLayerTest.GetDatabaseNonClusteredIndexes(DatabaseSchemaAccessLayer, String)
        }
        /// <summary>
        /// Gets the database non clustered indexes.
        /// </summary>
        private void GetDatabaseNonClusteredIndexes()
        {
            DatabaseSchemaAccessLayer databaseInfo = new DatabaseSchemaAccessLayer(this.ConnectionParams);

            List <DatabaseNonClusteredIndexes> indexFragmentation = databaseInfo.GetDatabaseNonClusteredIndexes(this.DatabaseName);
            int count = indexFragmentation.Count;

            if (indexFragmentation.Count > 0)
            {
                this.DataGridViewSchema.DataSource = indexFragmentation;
                int dataGridViewWidth = this.DataGridViewSchema.Width;

                this.DataGridViewSchema.Columns[0].DefaultCellStyle.Alignment = DataGridViewContentAlignment.TopLeft;
                this.DataGridViewSchema.Columns[1].DefaultCellStyle.Alignment = DataGridViewContentAlignment.TopLeft;
                this.DataGridViewSchema.Columns[2].DefaultCellStyle.Alignment = DataGridViewContentAlignment.TopLeft;
                this.DataGridViewSchema.Columns[3].DefaultCellStyle.Alignment = DataGridViewContentAlignment.TopLeft;
                this.DataGridViewSchema.Columns[4].DefaultCellStyle.Alignment = DataGridViewContentAlignment.TopCenter;
            }
        }