runtime/syntax/logtalk.vim

   1 " Vim syntax file
   2 "
   3 " Language:     Logtalk
   4 " Maintainer:   Paulo Moura <pmoura@logtalk.org>
   5 " Last Change:  February 24, 2006
   6
   7
   8 " Quit when a syntax file was already loaded:
   9
  10 if version < 600
  11         syntax clear
  12 elseif exists("b:current_syntax")
  13         finish
  14 endif
  15
  16
  17 " Logtalk is case sensitive:
  18
  19 syn case match
  20
  21
  22 " Logtalk variables
  23
  24 syn match   logtalkVariable             "\<\(\u\|_\)\(\w\)*\>"
  25
  26
  27 " Logtalk clause functor
  28
  29 syn match       logtalkOperator         ":-"
  30
  31
  32 " Logtalk quoted atoms and strings
  33
  34 syn region      logtalkString           start=+"+       skip=+\\"+      end=+"+
  35 syn region      logtalkAtom             start=+'+       skip=+\\'+      end=+'+
  36
  37
  38 " Logtalk message sending operators
  39
  40 syn match       logtalkOperator         "::"
  41 syn match       logtalkOperator         "\^\^"
  42
  43
  44 " Logtalk external call
  45
  46 syn region      logtalkExtCall          matchgroup=logtalkExtCallTag            start="{"               matchgroup=logtalkExtCallTag            end="}"         contains=ALL
  47
  48
  49 " Logtalk opening entity directives
  50
  51 syn region      logtalkOpenEntityDir    matchgroup=logtalkOpenEntityDirTag      start=":- object("      matchgroup=logtalkOpenEntityDirTag      end=")\."       contains=logtalkEntity,logtalkVariable,logtalkNumber,logtalkOperator,logtalkEntityRel
  52 syn region      logtalkOpenEntityDir    matchgroup=logtalkOpenEntityDirTag      start=":- protocol("    matchgroup=logtalkOpenEntityDirTag      end=")\."       contains=logtalkEntity,logtalkVariable,logtalkNumber,logtalkOperator,logtalkEntityRel
  53 syn region      logtalkOpenEntityDir    matchgroup=logtalkOpenEntityDirTag      start=":- category("    matchgroup=logtalkOpenEntityDirTag      end=")\."       contains=logtalkEntity,logtalkVariable,logtalkNumber,logtalkOperator,logtalkEntityRel
  54
  55
  56 " Logtalk closing entity directives
  57
  58 syn match       logtalkCloseEntityDir   ":- end_object\."
  59 syn match       logtalkCloseEntityDir   ":- end_protocol\."
  60 syn match       logtalkCloseEntityDir   ":- end_category\."
  61
  62
  63 " Logtalk entity relations
  64
  65 syn region      logtalkEntityRel        matchgroup=logtalkEntityRelTag  start="instantiates("   matchgroup=logtalkEntityRelTag  end=")"         contains=logtalkEntity,logtalkVariable,logtalkNumber,logtalkOperator    contained
  66 syn region      logtalkEntityRel        matchgroup=logtalkEntityRelTag  start="specializes("    matchgroup=logtalkEntityRelTag  end=")"         contains=logtalkEntity,logtalkVariable,logtalkNumber,logtalkOperator    contained
  67 syn region      logtalkEntityRel        matchgroup=logtalkEntityRelTag  start="extends("        matchgroup=logtalkEntityRelTag  end=")"         contains=logtalkEntity,logtalkVariable,logtalkNumber,logtalkOperator    contained
  68 syn region      logtalkEntityRel        matchgroup=logtalkEntityRelTag  start="imports("        matchgroup=logtalkEntityRelTag  end=")"         contains=logtalkEntity,logtalkVariable,logtalkNumber,logtalkOperator    contained
  69 syn region      logtalkEntityRel        matchgroup=logtalkEntityRelTag  start="implements("     matchgroup=logtalkEntityRelTag  end=")"         contains=logtalkEntity,logtalkVariable,logtalkNumber,logtalkOperator    contained
  70
  71
  72 " Logtalk directives
  73
  74 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- alias("               matchgroup=logtalkDirTag        end=")\."       contains=ALL
  75 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- encoding("    matchgroup=logtalkDirTag        end=")\."       contains=ALL
  76 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- initialization("      matchgroup=logtalkDirTag        end=")\."       contains=ALL
  77 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- info("                matchgroup=logtalkDirTag        end=")\."       contains=ALL
  78 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- mode("                matchgroup=logtalkDirTag        end=")\."       contains=logtalkOperator, logtalkAtom
  79 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- dynamic("             matchgroup=logtalkDirTag        end=")\."       contains=ALL
  80 syn match       logtalkDirTag           ":- dynamic\."
  81 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- discontiguous("       matchgroup=logtalkDirTag        end=")\."       contains=ALL
  82 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- multifile("           matchgroup=logtalkDirTag        end=")\."       contains=ALL
  83 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- public("              matchgroup=logtalkDirTag        end=")\."       contains=ALL
  84 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- protected("           matchgroup=logtalkDirTag        end=")\."       contains=ALL
  85 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- private("             matchgroup=logtalkDirTag        end=")\."       contains=ALL
  86 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- metapredicate("       matchgroup=logtalkDirTag        end=")\."       contains=ALL
  87 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- op("                  matchgroup=logtalkDirTag        end=")\."       contains=ALL
  88 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- calls("               matchgroup=logtalkDirTag        end=")\."       contains=ALL
  89 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- uses("                matchgroup=logtalkDirTag        end=")\."       contains=ALL
  90
  91
  92 " Module directives
  93
  94 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- module("              matchgroup=logtalkDirTag        end=")\."       contains=ALL
  95 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- export("              matchgroup=logtalkDirTag        end=")\."       contains=ALL
  96 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- meta_predicate("              matchgroup=logtalkDirTag        end=")\."       contains=ALL
  97 syn region      logtalkDir              matchgroup=logtalkDirTag        start=":- use_module("          matchgroup=logtalkDirTag        end=")\."       contains=ALL
  98
  99
 100 " Logtalk built-in predicates
 101
 102 syn match       logtalkBuiltIn          "\<\(abolish\|c\(reate\|urrent\)\)_\(object\|protocol\|category\)\ze("
 103
 104 syn match       logtalkBuiltIn          "\<\(object\|protocol\|category\)_property\ze("
 105
 106 syn match       logtalkBuiltIn          "\<extends_\(object\|protocol\)\ze("
 107 syn match       logtalkBuiltIn          "\<imp\(orts_category\|lements_protocol\)\ze("
 108 syn match       logtalkBuiltIn          "\<\(instantiates\|specializes\)_class\ze("
 109
 110 syn match       logtalkBuiltIn          "\<\(abolish\|define\)_events\ze("
 111 syn match       logtalkBuiltIn          "\<current_event\ze("
 112
 113 syn match       logtalkBuiltIn          "\<\(current\|set\)_logtalk_flag\ze("
 114
 115 syn match       logtalkBuiltIn          "\<logtalk_\(compile\|l\(ibrary_path\|oad\)\)\ze("
 116
 117 syn match       logtalkBuiltIn          "\<\(for\|retract\)all\ze("
 118
 119
 120 " Logtalk built-in methods
 121
 122 syn match       logtalkBuiltInMethod    "\<parameter\ze("
 123 syn match       logtalkBuiltInMethod    "\<se\(lf\|nder\)\ze("
 124 syn match       logtalkBuiltInMethod    "\<this\ze("
 125
 126 syn match       logtalkBuiltInMethod    "\<current_predicate\ze("
 127 syn match       logtalkBuiltInMethod    "\<predicate_property\ze("
 128
 129 syn match       logtalkBuiltInMethod    "\<a\(bolish\|ssert\(a\|z\)\)\ze("
 130 syn match       logtalkBuiltInMethod    "\<clause\ze("
 131 syn match       logtalkBuiltInMethod    "\<retract\(all\)\?\ze("
 132
 133 syn match       logtalkBuiltInMethod    "\<\(bag\|set\)of\ze("
 134 syn match       logtalkBuiltInMethod    "\<f\(ind\|or\)all\ze("
 135
 136 syn match       logtalkBuiltInMethod    "\<before\ze("
 137 syn match       logtalkBuiltInMethod    "\<after\ze("
 138
 139 syn match       logtalkBuiltInMethod    "\<expand_term\ze("
 140 syn match       logtalkBuiltInMethod    "\<term_expansion\ze("
 141 syn match       logtalkBuiltInMethod    "\<phrase\ze("
 142
 143
 144 " Mode operators
 145
 146 syn match       logtalkOperator         "?"
 147 syn match       logtalkOperator         "@"
 148
 149
 150 " Control constructs
 151
 152 syn match       logtalkKeyword          "\<true\>"
 153 syn match       logtalkKeyword          "\<fail\>"
 154 syn match       logtalkKeyword          "\<ca\(ll\|tch\)\ze("
 155 syn match       logtalkOperator         "!"
 156 " syn match     logtalkOperator         ","
 157 syn match       logtalkOperator         ";"
 158 syn match       logtalkOperator         "-->"
 159 syn match       logtalkOperator         "->"
 160 syn match       logtalkKeyword          "\<throw\ze("
 161
 162
 163 " Term unification
 164
 165 syn match       logtalkOperator         "="
 166 syn match       logtalkKeyword          "\<unify_with_occurs_check\ze("
 167 syn match       logtalkOperator         "\\="
 168
 169
 170 " Term testing
 171
 172 syn match       logtalkKeyword          "\<var\ze("
 173 syn match       logtalkKeyword          "\<atom\(ic\)\?\ze("
 174 syn match       logtalkKeyword          "\<integer\ze("
 175 syn match       logtalkKeyword          "\<float\ze("
 176 syn match       logtalkKeyword          "\<compound\ze("
 177 syn match       logtalkKeyword          "\<n\(onvar\|umber\)\ze("
 178
 179
 180 " Term comparison
 181
 182 syn match       logtalkOperator         "@=<"
 183 syn match       logtalkOperator         "=="
 184 syn match       logtalkOperator         "\\=="
 185 syn match       logtalkOperator         "@<"
 186 syn match       logtalkOperator         "@>"
 187 syn match       logtalkOperator         "@>="
 188
 189
 190 " Term creation and decomposition
 191
 192 syn match       logtalkKeyword          "\<functor\ze("
 193 syn match       logtalkKeyword          "\<arg\ze("
 194 syn match       logtalkOperator         "=\.\."
 195 syn match       logtalkKeyword          "\<copy_term\ze("
 196
 197
 198 " Arithemtic evaluation
 199
 200 syn match       logtalkOperator         "\<is\>"
 201
 202
 203 " Arithemtic comparison
 204
 205 syn match       logtalkOperator         "=:="
 206 syn match       logtalkOperator         "=\\="
 207 syn match       logtalkOperator         "<"
 208 syn match       logtalkOperator         "=<"
 209 syn match       logtalkOperator         ">"
 210 syn match       logtalkOperator         ">="
 211
 212
 213 " Stream selection and control
 214
 215 syn match       logtalkKeyword          "\<\(current\|set\)_\(in\|out\)put\ze("
 216 syn match       logtalkKeyword          "\<open\ze("
 217 syn match       logtalkKeyword          "\<close\ze("
 218 syn match       logtalkKeyword          "\<flush_output\ze("
 219 syn match       logtalkKeyword          "\<flush_output\>"
 220 syn match       logtalkKeyword          "\<stream_property\ze("
 221 syn match       logtalkKeyword          "\<at_end_of_stream\ze("
 222 syn match       logtalkKeyword          "\<at_end_of_stream\>"
 223 syn match       logtalkKeyword          "\<set_stream_position\ze("
 224
 225
 226 " Character and byte input/output
 227
 228 syn match       logtalkKeyword          "\<\(get\|p\(eek\|ut\)\)_\(c\(har\|ode\)\|byte\)\ze("
 229 syn match       logtalkKeyword          "\<nl\ze("
 230 syn match       logtalkKeyword          "\<nl\>"
 231
 232
 233 " Term input/output
 234
 235 syn match       logtalkKeyword          "\<read\(_term\)\?\ze("
 236 syn match       logtalkKeyword          "\<write\(q\|_\(canonical\|term\)\)\?\ze("
 237 syn match       logtalkKeyword          "\<\(current_\)\?op\ze("
 238 syn match       logtalkKeyword          "\<\(current\)\?char_conversion\ze("
 239
 240
 241 " Logic and control
 242
 243 syn match       logtalkOperator         "\\+"
 244 syn match       logtalkKeyword          "\<once\ze("
 245 syn match       logtalkKeyword          "\<repeat\>"
 246
 247
 248 " Atomic term processing
 249
 250 syn match       logtalkKeyword          "\<atom_\(length\|c\(hars\|o\(ncat\|des\)\)\)\ze("
 251 syn match       logtalkKeyword          "\<sub_atom\ze("
 252 syn match       logtalkKeyword          "\<char_code\ze("
 253 syn match       logtalkKeyword          "\<number_\(c\(hars\|odes\)\)\ze("
 254
 255
 256 " Implementation defined hooks functions
 257
 258 syn match       logtalkKeyword          "\<\(current\|set\)_prolog_flag\ze("
 259 syn match       logtalkKeyword          "\<halt\ze("
 260 syn match       logtalkKeyword          "\<halt\>"
 261
 262
 263 " Evaluable functors
 264
 265 syn match       logtalkOperator         "+"
 266 syn match       logtalkOperator         "-"
 267 syn match       logtalkOperator         "\*"
 268 syn match       logtalkOperator         "//"
 269 syn match       logtalkOperator         "/"
 270 syn match       logtalkKeyword          "\<r\(ound\|em\)\ze("
 271 syn match       logtalkKeyword          "\<rem\>"
 272 syn match       logtalkKeyword          "\<mod\ze("
 273 syn match       logtalkKeyword          "\<mod\>"
 274 syn match       logtalkKeyword          "\<abs\ze("
 275 syn match       logtalkKeyword          "\<sign\ze("
 276 syn match       logtalkKeyword          "\<flo\(or\|at\(_\(integer\|fractional\)_part\)\?\)\ze("
 277 syn match       logtalkKeyword          "\<truncate\ze("
 278 syn match       logtalkKeyword          "\<ceiling\ze("
 279
 280
 281 " Other arithemtic functors
 282
 283 syn match       logtalkOperator         "\*\*"
 284 syn match       logtalkKeyword          "\<s\(in\|qrt\)\ze("
 285 syn match       logtalkKeyword          "\<cos\ze("
 286 syn match       logtalkKeyword          "\<atan\ze("
 287 syn match       logtalkKeyword          "\<exp\ze("
 288 syn match       logtalkKeyword          "\<log\ze("
 289
 290
 291 " Bitwise functors
 292
 293 syn match       logtalkOperator         ">>"
 294 syn match       logtalkOperator         "<<"
 295 syn match       logtalkOperator         "/\\"
 296 syn match       logtalkOperator         "\\/"
 297 syn match       logtalkOperator         "\\"
 298
 299
 300 " Logtalk list operator
 301
 302 syn match       logtalkOperator         "|"
 303
 304
 305 " Logtalk numbers
 306
 307 syn match       logtalkNumber           "\<\d\+\>"
 308 syn match       logtalkNumber           "\<\d\+\.\d\+\>"
 309 syn match       logtalkNumber           "\<\d\+[eE][-+]\=\d\+\>"
 310 syn match       logtalkNumber           "\<\d\+\.\d\+[eE][-+]\=\d\+\>"
 311 syn match       logtalkNumber           "\<0'.\>"
 312 syn match       logtalkNumber           "\<0b[0-1]\+\>"
 313 syn match       logtalkNumber           "\<0o\o\+\>"
 314 syn match       logtalkNumber           "\<0x\x\+\>"
 315
 316
 317 " Logtalk end-of-clause
 318
 319 syn match       logtalkOperator         "\."
 320
 321
 322 " Logtalk comments
 323
 324 syn region      logtalkBlockComment     start="/\*"     end="\*/"       fold
 325 syn match       logtalkLineComment      "%.*"
 326
 327
 328 " Logtalk entity folding
 329
 330 syn region logtalkEntity transparent fold keepend start=":- object(" end=":- end_object\." contains=ALL
 331 syn region logtalkEntity transparent fold keepend start=":- protocol(" end=":- end_protocol\." contains=ALL
 332 syn region logtalkEntity transparent fold keepend start=":- category(" end=":- end_category\." contains=ALL
 333
 334
 335 syn sync ccomment logtalkBlockComment maxlines=50
 336
 337
 338 " Define the default highlighting.
 339 " For version 5.7 and earlier: only when not done already
 340 " For version 5.8 and later: only when an item doesn't have highlighting yet
 341
 342 if version >= 508 || !exists("did_logtalk_syn_inits")
 343         if version < 508
 344                 let did_logtalk_syn_inits = 1
 345                 command -nargs=+ HiLink hi link <args>
 346         else
 347                 command -nargs=+ HiLink hi def link <args>
 348         endif
 349
 350         HiLink  logtalkBlockComment     Comment
 351         HiLink  logtalkLineComment      Comment
 352
 353         HiLink  logtalkOpenEntityDir    Normal
 354         HiLink  logtalkOpenEntityDirTag PreProc
 355
 356         HiLink  logtalkEntity           Normal
 357
 358         HiLink  logtalkEntityRel        Normal
 359         HiLink  logtalkEntityRelTag     PreProc
 360
 361         HiLink  logtalkCloseEntityDir   PreProc
 362
 363         HiLink  logtalkDir              Normal
 364         HiLink  logtalkDirTag           PreProc
 365
 366         HiLink  logtalkAtom             String
 367         HiLink  logtalkString           String
 368
 369         HiLink  logtalkNumber           Number
 370
 371         HiLink  logtalkKeyword          Keyword
 372
 373         HiLink  logtalkBuiltIn          Keyword
 374         HiLink  logtalkBuiltInMethod    Keyword
 375
 376         HiLink  logtalkOperator         Operator
 377
 378         HiLink  logtalkExtCall          Normal
 379         HiLink  logtalkExtCallTag       Operator
 380
 381         HiLink  logtalkVariable         Identifier
 382
 383         delcommand HiLink
 384
 385 endif
 386
 387
 388 let b:current_syntax = "logtalk"
 389
 390 setlocal ts=4
 391 setlocal fdm=syntax
 392 setlocal fdc=2