src/Tools/VSCode/extension/src/extension.ts
author wenzelm
Sat, 11 Mar 2017 14:03:46 +0100
changeset 65182 973b7669e7d9
parent 65180 b5a8f27a4980
child 65186 4659e87c3795
permissions -rw-r--r--
proper Map operations; re-init decorations after configuration change;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     1
'use strict';
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     2
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     3
import * as vscode from 'vscode';
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
     4
import * as path from 'path';
65172
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65171
diff changeset
     5
import * as fs from 'fs';
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64753
diff changeset
     6
import * as os from 'os';
65094
386d9d487f62 support for decorations;
wenzelm
parents: 64874
diff changeset
     7
import * as decorations from './decorations';
386d9d487f62 support for decorations;
wenzelm
parents: 64874
diff changeset
     8
import { Decoration } from './decorations'
65180
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
     9
import { WorkspaceConfiguration} from 'vscode'
65165
d98ede9e5917 updated to vscode-languageclient 3.0;
wenzelm
parents: 65153
diff changeset
    10
import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind, NotificationType }
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    11
  from 'vscode-languageclient';
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    12
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    13
65180
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    14
/* Isabelle configuration */
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    15
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    16
export function get_configuration(): WorkspaceConfiguration
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    17
{
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    18
  return vscode.workspace.getConfiguration("isabelle")
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    19
}
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    20
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    21
export function get_color(color: string, light: boolean): string
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    22
{
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    23
  const config = color + (light ? "_light" : "_dark") + "_color"
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    24
  return get_configuration().get<string>(config)
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    25
}
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    26
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    27
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    28
/* activate extension */
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    29
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    30
export function activate(context: vscode.ExtensionContext)
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    31
{
65168
9eabc312a2a2 prefer immutable bindings;
wenzelm
parents: 65167
diff changeset
    32
  const is_windows = os.type().startsWith("Windows")
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64753
diff changeset
    33
65180
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    34
  const isabelle_home = get_configuration().get<string>("home")
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    35
  const isabelle_args = get_configuration().get<Array<string>>("args")
b5a8f27a4980 tuned signature;
wenzelm
parents: 65172
diff changeset
    36
  const cygwin_root = get_configuration().get<string>("cygwin_root")
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    37
65182
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    38
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    39
  /* server */
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    40
65172
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65171
diff changeset
    41
  if (isabelle_home === "")
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64753
diff changeset
    42
    vscode.window.showErrorMessage("Missing user settings: isabelle.home")
64753
79ed396709e4 more robust startup;
wenzelm
parents: 64750
diff changeset
    43
  else {
65168
9eabc312a2a2 prefer immutable bindings;
wenzelm
parents: 65167
diff changeset
    44
    const isabelle_tool = isabelle_home + "/bin/isabelle"
9eabc312a2a2 prefer immutable bindings;
wenzelm
parents: 65167
diff changeset
    45
    const standard_args = ["-o", "vscode_unicode_symbols", "-o", "vscode_pide_extensions"]
65167
wenzelm
parents: 65165
diff changeset
    46
65168
9eabc312a2a2 prefer immutable bindings;
wenzelm
parents: 65167
diff changeset
    47
    const server_options: ServerOptions =
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64753
diff changeset
    48
      is_windows ?
65172
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65171
diff changeset
    49
        { command:
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65171
diff changeset
    50
            (cygwin_root === "" ? path.join(isabelle_home, "contrib", "cygwin") : cygwin_root) +
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65171
diff changeset
    51
            "/bin/bash",
64874
e13ff666af96 enable vscode_unicode_symbols by default, despite asymmetry of input and output;
wenzelm
parents: 64833
diff changeset
    52
          args: ["-l", isabelle_tool, "vscode_server"].concat(standard_args, isabelle_args) } :
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64753
diff changeset
    53
        { command: isabelle_tool,
64874
e13ff666af96 enable vscode_unicode_symbols by default, despite asymmetry of input and output;
wenzelm
parents: 64833
diff changeset
    54
          args: ["vscode_server"].concat(standard_args, isabelle_args) };
65168
9eabc312a2a2 prefer immutable bindings;
wenzelm
parents: 65167
diff changeset
    55
    const client_options: LanguageClientOptions = {
64833
0f410e3b1d20 support for bibtex entries;
wenzelm
parents: 64756
diff changeset
    56
      documentSelector: ["isabelle", "isabelle-ml", "bibtex"]
64753
79ed396709e4 more robust startup;
wenzelm
parents: 64750
diff changeset
    57
    };
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    58
65168
9eabc312a2a2 prefer immutable bindings;
wenzelm
parents: 65167
diff changeset
    59
    const client = new LanguageClient("Isabelle", server_options, client_options, false)
65094
386d9d487f62 support for decorations;
wenzelm
parents: 64874
diff changeset
    60
65182
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    61
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    62
    /* decorations */
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    63
65094
386d9d487f62 support for decorations;
wenzelm
parents: 64874
diff changeset
    64
    decorations.init(context)
65182
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    65
    vscode.workspace.onDidChangeConfiguration(() => decorations.init(context))
65135
158cba86140f maintain decorations for document (model) and update it for each editor (view);
wenzelm
parents: 65096
diff changeset
    66
    vscode.window.onDidChangeActiveTextEditor(decorations.update_editor)
158cba86140f maintain decorations for document (model) and update it for each editor (view);
wenzelm
parents: 65096
diff changeset
    67
    vscode.workspace.onDidCloseTextDocument(decorations.close_document)
65182
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    68
65165
d98ede9e5917 updated to vscode-languageclient 3.0;
wenzelm
parents: 65153
diff changeset
    69
    client.onReady().then(() =>
d98ede9e5917 updated to vscode-languageclient 3.0;
wenzelm
parents: 65153
diff changeset
    70
      client.onNotification(
d98ede9e5917 updated to vscode-languageclient 3.0;
wenzelm
parents: 65153
diff changeset
    71
        new NotificationType<Decoration, void>("PIDE/decoration"), decorations.apply_decoration))
65094
386d9d487f62 support for decorations;
wenzelm
parents: 64874
diff changeset
    72
65182
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    73
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    74
    /* start server */
973b7669e7d9 proper Map operations;
wenzelm
parents: 65180
diff changeset
    75
65094
386d9d487f62 support for decorations;
wenzelm
parents: 64874
diff changeset
    76
    context.subscriptions.push(client.start());
386d9d487f62 support for decorations;
wenzelm
parents: 64874
diff changeset
    77
  }
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    78
}
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    79
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset
    80
export function deactivate() { }