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."
69 lines
3 KiB
TypeScript
69 lines
3 KiB
TypeScript
import { FileSystemWatcher as VFileSystemWatcher, WorkspaceFolder as VWorkspaceFolder } from 'vscode';
|
|
import { ClientCapabilities, ConfigurationRequest, DidChangeConfigurationRegistrationOptions, RegistrationType } from 'vscode-languageserver-protocol';
|
|
import { StaticFeature, FeatureClient, FeatureState, DynamicFeature, RegistrationData } from './features';
|
|
export interface ConfigurationMiddleware {
|
|
configuration?: ConfigurationRequest.MiddlewareSignature;
|
|
}
|
|
interface ConfigurationWorkspaceMiddleware {
|
|
workspace?: ConfigurationMiddleware;
|
|
}
|
|
/**
|
|
* Configuration pull model. From server to client.
|
|
*/
|
|
export declare class ConfigurationFeature implements StaticFeature {
|
|
private readonly _client;
|
|
constructor(client: FeatureClient<ConfigurationWorkspaceMiddleware>);
|
|
getState(): FeatureState;
|
|
fillClientCapabilities(capabilities: ClientCapabilities): void;
|
|
initialize(): void;
|
|
private getConfiguration;
|
|
clear(): void;
|
|
}
|
|
export declare function toJSONObject(obj: any): any;
|
|
export interface DidChangeConfigurationSignature {
|
|
(this: void, sections: string[] | undefined): Promise<void>;
|
|
}
|
|
export interface DidChangeConfigurationMiddleware {
|
|
didChangeConfiguration?: (this: void, sections: string[] | undefined, next: DidChangeConfigurationSignature) => Promise<void>;
|
|
}
|
|
interface DidChangeConfigurationWorkspaceMiddleware {
|
|
workspace?: DidChangeConfigurationMiddleware;
|
|
}
|
|
export type SynchronizeOptions = {
|
|
/**
|
|
* The configuration sections to synchronize. Pushing settings from the
|
|
* client to the server is deprecated in favour of the new pull model
|
|
* that allows servers to query settings scoped on resources. In this
|
|
* model the client can only deliver an empty change event since the
|
|
* actually setting value can vary on the provided resource scope.
|
|
*
|
|
* @deprecated Use the new pull model (`workspace/configuration` request)
|
|
*/
|
|
configurationSection?: string | string[];
|
|
/**
|
|
* Asks the client to send file change events to the server. Watchers
|
|
* operate on workspace folders. The LSP client doesn't support watching
|
|
* files outside a workspace folder.
|
|
*/
|
|
fileEvents?: VFileSystemWatcher | VFileSystemWatcher[];
|
|
};
|
|
export type $ConfigurationOptions = {
|
|
synchronize?: SynchronizeOptions;
|
|
workspaceFolder?: VWorkspaceFolder;
|
|
};
|
|
export declare class SyncConfigurationFeature implements DynamicFeature<DidChangeConfigurationRegistrationOptions> {
|
|
private _client;
|
|
private isCleared;
|
|
private readonly _listeners;
|
|
constructor(_client: FeatureClient<DidChangeConfigurationWorkspaceMiddleware, $ConfigurationOptions>);
|
|
getState(): FeatureState;
|
|
get registrationType(): RegistrationType<DidChangeConfigurationRegistrationOptions>;
|
|
fillClientCapabilities(capabilities: ClientCapabilities): void;
|
|
initialize(): void;
|
|
register(data: RegistrationData<DidChangeConfigurationRegistrationOptions>): void;
|
|
unregister(id: string): void;
|
|
clear(): void;
|
|
private onDidChangeConfiguration;
|
|
private extractSettingsInformation;
|
|
}
|
|
export {};
|