internal/lsp/protocol: replace code for generating LSP types and stubs
The new code generates all 3 files (tsprotocol.go, tsserver.go, tsclient.go)
at once and tries not to generate unneeded types. This is the code that
generated the checked-in files currently being used (including CL208272
and 209219).
README.md has been modified correspondingly.
Change-Id: I719781a09f27bf0a426f8da3e45f7fa2eb0a7484
Reviewed-on: https://go-review.googlesource.com/c/tools/+/208665
Run-TryBot: Peter Weinberger <pjw@google.com>
Reviewed-by: Rebecca Stambler <rstambler@golang.org>
diff --git a/internal/lsp/protocol/typescript/README.md b/internal/lsp/protocol/typescript/README.md
index d1941ea..bcb9561 100644
--- a/internal/lsp/protocol/typescript/README.md
+++ b/internal/lsp/protocol/typescript/README.md
@@ -2,39 +2,34 @@
## Setup
-1. Make sure `node` and `tsc` are installed. There are detailed instructions below.
-2. Get the typescript code for the jsonrpc protocol with `git clone git@github.com:microsoft vscode-languageserver-node.git`
- 1. If you want to reproduce the existing files you need to be on a branch with the same git hash, for instance, `git checkout 635ab1f`
+Make sure `node` and `tsc` are installed and in your PATH. There are detailed instructions below.
+Get the typescript code for the jsonrpc protocol with
+
+`git clone git@github.com:microsoft vscode-languageserver-node.git`
+
+`util.ts`` expects it to be in your HOME directory
+
+If you want to reproduce the existing files you need to be on a branch with the same git hash, for instance, `git checkout 635ab1f`
## Usage
-To generate the protocol types (x/tools/internal/lsp/protocol/tsprotocol.go)
-```tsc go.ts && node go.js [-d dir] [-o out.go]```
+Code is generated and normalized by
-and for simple checking
+`tsc code.ts && node code.js && gofmt -w ts*.go`
-```gofmt -w out.go && golint out.go && go build out.go```
-
-`-d dir` names the directory into which the `vscode-languageserver-node` repository was cloned.
-It defaults to `$(HOME)`.
-
-`-o out.go` says where the generated go code goes.
-It defaults to `tsprotocol.go`.
-
-To generate the client and server boilerplate (tsclient.go and tsserver.go)
-```tsc requests.ts && node requests.js [-d dir] && gofmt -w tsclient.go tsserver.go```
-
--d dir is the same as above. The output files are written into the current directory.
+(`code.ts` imports `util.ts`.) This generates 3 files in the current directory, `tsprotocol.go`
+containing type definitions, and `tsserver.go`, `tsclient.go` containing API stubs.
## Notes
1. `go.ts` and `requests.ts` use the Typescript compiler's API, which is [introduced](https://github.com/Microsoft/TypeScript/wiki/Architectural-Overview) in their wiki.
-2. Because the Typescript and Go type systems are incompatible, `go.ts` and `request.ts` are filled with heuristics and special cases. Therefore they are tied to a specific commit of `vscode-languageserver-node`. The hash code of the commit is included in the header of `tsprotocol.go` and stored in the variable `gitHash` in `go.ts`. It is checked (see `git()` in `go.ts`) on every execution of `go.ts`.
+2. Because the Typescript and Go type systems are incompatible, `code.ts` and `util.ts` are filled with heuristics and special cases. Therefore they are tied to a specific commit of `vscode-languageserver-node`. The hash code of the commit is included in the header of
+the generated files and stored in the variable `gitHash` in `go.ts`. It is checked (see `git()` in `util.ts`) on every execution.
3. Generating the `ts*.go` files is only semi-automated. Please file an issue if the released version is too far behind.
4. For the impatient, first change `gitHash` by hand (`git()` shows how to find the hash).
- 1. Then try to run `go.ts` and `requests.ts`. This will likely fail because the heuristics don't cover some new case. For instance, some simple type like `string` might have changed to a union type `string | [number,number]`. (Look at the `UnionTypeNode` code near line 588 of `go.ts`.) Another example is that some formal parameter generated by `requests.ts` will have anonymous structure type, which is essentially unusable. (See the code related to `ourTypes`.)
- 1. Next step is to try to move the generated code to `internal/lsp/protocol` and try to build `gopls` and its tests. This will likely fail because types have changed. Generally the fixes are fairly easy. (The code for `ourTypes` was a case where changes had to be made to `requests.ts`.)
- 1. Since there are not adequate integration tests, the next step is to run `gopls`. A common failure will be a nil dereference, because some previously simple default is now in an optional structure.
+ 1. Then try to run `code.ts`. This will likely fail because the heuristics don't cover some new case. For instance, some simple type like `string` might have changed to a union type `string | [number,number]`. Another example is that some formal parameter generated by will have anonymous structure type, which is essentially unusable.
+ 2. Next step is to move the generated code to `internal/lsp/protocol` and try to build `gopls` and its tests. This will likely fail because types have changed. Generally the fixes are fairly easy. Then run all the tests.
+ 3. Since there are not adequate integration tests, the next step is to run `gopls`.
## Detailed instructions for installing node and typescript
@@ -42,7 +37,7 @@
1. For Linux, it is possible to build node from scratch, but if there's a package manager, that's simpler.
1. To use the Ubuntu package manager
- 1. `sudo apt update` (if you can't `sudo` these instructions are not helpful)
+ 1. `sudo apt update` (if you can't `sudo` then these instructions are not helpful)
2. `sudo apt install nodejs` (this may install `/usr/bin/nodejs` rather than `/usr/bin/node`. For me, `/usr/bin/nodejs` pointed to an actual executable `/etc/alternatives/nodejs`, which should be copied to `/usr/bin/node`)
3. `sudo apt intall npm`
1. To build from scratch
diff --git a/internal/lsp/protocol/typescript/code.ts b/internal/lsp/protocol/typescript/code.ts
new file mode 100644
index 0000000..1303bcc
--- /dev/null
+++ b/internal/lsp/protocol/typescript/code.ts
@@ -0,0 +1,1099 @@
+// read files from vscode-languageserver-node, and generate Go rpc stubs
+// and data definitions. (and maybe someday unmarshaling code)
+
+// The output is 3 files, tsprotocol.go contains the type definitions
+// while tsclient.go and tsserver.go contain the LSP API and stub. An LSP server
+// uses both APIs. To read the code, start in this file's main() function.
+
+// The code is rich in heuristics and special cases, some of which are to avoid
+// extensive changes to gopls, and some of which are due to the mismatch between
+// typescript and Go types. In particular, there is no Go equivalent to union
+// types, so each case ought to be considered separately. The Go equivalent of A
+// & B could frequently be struct{A;B;}, or it could be the equivalent type
+// listing all the members of A and B. Typically the code uses the former, but
+// especially if A and B have elements with the same name, it does a version of
+// the latter. ClientCapabilities has to be expanded, and ServerCapabilities is
+// expanded to make the generated code easier to read.
+
+// for us typescript ignorati, having an import makes this file a module
+import * as fs from 'fs';
+import * as ts from 'typescript';
+import * as u from './util';
+import {constName, getComments, goName, loc, strKind} from './util';
+
+var program: ts.Program;
+
+function parse() {
+ // this won't complain if some fnames don't exist
+ program = ts.createProgram(
+ u.fnames,
+ {target: ts.ScriptTarget.ES2018, module: ts.ModuleKind.CommonJS});
+ program.getTypeChecker(); // finish type checking and assignment
+}
+
+// ----- collecting information for RPCs
+let req = new Map<string, ts.NewExpression>(); // requests
+let not = new Map<string, ts.NewExpression>(); // notifications
+let ptypes = new Map<string, [ts.TypeNode, ts.TypeNode]>(); // req, resp types
+let receives = new Map<string, 'server'|'client'>(); // who receives it
+let rpcTypes = new Set<string>(); // types seen in the rpcs
+
+// walk the AST finding Requests and Notifications
+function findNews(node: ts.Node) {
+ if (!ts.isNewExpression(node)) {
+ ts.forEachChild(node, findNews)
+ return;
+ }
+ const wh = node.expression.getText();
+ // We only need the bare ones and the ones ending with 0
+ if (wh != 'RequestType' && wh != 'RequestType0' && wh != 'NotificationType' &&
+ wh != 'NotificationType0')
+ return;
+ if (!node.arguments || node.arguments.length != 1 ||
+ !ts.isStringLiteral(node.arguments[0])) {
+ throw new Error(`expected n.arguments ${loc(node)}`)
+ }
+ // RequestType<useful>=new RequestTYpe('foo')
+ if (!node.typeArguments) {
+ node.typeArguments = lookUp(node);
+ }
+ // new RequestType<useful>
+ let s = node.arguments[0].getText();
+ // Request or Notification
+ const v = wh[0] == 'R' ? req : not;
+ s = s.substring(1, s.length - 1); // remove quoting (e.g., saw 'exit')
+ v.set(s, node);
+ // Summary:
+ // node.expression == 'RequestType', typeArg[0] is request type,
+ // typeArg[1] is response type, and args[0] is the rpc name
+ // node.espression == 'RequestType0', typeArgs[0] is the response type,
+ // the request type is null, and args[0] is the rpc name
+ // node.expression == 'NotificationType', typeArgs[0] the request, args[0] the
+ // rpc NotificationType0 is the same (but it's always void)
+ const nm = node.expression.getText();
+ const rpc = node.arguments[0].getText();
+ if (nm == 'RequestType' || nm == 'NotificationType') {
+ ptypes.set(rpc, [node.typeArguments[0], node.typeArguments[1]]);
+ } else if (nm == 'RequestType0') {
+ ptypes.set(rpc, [node.typeArguments[0], node.typeArguments[1]]);
+ // that looks the same, but it's a way of getting VoidKeyword
+ } else if (nm == 'NotificationType0') {
+ ptypes.set(rpc, [node.typeArguments[0], node.typeArguments[0]])
+ // both VoidKeyword
+ } else {
+ throw new Error(`FATAL: ${nm} not an expected RPC type`)
+ }
+ // remember the implied types
+ const [a, b] = ptypes.get(rpc);
+ const add = function(n: ts.Node) {
+ rpcTypes.add(goName(n.getText()))
+ };
+ underlying(a, add);
+ underlying(b, add);
+}
+
+// handle missing typeArguments
+function lookUp(n: ts.NewExpression): ts.NodeArray<ts.TypeNode> {
+ // parent should be VariableDeclaration. its children should be
+ // Identifier('type') ???
+ // TypeReference: [Identifier('RequestType1), ]
+ // NewExpression (us)
+ const p = n.parent;
+ if (!ts.isVariableDeclaration(p)) throw new Error(`not variable decl`);
+ const tr = p.type;
+ if (!ts.isTypeReferenceNode(tr)) throw new Error(`not TypeReference`);
+ return tr.typeArguments;
+}
+
+function setReceives() {
+ // mark them all as server, then adjust the client ones.
+ // it would be nice to have some independent check on this
+ // (this logic fails if the server ever sends $/canceRequest
+ // or $/progress)
+ req.forEach((_, k) => {receives.set(k, 'server')});
+ not.forEach((_, k) => {receives.set(k, 'server')});
+ receives.set('window/showMessage', 'client');
+ receives.set('window/showMessageRequest', 'client');
+ receives.set('window/logMessage', 'client');
+ receives.set('telemetry/event', 'client');
+ receives.set('client/registerCapability', 'client');
+ receives.set('client/unregisterCapability', 'client');
+ receives.set('workspace/workspaceFolders', 'client');
+ receives.set('workspace/configuration', 'client');
+ receives.set('workspace/applyEdit', 'client');
+ receives.set('textDocument/publishDiagnostics', 'client');
+ // a small check
+ receives.forEach((_, k) => {
+ if (!req.get(k) && !not.get(k)) throw new Error(`missing ${k}}`);
+ if (req.get(k) && not.get(k)) throw new Error(`dup ${k}`);
+ })
+}
+
+interface Data {
+ me: ts.Node; // root node for this type
+ name: string; // Go name
+ generics: ts.NodeArray<ts.TypeParameterDeclaration>;
+ as: ts.NodeArray<ts.HeritageClause>; // inheritance
+ // Interface
+ properties: ts.NodeArray<ts.TypeElement>; // ts.PropertySignature
+ alias: ts.TypeNode; // type alias
+ // module
+ statements: ts.NodeArray<ts.Statement>;
+ enums: ts.NodeArray<ts.EnumMember>;
+ // class
+ members: ts.NodeArray<ts.PropertyDeclaration>;
+}
+function newData(n: ts.Node, nm: string): Data {
+ return {
+ me: n, name: goName(nm),
+ generics: ts.createNodeArray<ts.TypeParameterDeclaration>(), as: ts.createNodeArray<ts.HeritageClause>(),
+ properties: ts.createNodeArray<ts.TypeElement>(), alias: undefined,
+ statements: ts.createNodeArray<ts.Statement>(),
+ enums: ts.createNodeArray<ts.EnumMember>(),
+ members: ts.createNodeArray<ts.PropertyDeclaration>(),
+ }
+}
+
+// for debugging, produce a skeleton description
+function strData(d: Data): string {
+ const f = function(na: ts.NodeArray<any>): number {
+ return na.length
+ };
+ return `D(${d.name}) g;${f(d.generics)} a:${f(d.as)} p:${f(d.properties)} s:${
+ f(d.statements)} e:${f(d.enums)} m:${f(d.members)} ${
+ d.alias != undefined}`
+}
+
+let data = new Map<string, Data>(); // parsed data types
+let seenTypes = new Map<string, Data>(); // type names we've seen
+let extraTypes = new Map<string, string[]>(); // to avoid struct params
+
+// look at top level data definitions
+function genTypes(node: ts.Node) {
+ // Ignore top-level items that can't produce output
+ if (ts.isExpressionStatement(node) || ts.isFunctionDeclaration(node) ||
+ ts.isImportDeclaration(node) || ts.isVariableStatement(node) ||
+ ts.isExportDeclaration(node) || ts.isEmptyStatement(node) ||
+ node.kind == ts.SyntaxKind.EndOfFileToken) {
+ return;
+ }
+ if (ts.isInterfaceDeclaration(node)) {
+ const v: ts.InterfaceDeclaration = node;
+ // need to check the members, many of which are disruptive
+ let mems: ts.TypeElement[] = [];
+ const f = function(t: ts.TypeElement) {
+ if (ts.isPropertySignature(t)) {
+ mems.push(t);
+ } else if (ts.isMethodSignature(t) || ts.isCallSignatureDeclaration(t)) {
+ return;
+ } else if (ts.isIndexSignatureDeclaration(t)) {
+ // probably safe to ignore these
+ // [key: string]: boolean | number | string | undefined;
+ // and InitializeResult: [custom: string]: any;]
+ return
+ } else
+ throw new Error(`unexpected ${strKind(t)}`)
+ };
+ v.members.forEach(f);
+ if (mems.length == 0 && !v.heritageClauses &&
+ v.name.getText() != 'InitializedParams') {
+ return // really? (Don't seem to need any of these)
+ };
+ // Found one we want
+ let x = newData(v, goName(v.name.getText()));
+ x.properties = ts.createNodeArray<ts.TypeElement>(mems);
+ if (v.typeParameters) x.generics = v.typeParameters;
+ if (v.heritageClauses) x.as = v.heritageClauses;
+ if (x.generics.length > 1) { // Unneeded
+ // Item interface Item<K, V>...
+ return
+ };
+ if (data.has(x.name)) { // modifying one we've seen
+ x = dataMerge(x, data.get(x.name));
+ }
+ data.set(x.name, x);
+ } else if (ts.isTypeAliasDeclaration(node)) {
+ const v: ts.TypeAliasDeclaration = node;
+ let x = newData(v, v.name.getText());
+ x.alias = v.type;
+ // if type is a union of constants, we (mostly) don't want it
+ // (at the top level)
+ // Unfortunately this is false for TraceValues
+ if (ts.isUnionTypeNode(v.type) &&
+ v.type.types.every((n: ts.TypeNode) => ts.isLiteralTypeNode(n))) {
+ if (x.name != 'TraceValues') return;
+ }
+ if (v.typeParameters) {
+ x.generics = v.typeParameters;
+ }
+ if (data.has(x.name)) x = dataMerge(x, data.get(x.name));
+ if (x.generics.length > 1) {
+ return
+ };
+ data.set(x.name, x);
+ } else if (ts.isModuleDeclaration(node)) {
+ const v: ts.ModuleDeclaration = node;
+ if (!ts.isModuleBlock(v.body)) {
+ throw new Error(`${loc(v)} not ModuleBlock, but ${strKind(v.body)}`)
+ }
+ const b: ts.ModuleBlock = v.body;
+ var s: ts.Statement[] = [];
+ // we don't want most of these
+ const fx = function(x: ts.Statement) {
+ if (ts.isFunctionDeclaration(x)) {
+ return
+ };
+ if (ts.isTypeAliasDeclaration(x)) {
+ return
+ };
+ if (!ts.isVariableStatement(x))
+ throw new Error(`${loc(x)} ${strKind(x)}`);
+ if (hasNewExpression(x)) {
+ return
+ };
+ s.push(x);
+ };
+ b.statements.forEach(fx)
+ if (s.length == 0) {
+ return
+ };
+ let m = newData(node, v.name.getText());
+ m.statements = ts.createNodeArray<ts.Statement>(s);
+ if (data.has(m.name)) m = dataMerge(m, data.get(m.name));
+ data.set(m.name, m);
+ } else if (ts.isEnumDeclaration(node)) {
+ const nm = node.name.getText();
+ let v = newData(node, nm);
+ v.enums = node.members;
+ if (data.has(nm)) {
+ v = dataMerge(v, data.get(nm));
+ }
+ data.set(nm, v);
+ } else if (ts.isClassDeclaration(node)) {
+ const v: ts.ClassDeclaration = node;
+ var d: ts.PropertyDeclaration[] = [];
+ // look harder at the PropertyDeclarations.
+ const wanted = function(c: ts.ClassElement): string {
+ if (ts.isConstructorDeclaration(c)) {
+ return ''
+ };
+ if (ts.isMethodDeclaration(c)) {
+ return ''
+ };
+ if (ts.isGetAccessor(c)) {
+ return ''
+ };
+ if (ts.isSetAccessor(c)) {
+ return ''
+ };
+ if (ts.isPropertyDeclaration(c)) {
+ d.push(c);
+ return strKind(c)
+ };
+ throw new Error(`Class decl ${strKind(c)} `)
+ };
+ v.members.forEach((c, i) => wanted(c));
+ if (d.length == 0) {
+ return
+ }; // don't need it, maybe
+ let c = newData(v, v.name.getText());
+ c.members = ts.createNodeArray<ts.PropertyDeclaration>(d);
+ if (v.typeParameters) {
+ c.generics = v.typeParameters
+ }
+ if (c.generics.length > 1) {
+ return
+ }
+ if (v.heritageClauses) {
+ c.as = v.heritageClauses
+ }
+ if (data.has(c.name))
+ throw new Error(`Class dup ${loc(c.me)} and ${loc(data.get(c.name).me)}`)
+ data.set(c.name, c);
+ } else {
+ throw new Error(`unexpected ${strKind(node)} ${loc(node)} `)
+ }
+}
+
+// Typescript can accumulate
+function dataMerge(a: Data, b: Data): Data {
+ // maybe they are textually identical? (it happens)
+ const [at, bt] = [a.me.getText(), b.me.getText()];
+ if (at == bt) {
+ return a;
+ }
+ switch (a.name) {
+ case 'InitializeError':
+ case 'MessageType':
+ case 'CompletionItemTag':
+ case 'CodeActionKind':
+ // want the Module
+ return a.statements.length > 0 ? a : b;
+ case 'CancellationToken':
+ // want the Interface
+ return a.properties.length > 0 ? a : b;
+ }
+ console.log(
+ `${strKind(a.me)} ${strKind(b.me)} ${a.name} ${loc(a.me)} ${loc(b.me)}`)
+ throw new Error(`Fix dataMerge`)
+}
+
+// is a node an ancestor of a NewExpression
+function hasNewExpression(n: ts.Node): boolean {
+ let ans = false;
+ n.forEachChild((n: ts.Node) => {
+ if (ts.isNewExpression(n)) ans = true;
+ })
+ return ans
+}
+
+function checkOnce() {
+ // Data for all the rpc types?
+ rpcTypes.forEach(s => {
+ if (!data.has(s)) throw new Error(`checkOnce, ${s}?`)
+ });
+}
+
+// helper function to find underlying types
+function underlying(n: ts.Node, f: (n: ts.Node) => void) {
+ if (!n) return;
+ const ff = function(n: ts.Node) {
+ underlying(n, f)
+ };
+ if (ts.isIdentifier(n)) {
+ f(n)
+ } else if (
+ n.kind == ts.SyntaxKind.StringKeyword ||
+ n.kind == ts.SyntaxKind.NumberKeyword ||
+ n.kind == ts.SyntaxKind.AnyKeyword ||
+ n.kind == ts.SyntaxKind.NullKeyword ||
+ n.kind == ts.SyntaxKind.BooleanKeyword ||
+ n.kind == ts.SyntaxKind.ObjectKeyword ||
+ n.kind == ts.SyntaxKind.VoidKeyword) {
+ // nothing to do
+ } else if (ts.isTypeReferenceNode(n)) {
+ f(n.typeName)
+ } else if (ts.isArrayTypeNode(n)) {
+ underlying(n.elementType, f)
+ } else if (ts.isHeritageClause(n)) {
+ n.types.forEach(ff);
+ } else if (ts.isExpressionWithTypeArguments(n)) {
+ underlying(n.expression, f)
+ } else if (ts.isPropertySignature(n)) {
+ underlying(n.type, f)
+ } else if (ts.isTypeLiteralNode(n)) {
+ n.members.forEach(ff)
+ } else if (ts.isUnionTypeNode(n) || ts.isIntersectionTypeNode(n)) {
+ n.types.forEach(ff)
+ } else if (ts.isIndexSignatureDeclaration(n)) {
+ underlying(n.type, f)
+ } else if (ts.isParenthesizedTypeNode(n)) {
+ underlying(n.type, f)
+ } else if (
+ ts.isLiteralTypeNode(n) || ts.isVariableStatement(n) ||
+ ts.isTupleTypeNode(n)) {
+ // we only see these in moreTypes, but they are handled elsewhere
+ return;
+ } else if (ts.isEnumMember(n)) {
+ if (ts.isStringLiteral(n.initializer)) return;
+ throw new Error(`EnumMember ${strKind(n.initializer)} ${n.name.getText()}`)
+ } else {
+ throw new Error(`saw ${strKind(n)} in underlying. ${n.getText()}`)
+ }
+}
+
+// find all the types implied by seenTypes.
+// Simplest way to the transitive closure is to stabilize the size of seenTypes
+// but it is slow
+function moreTypes() {
+ const extra = function(s: string) {
+ if (!data.has(s)) throw new Error(`moreTypes needs ${s}`)
+ seenTypes.set(s, data.get(s))
+ };
+ rpcTypes.forEach(extra); // all the types needed by the rpcs
+ // needed in enums.go (or elsewhere)
+ extra('InitializeError')
+ extra('WatchKind')
+ extra('FoldingRangeKind')
+ let old = 0
+ do {
+ old = seenTypes.size
+
+ const m = new Map<string, Data>();
+ const add = function(n: ts.Node) {
+ const nm = goName(n.getText());
+ if (seenTypes.has(nm) || m.has(nm)) return;
+ // For generic parameters, this might set it to undefined
+ m.set(nm, data.get(nm));
+ };
+ // expect all the heritage clauses have single Identifiers
+ const h = function(n: ts.Node) {
+ underlying(n, add);
+ };
+ const f = function(x: ts.NodeArray<ts.Node>) {
+ x.forEach(h)
+ };
+ seenTypes.forEach((d: Data) => d && f(d.as))
+ // find the types in the properties
+ seenTypes.forEach((d: Data) => d && f(d.properties))
+ // and in the alias and in the statements and in the enums
+ seenTypes.forEach((d: Data) => d && underlying(d.alias, add))
+ seenTypes.forEach((d: Data) => d && f(d.statements))
+ seenTypes.forEach((d: Data) => d && f(d.enums))
+ m.forEach((d, k) => seenTypes.set(k, d))
+ }
+ while (seenTypes.size != old)
+ ;
+}
+
+let typesOut = new Array<string>();
+let constsOut = new Array<string>();
+
+// generate Go types
+function toGo(d: Data, nm: string) {
+ if (!d) return; // this is probably a generic T
+ if (d.alias) {
+ goTypeAlias(d, nm);
+ } else if (d.statements.length > 0) {
+ goModule(d, nm);
+ } else if (d.enums.length > 0) {
+ goEnum(d, nm);
+ } else if (
+ d.properties.length > 0 || d.as.length > 0 || nm == 'InitializedParams') {
+ goInterface(d, nm);
+ } else
+ throw new Error(
+ `more cases in toGo ${nm} ${d.as.length} ${d.generics.length} `)
+}
+
+// generate Go code for an interface
+function goInterface(d: Data, nm: string) {
+ let ans = `type ${goName(nm)} struct {\n`;
+
+ // generate the code for each member
+ const g = function(n: ts.TypeElement) {
+ if (!ts.isPropertySignature(n))
+ throw new Error(`expected PropertySignature got ${strKind(n)} `);
+ ans = ans.concat(getComments(n));
+ const json = u.JSON(n);
+ // SelectionRange is a recursive type
+ let gt = goType(n.type, n.name.getText());
+ if (gt == d.name) gt = '*' + gt; // avoid recursive types
+ // There's a difference between a nil Range and a zero Range (at the
+ // beginning of files)
+ if (d.name == 'TextDocumentContentChangeEvent' &&
+ n.name.getText() == 'range')
+ gt = '*' + gt;
+ if (d.name == 'CodeAction' && n.name.getText() == 'command') gt = '*' + gt;
+ ans = ans.concat(`${goName(n.name.getText())} ${gt}`, json, '\n')
+ };
+ d.properties.forEach(g)
+ // heritage clauses become embedded types
+ // check they are all Identifiers
+ const f = function(n: ts.ExpressionWithTypeArguments) {
+ if (!ts.isIdentifier(n.expression))
+ throw new Error(`Interface ${nm} heritage ${strKind(n.expression)} `);
+ ans = ans.concat(goName(n.expression.getText()), '\n')
+ };
+ d.as.forEach((n: ts.HeritageClause) => n.types.forEach(f))
+ ans = ans.concat(`}\n`);
+ typesOut.push(getComments(d.me))
+ typesOut.push(ans)
+}
+
+// generate Go code for a module (const declarations)
+// Generates type definitions, and named constants
+function goModule(d: Data, nm: string) {
+ if (d.generics.length > 0 || d.as.length > 0) {
+ throw new Error(`goModule: unexpected for ${nm}
+ `)
+ }
+ // all the statements should be export const <id>: value
+ // or value = value
+ // They are VariableStatements with x.declarationList having a single
+ // VariableDeclaration
+ let isNumeric = false;
+ const f = function(n: ts.Statement, i: number) {
+ if (!ts.isVariableStatement(n)) {
+ throw new Error(` ${nm} ${i} expected VariableStatement,
+ got ${strKind(n)}`);
+ }
+ const c = getComments(n)
+ const v = n.declarationList.declarations[0]; // only one
+
+ if (!v.initializer)
+ throw new Error(`no initializer ${nm} ${i} ${v.name.getText()}`);
+ isNumeric = strKind(v.initializer) == 'NumericLiteral';
+ if (c != '') constsOut.push(c); // no point if there are no comments
+ // There are duplicates.
+ const cname = constName(goName(v.name.getText()), nm);
+ let val = v.initializer.getText()
+ val = val.split('\'').join('"') // useless work for numbers
+ constsOut.push(`${cname} ${nm} = ${val}`)
+ };
+ d.statements.forEach(f)
+ typesOut.push(getComments(d.me))
+ // Or should they be type aliases?
+ typesOut.push(`type ${nm} ${isNumeric ? 'float64' : 'string'}`)
+}
+
+// generate Go code for an enum. Both types and named constants
+function goEnum(d: Data, nm: string) {
+ let isNumeric = false
+ const f = function(v: ts.EnumMember, j: number) { // same as goModule
+ if (!v.initializer)
+ throw new Error(`goEnum no initializer ${nm} ${j} ${v.name.getText()}`);
+ isNumeric = strKind(v.initializer) == 'NumericLiteral';
+ const c = getComments(v);
+ const cname = constName(goName(v.name.getText()), nm);
+ let val = v.initializer.getText()
+ val = val.split('\'').join('"') // replace quotes. useless work for numbers
+ constsOut.push(`${c}${cname} ${nm} = ${val}`)
+ };
+ d.enums.forEach(f)
+ typesOut.push(getComments(d.me))
+ // Or should they be type aliases?
+ typesOut.push(`type ${nm} ${isNumeric ? 'float64' : 'string'}`)
+}
+
+// generate code for a type alias
+function goTypeAlias(d: Data, nm: string) {
+ if (d.as.length != 0 || d.generics.length != 0) {
+ if (nm != 'ServerCapabilities')
+ throw new Error(`${nm} has extra fields(${d.as.length},${
+ d.generics.length}) ${d.me.getText()}`);
+ }
+ typesOut.push(getComments(d.me))
+ // d.alias doesn't seem to have comments
+ typesOut.push(`type ${goName(nm)} = ${goType(d.alias, nm)}\n`)
+}
+
+// return a go type and maybe an assocated javascript tag
+function goType(n: ts.TypeNode, nm: string): string {
+ if (n.getText() == 'T') return 'interface{}'; // should check it's generic
+ if (ts.isTypeReferenceNode(n)) {
+ return goName(n.typeName.getText()); // avoid <T>
+ } else if (ts.isUnionTypeNode(n)) {
+ return goUnionType(n, nm);
+ } else if (ts.isIntersectionTypeNode(n)) {
+ return goIntersectionType(n, nm);
+ } else if (strKind(n) == 'StringKeyword') {
+ return 'string';
+ } else if (strKind(n) == 'NumberKeyword') {
+ return 'float64';
+ } else if (strKind(n) == 'BooleanKeyword') {
+ return 'bool';
+ } else if (strKind(n) == 'AnyKeyword') {
+ return 'interface{}';
+ } else if (strKind(n) == 'NullKeyword') {
+ return 'nil'
+ } else if (strKind(n) == 'VoidKeyword') {
+ return 'void'
+ } else if (strKind(n) == 'ObjectKeyword') {
+ return 'interface{}'
+ } else if (ts.isArrayTypeNode(n)) {
+ return `[]${goType(n.elementType, nm)}`
+ } else if (ts.isParenthesizedTypeNode(n)) {
+ return goType(n.type, nm)
+ } else if (ts.isLiteralTypeNode(n)) {
+ return strKind(n.literal) == 'StringLiteral' ? 'string' : 'float64';
+ } else if (ts.isTypeLiteralNode(n)) {
+ // these are anonymous structs
+ const v = goTypeLiteral(n, nm);
+ return v
+ } else if (ts.isTupleTypeNode(n)) {
+ if (n.getText() == '[number, number]') return '[]float64'
+ throw new Error(`goType undexpected Tuple ${n.getText()}`)
+ }
+ throw new Error(`${strKind(n)} goType unexpected ${n.getText()}`)
+}
+
+// The choice is uniform interface{}, or some heuristically assigned choice,
+// or some better sytematic idea I haven't thought of. Using interface{}
+// is, in practice, impossibly complex in the existing code.
+function goUnionType(n: ts.UnionTypeNode, nm: string): string {
+ const help = `/*${n.getText()}*/` // show the original as a comment
+ // handle all the special cases
+ switch (n.types.length) {
+ case 2:
+ const a = strKind(n.types[0])
+ const b = strKind(n.types[1])
+ if (a == 'NumberKeyword' && b == 'StringKeyword') { // ID
+ return `interface{} ${help}`
+ }
+ if (b == 'NullKeyword') {
+ if (nm == 'textDocument/codeAction') {
+ // (Command | CodeAction)[] | null
+ return `[]CodeAction ${help}`
+ }
+ let v = goType(n.types[0], 'a')
+ if (v.startsWith(`[]interface`)) v = v.slice(2, v.length)
+ return `${v} ${help}`
+ }
+ if (a == 'BooleanKeyword') { // believe the weaker type is wanted
+ if (nm == 'codeActionProvider') return `interface{} ${help}`;
+ if (nm == 'renameProvider') return `interface{} ${help}`;
+ return `${goType(n.types[0], 'b')} ${help}`
+ }
+ if (b == 'ArrayType') return `${goType(n.types[1], 'c')} ${help}`
+ if (a == 'TypeReference' && a == b) return `interface{} ${help}`
+ if (a == 'StringKeyword') // too gross
+ return `string ${help}`;
+ throw new Error(`612 ${strKind(n.types[0])} ${strKind(n.types[1])}`)
+ case 3: const aa = strKind(n.types[0])
+ const bb = strKind(n.types[1])
+ const cc = strKind(n.types[2])
+ if (nm == 'DocumentFilter') {
+ // not really a union. the first is enough, up to a missing omitempty
+ // but avoid repetitious comments
+ return `${goType(n.types[0], 'g')}`
+ }
+ if (nm == 'textDocument/documentSymbol') {
+ return `${goType(n.types[1], 'h')} ${help}`
+ }
+ if (aa == 'TypeReference' && bb == 'ArrayType' && cc == 'NullKeyword') {
+ return `${goType(n.types[0], 'd')} ${help}`
+ }
+ if (aa == 'TypeReference' && bb == aa && cc == 'ArrayType') {
+ // should check that this is Hover.Contents
+ return `${goType(n.types[0], 'e')} ${help}`
+ }
+ if (aa == 'ArrayType' && bb == 'TypeReference' && cc == 'NullKeyword') {
+ // check this is nm == 'textDocument/completion'
+ return `${goType(n.types[1], 'f')} ${help}`
+ }
+ if (aa == 'LiteralType' && bb == aa && cc == aa) return `string ${help}`
+ break;
+ case 4:
+ if (nm == 'documentChanges') return `TextDocumentEdit ${help} `;
+ default:
+ throw new Error(`goUnionType ${n.types.length} `)
+ }
+
+ // Result will be interface{} with a comment
+ let isLiteral = true;
+ let literal = 'string';
+ let res = `interface{ } /* `
+ n.types.forEach((v: ts.TypeNode, i: number) => {
+ // might get an interface inside:
+ // (Command | CodeAction)[] | null
+ let m = goType(v, nm);
+ if (m.indexOf('interface') != -1) {
+ // avoid nested comments
+ m = m.split(' ')[0];
+ }
+ m = m.split('\n').join('; ') // sloppy: struct{;
+ res = res.concat(`${i == 0 ? '' : ' | '}`, m)
+ if (!ts.isLiteralTypeNode(v)) isLiteral = false;
+ else literal = strKind(v.literal) == 'StringLiteral' ? 'string' : 'number';
+ });
+ if (!isLiteral) {
+ return res + '*/';
+ }
+ // trace?: 'off' | 'messages' | 'verbose' should get string
+ return `${literal} /* ${n.getText()} */`
+}
+
+// some of the intersection types A&B are ok as struct{A;B;} and some
+// could be expanded, and ClientCapabilites has to be expanded,
+// at least for workspace. It's possible to check algorithmically,
+// but much simpler just to check explicity.
+function goIntersectionType(n: ts.IntersectionTypeNode, nm: string): string {
+ if (nm == 'ClientCapabilities') return expandIntersection(n);
+ if (nm == 'ServerCapabilities') return expandIntersection(n);
+ let inner = '';
+ n.types.forEach(
+ (t: ts.TypeNode) => {inner = inner.concat(goType(t, nm), '\n')});
+ return `struct{ \n${inner}} `
+}
+
+// for each of the itersected types, extract its components (each will
+// have a Data with properties) extract the properties, and keep track
+// of them by name. The names that occur once can be output. The names
+// that occur more than once need to be combined.
+function expandIntersection(n: ts.IntersectionTypeNode): string {
+ const bad = function(n: ts.Node, s: string) {
+ return new Error(`expandIntersection ${strKind(n)} ${s}`)
+ };
+ let props = new Map<string, ts.PropertySignature[]>();
+ for (const tp of n.types) {
+ if (!ts.isTypeReferenceNode(tp)) throw bad(tp, 'A');
+ const d = data.get(goName(tp.typeName.getText()));
+ for (const p of d.properties) {
+ if (!ts.isPropertySignature(p)) throw bad(p, 'B');
+ let v = props.get(p.name.getText()) || [];
+ v.push(p);
+ props.set(p.name.getText(), v);
+ }
+ }
+ let ans = 'struct {\n';
+ for (const [k, v] of Array.from(props)) {
+ if (v.length == 1) {
+ const a = v[0];
+ ans = ans.concat(getComments(a));
+ ans = ans.concat(`${goName(k)} ${goType(a.type, k)} ${u.JSON(a)}\n`)
+ continue
+ }
+ ans = ans.concat(`${goName(k)} struct {\n`)
+ for (let i = 0; i < v.length; i++) {
+ const a = v[i];
+ if (ts.isTypeReferenceNode(a.type)) {
+ ans = ans.concat(getComments(a))
+ ans = ans.concat(goName(a.type.typeName.getText()), '\n');
+ } else if (ts.isTypeLiteralNode(a.type)) {
+ if (a.type.members.length != 1) throw bad(a.type, 'C');
+ const b = a.type.members[0];
+ if (!ts.isPropertySignature(b)) throw bad(b, 'D');
+ ans = ans.concat(getComments(b));
+ ans = ans.concat(
+ goName(b.name.getText()), ' ', goType(b.type, 'a'), u.JSON(b), '\n')
+ } else {
+ throw bad(a.type, 'E')
+ }
+ }
+ ans = ans.concat('}\n');
+ }
+ ans = ans.concat('}\n');
+ return ans
+}
+
+function goTypeLiteral(n: ts.TypeLiteralNode, nm: string): string {
+ let ans: string[] = []; // in case we generate a new extra type
+ let res = 'struct{\n'
+ const g = function(nx: ts.TypeElement) {
+ // add the json, as in goInterface(). Strange inside union types.
+ if (ts.isPropertySignature(nx)) {
+ const json = u.JSON(nx);
+ const typ = goType(nx.type, nx.name.getText())
+ const v = getComments(nx) || '';
+ res = res.concat(`${v} ${goName(nx.name.getText())} ${typ}`, json, '\n')
+ ans.push(`${v}${goName(nx.name.getText())} ${typ} ${json}\n`)
+ } else if (ts.isIndexSignatureDeclaration(nx)) {
+ if (nx.getText() == '[uri: string]: TextEdit[];') {
+ res = 'map[string][]TextEdit';
+ ans.push(`map[string][]TextEdit`); // this is never used
+ return
+ }
+ throw new Error(` handle ${nx.getText()}`)
+ } else
+ throw new Error(`TypeLiteral had ${strKind(nx)}`)
+ };
+ n.members.forEach(g)
+ // for some the generated type is wanted, for others it's not needed
+ if (!nm.startsWith('workspace')) {
+ if (res.startsWith('struct')) return res + '}'; // map[] is special
+ return res
+ }
+ extraTypes.set(goName(nm) + 'Gn', ans)
+ return goName(nm) + 'Gn'
+}
+
+// print all the types and constants and extra types
+function outputTypes() {
+ // generate go types alphabeticaly
+ let v = Array.from(seenTypes.keys());
+ v.sort();
+ v.forEach((x) => toGo(seenTypes.get(x), x))
+ u.prgo(u.computeHeader(true))
+ typesOut.forEach((s) => {
+ u.prgo(s);
+ // it's more convenient not to have to think about trailing newlines
+ // when generating types, but doc comments can't have an extra \n
+ if (s.indexOf('/**') < 0) u.prgo('\n');
+ })
+ u.prgo('\nconst (\n');
+ constsOut.forEach((s) => {
+ u.prgo(s);
+ u.prgo('\n')
+ })
+ u.prgo(')\n');
+ u.prgo('// Types created to name formal parameters and embedded structs\n')
+ extraTypes.forEach((v, k) => {
+ u.prgo(` type ${k} struct {\n`)
+ v.forEach((s) => {
+ u.prgo(s);
+ u.prgo('\n')
+ });
+ u.prgo('}\n')
+ });
+}
+
+// client and server ------------------
+
+interface side {
+ methods: string[];
+ cases: string[];
+ calls: string[];
+ name: string; // client or server
+ goName: string; // Client or Server
+ outputFile?: string;
+ fd?: number
+}
+let client: side = {
+ methods: [],
+ cases: [],
+ calls: [],
+ name: 'client',
+ goName: 'Client',
+};
+let server: side = {
+ methods: [],
+ cases: [],
+ calls: [],
+ name: 'server',
+ goName: 'Server',
+};
+
+// commonly used output
+const notNil = `if r.Params != nil {
+ r.Reply(ctx, nil, jsonrpc2.NewErrorf(jsonrpc2.CodeInvalidParams, "Expected no params"))
+ return true
+}`;
+
+// Go code for notifications. Side is client or server, m is the request method
+function goNot(side: side, m: string) {
+ if (m == '$/cancelRequest') return; // handled specially in protocol.go
+ const n = not.get(m);
+ const a = goType(n.typeArguments[0], m);
+ const nm = methodName(m);
+ side.methods.push(sig(nm, a, ''));
+ const caseHdr = ` case "${m}": // notif`;
+ let case1 = notNil;
+ if (a != '' && a != 'void') {
+ case1 = `var params ${a}
+ if err := json.Unmarshal(*r.Params, ¶ms); err != nil {
+ sendParseError(ctx, r, err)
+ return true
+ }
+ if err := h.${side.name}.${nm}(ctx, ¶ms); err != nil {
+ log.Error(ctx, "", err)
+ }
+ return true`;
+ } else {
+ case1 = `if err := h.${side.name}.${nm}(ctx); err != nil {
+ log.Error(ctx, "", err)
+ }
+ return true`;
+ }
+ side.cases.push(`${caseHdr}\n${case1}`);
+
+ const arg3 = a == '' || a == 'void' ? 'nil' : 'params';
+ side.calls.push(`
+ func (s *${side.name}Dispatcher) ${sig(nm, a, '', true)} {
+ return s.Conn.Notify(ctx, "${m}", ${arg3})
+ }`);
+}
+
+// Go code for requests.
+function goReq(side: side, m: string) {
+ const n = req.get(m);
+ const nm = methodName(m);
+ let a = goType(n.typeArguments[0], m);
+ let b = goType(n.typeArguments[1], m);
+ if (n.getText().includes('Type0')) {
+ b = a;
+ a = ''; // workspace/workspaceFolders and shutdown
+ }
+ u.prb(`${side.name} req ${a != ''},${b != ''} ${nm} ${m} ${loc(n)}`)
+ side.methods.push(sig(nm, a, b));
+
+ const caseHdr = `case "${m}": // req`;
+ let case1 = notNil;
+ if (a != '') {
+ if (extraTypes.has('Param' + nm)) a = 'Param' + nm
+ case1 = `var params ${a}
+ if err := json.Unmarshal(*r.Params, ¶ms); err != nil {
+ sendParseError(ctx, r, err)
+ return true
+ }`;
+ }
+ const arg2 = a == '' ? '' : ', ¶ms';
+ let case2 = `if err := h.${side.name}.${nm}(ctx${arg2}); err != nil {
+ log.Error(ctx, "", err)
+ }`;
+ if (b != '' && b != 'void') {
+ case2 = `resp, err := h.${side.name}.${nm}(ctx${arg2})
+ if err := r.Reply(ctx, resp, err); err != nil {
+ log.Error(ctx, "", err)
+ }
+ return true`;
+ } else { // response is nil
+ case2 = `err := h.${side.name}.${nm}(ctx${arg2})
+ if err := r.Reply(ctx, nil, err); err != nil {
+ log.Error(ctx, "", err)
+ }
+ return true`
+ }
+
+ side.cases.push(`${caseHdr}\n${case1}\n${case2}`);
+
+ const callHdr = `func (s *${side.name}Dispatcher) ${sig(nm, a, b, true)} {`;
+ let callBody = `return s.Conn.Call(ctx, "${m}", nil, nil)\n}`;
+ if (b != '' && b != 'void') {
+ const p2 = a == '' ? 'nil' : 'params';
+ let theRet = `result`;
+ if (indirect(b)) theRet = '&result';
+ callBody = `var result ${b}
+ if err := s.Conn.Call(ctx, "${m}", ${
+ p2}, &result); err != nil {
+ return nil, err
+ }
+ return ${theRet}, nil
+ }`;
+ } else if (a != '') {
+ callBody = `return s.Conn.Call(ctx, "${m}", params, nil) // Call, not Notify
+ }`
+ }
+ side.calls.push(`${callHdr}\n${callBody}\n`);
+}
+
+// make sure method names are unique
+let seenNames = new Set<string>();
+function methodName(m: string): string {
+ const i = m.indexOf('/');
+ let s = m.substring(i + 1);
+ let x = s[0].toUpperCase() + s.substring(1);
+ if (seenNames.has(x)) {
+ x += m[0].toUpperCase() + m.substring(1, i);
+ }
+ seenNames.add(x);
+ return x;
+}
+
+// used in sig and in goReq
+function indirect(s: string): boolean {
+ if (s == '' || s == 'void') return false;
+ const skip = (x: string) => s.startsWith(x);
+ if (skip('[]') || skip('interface') || skip('Declaration') ||
+ skip('Definition') || skip('DocumentSelector'))
+ return false;
+ return true
+}
+
+// Go signatures for methods.
+function sig(nm: string, a: string, b: string, names?: boolean): string {
+ if (a.indexOf('struct') != -1) {
+ const v = a.split('\n')
+ extraTypes.set(`Param${nm}`, v.slice(1, v.length - 1))
+ a = 'Param' + nm
+ }
+ if (a == 'void')
+ a = '';
+ else if (a != '') {
+ if (names)
+ a = ', params *' + a;
+ else
+ a = ', *' + a;
+ }
+ let ret = 'error';
+ if (b != '' && b != 'void') {
+ // avoid * when it is senseless
+ if (indirect(b)) b = '*' + b;
+ ret = `(${b}, error)`;
+ }
+ let start = `${nm}(`;
+ if (names) {
+ start = start + 'ctx ';
+ }
+ return `${start}context.Context${a}) ${ret}`;
+}
+
+// write the request/notification code
+function output(side: side) {
+ // make sure the output file exists
+ if (!side.outputFile) {
+ side.outputFile = `ts${side.name}.go`;
+ side.fd = fs.openSync(side.outputFile, 'w');
+ }
+ const f = function(s: string) {
+ fs.writeSync(side.fd, s);
+ fs.writeSync(side.fd, '\n');
+ };
+ f(u.computeHeader(false));
+ f(`
+ import (
+ "context"
+ "encoding/json"
+
+ "golang.org/x/tools/internal/jsonrpc2"
+ "golang.org/x/tools/internal/telemetry/log"
+ "golang.org/x/tools/internal/xcontext"
+ )
+ `);
+ const a = side.name[0].toUpperCase() + side.name.substring(1)
+ f(`type ${a} interface {`);
+ side.methods.forEach((v) => {f(v)});
+ f('}\n');
+ f(`func (h ${
+ side.name}Handler) Deliver(ctx context.Context, r *jsonrpc2.Request, delivered bool) bool {
+ if delivered {
+ return false
+ }
+ if ctx.Err() != nil {
+ ctx := xcontext.Detach(ctx)
+ r.Reply(ctx, nil, jsonrpc2.NewErrorf(RequestCancelledError, ""))
+ return true
+ }
+ switch r.Method {`);
+ side.cases.forEach((v) => {f(v)});
+ f(`
+ default:
+ return false
+ }
+ }`);
+ f(`
+ type ${side.name}Dispatcher struct {
+ *jsonrpc2.Conn
+ }
+ `);
+ side.calls.forEach((v) => {f(v)});
+}
+
+// ----- remember it's a scripting language
+function main() {
+ if (u.gitHash != u.git()) {
+ throw new Error(
+ `git hash mismatch, wanted\n${u.gitHash} but source is at\n${u.git()}`);
+ }
+ u.createOutputFiles()
+ parse()
+ u.printAST(program)
+ // visit every sourceFile in the program, collecting the New
+ // nodes that encapsulate the protocol
+ for (const sourceFile of program.getSourceFiles()) {
+ if (!sourceFile.isDeclarationFile) {
+ ts.forEachChild(sourceFile, findNews)
+ }
+ }
+ // separate RPCs into client and server
+ setReceives();
+ // visit every sourceFile collecting top-level type definitions
+ for (const sourceFile of program.getSourceFiles()) {
+ if (!sourceFile.isDeclarationFile) {
+ ts.forEachChild(sourceFile, genTypes)
+ }
+ }
+ // check that each thing occurs exactly once, and put pointers into
+ // seenTypes
+ checkOnce();
+ // for each of Client and Server there are 3 parts to the output:
+ // 1. type X interface {methods}
+ // 2. func (h *serverHandler) Deliver(...) { switch r.method }
+ // 3. func (x *xDispatcher) Method(ctx, parm)
+ not.forEach( // notifications
+ (v, k) => {
+ receives.get(k) == 'client' ? goNot(client, k) : goNot(server, k)});
+ req.forEach( // requests
+ (v, k) => {
+ receives.get(k) == 'client' ? goReq(client, k) : goReq(server, k)});
+ // find all the types implied by seenTypes and rpcs to try to avoid
+ // generating types that aren't used
+ moreTypes();
+ // and print the Go code
+ outputTypes()
+ console.log(`seen ${seenTypes.size + extraTypes.size}`)
+ output(client);
+ output(server);
+}
+
+main()
\ No newline at end of file
diff --git a/internal/lsp/protocol/typescript/util.ts b/internal/lsp/protocol/typescript/util.ts
new file mode 100644
index 0000000..b37766d
--- /dev/null
+++ b/internal/lsp/protocol/typescript/util.ts
@@ -0,0 +1,238 @@
+
+// for us typescript ignorati, having an import makes this file a module
+import * as fs from 'fs';
+import * as ts from 'typescript';
+
+// This file contains various utilities having to do with producing strings
+// and managing output
+
+// ------ create files
+let dir = process.env['HOME'];
+const srcDir = '/vscode-languageserver-node'
+export const fnames = [
+ `${dir}${srcDir}/protocol/src/protocol.ts`,
+ `${dir}${srcDir}/types/src/main.ts`, `${dir}${srcDir}/jsonrpc/src/main.ts`
+];
+export const gitHash = '635ab1fe6f8c57ce9402e573d007f24d6d290fd3';
+let outFname = 'tsprotocol.go';
+let fda: number, fdb: number, fde: number; // file descriptors
+
+export function createOutputFiles() {
+ fda = fs.openSync('/tmp/ts-a', 'w') // dump of AST
+ fdb = fs.openSync('/tmp/ts-b', 'w') // unused, for debugging
+ fde = fs.openSync(outFname, 'w') // generated Go
+}
+export function pra(s: string) {
+ return (fs.writeSync(fda, s))
+}
+export function prb(s: string) {
+ return (fs.writeSync(fdb, s))
+}
+export function prgo(s: string) {
+ return (fs.writeSync(fde, s))
+}
+
+// Get the hash value of the git commit
+export function git(): string {
+ let a = fs.readFileSync(`${dir}${srcDir}/.git/HEAD`).toString();
+ // ref: refs/heads/foo, or a hash like
+ // cc12d1a1c7df935012cdef5d085cdba04a7c8ebe
+ if (a.charAt(a.length - 1) == '\n') {
+ a = a.substring(0, a.length - 1);
+ }
+ if (a.length == 40) {
+ return a // a hash
+ }
+ if (a.substring(0, 5) == 'ref: ') {
+ const fname = `${dir}${srcDir}/.git/` + a.substring(5);
+ let b = fs.readFileSync(fname).toString()
+ if (b.length == 41) {
+ return b.substring(0, 40);
+ }
+ }
+ throw new Error('failed to find the git commit hash')
+}
+
+// Produce a header for Go output files
+export function computeHeader(pkgDoc: boolean): string {
+ let lastMod = 0
+ let lastDate: Date
+ for (const f of fnames) {
+ const st = fs.statSync(f)
+ if (st.mtimeMs > lastMod) {
+ lastMod = st.mtimeMs
+ lastDate = st.mtime
+ }
+ }
+ const a =
+ `// Package protocol contains data types and code for LSP jsonrpcs\n` +
+ `// generated automatically from vscode-languageserver-node\n` +
+ `// commit: ${gitHash}\n` +
+ `// last fetched ${lastDate}\n`
+ const b = 'package protocol\n'
+ const c = `\n// Code generated (see typescript/README.md) DO NOT EDIT.\n\n`
+ if (pkgDoc) {
+ return a + b + c
+ }
+ else {
+ return b + a + c
+ }
+};
+
+// Turn a typescript name into an exportable Go name, and appease lint
+export function goName(s: string): string {
+ let ans = s
+ if (s.charAt(0) == '_') {
+ ans = 'Inner' + s.substring(1)
+ }
+ else {ans = s.substring(0, 1).toUpperCase() + s.substring(1)};
+ ans = ans.replace(/Uri$/, 'URI')
+ ans = ans.replace(/Id$/, 'ID')
+ return ans
+}
+
+// Generate JSON tag for a struct field
+export function JSON(n: ts.PropertySignature): string {
+ const json = `\`json:"${n.name.getText()}${
+ n.questionToken != undefined ? ',omitempty' : ''}"\``;
+ return json
+}
+
+// Generate modifying prefixes and suffixes to ensure
+// consts are unique. (Go consts are package-level, but Typescript's are
+// not.) Use suffixes to minimize changes to gopls.
+export function constName(nm: string, type: string): string {
+ let pref = new Map<string, string>([
+ ['DiagnosticSeverity', 'Severity'], ['WatchKind', 'Watch'],
+ ['SignatureHelpTriggerKind', 'Sig'], ['CompletionItemTag', 'Compl']
+ ]) // typeName->prefix
+ let suff = new Map<string, string>([
+ ['CompletionItemKind', 'Completion'], ['InsertTextFormat', 'TextFormat']
+ ])
+ let ans = nm;
+ if (pref.get(type)) ans = pref.get(type) + ans;
+ if (suff.has(type)) ans = ans + suff.get(type)
+ return ans
+}
+
+// Find the comments associated with an AST node
+export function getComments(node: ts.Node): string {
+ const sf = node.getSourceFile();
+ const start = node.getStart(sf, false)
+ const starta = node.getStart(sf, true)
+ const x = sf.text.substring(starta, start)
+ return x
+}
+
+
+// --------- printing the AST, for debugging
+
+export function printAST(program: ts.Program) {
+ // dump the ast, for debugging
+ const f = function(n: ts.Node) {
+ describe(n, pra)
+ };
+ for (const sourceFile of program.getSourceFiles()) {
+ if (!sourceFile.isDeclarationFile) {
+ // walk the tree to do stuff
+ ts.forEachChild(sourceFile, f);
+ }
+ }
+ pra('\n')
+ for (const key of Object.keys(seenThings).sort()) {
+ pra(`${key}: ${seenThings[key]} \n`)
+ }
+}
+
+// Used in printing the AST
+let seenThings = new Map<string, number>();
+function seenAdd(x: string) {
+ seenThings[x] = (seenThings[x] === undefined ? 1 : seenThings[x] + 1)
+}
+
+function describe(node: ts.Node, pr: (s: string) => any) {
+ if (node === undefined) {
+ return
+ }
+ let indent = '';
+
+ function f(n: ts.Node) {
+ seenAdd(kinds(n))
+ if (ts.isIdentifier(n)) {
+ pr(`${indent} ${loc(n)} ${strKind(n)} ${n.text} \n`)
+ }
+ else if (ts.isPropertySignature(n) || ts.isEnumMember(n)) {
+ pra(`${indent} ${loc(n)} ${strKind(n)} \n`)
+ }
+ else if (ts.isTypeLiteralNode(n)) {
+ let m = n.members
+ pr(`${indent} ${loc(n)} ${strKind(n)} ${m.length} \n`)
+ }
+ else if (ts.isStringLiteral(n)) {
+ pr(`${indent} ${loc(n)} ${strKind(n)} ${n.text} \n`)
+ }
+ else {pr(`${indent} ${loc(n)} ${strKind(n)} \n`)};
+ indent += ' .'
+ ts.forEachChild(n, f)
+ indent = indent.slice(0, indent.length - 2)
+ }
+ f(node)
+}
+
+
+// For debugging, say where an AST node is in a file
+export function loc(node: ts.Node): string {
+ const sf = node.getSourceFile();
+ const start = node.getStart()
+ const x = sf.getLineAndCharacterOfPosition(start)
+ const full = node.getFullStart()
+ const y = sf.getLineAndCharacterOfPosition(full)
+ let fn = sf.fileName
+ const n = fn.search(/-node./)
+ fn = fn.substring(n + 6)
+ return `${fn} ${x.line + 1}: ${x.character + 1} (${y.line + 1}: ${
+ y.character + 1})`
+}
+// --- various string stuff
+
+// return a string of the kinds of the immediate descendants
+// as part of printing the AST tree
+function kinds(n: ts.Node): string {
+ let res = 'Seen ' + strKind(n);
+ function f(n: ts.Node): void{res += ' ' + strKind(n)};
+ ts.forEachChild(n, f)
+ return res
+}
+
+// What kind of AST node is it? This would just be typescript's
+// SyntaxKind[n.kind] except that the default names for some nodes
+// are misleading
+export function strKind(n: ts.Node): string {
+ if (n == null || n == undefined) {
+ return 'null'
+ }
+ const x = ts.SyntaxKind[n.kind];
+ // some of these have two names
+ switch (x) {
+ default:
+ return x;
+ case 'FirstAssignment':
+ return 'EqualsToken';
+ case 'FirstBinaryOperator':
+ return 'LessThanToken';
+ case 'FirstCompoundAssignment':
+ return 'PlusEqualsToken';
+ case 'FirstContextualKeyword':
+ return 'AbstractKeyword';
+ case 'FirstLiteralToken':
+ return 'NumericLiteral';
+ case 'FirstNode':
+ return 'QualifiedName';
+ case 'FirstTemplateToken':
+ return 'NoSubstitutionTemplateLiteral';
+ case 'LastTemplateToken':
+ return 'TemplateTail';
+ case 'FirstTypeNode':
+ return 'TypePredicate';
+ }
+}