C# (CSharp) DafnyLanguage.Refactoring TacnyDriver Examples

Example #1

File: RefactoringUtil.cs Project: ggrov/dafny

        public static bool GetExistingProgram(ITextBuffer tb, out Program p)
        {
            p = null;
            string file;

            return(LoadAndCheckDocument(tb, out file) && TacnyDriver.GetExistingProgramFromBuffer(tb, out p));
        }

Example #2

File: RefactoringUtil.cs Project: ggrov/dafny

        public static Program GetNewProgram(ITextBuffer tb)
        {
            string file;

            LoadAndCheckDocument(tb, out file);
            var driver = new TacnyDriver(tb, file);

            return(driver.ReParse(false));
        }