Changeset ebe0f0d for tools/vscode/uwaterloo.cforall-0.1.0/client
- Timestamp:
- Apr 6, 2020, 1:28:00 PM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 057298e
- Parents:
- b52abe0
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tools/vscode/uwaterloo.cforall-0.1.0/client/main.js
rb52abe0 rebe0f0d 23 23 // Otherwise the run options are used 24 24 let serverOptions = { 25 run: { command: 'cfa-ls', transport: vscode_lc.TransportKind. ipc},25 run: { command: 'cfa-ls', transport: vscode_lc.TransportKind.stdio }, 26 26 debug: { 27 27 command: 'cfa-ls', 28 transport: vscode_lc.TransportKind. ipc,28 transport: vscode_lc.TransportKind.stdio, 29 29 options: debugOptions 30 30 } … … 32 32 33 33 // Options to control the language client 34 let selector = [{ scheme: 'file', language: 'cforall' }]; 34 35 let clientOptions = { 35 // Register the server for plain textdocuments36 documentSelector: [{ scheme: 'file', language: 'cforall' }]36 // Register the server for cforall documents 37 documentSelector: selector 37 38 }; 38 39 39 40 // Create the language client and start the client. 40 41 client = new vscode_lc.LanguageClient( 41 ' CforallServer',42 'cforall', 42 43 'Cforall Language Server', 43 44 serverOptions,
Note:
See TracChangeset
for help on using the changeset viewer.