Mercurial > vim

annotate runtime/syntax/wsml.vim @ 10048:43efa4f5a8ea

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5 Author: Bram Moolenaar <Bram@vim.org> Date: Tue Aug 30 23:26:57 2016 +0200 Updated runtime files. Remove version checks for Vim older than 6.0.
author Christian Brabandt <cb@256bit.org>
date Tue, 30 Aug 2016 23:30:09 +0200
parents 8cd729851562
children 46763b01cd9a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
754
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
1 " Vim syntax file
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
2 " Language: WSML
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
3 " Maintainer: Thomas Haselwanter <thomas.haselwanter@deri.org>
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
4 " URL: none
856
8cd729851562 updated for version 7.0g
vimboss
parents: 754
diff changeset
5 " Last Change: 2006 Apr 30
754
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
6
10048
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
7 " quit when a syntax file was already loaded
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
8 if exists("b:current_syntax")
754
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
9 finish
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
10 endif
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
11
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
12 " WSML
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
13 syn keyword wsmlHeader wsmlVariant
856
8cd729851562 updated for version 7.0g
vimboss
parents: 754
diff changeset
14 syn keyword wsmlNamespace namespace
8cd729851562 updated for version 7.0g
vimboss
parents: 754
diff changeset
15 syn keyword wsmlTopLevel concept instance relationInstance ofType usesMediator usesService relation sharedVariables importsOntology
8cd729851562 updated for version 7.0g
vimboss
parents: 754
diff changeset
16 syn keyword wsmlOntology hasValue memberOf ofType impliesType subConceptOf
754
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
17 syn keyword wsmlAxiom axiom definedBy
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
18 syn keyword wsmlService assumption effect postcondition precondition capability interface
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
19 syn keyword wsmlTopLevel ooMediator wwMediator wgMediator ggMediator
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
20 syn keyword wsmlMediation usesService source target
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
21 syn match wsmlDataTypes "\( _string\| _decimal\| _integer\| _float\| _double\| _iri\| _sqname\| _boolean\| _duration\| _dateTime\| _time\| _date\| _gyearmonth\| _gyear\| _gmonthday\| _gday\| _gmonth\| _hexbinary\| _base64binary\)\((\S*)\)\?" contains=wsmlString,wsmlNumber,wsmlCharacter
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
22 syn keyword wsmlTopLevel goal webService ontology
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
23 syn keyword wsmlKeywordsInsideLEs true false memberOf hasValue subConceptOf ofType impliesType and or implies impliedBy equivalent neg naf forall exists
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
24 syn keyword wsmlNFP nfp endnfp nonFunctionalProperties endNonFunctionalProperties
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
25 syn region wsmlNFPregion start="nfp\|nonFunctionalProperties" end="endnfp\|endNonFunctionalProperties" contains=ALL
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
26 syn region wsmlNamespace start="namespace" end="}" contains=wsmlIdentifier
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
27 syn match wsmlOperator "!=\|:=:\|=<\|>=\|=\|+\|\*\|/\|<->\|->\|<-\|:-\|!-\|-\|<\|>"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
28 syn match wsmlBrace "(\|)\|\[\|\]\|{\|}"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
29 syn match wsmlIdentifier +_"\S*"+
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
30 syn match wsmlIdentifier "_#\d*"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
31 syn match wsmlSqName "[0-9A-Za-z]\+#[0-9A-Za-z]\+"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
32 syn match wsmlVariable "?[0-9A-Za-z]\+"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
33
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
34 " ASM-specific code
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
35 syn keyword wsmlBehavioral choreography orchestration transitionRules
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
36 syn keyword wsmlChoreographyPri stateSignature in out shared static controlled
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
37 syn keyword wsmlChoreographySec with do withGrounding forall endForall choose if then endIf
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
38 syn match wsmlChoreographyTer "\(\s\|\_^\)\(add\|delete\|update\)\s*(.*)" contains=wsmlKeywordsInsideLEs,wsmlIdentifier,wsmlSqName,wsmlString,wsmlNumber,wsmlDataTypes,wsmlVariable
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
39
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
40 " Comments
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
41 syn keyword wsmlTodo contained TODO
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
42 syn keyword wsmlFixMe contained FIXME
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
43 if exists("wsml_comment_strings")
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
44 syn region wsmlCommentString contained start=+"+ end=+"+ end=+$+ end=+\*/+me=s-1,he=s-1 contains=wsmlSpecial,wsmlCommentStar,wsmlSpecialChar,@Spell
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
45 syn region wsmlComment2String contained start=+"+ end=+$\|"+ contains=wsmlSpecial,wsmlSpecialChar,@Spell
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
46 syn match wsmlCommentCharacter contained "'\\[^']\{1,6\}'" contains=wsmlSpecialChar
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
47 syn match wsmlCommentCharacter contained "'\\''" contains=wsmlSpecialChar
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
48 syn match wsmlCommentCharacter contained "'[^\\]'"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
49 syn cluster wsmlCommentSpecial add=wsmlCommentString,wsmlCommentCharacter,wsmlNumber
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
50 syn cluster wsmlCommentSpecial2 add=wsmlComment2String,wsmlCommentCharacter,wsmlNumber
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
51 endif
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
52
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
53 syn region wsmlComment start="/\*" end="\*/" contains=@wsmlCommentSpecial,wsmlTodo,wsmlFixMe,@Spell
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
54 syn match wsmlCommentStar contained "^\s*\*[^/]"me=e-1
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
55 syn match wsmlCommentStar contained "^\s*\*$"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
56 syn match wsmlLineComment "//.*" contains=@wsmlCommentSpecial2,wsmlTodo,@Spell
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
57
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
58 syn cluster wsmlTop add=wsmlComment,wsmlLineComment
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
59
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
60 "match the special comment /**/
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
61 syn match wsmlComment "/\*\*/"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
62
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
63 " Strings
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
64 syn region wsmlString start=+"+ end=+"+ contains=wsmlSpecialChar,wsmlSpecialError,@Spell
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
65 syn match wsmlCharacter "'[^']*'" contains=javaSpecialChar,javaSpecialCharError
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
66 syn match wsmlCharacter "'\\''" contains=javaSpecialChar
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
67 syn match wsmlCharacter "'[^\\]'"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
68 syn match wsmlNumber "\<\(0[0-7]*\|0[xX]\x\+\|\d\+\)[lL]\=\>"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
69 syn match wsmlNumber "\(\<\d\+\.\d*\|\.\d\+\)\([eE][-+]\=\d\+\)\=[fFdD]\="
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
70 syn match wsmlNumber "\<\d\+[eE][-+]\=\d\+[fFdD]\=\>"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
71 syn match wsmlNumber "\<\d\+\([eE][-+]\=\d\+\)\=[fFdD]\>"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
72
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
73 " unicode characters
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
74 syn match wsmlSpecial "\\u\d\{4\}"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
75
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
76 syn cluster wsmlTop add=wsmlString,wsmlCharacter,wsmlNumber,wsmlSpecial,wsmlStringError
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
77
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
78 " Define the default highlighting.
10048
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
79 " Only when an item doesn't have highlighting yet
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
80 command -nargs=+ HiLink hi def link <args>
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
81 HiLink wsmlHeader TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
82 HiLink wsmlNamespace TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
83 HiLink wsmlOntology Statement
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
84 HiLink wsmlAxiom TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
85 HiLink wsmlService TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
86 HiLink wsmlNFP TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
87 HiLink wsmlTopLevel TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
88 HiLink wsmlMediation TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
89 HiLink wsmlBehavioral TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
90 HiLink wsmlChoreographyPri TypeDef
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
91 HiLink wsmlChoreographySec Operator
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
92 HiLink wsmlChoreographyTer Special
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
93 HiLink wsmlString String
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
94 HiLink wsmlIdentifier Normal
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
95 HiLink wsmlSqName Normal
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
96 HiLink wsmlVariable Define
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
97 HiLink wsmlKeywordsInsideLEs Operator
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
98 HiLink wsmlOperator Operator
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
99 HiLink wsmlBrace Operator
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
100 HiLink wsmlCharacter Character
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
101 HiLink wsmlNumber Number
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
102 HiLink wsmlDataTypes Special
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
103 HiLink wsmlComment Comment
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
104 HiLink wsmlDocComment Comment
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
105 HiLink wsmlLineComment Comment
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
106 HiLink wsmlTodo Todo
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
107 HiLink wsmlFixMe Error
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
108 HiLink wsmlCommentTitle SpecialComment
43efa4f5a8ea commit https://github.com/vim/vim/commit/89bcfda6834aba724d12554a34b9ed49f5789fd5
Christian Brabandt <cb@256bit.org>
parents: 856
diff changeset
109 HiLink wsmlCommentStar wsmlComment
754
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
110
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
111 delcommand HiLink
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
112
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
113 let b:current_syntax = "wsml"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
114 let b:spell_options="contained"
3a779b47f235 updated for version 7.0223
vimboss
parents:
diff changeset
115