/
lotos.vim
82 lines (68 loc) · 2.7 KB
/
lotos.vim
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
" 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