diff options
Diffstat (limited to '')
| -rw-r--r-- | syntax/wsml.vim | 117 |
1 files changed, 0 insertions, 117 deletions
diff --git a/syntax/wsml.vim b/syntax/wsml.vim deleted file mode 100644 index cc6ae18e..00000000 --- a/syntax/wsml.vim +++ /dev/null @@ -1,117 +0,0 @@ -if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'vim') == -1 - -" 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" - - -endif |