How to use the @theia/languages/lib/browser.NotificationType function in @theia/languages

To help you get started, we’ve selected a few @theia/languages examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github eclipse-theia / theia / packages / java / src / browser / java-protocol.ts View on Github external
* Public License v. 2.0 are satisfied: GNU General Public License, version 2
 * with the GNU Classpath Exception which is available at
 * https://www.gnu.org/software/classpath/license.html.
 *
 * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
 ********************************************************************************/

import { RequestType, NotificationType, TextDocumentIdentifier, Command, MessageType, ExecuteCommandParams } from '@theia/languages/lib/browser';

export interface StatusReport {
    message: string;
    type: string;
}

export namespace StatusNotification {
    export const type = new NotificationType('language/status');
}

export interface ActionableMessage {
    severity: MessageType;
    message: string;
    // tslint:disable-next-line:no-any
    data?: any;
    commands?: Command[];
}

export namespace ClassFileContentsRequest {
    export const type = new RequestType('java/classFileContents');
}

export namespace ActionableNotification {
    export const type = new NotificationType('language/actionableNotification');
github eclipse-theia / theia / packages / java / src / browser / java-protocol.ts View on Github external
}

export interface ActionableMessage {
    severity: MessageType;
    message: string;
    // tslint:disable-next-line:no-any
    data?: any;
    commands?: Command[];
}

export namespace ClassFileContentsRequest {
    export const type = new RequestType('java/classFileContents');
}

export namespace ActionableNotification {
    export const type = new NotificationType('language/actionableNotification');
}

export enum CompileWorkspaceStatus {
    FAILED = 0,
    SUCCEED = 1,
    WITHERROR = 2,
    CANCELLED = 3,
}

export namespace CompileWorkspaceRequest {
    export const type = new RequestType('java/buildWorkspace');
}

export namespace ExecuteClientCommand {
    export const type = new RequestType('workspace/executeClientCommand');
}