mirror of
https://github.com/neovim/neovim.git
synced 2026-01-02 17:36:56 +10:00
ab20681c52
This reverts commits:
- 6b652a785033fd4164e049492a7327c1ed7c3e5f
- 2f689d5abde0ccddca9e20d8c93a0299bd054e32
- a025a46d4169587145fb54f04af349cd05cb6122
Several email addresses that are known to be valid caused bounces
due to an issue with my email setup. The previous commits incorrectly
marked these addresses as invalid. So revert the whole thing again.
62d8f3dab5
N/A patch:
vim-patch:2f689d5: runtime: mark more invalid email addresses
Co-authored-by: Christian Brabandt <cb@256bit.org>
114 lines
5.3 KiB
VimL
114 lines
5.3 KiB
VimL
" 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"
|
|
|