summaryrefslogtreecommitdiffstats
path: root/syntax/csp.vim
diff options
context:
space:
mode:
authorAdam Stankiewicz <sheerun@sher.pl>2017-09-28 22:18:09 +0200
committerAdam Stankiewicz <sheerun@sher.pl>2017-09-28 22:18:09 +0200
commit27903c5b8656c796564ef073c1ebe77a2f0154e1 (patch)
tree2b0a3a14494d7976fb79a7517706e25d2a95d080 /syntax/csp.vim
parentd5e38fa97bc50a93a66473d6cd7072fbcbadda57 (diff)
downloadvim-polyglot-3.0.0.tar.gz
vim-polyglot-3.0.0.zip
Revert inlining basic language packv3.0.0
Diffstat (limited to 'syntax/csp.vim')
-rw-r--r--syntax/csp.vim186
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