2017-11-03 08:34:41 +01:00
|
|
|
declare-option -docstring %{shell command to which the path of a copy of the current buffer will be passed
|
2017-05-16 13:35:43 +02:00
|
|
|
The output returned by this command is expected to comply with the following format:
|
|
|
|
{filename}:{line}:{column}: {kind}: {message}} \
|
|
|
|
str lintcmd
|
2016-10-11 18:34:11 +02:00
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
declare-option -hidden line-specs lint_flags
|
|
|
|
declare-option -hidden range-specs lint_errors
|
2018-05-26 12:06:11 +02:00
|
|
|
declare-option -hidden int lint_error_count
|
|
|
|
declare-option -hidden int lint_warning_count
|
2016-10-11 18:34:11 +02:00
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command lint -docstring 'Parse the current buffer with a linter' %{
|
2018-05-06 23:29:52 +02:00
|
|
|
evaluate-commands %sh{
|
2017-06-09 13:05:31 +02:00
|
|
|
dir=$(mktemp -d "${TMPDIR:-/tmp}"/kak-lint.XXXXXXXX)
|
2016-10-11 18:34:11 +02:00
|
|
|
mkfifo "$dir"/fifo
|
2018-07-04 08:55:05 +02:00
|
|
|
printf '%s\n' "evaluate-commands -no-hooks write -sync $dir/buf"
|
2016-10-11 18:34:11 +02:00
|
|
|
|
2017-11-03 09:09:45 +01:00
|
|
|
printf '%s\n' "evaluate-commands -draft %{
|
2017-03-08 20:33:25 +01:00
|
|
|
edit! -fifo $dir/fifo -debug *lint-output*
|
2017-11-03 08:34:41 +01:00
|
|
|
set-option buffer filetype make
|
|
|
|
set-option buffer make_current_error_line 0
|
2018-04-26 00:30:01 +02:00
|
|
|
hook -always -group fifo buffer BufCloseFifo .* %{
|
2016-10-11 18:34:11 +02:00
|
|
|
nop %sh{ rm -r '$dir' }
|
2017-01-04 01:07:45 +01:00
|
|
|
remove-hooks buffer fifo
|
2016-10-11 18:34:11 +02:00
|
|
|
}
|
|
|
|
}"
|
|
|
|
|
|
|
|
{ # do the parsing in the background and when ready send to the session
|
|
|
|
|
2017-11-06 10:51:55 +01:00
|
|
|
eval "$kak_opt_lintcmd '$dir'/buf" | sort -t: -k2,2 -n > "$dir"/stderr
|
2016-10-11 18:34:11 +02:00
|
|
|
|
|
|
|
# Flags for the gutter:
|
2018-06-21 00:46:38 +02:00
|
|
|
# stamp l3|{red}█ l11|{yellow}█
|
2016-10-11 18:34:11 +02:00
|
|
|
# Contextual error messages:
|
2018-06-21 00:46:38 +02:00
|
|
|
# stamp 'l1.c1,l1.c1|kind:message' 'l2.c2,l2.c2|kind:message'
|
2018-05-26 12:06:11 +02:00
|
|
|
awk -F: -v file="$kak_buffile" -v stamp="$kak_timestamp" -v client="$kak_client" '
|
|
|
|
BEGIN {
|
|
|
|
error_count = 0
|
|
|
|
warning_count = 0
|
|
|
|
}
|
2016-10-11 18:34:11 +02:00
|
|
|
/:[0-9]+:[0-9]+: ([Ff]atal )?[Ee]rror/ {
|
2018-06-21 00:46:38 +02:00
|
|
|
flags = flags " " $2 "|{red}█"
|
2018-05-26 12:06:11 +02:00
|
|
|
error_count++
|
2016-10-11 18:34:11 +02:00
|
|
|
}
|
|
|
|
/:[0-9]+:[0-9]+:/ {
|
|
|
|
if ($4 !~ /[Ee]rror/) {
|
2018-06-21 00:46:38 +02:00
|
|
|
flags = flags " " $2 "|{yellow}█"
|
2018-05-26 12:06:11 +02:00
|
|
|
warning_count++
|
2016-10-11 18:34:11 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
/:[0-9]+:[0-9]+:/ {
|
2018-05-24 19:36:32 +02:00
|
|
|
kind = substr($4, 2)
|
2018-06-21 00:46:38 +02:00
|
|
|
error = $2 "." $3 "," $2 "." $3 "|" kind
|
2018-05-24 19:36:32 +02:00
|
|
|
# fix case where $5 is not the last field because of extra colons in the message
|
2018-06-21 00:46:38 +02:00
|
|
|
for (i=5; i<=NF; i++) error = error "\\:" $i
|
|
|
|
error = error " (col " $3 ")"
|
|
|
|
gsub("'\''", "'"''"'", error)
|
|
|
|
errors = errors " '\''" error "'\''"
|
2016-10-11 18:34:11 +02:00
|
|
|
}
|
|
|
|
END {
|
2018-06-21 00:46:38 +02:00
|
|
|
print "set-option \"buffer=" file "\" lint_flags " stamp flags
|
2016-11-01 21:31:24 +01:00
|
|
|
gsub("~", "\\~", errors)
|
2018-06-21 00:46:38 +02:00
|
|
|
print "set-option \"buffer=" file "\" lint_errors " stamp errors
|
2018-05-26 12:06:11 +02:00
|
|
|
print "set-option \"buffer=" file "\" lint_error_count " error_count
|
|
|
|
print "set-option \"buffer=" file "\" lint_warning_count " warning_count
|
|
|
|
print "evaluate-commands -client " client " lint-show-counters"
|
2016-10-11 18:34:11 +02:00
|
|
|
}
|
|
|
|
' "$dir"/stderr | kak -p "$kak_session"
|
|
|
|
|
|
|
|
cut -d: -f2- "$dir"/stderr | sed "s@^@$kak_bufname:@" > "$dir"/fifo
|
|
|
|
|
|
|
|
} >/dev/null 2>&1 </dev/null &
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command -hidden lint-show %{
|
2017-05-25 20:31:56 +02:00
|
|
|
update-option buffer lint_errors
|
2018-05-06 23:29:52 +02:00
|
|
|
evaluate-commands %sh{
|
2017-05-25 20:31:56 +02:00
|
|
|
desc=$(printf '%s\n' "$kak_opt_lint_errors" | sed -e 's/\([^\\]\):/\1\n/g' | tail -n +2 |
|
|
|
|
sed -ne "/^$kak_cursor_line\.[^|]\+|.*/ { s/^[^|]\+|//g; s/'/\\\\'/g; s/\\\\:/:/g; p; }")
|
|
|
|
if [ -n "$desc" ]; then
|
|
|
|
printf '%s\n' "info -anchor $kak_cursor_line.$kak_cursor_column '$desc'"
|
|
|
|
fi
|
|
|
|
} }
|
2016-10-11 18:34:11 +02:00
|
|
|
|
2018-05-26 12:06:11 +02:00
|
|
|
define-command -hidden lint-show-counters %{
|
|
|
|
echo -markup linting results:{red} %opt{lint_error_count} error(s){yellow} %opt{lint_warning_count} warning(s)
|
|
|
|
}
|
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command lint-enable -docstring "Activate automatic diagnostics of the code" %{
|
2018-07-07 01:51:18 +02:00
|
|
|
add-highlighter window/lint flag_lines default lint_flags
|
2016-10-11 18:34:11 +02:00
|
|
|
hook window -group lint-diagnostics NormalIdle .* %{ lint-show }
|
2018-02-11 12:02:53 +01:00
|
|
|
hook window -group lint-diagnostics WinSetOption lint_flags=.* %{ info; lint-show }
|
2016-10-11 18:34:11 +02:00
|
|
|
}
|
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command lint-disable -docstring "Disable automatic diagnostics of the code" %{
|
2018-07-07 01:51:18 +02:00
|
|
|
remove-highlighter window/lint
|
2017-01-04 01:07:45 +01:00
|
|
|
remove-hooks window lint-diagnostics
|
2016-10-11 18:34:11 +02:00
|
|
|
}
|
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command lint-next-error -docstring "Jump to the next line that contains an error" %{
|
2017-05-25 20:31:56 +02:00
|
|
|
update-option buffer lint_errors
|
2018-05-06 23:29:52 +02:00
|
|
|
evaluate-commands %sh{
|
2017-05-25 20:31:56 +02:00
|
|
|
printf '%s\n' "$kak_opt_lint_errors" | sed -e 's/\([^\\]\):/\1\n/g' | tail -n +2 | {
|
|
|
|
while IFS='|' read -r candidate rest
|
|
|
|
do
|
|
|
|
first_range=${first_range-$candidate}
|
|
|
|
if [ "${candidate%%.*}" -gt "$kak_cursor_line" ]; then
|
|
|
|
range=$candidate
|
|
|
|
break
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
range=${range-$first_range}
|
|
|
|
if [ -n "$range" ]; then
|
|
|
|
printf '%s\n' "select $range"
|
|
|
|
else
|
2017-07-19 17:18:52 +02:00
|
|
|
printf 'echo -markup "{Error}no lint diagnostics"\n'
|
2016-10-11 18:34:11 +02:00
|
|
|
fi
|
2017-05-25 20:31:56 +02:00
|
|
|
}
|
|
|
|
}}
|
2016-11-02 13:42:35 +01:00
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command lint-previous-error -docstring "Jump to the previous line that contains an error" %{
|
2017-05-25 20:31:56 +02:00
|
|
|
update-option buffer lint_errors
|
2018-05-06 23:29:52 +02:00
|
|
|
evaluate-commands %sh{
|
2017-05-25 20:31:56 +02:00
|
|
|
printf '%s\n' "$kak_opt_lint_errors" | sed -e 's/\([^\\]\):/\1\n/g' | tail -n +2 | sort -t. -k1,1 -rn | {
|
|
|
|
while IFS='|' read -r candidate rest
|
|
|
|
do
|
|
|
|
first_range=${first_range-$candidate}
|
|
|
|
if [ "${candidate%%.*}" -lt "$kak_cursor_line" ]; then
|
|
|
|
range=$candidate
|
|
|
|
break
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
range=${range-$first_range}
|
|
|
|
if [ -n "$range" ]; then
|
|
|
|
printf '%s\n' "select $range"
|
|
|
|
else
|
2017-07-19 17:18:52 +02:00
|
|
|
printf 'echo -markup "{Error}no lint diagnostics"\n'
|
2016-11-02 13:42:35 +01:00
|
|
|
fi
|
2017-05-25 20:31:56 +02:00
|
|
|
}
|
|
|
|
}}
|