diff options
Diffstat (limited to 'syntax/csp.vim')
| -rw-r--r-- | syntax/csp.vim | 186 |
1 files changed, 0 insertions, 186 deletions
diff --git a/syntax/csp.vim b/syntax/csp.vim deleted file mode 100644 index e688c46a..00000000 --- a/syntax/csp.vim +++ /dev/null @@ -1,186 +0,0 @@ -if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'vim') == -1 - -" 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 - -endif |