@theia/plugin-ext 1.67.0-next.56 → 1.67.0-next.59

package/lib/plugin/scm.js

@@ -0,0 +1,740 @@
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2019-2021 Red Hat, Inc. and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ScmExtImpl = exports.ScmInputBoxImpl = void 0;
+const event_1 = require("@theia/core/lib/common/event");
+const common_1 = require("../common");
+const disposable_1 = require("@theia/core/lib/common/disposable");
+const types_impl_1 = require("./types-impl");
+const plugin_api_rpc_1 = require("../common/plugin-api-rpc");
+const paths_1 = require("@theia/core/lib/common/paths");
+const plugin_icon_path_1 = require("./plugin-icon-path");
+const plugin_context_1 = require("./plugin-context");
+function getIconResource(decorations) {
+    if (!decorations || !decorations.iconPath) {
+        return undefined;
+    }
+    else if (typeof decorations.iconPath === 'string') {
+        return types_impl_1.URI.file(decorations.iconPath);
+    }
+    else if (types_impl_1.URI.isUri(decorations.iconPath)) {
+        return decorations.iconPath;
+    }
+    else if (types_impl_1.ThemeIcon.is(decorations.iconPath)) {
+        return decorations.iconPath;
+    }
+    else {
+        console.warn(`Unexpected Value ${decorations.iconPath} in Source Control Resource Themable Decoration. URI, ThemeIcon or string expected.`);
+        return undefined;
+    }
+}
+function comparePaths(one, other, caseSensitive = false) {
+    const oneParts = one.split(paths_1.sep);
+    const otherParts = other.split(paths_1.sep);
+    const lastOne = oneParts.length - 1;
+    const lastOther = otherParts.length - 1;
+    let endOne;
+    let endOther;
+    for (let i = 0;; i++) {
+        endOne = lastOne === i;
+        endOther = lastOther === i;
+        if (endOne && endOther) {
+            const onePart = caseSensitive ? oneParts[i].toLocaleLowerCase() : oneParts[i];
+            const otherPart = caseSensitive ? otherParts[i].toLocaleLowerCase() : otherParts[i];
+            return onePart > otherPart ? -1 : 1;
+        }
+        else if (endOne) {
+            return -1;
+        }
+        else if (endOther) {
+            return 1;
+        }
+        if (endOne) {
+            return -1;
+        }
+        else if (endOther) {
+            return 1;
+        }
+        const result = comparePathComponents(oneParts[i], otherParts[i], caseSensitive);
+        if (result !== 0) {
+            return result;
+        }
+    }
+}
+function comparePathComponents(one, other, caseSensitive = false) {
+    if (!caseSensitive) {
+        one = one && one.toLowerCase();
+        other = other && other.toLowerCase();
+    }
+    if (one === other) {
+        return 0;
+    }
+    return one < other ? -1 : 1;
+}
+function compareResourceThemableDecorations(a, b) {
+    if (!a.iconPath && !b.iconPath) {
+        return 0;
+    }
+    else if (!a.iconPath) {
+        return -1;
+    }
+    else if (!b.iconPath) {
+        return 1;
+    }
+    const aPath = typeof a.iconPath === 'string' ? a.iconPath : types_impl_1.URI.isUri(a.iconPath) ? a.iconPath.fsPath : a.iconPath.id;
+    const bPath = typeof b.iconPath === 'string' ? b.iconPath : types_impl_1.URI.isUri(b.iconPath) ? b.iconPath.fsPath : b.iconPath.id;
+    return comparePaths(aPath, bPath);
+}
+function compareResourceStatesDecorations(a, b) {
+    let result = 0;
+    if (a.strikeThrough !== b.strikeThrough) {
+        return a.strikeThrough ? 1 : -1;
+    }
+    if (a.faded !== b.faded) {
+        return a.faded ? 1 : -1;
+    }
+    if (a.tooltip !== b.tooltip) {
+        return (a.tooltip || '').localeCompare(b.tooltip || '');
+    }
+    result = compareResourceThemableDecorations(a, b);
+    if (result !== 0) {
+        return result;
+    }
+    if (a.light && b.light) {
+        result = compareResourceThemableDecorations(a.light, b.light);
+    }
+    else if (a.light) {
+        return 1;
+    }
+    else if (b.light) {
+        return -1;
+    }
+    if (result !== 0) {
+        return result;
+    }
+    if (a.dark && b.dark) {
+        result = compareResourceThemableDecorations(a.dark, b.dark);
+    }
+    else if (a.dark) {
+        return 1;
+    }
+    else if (b.dark) {
+        return -1;
+    }
+    return result;
+}
+function compareCommands(a, b) {
+    if (a.command !== b.command) {
+        return a.command < b.command ? -1 : 1;
+    }
+    if (a.title !== b.title) {
+        return a.title < b.title ? -1 : 1;
+    }
+    if (a.tooltip !== b.tooltip) {
+        if (a.tooltip !== undefined && b.tooltip !== undefined) {
+            return a.tooltip < b.tooltip ? -1 : 1;
+        }
+        else if (a.tooltip !== undefined) {
+            return 1;
+        }
+        else if (b.tooltip !== undefined) {
+            return -1;
+        }
+    }
+    if (a.arguments === b.arguments) {
+        return 0;
+    }
+    else if (!a.arguments) {
+        return -1;
+    }
+    else if (!b.arguments) {
+        return 1;
+    }
+    else if (a.arguments.length !== b.arguments.length) {
+        return a.arguments.length - b.arguments.length;
+    }
+    for (let i = 0; i < a.arguments.length; i++) {
+        const aArg = a.arguments[i];
+        const bArg = b.arguments[i];
+        if (aArg === bArg) {
+            continue;
+        }
+        return aArg < bArg ? -1 : 1;
+    }
+    return 0;
+}
+function compareResourceStates(a, b) {
+    let result = comparePaths(a.resourceUri.fsPath, b.resourceUri.fsPath, true);
+    if (result !== 0) {
+        return result;
+    }
+    if (a.command && b.command) {
+        result = compareCommands(a.command, b.command);
+    }
+    else if (a.command) {
+        return 1;
+    }
+    else if (b.command) {
+        return -1;
+    }
+    if (result !== 0) {
+        return result;
+    }
+    if (a.decorations && b.decorations) {
+        result = compareResourceStatesDecorations(a.decorations, b.decorations);
+    }
+    else if (a.decorations) {
+        return 1;
+    }
+    else if (b.decorations) {
+        return -1;
+    }
+    return result;
+}
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+function compareArgs(a, b) {
+    for (let i = 0; i < a.length; i++) {
+        if (a[i] !== b[i]) {
+            return false;
+        }
+    }
+    return true;
+}
+function commandEquals(a, b) {
+    return a.command === b.command
+        && a.title === b.title
+        && a.tooltip === b.tooltip
+        && (a.arguments && b.arguments ? compareArgs(a.arguments, b.arguments) : a.arguments === b.arguments);
+}
+function commandListEquals(a, b) {
+    return equals(a, b, commandEquals);
+}
+function equals(one, other, itemEquals = (a, b) => a === b) {
+    if (one === other) {
+        return true;
+    }
+    if (!one || !other) {
+        return false;
+    }
+    if (one.length !== other.length) {
+        return false;
+    }
+    for (let i = 0, len = one.length; i < len; i++) {
+        if (!itemEquals(one[i], other[i])) {
+            return false;
+        }
+    }
+    return true;
+}
+class ScmInputBoxImpl {
+    get value() {
+        return this._value;
+    }
+    set value(value) {
+        this.proxy.$setInputBoxValue(this.sourceControlHandle, value);
+        this.updateValue(value);
+    }
+    get onDidChange() {
+        return this.onDidChangeEmitter.event;
+    }
+    get placeholder() {
+        return this._placeholder;
+    }
+    set placeholder(placeholder) {
+        this.proxy.$setInputBoxPlaceholder(this.sourceControlHandle, placeholder);
+        this._placeholder = placeholder;
+    }
+    get visible() {
+        return this._visible;
+    }
+    set visible(visible) {
+        this.proxy.$setInputBoxVisible(this.sourceControlHandle, visible);
+        this._visible = visible;
+    }
+    get enabled() {
+        return this._enabled;
+    }
+    set enabled(enabled) {
+        this.proxy.$setInputBoxEnabled(this.sourceControlHandle, enabled);
+        this._enabled = enabled;
+    }
+    get validateInput() {
+        return this._validateInput;
+    }
+    set validateInput(fn) {
+        if (fn && typeof fn !== 'function') {
+            throw new Error(`[${this.plugin.model.id}]: Invalid SCM input box validation function`);
+        }
+        this._validateInput = fn;
+    }
+    constructor(plugin, proxy, sourceControlHandle) {
+        this.plugin = plugin;
+        this.proxy = proxy;
+        this.sourceControlHandle = sourceControlHandle;
+        this._value = '';
+        this.onDidChangeEmitter = new event_1.Emitter();
+        this._placeholder = '';
+        this._visible = true;
+        this.apiObject = (0, plugin_context_1.createAPIObject)(this);
+    }
+    onInputBoxValueChange(value) {
+        this.updateValue(value);
+    }
+    updateValue(value) {
+        this._value = value;
+        this.onDidChangeEmitter.fire(value);
+    }
+}
+exports.ScmInputBoxImpl = ScmInputBoxImpl;
+class ScmResourceGroupImpl {
+    get disposed() { return this._disposed; }
+    get id() { return this._id; }
+    get label() { return this._label; }
+    set label(label) {
+        this._label = label;
+        this.proxy.$updateGroupLabel(this.sourceControlHandle, this.handle, label);
+    }
+    get hideWhenEmpty() { return this._hideWhenEmpty; }
+    set hideWhenEmpty(hideWhenEmpty) {
+        this._hideWhenEmpty = hideWhenEmpty;
+        this.proxy.$updateGroup(this.sourceControlHandle, this.handle, this.features);
+    }
+    get contextValue() { return this._contextValue; }
+    set contextValue(contextValue) {
+        this._contextValue = contextValue;
+        this.proxy.$updateGroup(this.sourceControlHandle, this.handle, this.features);
+    }
+    get features() {
+        return {
+            hideWhenEmpty: this.hideWhenEmpty,
+            contextValue: this.contextValue
+        };
+    }
+    get resourceStates() { return [...this._resourceStates]; }
+    set resourceStates(resources) {
+        this._resourceStates = [...resources];
+        this.onDidUpdateResourceStatesEmitter.fire();
+    }
+    constructor(proxy, commands, sourceControlHandle, plugin, _id, _label) {
+        this.proxy = proxy;
+        this.commands = commands;
+        this.sourceControlHandle = sourceControlHandle;
+        this.plugin = plugin;
+        this._id = _id;
+        this._label = _label;
+        this.resourceHandlePool = 0;
+        this._resourceStates = [];
+        this.resourceStatesMap = new Map();
+        this.resourceStatesCommandsMap = new Map();
+        this.resourceStatesDisposablesMap = new Map();
+        this.onDidUpdateResourceStatesEmitter = new event_1.Emitter();
+        this.onDidUpdateResourceStates = this.onDidUpdateResourceStatesEmitter.event;
+        this._disposed = false;
+        this.onDidDisposeEmitter = new event_1.Emitter();
+        this.onDidDispose = this.onDidDisposeEmitter.event;
+        this.handlesSnapshot = [];
+        this.resourceSnapshot = [];
+        this._hideWhenEmpty = undefined;
+        this._contextValue = undefined;
+        this.handle = ScmResourceGroupImpl.handlePool++;
+    }
+    getResourceState(handle) {
+        return this.resourceStatesMap.get(handle);
+    }
+    executeResourceCommand(handle) {
+        const command = this.resourceStatesCommandsMap.get(handle);
+        if (!command) {
+            return Promise.resolve(undefined);
+        }
+        return new Promise(() => this.commands.executeCommand(command.command, ...(command.arguments || [])));
+    }
+    takeResourceStateSnapshot() {
+        var _a;
+        const snapshot = [...this._resourceStates];
+        const diffs = sortedDiff(this.resourceSnapshot, snapshot, compareResourceStates);
+        const splices = diffs.map(diff => {
+            const toInsert = diff.toInsert.map(r => {
+                var _a;
+                const handle = this.resourceHandlePool++;
+                this.resourceStatesMap.set(handle, r);
+                const sourceUri = r.resourceUri;
+                const icon = getIconResource(r.decorations);
+                const lightIcon = r.decorations && getIconResource(r.decorations.light) || icon;
+                const darkIcon = r.decorations && getIconResource(r.decorations.dark) || icon;
+                const icons = [this.getThemableIcon(lightIcon), this.getThemableIcon(darkIcon)];
+                let command;
+                if (r.command) {
+                    if (r.command.command === 'theia.open' || r.command.command === 'theia.diff') {
+                        const disposables = new disposable_1.DisposableCollection();
+                        command = this.commands.converter.toSafeCommand(r.command, disposables);
+                        this.resourceStatesDisposablesMap.set(handle, disposables);
+                    }
+                    else {
+                        this.resourceStatesCommandsMap.set(handle, r.command);
+                    }
+                }
+                const tooltip = (r.decorations && r.decorations.tooltip) || '';
+                const strikeThrough = r.decorations && !!r.decorations.strikeThrough;
+                const faded = r.decorations && !!r.decorations.faded;
+                const contextValue = r.contextValue || '';
+                // TODO remove the letter and colorId fields when the FileDecorationProvider is applied, see https://github.com/eclipse-theia/theia/pull/8911
+                const rawResource = {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    handle, sourceUri, letter: r.letter, colorId: (_a = r.color) === null || _a === void 0 ? void 0 : _a.id, icons,
+                    tooltip, strikeThrough, faded, contextValue, command
+                };
+                return { rawResource, handle };
+            });
+            const { start, deleteCount } = diff;
+            return { start, deleteCount, toInsert };
+        });
+        const rawResourceSplices = splices
+            .map(({ start, deleteCount, toInsert }) => ({
+            start: start,
+            deleteCount: deleteCount,
+            rawResources: toInsert.map(i => i.rawResource)
+        }));
+        const reverseSplices = splices.reverse();
+        for (const { start, deleteCount, toInsert } of reverseSplices) {
+            const handles = toInsert.map(i => i.handle);
+            const handlesToDelete = this.handlesSnapshot.splice(start, deleteCount, ...handles);
+            for (const handle of handlesToDelete) {
+                this.resourceStatesMap.delete(handle);
+                this.resourceStatesCommandsMap.delete(handle);
+                (_a = this.resourceStatesDisposablesMap.get(handle)) === null || _a === void 0 ? void 0 : _a.dispose();
+                this.resourceStatesDisposablesMap.delete(handle);
+            }
+        }
+        this.resourceSnapshot = snapshot;
+        return rawResourceSplices;
+    }
+    getThemableIcon(icon) {
+        if (!icon) {
+            return undefined;
+        }
+        else if (types_impl_1.ThemeIcon.is(icon)) {
+            return icon;
+        }
+        return plugin_icon_path_1.PluginIconPath.asString(types_impl_1.URI.revive(icon), this.plugin);
+    }
+    dispose() {
+        this._disposed = true;
+        this.onDidDisposeEmitter.fire();
+    }
+}
+ScmResourceGroupImpl.handlePool = 0;
+class SourceControlImpl {
+    get id() {
+        return this._id;
+    }
+    get label() {
+        return this._label;
+    }
+    get rootUri() {
+        return this._rootUri;
+    }
+    get count() {
+        return this._count;
+    }
+    set count(count) {
+        if (this._count === count) {
+            return;
+        }
+        this._count = count;
+        this.proxy.$updateSourceControl(this.handle, { count });
+    }
+    get quickDiffProvider() {
+        return this._quickDiffProvider;
+    }
+    set quickDiffProvider(quickDiffProvider) {
+        this._quickDiffProvider = quickDiffProvider;
+        this.proxy.$updateSourceControl(this.handle, { hasQuickDiffProvider: !!quickDiffProvider });
+    }
+    get commitTemplate() {
+        return this._commitTemplate;
+    }
+    set commitTemplate(commitTemplate) {
+        if (commitTemplate === this._commitTemplate) {
+            return;
+        }
+        this._commitTemplate = commitTemplate;
+        this.proxy.$updateSourceControl(this.handle, { commitTemplate });
+    }
+    get acceptInputCommand() {
+        return this._acceptInputCommand;
+    }
+    set acceptInputCommand(acceptInputCommand) {
+        this.acceptInputDisposables = new disposable_1.DisposableCollection();
+        this._acceptInputCommand = acceptInputCommand;
+        const internal = this.commands.converter.toSafeCommand(acceptInputCommand, this.acceptInputDisposables);
+        this.proxy.$updateSourceControl(this.handle, { acceptInputCommand: internal });
+    }
+    get statusBarCommands() {
+        return this._statusBarCommands;
+    }
+    set statusBarCommands(statusBarCommands) {
+        if (this._statusBarCommands && statusBarCommands && commandListEquals(this._statusBarCommands, statusBarCommands)) {
+            return;
+        }
+        this._statusBarDisposables = new disposable_1.DisposableCollection();
+        this._statusBarCommands = statusBarCommands;
+        const internal = (statusBarCommands || []).map(c => this.commands.converter.toSafeCommand(c, this._statusBarDisposables));
+        this.proxy.$updateSourceControl(this.handle, { statusBarCommands: internal });
+    }
+    get selected() {
+        return this._selected;
+    }
+    constructor(plugin, proxy, commands, _id, _label, _rootUri, _iconPath, _parent) {
+        this.plugin = plugin;
+        this.proxy = proxy;
+        this.commands = commands;
+        this._id = _id;
+        this._label = _label;
+        this._rootUri = _rootUri;
+        this.groups = new Map();
+        this._count = undefined;
+        this._quickDiffProvider = undefined;
+        this._commitTemplate = undefined;
+        this.acceptInputDisposables = new disposable_1.DisposableCollection();
+        this._acceptInputCommand = undefined;
+        this._statusBarDisposables = new disposable_1.DisposableCollection();
+        this._statusBarCommands = undefined;
+        this._selected = false;
+        this.onDidChangeSelectionEmitter = new event_1.Emitter();
+        this.onDidChangeSelection = this.onDidChangeSelectionEmitter.event;
+        this.onDidDisposeEmitter = new event_1.Emitter();
+        this.onDidDispose = this.onDidDisposeEmitter.event;
+        this.handle = SourceControlImpl.handlePool++;
+        this.createdResourceGroups = new Map();
+        this.updatedResourceGroups = new Set();
+        this.inputBox = new ScmInputBoxImpl(plugin, this.proxy, this.handle);
+        this.proxy.$registerSourceControl(this.handle, _id, _label, _rootUri);
+        this.onDidDisposeParent = _parent ? _parent.onDidDispose : event_1.Event.None;
+    }
+    createResourceGroup(id, label) {
+        const group = new ScmResourceGroupImpl(this.proxy, this.commands, this.handle, this.plugin, id, label);
+        const disposable = group.onDidDispose(() => this.createdResourceGroups.delete(group));
+        this.createdResourceGroups.set(group, disposable);
+        this.eventuallyAddResourceGroups();
+        return group;
+    }
+    eventuallyAddResourceGroups() {
+        const groups = [];
+        const splices = [];
+        for (const [group, disposable] of this.createdResourceGroups) {
+            disposable.dispose();
+            const updateListener = group.onDidUpdateResourceStates(() => {
+                this.updatedResourceGroups.add(group);
+                this.eventuallyUpdateResourceStates();
+            });
+            group.onDidDispose(() => {
+                this.updatedResourceGroups.delete(group);
+                updateListener.dispose();
+                this.groups.delete(group.handle);
+                this.proxy.$unregisterGroup(this.handle, group.handle);
+            });
+            const { handle, id, label, features } = group;
+            groups.push({ handle, id, label, features });
+            const snapshot = group.takeResourceStateSnapshot();
+            if (snapshot.length > 0) {
+                splices.push({ handle: group.handle, splices: snapshot });
+            }
+            this.groups.set(group.handle, group);
+        }
+        this.proxy.$registerGroups(this.handle, groups, splices);
+        this.createdResourceGroups.clear();
+    }
+    eventuallyUpdateResourceStates() {
+        const splices = [];
+        this.updatedResourceGroups.forEach(group => {
+            const snapshot = group.takeResourceStateSnapshot();
+            if (snapshot.length === 0) {
+                return;
+            }
+            splices.push({ handle: group.handle, splices: snapshot });
+        });
+        if (splices.length > 0) {
+            this.proxy.$spliceResourceStates(this.handle, splices);
+        }
+        this.updatedResourceGroups.clear();
+    }
+    getResourceGroup(handle) {
+        return this.groups.get(handle);
+    }
+    setSelectionState(selected) {
+        this._selected = selected;
+        this.onDidChangeSelectionEmitter.fire(selected);
+    }
+    dispose() {
+        this.acceptInputDisposables.dispose();
+        this._statusBarDisposables.dispose();
+        this.groups.forEach(group => group.dispose());
+        this.proxy.$unregisterSourceControl(this.handle);
+        this.onDidDisposeEmitter.fire();
+        this.onDidDisposeEmitter.dispose();
+    }
+}
+SourceControlImpl.handlePool = 0;
+class ScmExtImpl {
+    get onDidChangeActiveProvider() { return this.onDidChangeActiveProviderEmitter.event; }
+    constructor(rpc, commands) {
+        this.commands = commands;
+        this.sourceControls = new Map();
+        this.sourceControlsByExtension = new Map();
+        this.onDidChangeActiveProviderEmitter = new event_1.Emitter();
+        this.proxy = rpc.getProxy(common_1.PLUGIN_RPC_CONTEXT.SCM_MAIN);
+        commands.registerArgumentProcessor({
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            processArgument: (arg) => {
+                if (!plugin_api_rpc_1.ScmCommandArg.is(arg)) {
+                    return arg;
+                }
+                const sourceControl = this.sourceControls.get(arg.sourceControlHandle);
+                if (!sourceControl) {
+                    return undefined;
+                }
+                if (typeof arg.resourceGroupHandle !== 'number') {
+                    return sourceControl;
+                }
+                const resourceGroup = sourceControl.getResourceGroup(arg.resourceGroupHandle);
+                if (typeof arg.resourceStateHandle !== 'number') {
+                    return resourceGroup;
+                }
+                return resourceGroup && resourceGroup.getResourceState(arg.resourceStateHandle);
+            }
+        });
+    }
+    createSourceControl(extension, id, label, rootUri) {
+        const handle = ScmExtImpl.handlePool++;
+        const sourceControl = new SourceControlImpl(extension, this.proxy, this.commands, id, label, rootUri);
+        this.sourceControls.set(handle, sourceControl);
+        const sourceControls = this.sourceControlsByExtension.get(extension.model.id) || [];
+        sourceControls.push(sourceControl);
+        this.sourceControlsByExtension.set(extension.model.id, sourceControls);
+        return sourceControl;
+    }
+    getLastInputBox(extension) {
+        const sourceControls = this.sourceControlsByExtension.get(extension.model.id);
+        const sourceControl = sourceControls && sourceControls[sourceControls.length - 1];
+        return sourceControl && sourceControl.inputBox;
+    }
+    $provideOriginalResource(sourceControlHandle, uriComponents, token) {
+        const sourceControl = this.sourceControls.get(sourceControlHandle);
+        if (!sourceControl || !sourceControl.quickDiffProvider || !sourceControl.quickDiffProvider.provideOriginalResource) {
+            return Promise.resolve(undefined);
+        }
+        return new Promise(() => sourceControl.quickDiffProvider.provideOriginalResource(types_impl_1.URI.file(uriComponents), token))
+            .then(r => r || undefined);
+    }
+    $onInputBoxValueChange(sourceControlHandle, value) {
+        const sourceControl = this.sourceControls.get(sourceControlHandle);
+        if (!sourceControl) {
+            return Promise.resolve(undefined);
+        }
+        sourceControl.inputBox.onInputBoxValueChange(value);
+        return Promise.resolve(undefined);
+    }
+    $executeResourceCommand(sourceControlHandle, groupHandle, handle) {
+        const sourceControl = this.sourceControls.get(sourceControlHandle);
+        if (!sourceControl) {
+            return Promise.resolve(undefined);
+        }
+        const group = sourceControl.getResourceGroup(groupHandle);
+        if (!group) {
+            return Promise.resolve(undefined);
+        }
+        return group.executeResourceCommand(handle);
+    }
+    async $validateInput(sourceControlHandle, value, cursorPosition) {
+        const sourceControl = this.sourceControls.get(sourceControlHandle);
+        if (!sourceControl) {
+            return Promise.resolve(undefined);
+        }
+        if (!sourceControl.inputBox.validateInput) {
+            return Promise.resolve(undefined);
+        }
+        const result = await sourceControl.inputBox.validateInput(value, cursorPosition);
+        if (!result) {
+            return Promise.resolve(undefined);
+        }
+        return [result.message, result.type];
+    }
+    $setSelectedSourceControl(selectedSourceControlHandle) {
+        var _a, _b;
+        if (selectedSourceControlHandle !== undefined) {
+            (_a = this.sourceControls.get(selectedSourceControlHandle)) === null || _a === void 0 ? void 0 : _a.setSelectionState(true);
+        }
+        if (this.selectedSourceControlHandle !== undefined) {
+            (_b = this.sourceControls.get(this.selectedSourceControlHandle)) === null || _b === void 0 ? void 0 : _b.setSelectionState(false);
+        }
+        this.selectedSourceControlHandle = selectedSourceControlHandle;
+        return Promise.resolve(undefined);
+    }
+}
+exports.ScmExtImpl = ScmExtImpl;
+ScmExtImpl.handlePool = 0;
+/**
+ * Diffs two *sorted* arrays and computes the splices which apply the diff.
+ */
+function sortedDiff(before, after, compare) {
+    const result = [];
+    function pushSplice(start, deleteCount, toInsert) {
+        if (deleteCount === 0 && toInsert.length === 0) {
+            return;
+        }
+        const latest = result[result.length - 1];
+        if (latest && latest.start + latest.deleteCount === start) {
+            latest.deleteCount += deleteCount;
+            latest.toInsert.push(...toInsert);
+        }
+        else {
+            result.push({ start, deleteCount, toInsert });
+        }
+    }
+    let beforeIdx = 0;
+    let afterIdx = 0;
+    while (true) {
+        if (beforeIdx === before.length) {
+            pushSplice(beforeIdx, 0, after.slice(afterIdx));
+            break;
+        }
+        if (afterIdx === after.length) {
+            pushSplice(beforeIdx, before.length - beforeIdx, []);
+            break;
+        }
+        const beforeElement = before[beforeIdx];
+        const afterElement = after[afterIdx];
+        const n = compare(beforeElement, afterElement);
+        if (n === 0) {
+            // equal
+            beforeIdx += 1;
+            afterIdx += 1;
+        }
+        else if (n < 0) {
+            // beforeElement is smaller -> before element removed
+            pushSplice(beforeIdx, 1, []);
+            beforeIdx += 1;
+        }
+        else if (n > 0) {
+            // beforeElement is greater -> after element added
+            pushSplice(beforeIdx, 0, [afterElement]);
+            afterIdx += 1;
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=scm.js.map