share/vim/vim74/syntax/eiffel.vim

   1 " Eiffel syntax file
   2 " Language:     Eiffel
   3 " Maintainer: Jocelyn Fiat <jfiat@eiffel.com>
   4 " Previous maintainer:  Reimer Behrends <behrends@cse.msu.edu>
   5 " Contributions from: Thilo Six
   6 "
   7 " URL: https://github.com/eiffelhub/vim-eiffel
   8 " For version 5.x: Clear all syntax items
   9 " For version 6.x: Quit when a syntax file was already loaded
  10 if version < 600
  11   syntax clear
  12 elseif exists("b:current_syntax")
  13   finish
  14 endif
  15
  16 let s:keepcpo= &cpo
  17 set cpo&vim
  18
  19 " Option handling
  20
  21 if exists("eiffel_ignore_case")
  22   syn case ignore
  23 else
  24   syn case match
  25   if exists("eiffel_pedantic") || exists("eiffel_strict")
  26     syn keyword eiffelError     current void result precursor none
  27     syn keyword eiffelError     CURRENT VOID RESULT PRECURSOR None
  28     syn keyword eiffelError     TRUE FALSE
  29   endif
  30   if exists("eiffel_pedantic")
  31     syn keyword eiffelError     true false
  32     syn match eiffelError       "\<[a-z_]\+[A-Z][a-zA_Z_]*\>"
  33     syn match eiffelError       "\<[A-Z][a-z_]*[A-Z][a-zA-Z_]*\>"
  34   endif
  35   if exists("eiffel_lower_case_predef")
  36     syn keyword eiffelPredefined current void result precursor
  37   endif
  38 endif
  39
  40 if exists("eiffel_hex_constants")
  41   syn match  eiffelNumber       "\d[0-9a-fA-F]*[xX]"
  42 endif
  43
  44 " Keyword definitions
  45
  46 syn keyword eiffelTopStruct     note indexing feature creation inherit
  47 syn match   eiffelTopStruct     "\<class\>"
  48 syn match   eiffelKeyword       "\<end\>"
  49 syn match   eiffelTopStruct     "^end\>\(\s*--\s\+class\s\+\<[A-Z][A-Z0-9_]*\>\)\=" contains=eiffelClassName
  50 syn match   eiffelBrackets      "[[\]]"
  51 syn match eiffelBracketError    "\]"
  52 syn region eiffelGeneric        transparent matchgroup=eiffelBrackets start="\[" end="\]" contains=ALLBUT,eiffelBracketError,eiffelGenericDecl,eiffelStringError,eiffelStringEscape,eiffelGenericCreate,eiffelTopStruct
  53 if exists("eiffel_ise")
  54   syn match   eiffelAgent       "\<agent\>"
  55   syn match   eiffelConvert     "\<convert\>"
  56   syn match   eiffelCreate      "\<create\>"
  57   syn match   eiffelTopStruct   contained "\<create\>"
  58   syn match   eiffelTopStruct   contained "\<convert\>"
  59   syn match   eiffelGenericCreate  contained "\<create\>"
  60   syn match   eiffelTopStruct   "^create\>"
  61   syn region  eiffelGenericDecl transparent matchgroup=eiffelBrackets contained start="\[" end="\]" contains=ALLBUT,eiffelCreate,eiffelTopStruct,eiffelGeneric,eiffelBracketError,eiffelStringEscape,eiffelStringError,eiffelBrackets
  62   syn region  eiffelClassHeader start="^class\>" end="$" contains=ALLBUT,eiffelCreate,eiffelGenericCreate,eiffelGeneric,eiffelStringEscape,eiffelStringError,eiffelBrackets
  63 endif
  64 syn keyword eiffelDeclaration   is do once deferred unique local attribute assign
  65 syn keyword eiffelDeclaration   attached detachable Unique
  66 syn keyword eiffelProperty      expanded obsolete separate frozen
  67 syn keyword eiffelProperty      prefix infix
  68 syn keyword eiffelInheritClause rename redefine undefine select export as
  69 syn keyword eiffelAll           all
  70 syn keyword eiffelKeyword       external alias some
  71 syn keyword eiffelStatement     if else elseif inspect
  72 syn keyword eiffelStatement     when then
  73 syn match   eiffelAssertion     "\<require\(\s\+else\)\=\>"
  74 syn match   eiffelAssertion     "\<ensure\(\s\+then\)\=\>"
  75 syn keyword eiffelAssertion     check
  76 syn keyword eiffelDebug         debug
  77 syn keyword eiffelStatement     across from until loop
  78 syn keyword eiffelAssertion     variant
  79 syn match   eiffelAssertion     "\<invariant\>"
  80 syn match   eiffelTopStruct     "^invariant\>"
  81 syn keyword eiffelException     rescue retry
  82
  83 syn keyword eiffelPredefined    Current Void Result Precursor
  84
  85 " Operators
  86 syn match   eiffelOperator      "\<and\(\s\+then\)\=\>"
  87 syn match   eiffelOperator      "\<or\(\s\+else\)\=\>"
  88 syn keyword eiffelOperator      xor implies not
  89 syn keyword eiffelOperator      strip old
  90 syn keyword eiffelOperator      Strip
  91 syn match   eiffelOperator      "\$"
  92 syn match   eiffelCreation      "!"
  93 syn match   eiffelExport        "[{}]"
  94 syn match   eiffelArray         "<<"
  95 syn match   eiffelArray         ">>"
  96 syn match   eiffelConstraint    "->"
  97 syn match   eiffelOperator      "[@#|&][^ \e\t\b%]*"
  98
  99 " Special classes
 100 syn keyword eiffelAnchored      like
 101 syn keyword eiffelBitType       BIT
 102
 103 " Constants
 104 if !exists("eiffel_pedantic")
 105   syn keyword eiffelBool        true false
 106 endif
 107 syn keyword eiffelBool          True False
 108 syn region  eiffelString        start=+"+ skip=+%"+ end=+"+ contains=eiffelStringEscape,eiffelStringError
 109 syn match   eiffelStringEscape  contained "%[^/]"
 110 syn match   eiffelStringEscape  contained "%/\d\+/"
 111 syn match   eiffelStringEscape  contained "^[ \t]*%"
 112 syn match   eiffelStringEscape  contained "%[ \t]*$"
 113 syn match   eiffelStringError   contained "%/[^0-9]"
 114 syn match   eiffelStringError   contained "%/\d\+[^0-9/]"
 115 syn match   eiffelBadConstant   "'\(%[^/]\|%/\d\+/\|[^'%]\)\+'"
 116 syn match   eiffelBadConstant   "''"
 117 syn match   eiffelCharacter     "'\(%[^/]\|%/\d\+/\|[^'%]\)'" contains=eiffelStringEscape
 118 syn match   eiffelNumber        "-\=\<\d\+\(_\d\+\)*\>"
 119 syn match   eiffelNumber        "\<[01]\+[bB]\>"
 120 syn match   eiffelNumber        "-\=\<\d\+\(_\d\+\)*\.\(\d\+\(_\d\+\)*\)\=\([eE][-+]\=\d\+\(_\d\+\)*\)\="
 121 syn match   eiffelNumber        "-\=\.\d\+\(_\d\+\)*\([eE][-+]\=\d\+\(_\d\+\)*\)\="
 122 syn match   eiffelComment       "--.*" contains=eiffelTodo
 123
 124 syn case match
 125
 126 " Case sensitive stuff
 127
 128 syn keyword eiffelTodo          contained TODO XXX FIXME
 129 syn match   eiffelClassName     "\<[A-Z][A-Z0-9_]*\>"
 130
 131 " Catch mismatched parentheses
 132 syn match eiffelParenError      ")"
 133 syn region eiffelParen          transparent start="(" end=")" contains=ALLBUT,eiffelParenError,eiffelStringError,eiffelStringEscape
 134
 135 if exists("eiffel_fold")
 136 "    setlocal foldmethod=indent
 137 "    syn sync fromstart
 138 endif
 139
 140 " Should suffice for even very long strings and expressions
 141 syn sync lines=40
 142
 143 " Define the default highlighting.
 144 " For version 5.7 and earlier: only when not done already
 145 " For version 5.8 and later: only when an item doesn't have highlighting yet
 146 if version >= 508 || !exists("did_eiffel_syntax_inits")
 147   if version < 508
 148     let did_eiffel_syntax_inits = 1
 149     command -nargs=+ HiLink hi link <args>
 150   else
 151     command -nargs=+ HiLink hi def link <args>
 152   endif
 153
 154   HiLink eiffelKeyword          Statement
 155   HiLink eiffelProperty         Statement
 156   HiLink eiffelInheritClause    Statement
 157   HiLink eiffelStatement        Statement
 158   HiLink eiffelDeclaration      Statement
 159   HiLink eiffelAssertion        Statement
 160   HiLink eiffelDebug            Statement
 161   HiLink eiffelException        Statement
 162   HiLink eiffelGenericCreate    Statement
 163
 164   HiLink eiffelAgent            Statement
 165   HiLink eiffelConvert          Statement
 166
 167   HiLink eiffelTopStruct        PreProc
 168
 169   HiLink eiffelAll              Special
 170   HiLink eiffelAnchored         Special
 171   HiLink eiffelBitType          Special
 172
 173
 174   HiLink eiffelBool             Boolean
 175   HiLink eiffelString           String
 176   HiLink eiffelCharacter        Character
 177   HiLink eiffelClassName        Type
 178   HiLink eiffelNumber           Number
 179
 180   HiLink eiffelStringEscape     Special
 181
 182   HiLink eiffelOperator         Special
 183   HiLink eiffelArray            Special
 184   HiLink eiffelExport           Special
 185   HiLink eiffelCreation         Special
 186   HiLink eiffelBrackets         Special
 187   HiLink eiffelGeneric          Special
 188   HiLink eiffelGenericDecl      Special
 189   HiLink eiffelConstraint       Special
 190   HiLink eiffelCreate           Special
 191
 192   HiLink eiffelPredefined       Constant
 193
 194   HiLink eiffelComment          Comment
 195
 196   HiLink eiffelError            Error
 197   HiLink eiffelBadConstant      Error
 198   HiLink eiffelStringError      Error
 199   HiLink eiffelParenError       Error
 200   HiLink eiffelBracketError     Error
 201
 202   HiLink eiffelTodo             Todo
 203
 204   delcommand HiLink
 205 endif
 206
 207 let b:current_syntax = "eiffel"
 208
 209 let &cpo = s:keepcpo
 210 unlet s:keepcpo
 211
 212 " vim: ts=8