stan-language-server 0.4.9 → 0.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +12 -60
- package/dist/__tests__/e2e/lsp-client.d.ts +6 -1
- package/dist/__tests__/handlers/rename.test.d.ts +1 -0
- package/dist/__tests__/language/ast/parser.test.d.ts +1 -0
- package/dist/__tests__/language/ast/symbol.test.d.ts +1 -0
- package/dist/__tests__/language/ast/workspace_index.test.d.ts +1 -0
- package/dist/__tests__/language/rename/prepare.test.d.ts +1 -0
- package/dist/__tests__/language/rename/provider.test.d.ts +1 -0
- package/dist/__tests__/language/stan-symbols/index.test.d.ts +1 -0
- package/dist/__tests__/server/document_state.test.d.ts +1 -0
- package/dist/__tests__/server/workspace_state.test.d.ts +1 -0
- package/dist/handlers/compilation/compilation.d.ts +3 -3
- package/dist/handlers/compilation/includes.d.ts +3 -3
- package/dist/handlers/completion.d.ts +4 -3
- package/dist/handlers/diagnostics.d.ts +3 -4
- package/dist/handlers/formatting.d.ts +3 -4
- package/dist/handlers/hover.d.ts +0 -1
- package/dist/handlers/index.d.ts +1 -0
- package/dist/handlers/rename.d.ts +5 -0
- package/dist/language/ast/semantic_index.d.ts +11 -0
- package/dist/language/ast/symbol.d.ts +6 -0
- package/dist/language/ast/types.d.ts +50 -0
- package/dist/language/ast/wasm-data.generated.d.ts +2 -0
- package/dist/language/ast/workspace_index.d.ts +9 -0
- package/dist/language/rename/prepare.d.ts +3 -0
- package/dist/language/rename/provider.d.ts +3 -0
- package/dist/language/rename/types.d.ts +9 -0
- package/dist/language/stan-symbols/index.d.ts +9 -0
- package/dist/server/document_state.d.ts +23 -0
- package/dist/server/index.js +1295 -369
- package/dist/server/workspace_state.d.ts +29 -0
- package/dist/types/common.d.ts +4 -0
- package/package.json +16 -17
- package/dist/language/treesitter/wasm-data.generated.d.ts +0 -2
- /package/dist/__tests__/{language/treesitter/parser.test.d.ts → e2e/rename.test.d.ts} +0 -0
- /package/dist/language/{treesitter → ast}/parser.d.ts +0 -0
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import { TextDocument } from "vscode-languageserver-textdocument";
|
|
2
|
+
import { type Tree } from "web-tree-sitter";
|
|
3
|
+
import type { DocumentChange } from "../../server/document_state";
|
|
4
|
+
import type { SemanticIndexEntry, WorkspaceIndex } from "./types";
|
|
5
|
+
export type ParseDocument = (text: string, oldTree?: Tree) => Promise<Tree>;
|
|
6
|
+
export declare const createWorkspaceIndex: () => WorkspaceIndex;
|
|
7
|
+
export declare const getSemanticIndexEntry: (index: WorkspaceIndex, document: Pick<TextDocument, "uri" | "version">) => SemanticIndexEntry | null;
|
|
8
|
+
export declare const upsertSemanticIndexEntry: (index: WorkspaceIndex, document: TextDocument, changes?: readonly DocumentChange[], parseDocument?: ParseDocument) => Promise<WorkspaceIndex>;
|
|
9
|
+
export declare const removeSemanticIndexEntry: (index: WorkspaceIndex, uri: string) => WorkspaceIndex;
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
export declare const STAN_KEYWORDS: readonly ["for", "in", "while", "if", "then", "else", "break", "continue", "return", "functions", "data", "transformed", "parameters", "model", "generated", "quantities", "print", "reject", "fatal_error", "profile", "lower", "upper", "offset", "multiplier", "target", "jacobian"];
|
|
2
|
+
export declare const STAN_DATATYPES: readonly ["void", "int", "real", "complex", "array", "tuple", "vector", "row_vector", "matrix", "complex_vector", "complex_row_vector", "complex_matrix", "ordered", "positive_ordered", "simplex", "unit_vector", "sum_to_zero_vector", "cholesky_factor_corr", "cholesky_factor_cov", "corr_matrix", "cov_matrix", "row_stochastic_matrix", "column_stochastic_matrix", "sum_to_zero_matrix"];
|
|
3
|
+
export declare const STAN_CONSTRAINT_NAMES: readonly ["lower", "upper", "offset", "multiplier"];
|
|
4
|
+
export declare const STAN_HIGHER_ORDER_FUNCTIONS: readonly ["algebra_solver", "algebra_solver_newton", "dae", "dae_tol", "integrate_1d", "integrate_ode", "integrate_ode_adams", "integrate_ode_bdf", "integrate_ode_rk45", "map_rect", "ode_adams", "ode_adams_tol", "ode_adjoint_tol_ctl", "ode_bdf", "ode_bdf_tol", "ode_ckrk", "ode_ckrk_tol", "ode_rk45", "ode_rk45_tol", "reduce_sum", "reduce_sum_static", "solve_newton", "solve_newton_tol", "solve_powell", "solve_powell_tol"];
|
|
5
|
+
export declare const STAN_MANUAL_FUNCTIONS: readonly ["algebra_solver", "algebra_solver_newton", "dae", "dae_tol", "integrate_1d", "integrate_ode", "integrate_ode_adams", "integrate_ode_bdf", "integrate_ode_rk45", "map_rect", "ode_adams", "ode_adams_tol", "ode_adjoint_tol_ctl", "ode_bdf", "ode_bdf_tol", "ode_ckrk", "ode_ckrk_tol", "ode_rk45", "ode_rk45_tol", "reduce_sum", "reduce_sum_static", "solve_newton", "solve_newton_tol", "solve_powell", "solve_powell_tol", "print", "reject", "fatal_error", "target"];
|
|
6
|
+
export declare const STAN_FUNCTIONS: string[];
|
|
7
|
+
export declare const STAN_DISTRIBUTIONS: string[];
|
|
8
|
+
export declare const isReservedOrBuiltInStanName: (name: string) => boolean;
|
|
9
|
+
export declare const isHigherOrderStanFunction: (name: string) => boolean;
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
import { TextDocument } from "vscode-languageserver-textdocument";
|
|
2
|
+
import type { DidChangeTextDocumentParams, DidCloseTextDocumentParams, DidOpenTextDocumentParams } from "vscode-languageserver/node";
|
|
3
|
+
export type DocumentState = ReadonlyMap<string, TextDocument>;
|
|
4
|
+
export type DocumentContentChange = DidChangeTextDocumentParams["contentChanges"][number];
|
|
5
|
+
export type DocumentChange = {
|
|
6
|
+
previousDocument: TextDocument;
|
|
7
|
+
document: TextDocument;
|
|
8
|
+
contentChanges: readonly DocumentContentChange[];
|
|
9
|
+
};
|
|
10
|
+
export type DocumentTransitionRejection = "already-open" | "not-open" | "invalid-version" | "stale-version" | "empty-change";
|
|
11
|
+
export type DocumentTransition<T> = {
|
|
12
|
+
accepted: true;
|
|
13
|
+
state: DocumentState;
|
|
14
|
+
value: T;
|
|
15
|
+
} | {
|
|
16
|
+
accepted: false;
|
|
17
|
+
state: DocumentState;
|
|
18
|
+
reason: DocumentTransitionRejection;
|
|
19
|
+
};
|
|
20
|
+
export declare const emptyDocumentState: () => DocumentState;
|
|
21
|
+
export declare const openDocument: (state: DocumentState, params: DidOpenTextDocumentParams) => DocumentTransition<TextDocument>;
|
|
22
|
+
export declare const changeDocument: (state: DocumentState, params: DidChangeTextDocumentParams) => DocumentTransition<DocumentChange>;
|
|
23
|
+
export declare const closeDocument: (state: DocumentState, params: DidCloseTextDocumentParams) => DocumentTransition<TextDocument>;
|