Theia API Documentation v1.65.0
    Preparing search index...
    interface TasksMain {
        $customExecutionComplete(id: number, exitCode: undefined | number): void;
        $executeTask(taskDto: TaskDto): Promise<undefined | TaskExecutionDto>;
        $fetchTasks(
            taskVersion: undefined | string,
            taskType: undefined | string,
        ): Promise<TaskDto[]>;
        $registerTaskProvider(handle: number, type: string): void;
        $taskExecutions(): Promise<TaskExecutionDto[]>;
        $terminateTask(id: number): void;
        $unregister(handle: number): void;
    }

    Implemented by

    Index

    Methods