Mercurial > vim

annotate runtime/syntax/lotos.vim @ 24418:baf4913fe21c v8.2.2749

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
patch 8.2.2749: Vim9: test for error can be a bit flaky Commit: https://github.com/vim/vim/commit/fe95b94ffa75c4925ad16c43f94092f2b1d35fc6 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Apr 10 20:52:43 2021 +0200 patch 8.2.2749: Vim9: test for error can be a bit flaky Problem: Vim9: test for error can be a bit flaky. Solution: Increase the wait time a bit.
author Bram Moolenaar <Bram@vim.org>
date Sat, 10 Apr 2021 21:00:04 +0200
parents 46763b01cd9a
children
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
10048
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 7
diff changeset
10 " quit when a syntax file was already loaded
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 7
diff changeset
11 if exists("b:current_syntax")
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12 finish
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
13 endif
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
14
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
15 syn case ignore
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
16
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
17 "Comments in LOTOS are between (* and *)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
18 syn region lotosComment start="(\*" end="\*)" contains=lotosTodo
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
19
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
20 "Operators [], [...], >>, ->, |||, |[...]|, ||, ;, !, ?, :, =, ,, :=
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
21 syn match lotosDelimiter "[][]"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
22 syn match lotosDelimiter ">>"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
23 syn match lotosDelimiter "->"
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
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
27 "Regular keywords
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
28 syn keyword lotosStatement specification endspec process endproc
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
29 syn keyword lotosStatement where behaviour behavior
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
30 syn keyword lotosStatement any let par accept choice hide of in
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
31 syn keyword lotosStatement i stop exit noexit
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
32
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
33 "Operators from the Abstract Data Types in IS8807
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
34 syn keyword lotosOperator eq ne succ and or xor implies iff
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
35 syn keyword lotosOperator not true false
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
36 syn keyword lotosOperator Insert Remove IsIn NotIn Union Ints
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
37 syn keyword lotosOperator Minus Includes IsSubsetOf
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
38 syn keyword lotosOperator lt le ge gt 0
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
39
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
40 "Sorts in IS8807
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
41 syn keyword lotosSort Boolean Bool FBoolean FBool Element
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
42 syn keyword lotosSort Set String NaturalNumber Nat HexString
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
43 syn keyword lotosSort HexDigit DecString DecDigit
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
44 syn keyword lotosSort OctString OctDigit BitString Bit
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
45 syn keyword lotosSort Octet OctetString
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
46
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
47 "Keywords for ADTs
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
48 syn keyword lotosType type endtype library endlib sorts formalsorts
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
49 syn keyword lotosType eqns formaleqns opns formalopns forall ofsort is
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
50 syn keyword lotosType for renamedby actualizedby sortnames opnnames
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
51 syn keyword lotosType using
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
52
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
53 syn sync lines=250
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
54
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
55 " Define the default highlighting.
10048
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 7
diff changeset
56 " Only when an item doesn't have highlighting yet
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
57
10051
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
58 hi def link lotosStatement Statement
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
59 hi def link lotosProcess Label
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
60 hi def link lotosOperator Operator
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
61 hi def link lotosSort Function
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
62 hi def link lotosType Type
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
63 hi def link lotosComment Comment
46763b01cd9a commit https://github.com/vim/vim/commit/f37506f60f87d52a9e8850e30067645e2b13783c
Christian Brabandt <cb@256bit.org>
parents: 10048
diff changeset
64 hi def link lotosDelimiter String
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
65
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
66
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
67 let b:current_syntax = "lotos"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
68
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
69 " vim: ts=8