Mercurial > vim
view runtime/syntax/csp.vim @ 33947:f4d88db48a63 v9.0.2168
patch 9.0.2168: Moving tabpages on :drop may cause an endless loop
Commit: https://github.com/vim/vim/commit/df12e39b8b9dd39056e22b452276622cb7b617fd
Author: Christian Brabandt <cb@256bit.org>
Date: Sat Dec 16 13:55:32 2023 +0100
patch 9.0.2168: Moving tabpages on :drop may cause an endless loop
Problem: Moving tabpages on :drop may cause an endless loop
Solution: Disallow moving tabpages on :drop when cleaning up the arglist
first
Moving tabpages during drop command may cause an endless loop
When executing a :tab drop command, Vim will close all windows not in
the argument list. This triggers various autocommands. If a user has
created an 'au Tabenter * :tabmove -' autocommand, this can cause Vim to
end up in an endless loop, when trying to iterate over all tabs (which
would trigger the tabmove autocommand, which will change the tpnext
pointer, etc).
So instead of blocking all autocommands before we actually try to edit
the given file, lets simply disallow to move tabpages around. Otherwise,
we may change the expected number of events triggered during a :drop
command, which users may rely on (there is actually a test, that expects
various TabLeave/TabEnter autocommands) and would therefore be a
backwards incompatible change.
Don't make this an error, as this could trigger several times during the
drop command, but silently ignore the :tabmove command in this case (and
it should in fact finally trigger successfully when loading the given
file in a new tab). So let's just be quiet here instead.
fixes: #13676
closes: #13686
Signed-off-by: Christian Brabandt <cb@256bit.org>
| author | Christian Brabandt <cb@256bit.org> |
|---|---|
| date | Sat, 16 Dec 2023 14:00:05 +0100 |
| parents | 46763b01cd9a |
| children |
line wrap: on
line source
" Vim syntax file " Language: CSP (Communication Sequential Processes, using FDR input syntax) " Maintainer: Jan Bredereke <brederek@tzi.de> " Version: 0.6.0 " Last change: Mon Mar 25, 2002 " URL: http://www.tzi.de/~brederek/vim/ " Copying: You may distribute and use this file freely, in the same " way as the vim editor itself. " " To Do: - Probably I missed some keywords or operators, please " fix them and notify me, the maintainer. " - Currently, we do lexical highlighting only. It would be " nice to have more actual syntax checks, including " highlighting of wrong syntax. " - The additional syntax for the RT-Tester (pseudo-comments) " should be optional. " quit when a syntax file was already loaded if exists("b:current_syntax") finish endif " case is significant to FDR: syn case match " Block comments in CSP are between {- and -} syn region cspComment start="{-" end="-}" contains=cspTodo " Single-line comments start with -- syn region cspComment start="--" end="$" contains=cspTodo,cspOldRttComment,cspSdlRttComment keepend " Numbers: syn match cspNumber "\<\d\+\>" " Conditionals: syn keyword cspConditional if then else " Operators on processes: " -> ? : ! ' ; /\ \ [] |~| [> & [[..<-..]] ||| [|..|] || [..<->..] ; : @ ||| syn match cspOperator "->" syn match cspOperator "/\\" syn match cspOperator "[^/]\\"lc=1 syn match cspOperator "\[\]" syn match cspOperator "|\~|" syn match cspOperator "\[>" syn match cspOperator "\[\[" syn match cspOperator "\]\]" syn match cspOperator "<-" syn match cspOperator "|||" syn match cspOperator "[^|]||[^|]"lc=1,me=e-1 syn match cspOperator "[^|{\~]|[^|}\~]"lc=1,me=e-1 syn match cspOperator "\[|" syn match cspOperator "|\]" syn match cspOperator "\[[^>]"me=e-1 syn match cspOperator "\]" syn match cspOperator "<->" syn match cspOperator "[?:!';@]" syn match cspOperator "&" syn match cspOperator "\." " (not on processes:) " syn match cspDelimiter "{|" " syn match cspDelimiter "|}" " syn match cspDelimiter "{[^-|]"me=e-1 " syn match cspDelimiter "[^-|]}"lc=1 " Keywords: syn keyword cspKeyword length null head tail concat elem syn keyword cspKeyword union inter diff Union Inter member card syn keyword cspKeyword empty set Set Seq syn keyword cspKeyword true false and or not within let syn keyword cspKeyword nametype datatype diamond normal syn keyword cspKeyword sbisim tau_loop_factor model_compress syn keyword cspKeyword explicate syn match cspKeyword "transparent" syn keyword cspKeyword external chase prioritize syn keyword cspKeyword channel Events syn keyword cspKeyword extensions productions syn keyword cspKeyword Bool Int " Reserved keywords: syn keyword cspReserved attribute embed module subtype " Include: syn region cspInclude matchgroup=cspIncludeKeyword start="^include" end="$" keepend contains=cspIncludeArg syn region cspIncludeArg start='\s\+\"' end= '\"\s*' contained " Assertions: syn keyword cspAssert assert deterministic divergence free deadlock syn keyword cspAssert livelock syn match cspAssert "\[T=" syn match cspAssert "\[F=" syn match cspAssert "\[FD=" syn match cspAssert "\[FD\]" syn match cspAssert "\[F\]" " Types and Sets " (first char a capital, later at least one lower case, no trailing underscore): syn match cspType "\<_*[A-Z][A-Z_0-9]*[a-z]\(\|[A-Za-z_0-9]*[A-Za-z0-9]\)\>" " Processes (all upper case, no trailing underscore): " (For identifiers that could be types or sets, too, this second rule set " wins.) syn match cspProcess "\<[A-Z_][A-Z_0-9]*[A-Z0-9]\>" syn match cspProcess "\<[A-Z_]\>" " reserved identifiers for tool output (ending in underscore): syn match cspReservedIdentifier "\<[A-Za-z_][A-Za-z_0-9]*_\>" " ToDo markers: syn match cspTodo "FIXME" contained syn match cspTodo "TODO" contained syn match cspTodo "!!!" contained " RT-Tester pseudo comments: " (The now obsolete syntax:) syn match cspOldRttComment "^--\$\$AM_UNDEF"lc=2 contained syn match cspOldRttComment "^--\$\$AM_ERROR"lc=2 contained syn match cspOldRttComment "^--\$\$AM_WARNING"lc=2 contained syn match cspOldRttComment "^--\$\$AM_SET_TIMER"lc=2 contained syn match cspOldRttComment "^--\$\$AM_RESET_TIMER"lc=2 contained syn match cspOldRttComment "^--\$\$AM_ELAPSED_TIMER"lc=2 contained syn match cspOldRttComment "^--\$\$AM_OUTPUT"lc=2 contained syn match cspOldRttComment "^--\$\$AM_INPUT"lc=2 contained " (The current syntax:) syn region cspRttPragma matchgroup=cspRttPragmaKeyword start="^pragma\s\+" end="\s*$" oneline keepend contains=cspRttPragmaArg,cspRttPragmaSdl syn keyword cspRttPragmaArg AM_ERROR AM_WARNING AM_SET_TIMER contained syn keyword cspRttPragmaArg AM_RESET_TIMER AM_ELAPSED_TIMER contained syn keyword cspRttPragmaArg AM_OUTPUT AM_INPUT AM_INTERNAL contained " the "SDL_MATCH" extension: syn region cspRttPragmaSdl matchgroup=cspRttPragmaKeyword start="SDL_MATCH\s\+" end="\s*$" contains=cspRttPragmaSdlArg contained syn keyword cspRttPragmaSdlArg TRANSLATE nextgroup=cspRttPragmaSdlTransName contained syn keyword cspRttPragmaSdlArg PARAM SKIP OPTIONAL CHOICE ARRAY nextgroup=cspRttPragmaSdlName contained syn match cspRttPragmaSdlName "\s*\S\+\s*" nextgroup=cspRttPragmaSdlTail contained syn region cspRttPragmaSdlTail start="" end="\s*$" contains=cspRttPragmaSdlTailArg contained syn keyword cspRttPragmaSdlTailArg SUBSET_USED DEFAULT_VALUE Present contained syn match cspRttPragmaSdlTransName "\s*\w\+\s*" nextgroup=cspRttPragmaSdlTransTail contained syn region cspRttPragmaSdlTransTail start="" end="\s*$" contains=cspRttPragmaSdlTransTailArg contained syn keyword cspRttPragmaSdlTransTailArg sizeof contained syn match cspRttPragmaSdlTransTailArg "\*" contained syn match cspRttPragmaSdlTransTailArg "(" contained syn match cspRttPragmaSdlTransTailArg ")" contained " temporary syntax extension for commented-out "pragma SDL_MATCH": syn match cspSdlRttComment "pragma\s\+SDL_MATCH\s\+" nextgroup=cspRttPragmaSdlArg contained syn sync lines=250 " Define the default highlighting. " Only when an item doesn't have highlighting yet " The default methods for highlighting. Can be overridden later " (For vim version <=5.7, the command groups are defined in " $VIMRUNTIME/syntax/synload.vim ) hi def link cspComment Comment hi def link cspNumber Number hi def link cspConditional Conditional hi def link cspOperator Delimiter hi def link cspKeyword Keyword hi def link cspReserved SpecialChar hi def link cspInclude Error hi def link cspIncludeKeyword Include hi def link cspIncludeArg Include hi def link cspAssert PreCondit hi def link cspType Type hi def link cspProcess Function hi def link cspTodo Todo hi def link cspOldRttComment Define hi def link cspRttPragmaKeyword Define hi def link cspSdlRttComment Define hi def link cspRttPragmaArg Define hi def link cspRttPragmaSdlArg Define hi def link cspRttPragmaSdlName Default hi def link cspRttPragmaSdlTailArg Define hi def link cspRttPragmaSdlTransName Default hi def link cspRttPragmaSdlTransTailArg Define hi def link cspReservedIdentifier Error " (Currently unused vim method: Debug) let b:current_syntax = "csp" " vim: ts=8