public DafnyTextDocumentHandler(
ILogger <DafnyTextDocumentHandler> logger, IDocumentDatabase documents, IDiagnosticPublisher diagnosticPublisher
) : base(TextDocumentSyncKind.Incremental, CreateRegistrationOptions())
{
_logger = logger;
_documents = documents;
_diagnosticPublisher = diagnosticPublisher;
}
public DafnyTextDocumentHandler(
ILogger <DafnyTextDocumentHandler> logger, IDocumentDatabase documents, IDiagnosticPublisher diagnosticPublisher
)
{
this.logger = logger;
this.documents = documents;
this.diagnosticPublisher = diagnosticPublisher;
}
