annotate runtime/syntax/lotos.vim @ 6973:7b35ee02b3c5 v7.4.804

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