@@ -24,13 +24,13 @@ import { Logger, logger } from './logging';
2424 * The name of the key in the workspaceState dictionary in which we
2525 * persist the current database across sessions.
2626 */
27- const CURRENT_DB : string = 'currentDatabase' ;
27+ const CURRENT_DB = 'currentDatabase' ;
2828
2929/**
3030 * The name of the key in the workspaceState dictionary in which we
3131 * persist the list of databases across sessions.
3232 */
33- const DB_LIST : string = 'databaseList' ;
33+ const DB_LIST = 'databaseList' ;
3434
3535export interface DatabaseOptions {
3636 displayName ?: string ;
@@ -107,8 +107,8 @@ async function findDataset(parentDirectory: string): Promise<vscode.Uri> {
107107 return vscode . Uri . file ( dbAbsolutePath ) ;
108108}
109109
110- async function findSourceArchive ( databasePath : string , silent : boolean = false ) :
111- Promise < vscode . Uri | undefined > {
110+ async function findSourceArchive ( databasePath : string , silent = false ) :
111+ Promise < vscode . Uri | undefined > {
112112
113113 const relativePaths = [ 'src' , 'output/src_archive' ]
114114
@@ -128,8 +128,9 @@ async function findSourceArchive(databasePath: string, silent: boolean = false):
128128 return undefined ;
129129}
130130
131- async function resolveDatabase ( databasePath : string ) :
132- Promise < DatabaseContents | undefined > {
131+ async function resolveDatabase (
132+ databasePath : string
133+ ) : Promise < DatabaseContents | undefined > {
133134
134135 const name = path . basename ( databasePath ) ;
135136
@@ -427,7 +428,7 @@ class DatabaseItemImpl implements DatabaseItem {
427428 * `event` fires. If waiting for the event takes too long (by default
428429 * >1000ms) log a warning, and resolve to undefined.
429430 */
430- function eventFired < T > ( event : vscode . Event < T > , timeoutMs : number = 1000 ) : Promise < T | undefined > {
431+ function eventFired < T > ( event : vscode . Event < T > , timeoutMs = 1000 ) : Promise < T | undefined > {
431432 return new Promise ( ( res , _rej ) => {
432433 let timeout : NodeJS . Timeout | undefined ;
433434 let disposable : vscode . Disposable | undefined ;
@@ -436,22 +437,24 @@ function eventFired<T>(event: vscode.Event<T>, timeoutMs: number = 1000): Promis
436437 if ( disposable !== undefined ) disposable . dispose ( ) ;
437438 }
438439 disposable = event ( e => {
439- res ( e ) ; dispose ( ) ;
440+ res ( e ) ;
441+ dispose ( ) ;
440442 } ) ;
441443 timeout = setTimeout ( ( ) => {
442444 logger . log ( `Waiting for event ${ event } timed out after ${ timeoutMs } ms` ) ;
443- res ( undefined ) ; dispose ( ) ;
445+ res ( undefined ) ;
446+ dispose ( ) ;
444447 } , timeoutMs ) ;
445448 } ) ;
446449}
447450
448451export class DatabaseManager extends DisposableObject {
449452 private readonly _onDidChangeDatabaseItem =
450- this . push ( new vscode . EventEmitter < DatabaseItem | undefined > ( ) ) ;
453+ this . push ( new vscode . EventEmitter < DatabaseItem | undefined > ( ) ) ;
451454 readonly onDidChangeDatabaseItem = this . _onDidChangeDatabaseItem . event ;
452455
453456 private readonly _onDidChangeCurrentDatabaseItem =
454- this . push ( new vscode . EventEmitter < DatabaseItem | undefined > ( ) ) ;
457+ this . push ( new vscode . EventEmitter < DatabaseItem | undefined > ( ) ) ;
455458 readonly onDidChangeCurrentDatabaseItem = this . _onDidChangeCurrentDatabaseItem . event ;
456459
457460 private readonly _databaseItems : DatabaseItemImpl [ ] = [ ] ;
@@ -466,7 +469,7 @@ export class DatabaseManager extends DisposableObject {
466469 }
467470
468471 public async openDatabase ( uri : vscode . Uri , options ?: DatabaseOptions ) :
469- Promise < DatabaseItem > {
472+ Promise < DatabaseItem > {
470473
471474 const contents = await resolveDatabaseContents ( uri ) ;
472475 const realOptions = options || { } ;
@@ -526,7 +529,7 @@ export class DatabaseManager extends DisposableObject {
526529 }
527530
528531 private async createDatabaseItemFromPersistedState ( state : PersistedDatabaseItem ) :
529- Promise < DatabaseItem > {
532+ Promise < DatabaseItem > {
530533
531534 let displayName : string | undefined = undefined ;
532535 let ignoreSourceArchive = false ;
@@ -584,7 +587,7 @@ export class DatabaseManager extends DisposableObject {
584587 }
585588
586589 public async setCurrentDatabaseItem ( item : DatabaseItem | undefined ,
587- skipRefresh : boolean = false ) : Promise < void > {
590+ skipRefresh = false ) : Promise < void > {
588591
589592 if ( ! skipRefresh && ( item !== undefined ) ) {
590593 await item . refresh ( ) ; // Will throw on invalid database.
0 commit comments