Blame - runtime/syntax/murphi.vim - android_external_vim

blob: 5620010f9a8234bacc604621ad8da83306fffa29 [file] [log] [blame]

Bram Moolenaar	74675a6	2017-07-15 13:53:23 +0200	[diff] [blame]	1	" Vim syntax file
				2	" Language: Murphi model checking language
				3	" Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com>
				4	" Last Change: 2017 May 3
				5	" Version: 2
				6	" Remark: Originally authored by Diego Ongaro <ongaro@cs.stanford.edu>
				7
				8	if version < 600
				9	syntax clear
				10	elseif exists("b:current_syntax")
				11	finish
				12	endif
				13
				14	" Keywords are case insensitive.
				15	" Keep these in alphabetical order.
				16	syntax case ignore
				17	syn keyword murphiKeyword alias
				18	syn keyword murphiStructure array
				19	syn keyword murphiKeyword assert
				20	syn keyword murphiKeyword begin
				21	syn keyword murphiType boolean
				22	syn keyword murphiKeyword by
				23	syn keyword murphiLabel case
				24	syn keyword murphiKeyword clear
				25	syn keyword murphiLabel const
				26	syn keyword murphiRepeat do
				27	syn keyword murphiConditional else
				28	syn keyword murphiConditional elsif
				29	syn keyword murphiKeyword end
				30	syn keyword murphiKeyword endalias
				31	syn keyword murphiRepeat endexists
				32	syn keyword murphiRepeat endfor
				33	syn keyword murphiRepeat endforall
				34	syn keyword murphiKeyword endfunction
				35	syn keyword murphiConditional endif
				36	syn keyword murphiKeyword endprocedure
				37	syn keyword murphiStructure endrecord
				38	syn keyword murphiKeyword endrule
				39	syn keyword murphiKeyword endruleset
				40	syn keyword murphiKeyword endstartstate
				41	syn keyword murphiConditional endswitch
				42	syn keyword murphiRepeat endwhile
				43	syn keyword murphiStructure enum
				44	syn keyword murphiKeyword error
				45	syn keyword murphiRepeat exists
				46	syn keyword murphiBoolean false
				47	syn keyword murphiRepeat for
				48	syn keyword murphiRepeat forall
				49	syn keyword murphiKeyword function
				50	syn keyword murphiConditional if
				51	syn keyword murphiKeyword in
				52	syn keyword murphiKeyword interleaved
				53	syn keyword murphiLabel invariant
				54	syn keyword murphiFunction ismember
				55	syn keyword murphiFunction isundefined
				56	syn keyword murphiKeyword log
				57	syn keyword murphiStructure of
				58	syn keyword murphiType multiset
				59	syn keyword murphiFunction multisetadd
				60	syn keyword murphiFunction multisetcount
				61	syn keyword murphiFunction multisetremove
				62	syn keyword murphiFunction multisetremovepred
				63	syn keyword murphiKeyword procedure
				64	syn keyword murphiKeyword process
				65	syn keyword murphiKeyword program
				66	syn keyword murphiKeyword put
				67	syn keyword murphiStructure record
				68	syn keyword murphiKeyword return
				69	syn keyword murphiLabel rule
				70	syn keyword murphiLabel ruleset
				71	syn keyword murphiType scalarset
				72	syn keyword murphiLabel startstate
				73	syn keyword murphiConditional switch
				74	syn keyword murphiConditional then
				75	syn keyword murphiRepeat to
				76	syn keyword murphiKeyword traceuntil
				77	syn keyword murphiBoolean true
				78	syn keyword murphiLabel type
				79	syn keyword murphiKeyword undefine
				80	syn keyword murphiStructure union
				81	syn keyword murphiLabel var
				82	syn keyword murphiRepeat while
				83
				84	syn keyword murphiTodo contained todo xxx fixme
				85	syntax case match
				86
				87	" Integers.
				88	syn match murphiNumber "\<\d\+\>"
				89
				90	" Operators and special characters.
				91	syn match murphiOperator "[\+\-\*\/%&\|=!<>:\?]\\|\."
				92	syn match murphiDelimiter "$:[^=]\\|[;,]$"
				93	syn match murphiSpecial "[()\[\]]"
				94
				95	" Double equal sign is a common error: use one equal sign for equality testing.
				96	syn match murphiError "==[^>]"he=e-1
				97	" Double && and \|\| are errors.
				98	syn match murphiError "&&\\|\|\|"
				99
				100	" Strings. This is defined so late so that it overrides previous matches.
				101	syn region murphiString start=+"+ end=+"+
				102
				103	" Comments. This is defined so late so that it overrides previous matches.
				104	syn region murphiComment start="--" end="$" contains=murphiTodo
				105	syn region murphiComment start="/\" end="\/" contains=murphiTodo
				106
				107	" Link the rules to some groups.
				108	highlight link murphiComment Comment
				109	highlight link murphiString String
				110	highlight link murphiNumber Number
				111	highlight link murphiBoolean Boolean
				112	highlight link murphiIdentifier Identifier
				113	highlight link murphiFunction Function
				114	highlight link murphiStatement Statement
				115	highlight link murphiConditional Conditional
				116	highlight link murphiRepeat Repeat
				117	highlight link murphiLabel Label
				118	highlight link murphiOperator Operator
				119	highlight link murphiKeyword Keyword
				120	highlight link murphiType Type
				121	highlight link murphiStructure Structure
				122	highlight link murphiSpecial Special
				123	highlight link murphiDelimiter Delimiter
				124	highlight link murphiError Error
				125	highlight link murphiTodo Todo
				126
				127	let b:current_syntax = "murphi"