Add delete() to Parser and Tree web types

This commit is contained in:
Stafford Brunk 2019-07-16 20:39:57 -06:00
parent d84e6fafdd
commit 3953cb317f
No known key found for this signature in database
GPG key ID: FA8D5C2ED2587ADC

View file

@ -1,6 +1,7 @@
declare module 'web-tree-sitter' {
class Parser {
static init(): Promise<void>;
delete(): void;
parse(input: string | Parser.Input, previousTree?: Parser.Tree): Parser.Tree;
getLanguage(): any;
setLanguage(language: any): void;
@ -102,6 +103,7 @@ declare module 'web-tree-sitter' {
export interface Tree {
readonly rootNode: SyntaxNode;
delete(): void;
edit(delta: Edit): Tree;
walk(): TreeCursor;
getChangedRanges(other: Tree): Range[];