public void RunVerifier(IWpfTextView activeTextView)
{
DafnyLanguage.ProgressTagger tagger;
if (activeTextView != null && DafnyLanguage.ProgressTagger.ProgressTaggers.TryGetValue(activeTextView.TextBuffer, out tagger))
{
MenuProxy.Output("verifier manually started\n");
tagger.StartVerification(false);
}
}
public void StopResolver(IWpfTextView activeTextView)
{
DafnyLanguage.ResolverTagger resolver;
if (activeTextView != null && DafnyLanguage.ResolverTagger.ResolverTaggers.TryGetValue(activeTextView.TextBuffer, out resolver))
{
MenuProxy.Output("resolver and verifier manually stopped\n");
resolver.RunResolver = false;
resolver.Program = null;
}
DafnyLanguage.ProgressTagger tagger;
if (activeTextView != null && DafnyLanguage.ProgressTagger.ProgressTaggers.TryGetValue(activeTextView.TextBuffer, out tagger))
{
tagger.StartVerification(false);
}
}
private void DocumentSaved(EnvDTE.Document document)
{
DafnyLanguage.ProgressTagger tagger;
IWpfTextView textView = GetWpfTextView(document.FullName);
if (textView != null && DafnyLanguage.ProgressTagger.ProgressTaggers.TryGetValue(textView.TextBuffer, out tagger))
{
MenuProxy.Output("restart verifier on file save: " + document.FullName + "\n");
// stop the old verification
tagger.StopVerification();
// start a new one.
tagger.StartVerification(false);
}
}