public TextDocumentLoader( IDafnyParser parser, ISymbolResolver symbolResolver, IProgramVerifier verifier, ISymbolTableFactory symbolTableFactory, IVerificationNotificationPublisher notificationPublisher ) { _parser = parser; _symbolResolver = symbolResolver; _verifier = verifier; _symbolTableFactory = symbolTableFactory; _notificationPublisher = notificationPublisher; }