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;
    }
    Index

    Methods

    • Parameters

      • id: number
      • exitCode: undefined | number

      Returns void

    • Parameters

      • taskVersion: undefined | string
      • taskType: undefined | string

      Returns Promise<TaskDto[]>

    • Parameters

      • handle: number
      • type: string

      Returns void

    • Parameters

      • id: number

      Returns void

    • Parameters

      • handle: number

      Returns void