mirror of
https://github.com/neovim/neovim.git
synced 2024-12-20 19:25:11 -07:00
83 lines
2.7 KiB
VimL
83 lines
2.7 KiB
VimL
|
" Vim syntax file
|
||
|
|
" Language: LOTOS (Language Of Temporal Ordering Specifications, IS8807)
|
||
|
|
" Maintainer: Daniel Amyot <damyot@csi.uottawa.ca>
|
||
|
|
" Last Change: Wed Aug 19 1998
|
||
|
|
" URL: http://lotos.csi.uottawa.ca/~damyot/vim/lotos.vim
|
||
|
|
" This file is an adaptation of pascal.vim by Mario Eusebio
|
||
|
|
" I'm not sure I understand all of the syntax highlight language,
|
||
|
|
" but this file seems to do the job for standard LOTOS.
|
||
|
|
|
||
|
|
" For version 5.x: Clear all syntax items
|
||
|
|
" For version 6.x: Quit when a syntax file was already loaded
|
||
|
|
if version < 600
|
||
|
|
syntax clear
|
||
|
|
elseif exists("b:current_syntax")
|
||
|
|
finish
|
||
|
|
endif
|
||
|
|
|
||
|
|
syn case ignore
|
||
|
|
|
||
|
|
"Comments in LOTOS are between (* and *)
|
||
|
|
syn region lotosComment start="(\*" end="\*)" contains=lotosTodo
|
||
|
|
|
||
|
|
"Operators [], [...], >>, ->, |||, |[...]|, ||, ;, !, ?, :, =, ,, :=
|
||
|
|
syn match lotosDelimiter "[][]"
|
||
|
|
syn match lotosDelimiter ">>"
|
||
|
|
syn match lotosDelimiter "->"
|
||
|
|
syn match lotosDelimiter "\[>"
|
||
|
|
syn match lotosDelimiter "[|;!?:=,]"
|
||
|
|
|
||
|
|
"Regular keywords
|
||
|
|
syn keyword lotosStatement specification endspec process endproc
|
||
|
|
syn keyword lotosStatement where behaviour behavior
|
||
|
|
syn keyword lotosStatement any let par accept choice hide of in
|
||
|
|
syn keyword lotosStatement i stop exit noexit
|
||
|
|
|
||
|
|
"Operators from the Abstract Data Types in IS8807
|
||
|
|
syn keyword lotosOperator eq ne succ and or xor implies iff
|
||
|
|
syn keyword lotosOperator not true false
|
||
|
|
syn keyword lotosOperator Insert Remove IsIn NotIn Union Ints
|
||
|
|
syn keyword lotosOperator Minus Includes IsSubsetOf
|
||
|
|
syn keyword lotosOperator lt le ge gt 0
|
||
|
|
|
||
|
|
"Sorts in IS8807
|
||
|
|
syn keyword lotosSort Boolean Bool FBoolean FBool Element
|
||
|
|
syn keyword lotosSort Set String NaturalNumber Nat HexString
|
||
|
|
syn keyword lotosSort HexDigit DecString DecDigit
|
||
|
|
syn keyword lotosSort OctString OctDigit BitString Bit
|
||
|
|
syn keyword lotosSort Octet OctetString
|
||
|
|
|
||
|
|
"Keywords for ADTs
|
||
|
|
syn keyword lotosType type endtype library endlib sorts formalsorts
|
||
|
|
syn keyword lotosType eqns formaleqns opns formalopns forall ofsort is
|
||
|
|
syn keyword lotosType for renamedby actualizedby sortnames opnnames
|
||
|
|
syn keyword lotosType using
|
||
|
|
|
||
|
|
syn sync lines=250
|
||
|
|
|
||
|
|
" Define the default highlighting.
|
||
|
|
" For version 5.7 and earlier: only when not done already
|
||
|
|
" For version 5.8 and later: only when an item doesn't have highlighting yet
|
||
|
|
if version >= 508 || !exists("did_lotos_syntax_inits")
|
||
|
|
if version < 508
|
||
|
|
let did_lotos_syntax_inits = 1
|
||
|
|
command -nargs=+ HiLink hi link <args>
|
||
|
|
else
|
||
|
|
command -nargs=+ HiLink hi def link <args>
|
||
|
|
endif
|
||
|
|
|
||
|
|
HiLink lotosStatement Statement
|
||
|
|
HiLink lotosProcess Label
|
||
|
|
HiLink lotosOperator Operator
|
||
|
|
HiLink lotosSort Function
|
||
|
|
HiLink lotosType Type
|
||
|
|
HiLink lotosComment Comment
|
||
|
|
HiLink lotosDelimiter String
|
||
|
|
|
||
|
|
delcommand HiLink
|
||
|
|
endif
|
||
|
|
|
||
|
|
let b:current_syntax = "lotos"
|
||
|
|
|
||
|
|
" vim: ts=8
|