public SignatureHelpProcessor(ISymbolGuesser symbolGuesser, DafnyDocument document, SignatureHelpParams request, CancellationToken cancellationToken) { _symbolGuesser = symbolGuesser; _document = document; _request = request; _cancellationToken = cancellationToken; }
public CompletionProcessor(ISymbolGuesser symbolGuesser, DafnyDocument document, CompletionParams request, CancellationToken cancellationToken) { this.symbolGuesser = symbolGuesser; this.document = document; this.request = request; this.cancellationToken = cancellationToken; }
public DafnySignatureHelpHandler(ILogger <DafnySignatureHelpHandler> logger, IDocumentDatabase documents, ISymbolGuesser symbolGuesser) : base(CreateRegistrationOptions()) { _logger = logger; _documents = documents; _symbolGuesser = symbolGuesser; }
public DafnySignatureHelpHandler(ILogger <DafnySignatureHelpHandler> logger, IDocumentDatabase documents, ISymbolGuesser symbolGuesser) { this.logger = logger; this.documents = documents; this.symbolGuesser = symbolGuesser; }
public DafnyCompletionHandler(ILogger <DafnyCompletionHandler> logger, IDocumentDatabase documents, ISymbolGuesser symbolGuesser) { this.logger = logger; this.documents = documents; this.symbolGuesser = symbolGuesser; }