| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114 |
- " 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"
|
