runtime/syntax/lotos.vim

   1 " Vim syntax file
   2 " Language:     LOTOS (Language Of Temporal Ordering Specifications, IS8807)
   3 " Maintainer:   Daniel Amyot <damyot@csi.uottawa.ca>
   4 " Last Change:  Wed Aug 19 1998
   5 " URL:          http://lotos.csi.uottawa.ca/~damyot/vim/lotos.vim
   6 " This file is an adaptation of pascal.vim by Mario Eusebio
   7 " I'm not sure I understand all of the syntax highlight language,
   8 " but this file seems to do the job for standard LOTOS.
   9
  10 " For version 5.x: Clear all syntax items
  11 " For version 6.x: Quit when a syntax file was already loaded
  12 if version < 600
  13   syntax clear
  14 elseif exists("b:current_syntax")
  15   finish
  16 endif
  17
  18 syn case ignore
  19
  20 "Comments in LOTOS are between (* and *)
  21 syn region lotosComment start="(\*"  end="\*)" contains=lotosTodo
  22
  23 "Operators [], [...], >>, ->, |||, |[...]|, ||, ;, !, ?, :, =, ,, :=
  24 syn match  lotosDelimiter       "[][]"
  25 syn match  lotosDelimiter       ">>"
  26 syn match  lotosDelimiter       "->"
  27 syn match  lotosDelimiter       "\[>"
  28 syn match  lotosDelimiter       "[|;!?:=,]"
  29
  30 "Regular keywords
  31 syn keyword lotosStatement      specification endspec process endproc
  32 syn keyword lotosStatement      where behaviour behavior
  33 syn keyword lotosStatement      any let par accept choice hide of in
  34 syn keyword lotosStatement      i stop exit noexit
  35
  36 "Operators from the Abstract Data Types in IS8807
  37 syn keyword lotosOperator       eq ne succ and or xor implies iff
  38 syn keyword lotosOperator       not true false
  39 syn keyword lotosOperator       Insert Remove IsIn NotIn Union Ints
  40 syn keyword lotosOperator       Minus Includes IsSubsetOf
  41 syn keyword lotosOperator       lt le ge gt 0
  42
  43 "Sorts in IS8807
  44 syn keyword lotosSort           Boolean Bool FBoolean FBool Element
  45 syn keyword lotosSort           Set String NaturalNumber Nat HexString
  46 syn keyword lotosSort           HexDigit DecString DecDigit
  47 syn keyword lotosSort           OctString OctDigit BitString Bit
  48 syn keyword lotosSort           Octet OctetString
  49
  50 "Keywords for ADTs
  51 syn keyword lotosType   type endtype library endlib sorts formalsorts
  52 syn keyword lotosType   eqns formaleqns opns formalopns forall ofsort is
  53 syn keyword lotosType   for renamedby actualizedby sortnames opnnames
  54 syn keyword lotosType   using
  55
  56 syn sync lines=250
  57
  58 " Define the default highlighting.
  59 " For version 5.7 and earlier: only when not done already
  60 " For version 5.8 and later: only when an item doesn't have highlighting yet
  61 if version >= 508 || !exists("did_lotos_syntax_inits")
  62   if version < 508
  63     let did_lotos_syntax_inits = 1
  64     command -nargs=+ HiLink hi link <args>
  65   else
  66     command -nargs=+ HiLink hi def link <args>
  67   endif
  68
  69   HiLink lotosStatement         Statement
  70   HiLink lotosProcess           Label
  71   HiLink lotosOperator          Operator
  72   HiLink lotosSort              Function
  73   HiLink lotosType              Type
  74   HiLink lotosComment           Comment
  75   HiLink lotosDelimiter         String
  76
  77   delcommand HiLink
  78 endif
  79
  80 let b:current_syntax = "lotos"
  81
  82 " vim: ts=8