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

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

            List <DatabaseIndexUsage> indexFragmentation = databaseInfo.GetDatabaseIndexUsage(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.TopRight;
                this.DataGridViewSchema.Columns[4].DefaultCellStyle.Alignment = DataGridViewContentAlignment.TopRight;
            }
        }