Exemplos de IDafnyParser em C# (CSharp)

Exemplo n.º 1

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