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