@@ -121,9 +121,7 @@ export class DatabaseItemImpl implements DatabaseItem {
121121 /**
122122 * Returns information about a database.
123123 */
124- private async getDbInfo (
125- server : Pick < cli . CodeQLCliServer , "resolveDatabase" > ,
126- ) : Promise < cli . DbInfo > {
124+ private async getDbInfo ( server : cli . CodeQLCliServer ) : Promise < cli . DbInfo > {
127125 if ( this . _dbinfo === undefined ) {
128126 this . _dbinfo = await server . resolveDatabase ( this . databaseUri . fsPath ) ;
129127 }
@@ -135,7 +133,7 @@ export class DatabaseItemImpl implements DatabaseItem {
135133 * has a `.dbinfo` file, which is the source of the prefix.
136134 */
137135 public async getSourceLocationPrefix (
138- server : Pick < cli . CodeQLCliServer , "resolveDatabase" > ,
136+ server : cli . CodeQLCliServer ,
139137 ) : Promise < string > {
140138 const dbInfo = await this . getDbInfo ( server ) ;
141139 return dbInfo . sourceLocationPrefix ;
@@ -144,9 +142,7 @@ export class DatabaseItemImpl implements DatabaseItem {
144142 /**
145143 * Returns path to dataset folder of database.
146144 */
147- public async getDatasetFolder (
148- server : Pick < cli . CodeQLCliServer , "resolveDatabase" > ,
149- ) : Promise < string > {
145+ public async getDatasetFolder ( server : cli . CodeQLCliServer ) : Promise < string > {
150146 const dbInfo = await this . getDbInfo ( server ) ;
151147 return dbInfo . datasetFolder ;
152148 }
0 commit comments