runtime/syntax/wsml.vim

   1 " Vim syntax file
   2 " Language:     WSML
   3 " Maintainer:   Thomas Haselwanter <thomas.haselwanter@deri.org>
   4 " URL:          none
   5 " Last Change:  2006 Apr 30
   6
   7 " Quit when a syntax file was already loaded
   8 if version < 600
   9   syntax clear
  10 elseif exists("b:current_syntax")
  11   finish
  12 endif
  13
  14 " WSML
  15 syn keyword wsmlHeader          wsmlVariant
  16 syn keyword wsmlNamespace       namespace
  17 syn keyword wsmlTopLevel        concept instance relationInstance ofType usesMediator usesService relation sharedVariables importsOntology
  18 syn keyword wsmlOntology        hasValue memberOf ofType impliesType subConceptOf
  19 syn keyword wsmlAxiom           axiom definedBy
  20 syn keyword wsmlService         assumption effect postcondition precondition capability interface
  21 syn keyword wsmlTopLevel        ooMediator wwMediator wgMediator ggMediator
  22 syn keyword wsmlMediation       usesService source target
  23 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
  24 syn keyword wsmlTopLevel        goal webService ontology
  25 syn keyword wsmlKeywordsInsideLEs       true false memberOf hasValue subConceptOf ofType impliesType and or implies impliedBy equivalent neg naf forall exists
  26 syn keyword wsmlNFP             nfp endnfp nonFunctionalProperties endNonFunctionalProperties
  27 syn region wsmlNFPregion        start="nfp\|nonFunctionalProperties" end="endnfp\|endNonFunctionalProperties" contains=ALL
  28 syn region wsmlNamespace        start="namespace" end="}" contains=wsmlIdentifier
  29 syn match wsmlOperator          "!=\|:=:\|=<\|>=\|=\|+\|\*\|/\|<->\|->\|<-\|:-\|!-\|-\|<\|>"
  30 syn match wsmlBrace             "(\|)\|\[\|\]\|{\|}"
  31 syn match wsmlIdentifier        +_"\S*"+
  32 syn match wsmlIdentifier        "_#\d*"
  33 syn match wsmlSqName            "[0-9A-Za-z]\+#[0-9A-Za-z]\+"
  34 syn match wsmlVariable          "?[0-9A-Za-z]\+"
  35
  36 " ASM-specific code
  37 syn keyword wsmlBehavioral      choreography orchestration transitionRules
  38 syn keyword wsmlChoreographyPri stateSignature in out shared static controlled
  39 syn keyword wsmlChoreographySec with do withGrounding forall endForall choose if then endIf
  40 syn match wsmlChoreographyTer   "\(\s\|\_^\)\(add\|delete\|update\)\s*(.*)" contains=wsmlKeywordsInsideLEs,wsmlIdentifier,wsmlSqName,wsmlString,wsmlNumber,wsmlDataTypes,wsmlVariable
  41
  42 " Comments
  43 syn keyword wsmlTodo             contained TODO
  44 syn keyword wsmlFixMe            contained FIXME
  45 if exists("wsml_comment_strings")
  46   syn region  wsmlCommentString    contained start=+"+ end=+"+ end=+$+ end=+\*/+me=s-1,he=s-1 contains=wsmlSpecial,wsmlCommentStar,wsmlSpecialChar,@Spell
  47   syn region  wsmlComment2String   contained start=+"+  end=+$\|"+  contains=wsmlSpecial,wsmlSpecialChar,@Spell
  48   syn match   wsmlCommentCharacter contained "'\\[^']\{1,6\}'" contains=wsmlSpecialChar
  49   syn match   wsmlCommentCharacter contained "'\\''" contains=wsmlSpecialChar
  50   syn match   wsmlCommentCharacter contained "'[^\\]'"
  51   syn cluster wsmlCommentSpecial add=wsmlCommentString,wsmlCommentCharacter,wsmlNumber
  52   syn cluster wsmlCommentSpecial2 add=wsmlComment2String,wsmlCommentCharacter,wsmlNumber
  53 endif
  54
  55 syn region  wsmlComment          start="/\*"  end="\*/" contains=@wsmlCommentSpecial,wsmlTodo,wsmlFixMe,@Spell
  56 syn match   wsmlCommentStar      contained "^\s*\*[^/]"me=e-1
  57 syn match   wsmlCommentStar      contained "^\s*\*$"
  58 syn match   wsmlLineComment      "//.*" contains=@wsmlCommentSpecial2,wsmlTodo,@Spell
  59
  60 syn cluster wsmlTop add=wsmlComment,wsmlLineComment
  61
  62 "match the special comment /**/
  63 syn match   wsmlComment          "/\*\*/"
  64
  65 " Strings
  66 syn region  wsmlString          start=+"+ end=+"+ contains=wsmlSpecialChar,wsmlSpecialError,@Spell
  67 syn match   wsmlCharacter        "'[^']*'" contains=javaSpecialChar,javaSpecialCharError
  68 syn match   wsmlCharacter        "'\\''" contains=javaSpecialChar
  69 syn match   wsmlCharacter        "'[^\\]'"
  70 syn match   wsmlNumber           "\<\(0[0-7]*\|0[xX]\x\+\|\d\+\)[lL]\=\>"
  71 syn match   wsmlNumber           "\(\<\d\+\.\d*\|\.\d\+\)\([eE][-+]\=\d\+\)\=[fFdD]\="
  72 syn match   wsmlNumber           "\<\d\+[eE][-+]\=\d\+[fFdD]\=\>"
  73 syn match   wsmlNumber           "\<\d\+\([eE][-+]\=\d\+\)\=[fFdD]\>"
  74
  75 " unicode characters
  76 syn match   wsmlSpecial "\\u\d\{4\}"
  77
  78 syn cluster wsmlTop add=wsmlString,wsmlCharacter,wsmlNumber,wsmlSpecial,wsmlStringError
  79
  80 " Define the default highlighting.
  81 " " For version 5.7 and earlier: only when not done already
  82 " " For version 5.8 and later: only when an item doesn't have highlighting yet
  83  if version >= 508 || !exists("did_wsml_syn_inits")
  84    if version < 508
  85        let did_wsml_syn_inits = 1
  86        command -nargs=+ HiLink hi link <args>
  87    else
  88        command -nargs=+ HiLink hi def link <args>
  89    endif
  90    HiLink wsmlHeader                    TypeDef
  91    HiLink wsmlNamespace                 TypeDef
  92    HiLink wsmlOntology                  Statement
  93    HiLink wsmlAxiom                     TypeDef
  94    HiLink wsmlService                   TypeDef
  95    HiLink wsmlNFP                       TypeDef
  96    HiLink wsmlTopLevel                  TypeDef
  97    HiLink wsmlMediation                 TypeDef
  98    HiLink wsmlBehavioral                TypeDef
  99    HiLink wsmlChoreographyPri           TypeDef
 100    HiLink wsmlChoreographySec           Operator
 101    HiLink wsmlChoreographyTer           Special
 102    HiLink wsmlString                    String
 103    HiLink wsmlIdentifier                Normal
 104    HiLink wsmlSqName                     Normal
 105    HiLink wsmlVariable                  Define
 106    HiLink wsmlKeywordsInsideLEs         Operator
 107    HiLink wsmlOperator                  Operator
 108    HiLink wsmlBrace                     Operator
 109    HiLink wsmlCharacter                 Character
 110    HiLink wsmlNumber                    Number
 111    HiLink wsmlDataTypes                 Special
 112    HiLink wsmlComment                   Comment
 113    HiLink wsmlDocComment                Comment
 114    HiLink wsmlLineComment               Comment
 115    HiLink wsmlTodo                      Todo
 116    HiLink wsmlFixMe                     Error
 117    HiLink wsmlCommentTitle              SpecialComment
 118    HiLink wsmlCommentStar               wsmlComment
 119  endif
 120
 121 delcommand HiLink
 122
 123 let b:current_syntax = "wsml"
 124 let b:spell_options="contained"
 125