A tuple of two characters, like a pair of opening and closing brackets.
The definition of a symbol represented as one or many locations. For most programming languages there is only one location at which a symbol is defined.
A language selector is the combination of one or many language identifiers and language filters.
Note that a document selector that is just a language identifier selects all documents, even those that are not saved on disk. Only use such selectors when a feature works without further context, e.g without the need to resolve related 'files'.
A file glob pattern to match file paths against. This can either be a glob pattern string
(like **/*.{ts,js}
or *.{ts,js}
) or a relative pattern.
Glob patterns can have the following syntax:
*
to match one or more characters in a path segment?
to match on one character in a path segment**
to match any number of path segments, including none{}
to group conditions (e.g. **/*.{ts,js}
matches all TypeScript and JavaScript files)[]
to declare a range of characters to match in a path segment (e.g., example.[0-9]
to match on example.0
, example.1
, …)[!...]
to negate a range of characters to match in a path segment (e.g., example.[!0-9]
to match on example.a
, example.b
, but not example.0
)MarkedString can be used to render human readable text. It is either a markdown string
or a code-block that provides a language and a code snippet. Note that
markdown strings will be sanitized - that means html will be escaped.
A provider result represents the values a provider, like the CompletionItemProvider
,
may return. For once this is the actual result type T
, like CompletionItemProvider
, or a thenable that resolves
to that type T
. In addition, null
and undefined
can be returned - either directly or from a
thenable.
The version of the Theia API.
Copyright (C) 2018 Red Hat, Inc. and others.
This program and the accompanying materials are made available under the terms of the Eclipse Public License v. 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
This Source Code may also be made available under the following Secondary Licenses when the conditions for such availability set forth in the Eclipse 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