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."
25 lines
1.3 KiB
TypeScript
25 lines
1.3 KiB
TypeScript
import { CancellationToken, ProgressToken, ProgressType, WorkDoneProgressParams, PartialResultParams } from 'vscode-languageserver-protocol';
|
|
import type { Feature, _RemoteWindow } from './server';
|
|
export interface ProgressContext {
|
|
sendProgress<P>(type: ProgressType<P>, token: ProgressToken, value: P): void;
|
|
}
|
|
export interface WorkDoneProgressReporter {
|
|
begin(title: string, percentage?: number, message?: string, cancellable?: boolean): void;
|
|
report(percentage: number): void;
|
|
report(message: string): void;
|
|
report(percentage: number, message: string): void;
|
|
done(): void;
|
|
}
|
|
export interface WorkDoneProgressServerReporter extends WorkDoneProgressReporter {
|
|
readonly token: CancellationToken;
|
|
}
|
|
export interface WindowProgress {
|
|
attachWorkDoneProgress(token: ProgressToken | undefined): WorkDoneProgressReporter;
|
|
createWorkDoneProgress(): Promise<WorkDoneProgressServerReporter>;
|
|
}
|
|
export declare function attachWorkDone(connection: ProgressContext, params: WorkDoneProgressParams | undefined): WorkDoneProgressReporter;
|
|
export declare const ProgressFeature: Feature<_RemoteWindow, WindowProgress>;
|
|
export interface ResultProgressReporter<R> {
|
|
report(data: R): void;
|
|
}
|
|
export declare function attachPartialResult<R>(connection: ProgressContext, params: PartialResultParams): ResultProgressReporter<R> | undefined;
|