Watches a tasks.json configuration file and provides a parsed version of the contained task configurations
Map of source (path of root folder that the task configs come from) and raw task configurations / customizations.
This map is used to store the data from
tasks.json files in workspace.
Map of source (path of root folder that the task configs come from) and task customizations map.
Map of source (path of root folder that the task configs come from) and task config map. For the inner map (i.e., task config map), the key is task label and value TaskConfiguration
Adds given task to a config file and opens the file to provide ability to edit task configuration.
Returns the customization object in
tasks.json for the given task. Please note, this function
undefined if the given task is not a detected task, because configured tasks don't need
customization objects - users can modify its config directly in
The task config, which could either be a configured task or a detected task.
returns the list of known task labels
returns a collection of known tasks, which includes:
The invalid task configs are not returned.
true if the given task configuration is valid as per the task schema defined in Theia
or contributed by Theia extensions and plugins,
Called when a change, to a config file we watch, is detected.
Read the task configs from the task configuration manager, and updates the list of available tasks.
Removes task customization objects found in the given task config file from the memory. Please note: this function does not modify the task config file.
removes tasks configured in the given task config file
This function is called after a change in TaskDefinitionRegistry happens.
It checks all tasks that have been loaded, and re-organized them in
Updates the task config in the
The task config, together with updates, will be written into the
tasks.json if it is not found in the file.
task that the updates will be applied to
the updates to be applied