function handler(params) {
        if (workspaceLoadingStatusBarItem === undefined) {
            workspaceLoadingStatusBarItem = vscode_1.window.createStatusBarItem(vscode_1.StatusBarAlignment.Left);
            workspaceLoadingStatusBarItem.command = "DScript.openLogFile";
            workspaceLoadingStatusBarItem.show();
        }
        let progressString = undefined;
        WorkspaceLoadingNotification.WorkspaceLoadingEvent.fire(params.status);
        switch (params.status) {
            case 0 /* Init */:
                progressString = `Initializing...`;
                break;
            case 1 /* InProgress */:
                switch (params.progressStage) {
                    case 0 /* BuildingWorkspaceDefinition */:
                        progressString = `Processing configuration files ${ifDefined(params.numberOfProcessedSpecs, '...')}`;
                        break;
                    case 1 /* Parse */:
                        progressString = `Parsing specs ${createProgressString(params)}`;
                        break;
                    case 2 /* Analysis */:
                        progressString = `Analyzing specs ${createProgressString(params)}`;
                        break;
                    case 3 /* Conversion */:
                        progressString = `Converting specs ${createProgressString(params)}`;
                        break;
                }
                workspaceLoadingStatusBarItem.text =
                    progressString ? `$(sync) Loading workspace: ${progressString}` : `$(sync) Loading workspace`;
                break;
            case 2 /* Success */:
                workspaceLoadingStatusBarItem.text = "$(check) Workspace loading complete";
                setTimeout(() => {
                    workspaceLoadingStatusBarItem.hide();
                    workspaceLoadingStatusBarItem.dispose();
                    workspaceLoadingStatusBarItem = undefined;
                }, 5000);
                // Enable the add-file context menu option
                vscode_1.commands.executeCommand('setContext', 'DScript.workspaceLoaded', true);
                break;
            case 3 /* Failure */:
                workspaceLoadingStatusBarItem.text = "$(stop) Workspace loading failed ";
                break;
        }
    }
/**
     * The handler called by the JSON RPC layer to process the notification.
     */
The handler called by the JSON RPC layer to process the notification.
The handler called by the JSON RPC layer to process the notification .
function handler(params) {
        if (workspaceLoadingStatusBarItem === undefined) {
            workspaceLoadingStatusBarItem = vscode_1.window.createStatusBarItem(vscode_1.StatusBarAlignment.Left);
            workspaceLoadingStatusBarItem.command = "DScript.openLogFile";
            workspaceLoadingStatusBarItem.show();
        }
        let progressString = undefined;
        WorkspaceLoadingNotification.WorkspaceLoadingEvent.fire(params.status);
        switch (params.status) {
            case 0 :
                progressString = `Initializing...`;
                break;
            case 1 :
                switch (params.progressStage) {
                    case 0 :
                        progressString = `Processing configuration files ${ifDefined(params.numberOfProcessedSpecs, '...')}`;
                        break;
                    case 1 :
                        progressString = `Parsing specs ${createProgressString(params)}`;
                        break;
                    case 2 :
                        progressString = `Analyzing specs ${createProgressString(params)}`;
                        break;
                    case 3 :
                        progressString = `Converting specs ${createProgressString(params)}`;
                        break;
                }
                workspaceLoadingStatusBarItem.text =
                    progressString ? `$(sync) Loading workspace: ${progressString}` : `$(sync) Loading workspace`;
                break;
            case 2 :
                workspaceLoadingStatusBarItem.text = "$(check) Workspace loading complete";
                setTimeout(() => {
                    workspaceLoadingStatusBarItem.hide();
                    workspaceLoadingStatusBarItem.dispose();
                    workspaceLoadingStatusBarItem = undefined;
                }, 5000);
                vscode_1.commands.executeCommand('setContext', 'DScript.workspaceLoaded', true);
                break;
            case 3 :
                workspaceLoadingStatusBarItem.text = "$(stop) Workspace loading failed ";
                break;
        }
    }
function handler ( params ) { if ( workspaceLoadingStatusBarItem === undefined ) { workspaceLoadingStatusBarItem = vscode_1 . window . createStatusBarItem ( vscode_1 . StatusBarAlignment . Left ) ; workspaceLoadingStatusBarItem . command = "DScript.openLogFile" ; workspaceLoadingStatusBarItem . show ( ) ; } let progressString = undefined ; WorkspaceLoadingNotification . WorkspaceLoadingEvent . fire ( params . status ) ; switch ( params . status ) { case 0 : progressString = ` ` ; break ; case 1 : switch ( params . progressStage ) { case 0 : progressString = ` ${ ifDefined ( params . numberOfProcessedSpecs , '...' ) } ` ; break ; case 1 : progressString = ` ${ createProgressString ( params ) } ` ; break ; case 2 : progressString = ` ${ createProgressString ( params ) } ` ; break ; case 3 : progressString = ` ${ createProgressString ( params ) } ` ; break ; } workspaceLoadingStatusBarItem . text = progressString ? ` ${ progressString } ` : ` ` ; break ; case 2 : workspaceLoadingStatusBarItem . text = "$(check) Workspace loading complete" ; setTimeout ( ( ) => { workspaceLoadingStatusBarItem . hide ( ) ; workspaceLoadingStatusBarItem . dispose ( ) ; workspaceLoadingStatusBarItem = undefined ; } , 5000 ) ; vscode_1 . commands . executeCommand ( 'setContext' , 'DScript.workspaceLoaded' , true ) ; break ; case 3 : workspaceLoadingStatusBarItem . text = "$(stop) Workspace loading failed " ; break ; } }
The handler called by the JSON RPC layer to process the notification.
The handler called by the JSON RPC layer to process the notification .
/* Init */ /* InProgress */ /* BuildingWorkspaceDefinition */ /* Parse */ /* Analysis */ /* Conversion */ /* Success */ // Enable the add-file context menu option
 /* Failure */