Ryan Schultz
8afacf268a
- Hover provider showing entity information and type - Go-to-definition (F12) for entity references - Basic IFC file validation (ISO-10303-21 header check) - Entity parsing with regex-based detection - Proper CommonJS module system (avoiding ES module issues) This replaces the broken baseline from ifc-developer-tools which had: - Non-functional ES module configuration - Circular dependency issues - Parser crashes - Non-working PositionVisitor Built on Microsoft's LSP example template for a clean, maintainable foundation. Next: Add hierarchical entity dependency tree in hover tooltip."
182 lines
11 KiB
JavaScript
182 lines
11 KiB
JavaScript
"use strict";
|
|
/* --------------------------------------------------------------------------------------------
|
|
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
* ------------------------------------------------------------------------------------------ */
|
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
exports.DocumentOnTypeFormattingFeature = exports.DocumentRangeFormattingFeature = exports.DocumentFormattingFeature = void 0;
|
|
const vscode_1 = require("vscode");
|
|
const vscode_languageserver_protocol_1 = require("vscode-languageserver-protocol");
|
|
const UUID = require("./utils/uuid");
|
|
const features_1 = require("./features");
|
|
var FileFormattingOptions;
|
|
(function (FileFormattingOptions) {
|
|
function fromConfiguration(document) {
|
|
const filesConfig = vscode_1.workspace.getConfiguration('files', document);
|
|
return {
|
|
trimTrailingWhitespace: filesConfig.get('trimTrailingWhitespace'),
|
|
trimFinalNewlines: filesConfig.get('trimFinalNewlines'),
|
|
insertFinalNewline: filesConfig.get('insertFinalNewline'),
|
|
};
|
|
}
|
|
FileFormattingOptions.fromConfiguration = fromConfiguration;
|
|
})(FileFormattingOptions || (FileFormattingOptions = {}));
|
|
class DocumentFormattingFeature extends features_1.TextDocumentLanguageFeature {
|
|
constructor(client) {
|
|
super(client, vscode_languageserver_protocol_1.DocumentFormattingRequest.type);
|
|
}
|
|
fillClientCapabilities(capabilities) {
|
|
(0, features_1.ensure)((0, features_1.ensure)(capabilities, 'textDocument'), 'formatting').dynamicRegistration = true;
|
|
}
|
|
initialize(capabilities, documentSelector) {
|
|
const options = this.getRegistrationOptions(documentSelector, capabilities.documentFormattingProvider);
|
|
if (!options) {
|
|
return;
|
|
}
|
|
this.register({ id: UUID.generateUuid(), registerOptions: options });
|
|
}
|
|
registerLanguageProvider(options) {
|
|
const selector = options.documentSelector;
|
|
const provider = {
|
|
provideDocumentFormattingEdits: (document, options, token) => {
|
|
const client = this._client;
|
|
const provideDocumentFormattingEdits = (document, options, token) => {
|
|
const params = {
|
|
textDocument: client.code2ProtocolConverter.asTextDocumentIdentifier(document),
|
|
options: client.code2ProtocolConverter.asFormattingOptions(options, FileFormattingOptions.fromConfiguration(document))
|
|
};
|
|
return client.sendRequest(vscode_languageserver_protocol_1.DocumentFormattingRequest.type, params, token).then((result) => {
|
|
if (token.isCancellationRequested) {
|
|
return null;
|
|
}
|
|
return client.protocol2CodeConverter.asTextEdits(result, token);
|
|
}, (error) => {
|
|
return client.handleFailedRequest(vscode_languageserver_protocol_1.DocumentFormattingRequest.type, token, error, null);
|
|
});
|
|
};
|
|
const middleware = client.middleware;
|
|
return middleware.provideDocumentFormattingEdits
|
|
? middleware.provideDocumentFormattingEdits(document, options, token, provideDocumentFormattingEdits)
|
|
: provideDocumentFormattingEdits(document, options, token);
|
|
}
|
|
};
|
|
return [vscode_1.languages.registerDocumentFormattingEditProvider(this._client.protocol2CodeConverter.asDocumentSelector(selector), provider), provider];
|
|
}
|
|
}
|
|
exports.DocumentFormattingFeature = DocumentFormattingFeature;
|
|
class DocumentRangeFormattingFeature extends features_1.TextDocumentLanguageFeature {
|
|
constructor(client) {
|
|
super(client, vscode_languageserver_protocol_1.DocumentRangeFormattingRequest.type);
|
|
}
|
|
fillClientCapabilities(capabilities) {
|
|
const capability = (0, features_1.ensure)((0, features_1.ensure)(capabilities, 'textDocument'), 'rangeFormatting');
|
|
capability.dynamicRegistration = true;
|
|
capability.rangesSupport = true;
|
|
}
|
|
initialize(capabilities, documentSelector) {
|
|
const options = this.getRegistrationOptions(documentSelector, capabilities.documentRangeFormattingProvider);
|
|
if (!options) {
|
|
return;
|
|
}
|
|
this.register({ id: UUID.generateUuid(), registerOptions: options });
|
|
}
|
|
registerLanguageProvider(options) {
|
|
const selector = options.documentSelector;
|
|
const provider = {
|
|
provideDocumentRangeFormattingEdits: (document, range, options, token) => {
|
|
const client = this._client;
|
|
const provideDocumentRangeFormattingEdits = (document, range, options, token) => {
|
|
const params = {
|
|
textDocument: client.code2ProtocolConverter.asTextDocumentIdentifier(document),
|
|
range: client.code2ProtocolConverter.asRange(range),
|
|
options: client.code2ProtocolConverter.asFormattingOptions(options, FileFormattingOptions.fromConfiguration(document))
|
|
};
|
|
return client.sendRequest(vscode_languageserver_protocol_1.DocumentRangeFormattingRequest.type, params, token).then((result) => {
|
|
if (token.isCancellationRequested) {
|
|
return null;
|
|
}
|
|
return client.protocol2CodeConverter.asTextEdits(result, token);
|
|
}, (error) => {
|
|
return client.handleFailedRequest(vscode_languageserver_protocol_1.DocumentRangeFormattingRequest.type, token, error, null);
|
|
});
|
|
};
|
|
const middleware = client.middleware;
|
|
return middleware.provideDocumentRangeFormattingEdits
|
|
? middleware.provideDocumentRangeFormattingEdits(document, range, options, token, provideDocumentRangeFormattingEdits)
|
|
: provideDocumentRangeFormattingEdits(document, range, options, token);
|
|
}
|
|
};
|
|
if (options.rangesSupport) {
|
|
provider.provideDocumentRangesFormattingEdits = (document, ranges, options, token) => {
|
|
const client = this._client;
|
|
const provideDocumentRangesFormattingEdits = (document, ranges, options, token) => {
|
|
const params = {
|
|
textDocument: client.code2ProtocolConverter.asTextDocumentIdentifier(document),
|
|
ranges: client.code2ProtocolConverter.asRanges(ranges),
|
|
options: client.code2ProtocolConverter.asFormattingOptions(options, FileFormattingOptions.fromConfiguration(document))
|
|
};
|
|
return client.sendRequest(vscode_languageserver_protocol_1.DocumentRangesFormattingRequest.type, params, token).then((result) => {
|
|
if (token.isCancellationRequested) {
|
|
return null;
|
|
}
|
|
return client.protocol2CodeConverter.asTextEdits(result, token);
|
|
}, (error) => {
|
|
return client.handleFailedRequest(vscode_languageserver_protocol_1.DocumentRangesFormattingRequest.type, token, error, null);
|
|
});
|
|
};
|
|
const middleware = client.middleware;
|
|
return middleware.provideDocumentRangesFormattingEdits
|
|
? middleware.provideDocumentRangesFormattingEdits(document, ranges, options, token, provideDocumentRangesFormattingEdits)
|
|
: provideDocumentRangesFormattingEdits(document, ranges, options, token);
|
|
};
|
|
}
|
|
return [vscode_1.languages.registerDocumentRangeFormattingEditProvider(this._client.protocol2CodeConverter.asDocumentSelector(selector), provider), provider];
|
|
}
|
|
}
|
|
exports.DocumentRangeFormattingFeature = DocumentRangeFormattingFeature;
|
|
class DocumentOnTypeFormattingFeature extends features_1.TextDocumentLanguageFeature {
|
|
constructor(client) {
|
|
super(client, vscode_languageserver_protocol_1.DocumentOnTypeFormattingRequest.type);
|
|
}
|
|
fillClientCapabilities(capabilities) {
|
|
(0, features_1.ensure)((0, features_1.ensure)(capabilities, 'textDocument'), 'onTypeFormatting').dynamicRegistration = true;
|
|
}
|
|
initialize(capabilities, documentSelector) {
|
|
const options = this.getRegistrationOptions(documentSelector, capabilities.documentOnTypeFormattingProvider);
|
|
if (!options) {
|
|
return;
|
|
}
|
|
this.register({ id: UUID.generateUuid(), registerOptions: options });
|
|
}
|
|
registerLanguageProvider(options) {
|
|
const selector = options.documentSelector;
|
|
const provider = {
|
|
provideOnTypeFormattingEdits: (document, position, ch, options, token) => {
|
|
const client = this._client;
|
|
const provideOnTypeFormattingEdits = (document, position, ch, options, token) => {
|
|
let params = {
|
|
textDocument: client.code2ProtocolConverter.asTextDocumentIdentifier(document),
|
|
position: client.code2ProtocolConverter.asPosition(position),
|
|
ch: ch,
|
|
options: client.code2ProtocolConverter.asFormattingOptions(options, FileFormattingOptions.fromConfiguration(document))
|
|
};
|
|
return client.sendRequest(vscode_languageserver_protocol_1.DocumentOnTypeFormattingRequest.type, params, token).then((result) => {
|
|
if (token.isCancellationRequested) {
|
|
return null;
|
|
}
|
|
return client.protocol2CodeConverter.asTextEdits(result, token);
|
|
}, (error) => {
|
|
return client.handleFailedRequest(vscode_languageserver_protocol_1.DocumentOnTypeFormattingRequest.type, token, error, null);
|
|
});
|
|
};
|
|
const middleware = client.middleware;
|
|
return middleware.provideOnTypeFormattingEdits
|
|
? middleware.provideOnTypeFormattingEdits(document, position, ch, options, token, provideOnTypeFormattingEdits)
|
|
: provideOnTypeFormattingEdits(document, position, ch, options, token);
|
|
}
|
|
};
|
|
const moreTriggerCharacter = options.moreTriggerCharacter || [];
|
|
return [vscode_1.languages.registerOnTypeFormattingEditProvider(this._client.protocol2CodeConverter.asDocumentSelector(selector), provider, options.firstTriggerCharacter, ...moreTriggerCharacter), provider];
|
|
}
|
|
}
|
|
exports.DocumentOnTypeFormattingFeature = DocumentOnTypeFormattingFeature;
|