-
Notifications
You must be signed in to change notification settings - Fork 3.6k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
zed_extension_api: Fork new version of extension API (#25357)
This PR forks a new version of the `zed_extension_api` in preparation for new changes. Release Notes: - N/A
- Loading branch information
1 parent
2e302b1
commit f6f6980
Showing
14 changed files
with
1,417 additions
and
616 deletions.
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
interface common { | ||
/// A (half-open) range (`[start, end)`). | ||
record range { | ||
/// The start of the range (inclusive). | ||
start: u32, | ||
/// The end of the range (exclusive). | ||
end: u32, | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,156 @@ | ||
package zed:extension; | ||
|
||
world extension { | ||
import github; | ||
import http-client; | ||
import platform; | ||
import nodejs; | ||
|
||
use common.{range}; | ||
use lsp.{completion, symbol}; | ||
use slash-command.{slash-command, slash-command-argument-completion, slash-command-output}; | ||
|
||
/// Initializes the extension. | ||
export init-extension: func(); | ||
|
||
/// The type of a downloaded file. | ||
enum downloaded-file-type { | ||
/// A gzipped file (`.gz`). | ||
gzip, | ||
/// A gzipped tar archive (`.tar.gz`). | ||
gzip-tar, | ||
/// A ZIP file (`.zip`). | ||
zip, | ||
/// An uncompressed file. | ||
uncompressed, | ||
} | ||
|
||
/// The installation status for a language server. | ||
variant language-server-installation-status { | ||
/// The language server has no installation status. | ||
none, | ||
/// The language server is being downloaded. | ||
downloading, | ||
/// The language server is checking for updates. | ||
checking-for-update, | ||
/// The language server installation failed for specified reason. | ||
failed(string), | ||
} | ||
|
||
record settings-location { | ||
worktree-id: u64, | ||
path: string, | ||
} | ||
|
||
import get-settings: func(path: option<settings-location>, category: string, key: option<string>) -> result<string, string>; | ||
|
||
/// Downloads a file from the given URL and saves it to the given path within the extension's | ||
/// working directory. | ||
/// | ||
/// The file will be extracted according to the given file type. | ||
import download-file: func(url: string, file-path: string, file-type: downloaded-file-type) -> result<_, string>; | ||
|
||
/// Makes the file at the given path executable. | ||
import make-file-executable: func(filepath: string) -> result<_, string>; | ||
|
||
/// Updates the installation status for the given language server. | ||
import set-language-server-installation-status: func(language-server-name: string, status: language-server-installation-status); | ||
|
||
/// A list of environment variables. | ||
type env-vars = list<tuple<string, string>>; | ||
|
||
/// A command. | ||
record command { | ||
/// The command to execute. | ||
command: string, | ||
/// The arguments to pass to the command. | ||
args: list<string>, | ||
/// The environment variables to set for the command. | ||
env: env-vars, | ||
} | ||
|
||
/// A Zed worktree. | ||
resource worktree { | ||
/// Returns the ID of the worktree. | ||
id: func() -> u64; | ||
/// Returns the root path of the worktree. | ||
root-path: func() -> string; | ||
/// Returns the textual contents of the specified file in the worktree. | ||
read-text-file: func(path: string) -> result<string, string>; | ||
/// Returns the path to the given binary name, if one is present on the `$PATH`. | ||
which: func(binary-name: string) -> option<string>; | ||
/// Returns the current shell environment. | ||
shell-env: func() -> env-vars; | ||
} | ||
|
||
/// A Zed project. | ||
resource project { | ||
/// Returns the IDs of all of the worktrees in this project. | ||
worktree-ids: func() -> list<u64>; | ||
} | ||
|
||
/// A key-value store. | ||
resource key-value-store { | ||
/// Inserts an entry under the specified key. | ||
insert: func(key: string, value: string) -> result<_, string>; | ||
} | ||
|
||
/// Returns the command used to start up the language server. | ||
export language-server-command: func(language-server-id: string, worktree: borrow<worktree>) -> result<command, string>; | ||
|
||
/// Returns the initialization options to pass to the language server on startup. | ||
/// | ||
/// The initialization options are represented as a JSON string. | ||
export language-server-initialization-options: func(language-server-id: string, worktree: borrow<worktree>) -> result<option<string>, string>; | ||
|
||
/// Returns the workspace configuration options to pass to the language server. | ||
export language-server-workspace-configuration: func(language-server-id: string, worktree: borrow<worktree>) -> result<option<string>, string>; | ||
|
||
/// A label containing some code. | ||
record code-label { | ||
/// The source code to parse with Tree-sitter. | ||
code: string, | ||
/// The spans to display in the label. | ||
spans: list<code-label-span>, | ||
/// The range of the displayed label to include when filtering. | ||
filter-range: range, | ||
} | ||
|
||
/// A span within a code label. | ||
variant code-label-span { | ||
/// A range into the parsed code. | ||
code-range(range), | ||
/// A span containing a code literal. | ||
literal(code-label-span-literal), | ||
} | ||
|
||
/// A span containing a code literal. | ||
record code-label-span-literal { | ||
/// The literal text. | ||
text: string, | ||
/// The name of the highlight to use for this literal. | ||
highlight-name: option<string>, | ||
} | ||
|
||
export labels-for-completions: func(language-server-id: string, completions: list<completion>) -> result<list<option<code-label>>, string>; | ||
export labels-for-symbols: func(language-server-id: string, symbols: list<symbol>) -> result<list<option<code-label>>, string>; | ||
|
||
/// Returns the completions that should be shown when completing the provided slash command with the given query. | ||
export complete-slash-command-argument: func(command: slash-command, args: list<string>) -> result<list<slash-command-argument-completion>, string>; | ||
|
||
/// Returns the output from running the provided slash command. | ||
export run-slash-command: func(command: slash-command, args: list<string>, worktree: option<borrow<worktree>>) -> result<slash-command-output, string>; | ||
|
||
/// Returns the command used to start up a context server. | ||
export context-server-command: func(context-server-id: string, project: borrow<project>) -> result<command, string>; | ||
|
||
/// Returns a list of packages as suggestions to be included in the `/docs` | ||
/// search results. | ||
/// | ||
/// This can be used to provide completions for known packages (e.g., from the | ||
/// local project or a registry) before a package has been indexed. | ||
export suggest-docs-packages: func(provider-name: string) -> result<list<string>, string>; | ||
|
||
/// Indexes the docs for the specified package. | ||
export index-docs: func(provider-name: string, package-name: string, database: borrow<key-value-store>) -> result<_, string>; | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,35 @@ | ||
interface github { | ||
/// A GitHub release. | ||
record github-release { | ||
/// The version of the release. | ||
version: string, | ||
/// The list of assets attached to the release. | ||
assets: list<github-release-asset>, | ||
} | ||
|
||
/// An asset from a GitHub release. | ||
record github-release-asset { | ||
/// The name of the asset. | ||
name: string, | ||
/// The download URL for the asset. | ||
download-url: string, | ||
} | ||
|
||
/// The options used to filter down GitHub releases. | ||
record github-release-options { | ||
/// Whether releases without assets should be included. | ||
require-assets: bool, | ||
/// Whether pre-releases should be included. | ||
pre-release: bool, | ||
} | ||
|
||
/// Returns the latest release for the given GitHub repository. | ||
/// | ||
/// Takes repo as a string in the form "<owner-name>/<repo-name>", for example: "zed-industries/zed". | ||
latest-github-release: func(repo: string, options: github-release-options) -> result<github-release, string>; | ||
|
||
/// Returns the GitHub release with the specified tag name for the given GitHub repository. | ||
/// | ||
/// Returns an error if a release with the given tag name does not exist. | ||
github-release-by-tag-name: func(repo: string, tag: string) -> result<github-release, string>; | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,67 @@ | ||
interface http-client { | ||
/// An HTTP request. | ||
record http-request { | ||
/// The HTTP method for the request. | ||
method: http-method, | ||
/// The URL to which the request should be made. | ||
url: string, | ||
/// The headers for the request. | ||
headers: list<tuple<string, string>>, | ||
/// The request body. | ||
body: option<list<u8>>, | ||
/// The policy to use for redirects. | ||
redirect-policy: redirect-policy, | ||
} | ||
|
||
/// HTTP methods. | ||
enum http-method { | ||
/// `GET` | ||
get, | ||
/// `HEAD` | ||
head, | ||
/// `POST` | ||
post, | ||
/// `PUT` | ||
put, | ||
/// `DELETE` | ||
delete, | ||
/// `OPTIONS` | ||
options, | ||
/// `PATCH` | ||
patch, | ||
} | ||
|
||
/// The policy for dealing with redirects received from the server. | ||
variant redirect-policy { | ||
/// Redirects from the server will not be followed. | ||
/// | ||
/// This is the default behavior. | ||
no-follow, | ||
/// Redirects from the server will be followed up to the specified limit. | ||
follow-limit(u32), | ||
/// All redirects from the server will be followed. | ||
follow-all, | ||
} | ||
|
||
/// An HTTP response. | ||
record http-response { | ||
/// The response headers. | ||
headers: list<tuple<string, string>>, | ||
/// The response body. | ||
body: list<u8>, | ||
} | ||
|
||
/// Performs an HTTP request and returns the response. | ||
fetch: func(req: http-request) -> result<http-response, string>; | ||
|
||
/// An HTTP response stream. | ||
resource http-response-stream { | ||
/// Retrieves the next chunk of data from the response stream. | ||
/// | ||
/// Returns `Ok(None)` if the stream has ended. | ||
next-chunk: func() -> result<option<list<u8>>, string>; | ||
} | ||
|
||
/// Performs an HTTP request and returns a response stream. | ||
fetch-stream: func(req: http-request) -> result<http-response-stream, string>; | ||
} |
Oops, something went wrong.