Mercurial > hg > RemoteEditor > vim7

comparison runtime/syntax/lotos.vim @ 0:76efa0be13f1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial revision
author atsuki
date Sat, 10 Nov 2007 15:07:22 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:76efa0be13f1
1 " Vim syntax file
2 " Language: LOTOS (Language Of Temporal Ordering Specifications, IS8807)
3 " Maintainer: Daniel Amyot <damyot@csi.uottawa.ca>
4 " Last Change: Wed Aug 19 1998
5 " URL: http://lotos.csi.uottawa.ca/~damyot/vim/lotos.vim
6 " This file is an adaptation of pascal.vim by Mario Eusebio
7 " I'm not sure I understand all of the syntax highlight language,
8 " but this file seems to do the job for standard LOTOS.
9
10 " For version 5.x: Clear all syntax items
11 " For version 6.x: Quit when a syntax file was already loaded
12 if version < 600
13 syntax clear
14 elseif exists("b:current_syntax")
15 finish
16 endif
17
18 syn case ignore
19
20 "Comments in LOTOS are between (* and *)
21 syn region lotosComment start="(\*" end="\*)" contains=lotosTodo
22
23 "Operators [], [...], >>, ->, |||, |[...]|, ||, ;, !, ?, :, =, ,, :=
24 syn match lotosDelimiter "[][]"
25 syn match lotosDelimiter ">>"
26 syn match lotosDelimiter "->"
27 syn match lotosDelimiter "\[>"
28 syn match lotosDelimiter "[|;!?:=,]"
29
30 "Regular keywords
31 syn keyword lotosStatement specification endspec process endproc
32 syn keyword lotosStatement where behaviour behavior
33 syn keyword lotosStatement any let par accept choice hide of in
34 syn keyword lotosStatement i stop exit noexit
35
36 "Operators from the Abstract Data Types in IS8807
37 syn keyword lotosOperator eq ne succ and or xor implies iff
38 syn keyword lotosOperator not true false
39 syn keyword lotosOperator Insert Remove IsIn NotIn Union Ints
40 syn keyword lotosOperator Minus Includes IsSubsetOf
41 syn keyword lotosOperator lt le ge gt 0
42
43 "Sorts in IS8807
44 syn keyword lotosSort Boolean Bool FBoolean FBool Element
45 syn keyword lotosSort Set String NaturalNumber Nat HexString
46 syn keyword lotosSort HexDigit DecString DecDigit
47 syn keyword lotosSort OctString OctDigit BitString Bit
48 syn keyword lotosSort Octet OctetString
49
50 "Keywords for ADTs
51 syn keyword lotosType type endtype library endlib sorts formalsorts
52 syn keyword lotosType eqns formaleqns opns formalopns forall ofsort is
53 syn keyword lotosType for renamedby actualizedby sortnames opnnames
54 syn keyword lotosType using
55
56 syn sync lines=250
57
58 " Define the default highlighting.
59 " For version 5.7 and earlier: only when not done already
60 " For version 5.8 and later: only when an item doesn't have highlighting yet
61 if version >= 508 || !exists("did_lotos_syntax_inits")
62 if version < 508
63 let did_lotos_syntax_inits = 1
64 command -nargs=+ HiLink hi link <args>
65 else
66 command -nargs=+ HiLink hi def link <args>
67 endif
68
69 HiLink lotosStatement Statement
70 HiLink lotosProcess Label
71 HiLink lotosOperator Operator
72 HiLink lotosSort Function
73 HiLink lotosType Type
74 HiLink lotosComment Comment
75 HiLink lotosDelimiter String
76
77 delcommand HiLink
78 endif
79
80 let b:current_syntax = "lotos"
81
82 " vim: ts=8