import { URI } from '@theia/core/shared/vscode-uri'; import * as theia from '@theia/plugin'; import { DocumentsExtImpl } from '../documents'; import { HoverContext } from '../../common/plugin-api-rpc-model'; import { HoverWithId, Position } from '../../common/plugin-api-rpc'; export declare class HoverAdapter { private readonly provider; private readonly documents; private _hoverCounter; private _hoverMap; private static HOVER_MAP_MAX_SIZE; constructor(provider: theia.HoverProvider, documents: DocumentsExtImpl); provideHover(resource: URI, position: Position, context: HoverContext<{ id: number; }> | undefined, token: theia.CancellationToken): Promise; releaseHover(id: number): void; } //# sourceMappingURL=hover.d.ts.map