diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2021-06-09 09:50:19 +0200 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2021-06-09 09:50:19 +0200 |
| commit | ff8c1d76741f148d5f6efb9a57119dcf11afaec6 (patch) | |
| tree | 2717f611f45d2a82d83ae1e320af4f3aa33b4264 /autoload/smt2.vim | |
| parent | 27756b129b7a1f9763a0062aafa8fd35b0181b19 (diff) | |
| download | vim-polyglot-ff8c1d76741f148d5f6efb9a57119dcf11afaec6.tar.gz vim-polyglot-ff8c1d76741f148d5f6efb9a57119dcf11afaec6.zip | |
Update
Diffstat (limited to '')
| -rw-r--r-- | autoload/smt2.vim | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/autoload/smt2.vim b/autoload/smt2.vim deleted file mode 100644 index 1aee2635..00000000 --- a/autoload/smt2.vim +++ /dev/null @@ -1,34 +0,0 @@ -if polyglot#init#is_disabled(expand('<sfile>:p'), 'smt2', 'autoload/smt2.vim') - finish -endif - -" Invokes the solver on current file -function! smt2#RunSolver() - silent !clear - execute "!" . g:smt2_solver_command . " " . bufname("%") -endfunction - -" Puts the solver's output in new split (replaces old split) -function! smt2#RunSolverAndShowResult() - let output = system(g:smt2_solver_command . " " . bufname("%") . " 2>&1") - - " Create split (or reuse existent) - if exists("s:outputbufnr") && bufwinnr(s:outputbufnr) > 0 - execute bufwinnr(s:outputbufnr) . 'wincmd w' - else - silent! vnew - let s:outputbufnr=bufnr('%') - endif - - " Clear & (re-)fill contents - silent! normal! ggdG - setlocal filetype=smt2 buftype=nofile nobuflisted noswapfile - call append(0, split(output, '\v\n')) - normal! gg -endfunction - -" Requests the solver's version -function! smt2#PrintSolverVersion() - silent !clear - execute "!" . g:smt2_solver_command . " " . g:smt2_solver_version_switch -endfunction |