bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/lsp_ext.ts')
-rw-r--r--editors/code/src/lsp_ext.ts15
1 files changed, 15 insertions, 0 deletions
diff --git a/editors/code/src/lsp_ext.ts b/editors/code/src/lsp_ext.ts
index cf190ea3ce..80cb04de99 100644
--- a/editors/code/src/lsp_ext.ts
+++ b/editors/code/src/lsp_ext.ts
@@ -67,6 +67,21 @@ export const interpretFunction = new lc.RequestType<lc.TextDocumentPositionParam
export const viewItemTree = new lc.RequestType<ViewItemTreeParams, string, void>(
"rust-analyzer/viewItemTree",
);
+export type EvaluatePredicateParams = {
+ text: string;
+ textDocument: lc.TextDocumentIdentifier;
+ position: lc.Position;
+};
+export type PredicateEvaluationStatus = "holds" | "notProven" | "invalid" | "unsupported";
+export type EvaluatePredicateResult = {
+ status: PredicateEvaluationStatus;
+ message: string;
+};
+export const evaluatePredicate = new lc.RequestType<
+ EvaluatePredicateParams,
+ EvaluatePredicateResult,
+ void
+>("rust-analyzer/evaluatePredicate");
export const getFailedObligations = new lc.RequestType<lc.TextDocumentPositionParams, string, void>(
"rust-analyzer/getFailedObligations",
);