public void GetIsColumnIndexTest( [PexAssumeUnderTest] DatabaseDataSourceStrategy target, List <string> uniqueKeys, ColumnDefinition colDef ) { target.GetIsColumnIndex(uniqueKeys, colDef); // TODO: add assertions to method DatabaseDataSourceStrategyTest.GetIsColumnIndexTest(DatabaseDataSourceStrategy, List`1<String>, ColumnDefinition) }