public List <string> GetDatabaseList([PexAssumeUnderTest] DatabaseSchemaAccessLayer target) { List <string> result = target.GetDatabaseList(); return(result); // TODO: add assertions to method DatabaseSchemaAccessLayerTest.GetDatabaseList(DatabaseSchemaAccessLayer) }
/// <summary> /// Populates the database. /// </summary> private void PopulateDatabaseComboBox() { DatabaseSchemaAccessLayer databaseInfo = new DatabaseSchemaAccessLayer(this.ConnectionParams); List <string> databases = databaseInfo.GetDatabaseList(); this.ToolStripComboBoxDatabase.Items.AddRange(databases.ToArray()); if (string.IsNullOrEmpty(this.DatabaseName)) { this.ToolStripComboBoxDatabase.SelectedIndex = 0; } else { this.ToolStripComboBoxDatabase.Text = this.DatabaseName; } }