annotate runtime/compiler/splint.vim @ 33399:95db67c7b754 v9.0.1958

patch 9.0.1958: cannot complete option values Commit: https://github.com/vim/vim/commit/900894b09a95398dfc75599e9f0aa2ea25723384 Author: Yee Cheng Chin <ychin.git@gmail.com> Date: Fri Sep 29 20:42:32 2023 +0200 patch 9.0.1958: cannot complete option values Problem: cannot complete option values Solution: Add completion functions for several options Add cmdline tab-completion for setting string options Add tab-completion for setting string options on the cmdline using `:set=` (along with `:set+=` and `:set-=`). The existing tab completion for setting options currently only works when nothing is typed yet, and it only fills in with the existing value, e.g. when the user does `:set diffopt=<Tab>` it will be completed to `set diffopt=internal,filler,closeoff` and nothing else. This isn't too useful as a user usually wants auto-complete to suggest all the possible values, such as 'iblank', or 'algorithm:patience'. For set= and set+=, this adds a new optional callback function for each option that can be invoked when doing completion. This allows for each option to have control over how completion works. For example, in 'diffopt', it will suggest the default enumeration, but if `algorithm:` is selected, it will further suggest different algorithm types like 'meyers' and 'patience'. When using set=, the existing option value will be filled in as the first choice to preserve the existing behavior. When using set+= this won't happen as it doesn't make sense. For flag list options (e.g. 'mouse' and 'guioptions'), completion will take into account existing typed values (and in the case of set+=, the existing option value) to make sure it doesn't suggest duplicates. For set-=, there is a new `ExpandSettingSubtract` function which will handle flag list and comma-separated options smartly, by only suggesting values that currently exist in the option. Note that Vim has some existing code that adds special handling for 'filetype', 'syntax', and misc dir options like 'backupdir'. This change preserves them as they already work, instead of converting to the new callback API for each option. closes: #13182 Signed-off-by: Christian Brabandt <cb@256bit.org> Co-authored-by: Yee Cheng Chin <ychin.git@gmail.com>
author Christian Brabandt <cb@256bit.org>
date Fri, 29 Sep 2023 20:45:04 +0200
parents 2704c4e3e20a
children e1df51f68736
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 " Vim compiler file
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 " Compiler: splint/lclint (C source code checker)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 " Maintainer: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 " Splint Home: http://www.splint.org/
17571
2704c4e3e20a Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents: 2034
diff changeset
5 " Last Change: 2019 Jul 23
2034
7bc41231fbc7 Update runtime files.
Bram Moolenaar <bram@zimbu.org>
parents: 255
diff changeset
6 " $Revision: 1.3 $
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 if exists("current_compiler")
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 finish
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10 endif
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 let current_compiler = "splint"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
13 if exists(":CompilerSet") != 2 " older Vim always used :setlocal
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
14 command -nargs=* CompilerSet setlocal <args>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
15 endif
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
16
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
17 let s:cpo_save = &cpo
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
18 set cpo-=C
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
19
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
20 " adapt this if you want to check more than one file at a time.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
21 " put command line options in .splintrc or ~/.splintrc
17571
2704c4e3e20a Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents: 2034
diff changeset
22 CompilerSet makeprg=splint\ %:S
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
23
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
24 " Note: when using the new array bounds checking flags: Each warning
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
25 " usually has several lines and several references to source code mostly
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
26 " within one or two lines (see sample warning below). The easiest way
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
27 " not to mess up file name detection and not to jump to all positions is
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
28 " to add something like
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
29 " -linelen 500 +boundscompacterrormessages
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
30 " to your .splintrc and 'set cmdheight=4' or more.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
31 " TODO: reliable way to distinguish file names and constraints.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
32 "
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
33 " sample warning (generic):
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
34 "
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
35 "foo.c:1006:12: Clauses exit with var referencing local storage in one
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
36 " case, fresh storage in other case
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
37 " foo.c:1003:2: Fresh storage var allocated
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
38 "
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
39 " sample warning (bounds checking):
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
40 "
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
41 "bounds.c: (in function updateEnv)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
42 "bounds.c:10:5: Possible out-of-bounds store:
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
43 " strcpy(str, tmp)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
44 " Unable to resolve constraint:
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
45 " requires maxSet(str @ bounds.c:10:13) >= maxRead(getenv("MYENV") @
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
46 " bounds.c:6:9)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
47 " needed to satisfy precondition:
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
48 " requires maxSet(str @ bounds.c:10:13) >= maxRead(tmp @ bounds.c:10:18)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
49 " derived from strcpy precondition: requires maxSet(<parameter 1>) >=
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
50 " maxRead(<parameter 2>)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
51 " A memory write may write to an address beyond the allocated buffer. (Use
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
52 " -boundswrite to inhibit warning)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
53
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
54 CompilerSet errorformat=%OLCLint*m,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
55 \%OSplint*m,
255
c8742c8da9ab updated for version 7.0070
vimboss
parents: 25
diff changeset
56 \%f(%l\\,%c):\ %m,
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
57 \%*[\ ]%f:%l:%c:\ %m,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
58 \%*[\ ]%f:%l:\ %m,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
59 \%*[^\"]\"%f\"%*\\D%l:\ %m,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
60 \\"%f\"%*\\D%l:\ %m,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
61 \%A%f:%l:%c:\ %m,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
62 \%A%f:%l:%m,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
63 \\"%f\"\\,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
64 \\ line\ %l%*\\D%c%*[^\ ]\ %m,
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
65 \%D%*\\a[%*\\d]:\ Entering\ directory\ `%f',
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
66 \%X%*\\a[%*\\d]:\ Leaving\ directory\ `%f',
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
67 \%DMaking\ %*\\a\ in\ %f,
25
8cde1a064c7c updated for version 7.0017
vimboss
parents: 7
diff changeset
68 \%C\ %#%m
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
69
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
70 let &cpo = s:cpo_save
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
71 unlet s:cpo_save