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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
" Vim syntax file
" Language: WSML
" Maintainer: Thomas Haselwanter <thomas.haselwanter@deri.org>
" URL: none
" Last Change: 2006 Apr 30
" quit when a syntax file was already loaded
if exists("b:current_syntax")
finish
endif
" WSML
syn keyword wsmlHeader wsmlVariant
syn keyword wsmlNamespace namespace
syn keyword wsmlTopLevel concept instance relationInstance ofType usesMediator usesService relation sharedVariables importsOntology
syn keyword wsmlOntology hasValue memberOf ofType impliesType subConceptOf
syn keyword wsmlAxiom axiom definedBy
syn keyword wsmlService assumption effect postcondition precondition capability interface
syn keyword wsmlTopLevel ooMediator wwMediator wgMediator ggMediator
syn keyword wsmlMediation usesService source target
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
syn keyword wsmlTopLevel goal webService ontology
syn keyword wsmlKeywordsInsideLEs true false memberOf hasValue subConceptOf ofType impliesType and or implies impliedBy equivalent neg naf forall exists
syn keyword wsmlNFP nfp endnfp nonFunctionalProperties endNonFunctionalProperties
syn region wsmlNFPregion start="nfp\|nonFunctionalProperties" end="endnfp\|endNonFunctionalProperties" contains=ALL
syn region wsmlNamespace start="namespace" end="}" contains=wsmlIdentifier
syn match wsmlOperator "!=\|:=:\|=<\|>=\|=\|+\|\*\|/\|<->\|->\|<-\|:-\|!-\|-\|<\|>"
syn match wsmlBrace "(\|)\|\[\|\]\|{\|}"
syn match wsmlIdentifier +_"\S*"+
syn match wsmlIdentifier "_#\d*"
syn match wsmlSqName "[0-9A-Za-z]\+#[0-9A-Za-z]\+"
syn match wsmlVariable "?[0-9A-Za-z]\+"
" ASM-specific code
syn keyword wsmlBehavioral choreography orchestration transitionRules
syn keyword wsmlChoreographyPri stateSignature in out shared static controlled
syn keyword wsmlChoreographySec with do withGrounding forall endForall choose if then endIf
syn match wsmlChoreographyTer "\(\s\|\_^\)\(add\|delete\|update\)\s*(.*)" contains=wsmlKeywordsInsideLEs,wsmlIdentifier,wsmlSqName,wsmlString,wsmlNumber,wsmlDataTypes,wsmlVariable
" Comments
syn keyword wsmlTodo contained TODO
syn keyword wsmlFixMe contained FIXME
if exists("wsml_comment_strings")
syn region wsmlCommentString contained start=+"+ end=+"+ end=+$+ end=+\*/+me=s-1,he=s-1 contains=wsmlSpecial,wsmlCommentStar,wsmlSpecialChar,@Spell
syn region wsmlComment2String contained start=+"+ end=+$\|"+ contains=wsmlSpecial,wsmlSpecialChar,@Spell
syn match wsmlCommentCharacter contained "'\\[^']\{1,6\}'" contains=wsmlSpecialChar
syn match wsmlCommentCharacter contained "'\\''" contains=wsmlSpecialChar
syn match wsmlCommentCharacter contained "'[^\\]'"
syn cluster wsmlCommentSpecial add=wsmlCommentString,wsmlCommentCharacter,wsmlNumber
syn cluster wsmlCommentSpecial2 add=wsmlComment2String,wsmlCommentCharacter,wsmlNumber
endif
syn region wsmlComment start="/\*" end="\*/" contains=@wsmlCommentSpecial,wsmlTodo,wsmlFixMe,@Spell
syn match wsmlCommentStar contained "^\s*\*[^/]"me=e-1
syn match wsmlCommentStar contained "^\s*\*$"
syn match wsmlLineComment "//.*" contains=@wsmlCommentSpecial2,wsmlTodo,@Spell
syn cluster wsmlTop add=wsmlComment,wsmlLineComment
"match the special comment /**/
syn match wsmlComment "/\*\*/"
" Strings
syn region wsmlString start=+"+ end=+"+ contains=wsmlSpecialChar,wsmlSpecialError,@Spell
syn match wsmlCharacter "'[^']*'" contains=javaSpecialChar,javaSpecialCharError
syn match wsmlCharacter "'\\''" contains=javaSpecialChar
syn match wsmlCharacter "'[^\\]'"
syn match wsmlNumber "\<\(0[0-7]*\|0[xX]\x\+\|\d\+\)[lL]\=\>"
syn match wsmlNumber "\(\<\d\+\.\d*\|\.\d\+\)\([eE][-+]\=\d\+\)\=[fFdD]\="
syn match wsmlNumber "\<\d\+[eE][-+]\=\d\+[fFdD]\=\>"
syn match wsmlNumber "\<\d\+\([eE][-+]\=\d\+\)\=[fFdD]\>"
" unicode characters
syn match wsmlSpecial "\\u\d\{4\}"
syn cluster wsmlTop add=wsmlString,wsmlCharacter,wsmlNumber,wsmlSpecial,wsmlStringError
" Define the default highlighting.
" Only when an item doesn't have highlighting yet
hi def link wsmlHeader TypeDef
hi def link wsmlNamespace TypeDef
hi def link wsmlOntology Statement
hi def link wsmlAxiom TypeDef
hi def link wsmlService TypeDef
hi def link wsmlNFP TypeDef
hi def link wsmlTopLevel TypeDef
hi def link wsmlMediation TypeDef
hi def link wsmlBehavioral TypeDef
hi def link wsmlChoreographyPri TypeDef
hi def link wsmlChoreographySec Operator
hi def link wsmlChoreographyTer Special
hi def link wsmlString String
hi def link wsmlIdentifier Normal
hi def link wsmlSqName Normal
hi def link wsmlVariable Define
hi def link wsmlKeywordsInsideLEs Operator
hi def link wsmlOperator Operator
hi def link wsmlBrace Operator
hi def link wsmlCharacter Character
hi def link wsmlNumber Number
hi def link wsmlDataTypes Special
hi def link wsmlComment Comment
hi def link wsmlDocComment Comment
hi def link wsmlLineComment Comment
hi def link wsmlTodo Todo
hi def link wsmlFixMe Error
hi def link wsmlCommentTitle SpecialComment
hi def link wsmlCommentStar wsmlComment
let b:current_syntax = "wsml"
let b:spell_options="contained"
|
