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;
}
