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