| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970 |
- " Vim syntax file
- " Language: LOTOS (Language Of Temporal Ordering Specifications, IS8807)
- " Maintainer: Daniel Amyot <damyot@csi.uottawa.ca>
- " Last Change: Wed Aug 19 1998
- " URL: http://lotos.csi.uottawa.ca/~damyot/vim/lotos.vim
- " This file is an adaptation of pascal.vim by Mario Eusebio
- " I'm not sure I understand all of the syntax highlight language,
- " but this file seems to do the job for standard LOTOS.
- " quit when a syntax file was already loaded
- if exists("b:current_syntax")
- finish
- endif
- syn case ignore
- "Comments in LOTOS are between (* and *)
- syn region lotosComment start="(\*" end="\*)" contains=lotosTodo
- "Operators [], [...], >>, ->, |||, |[...]|, ||, ;, !, ?, :, =, ,, :=
- syn match lotosDelimiter "[][]"
- syn match lotosDelimiter ">>"
- syn match lotosDelimiter "->"
- syn match lotosDelimiter "\[>"
- syn match lotosDelimiter "[|;!?:=,]"
- "Regular keywords
- syn keyword lotosStatement specification endspec process endproc
- syn keyword lotosStatement where behaviour behavior
- syn keyword lotosStatement any let par accept choice hide of in
- syn keyword lotosStatement i stop exit noexit
- "Operators from the Abstract Data Types in IS8807
- syn keyword lotosOperator eq ne succ and or xor implies iff
- syn keyword lotosOperator not true false
- syn keyword lotosOperator Insert Remove IsIn NotIn Union Ints
- syn keyword lotosOperator Minus Includes IsSubsetOf
- syn keyword lotosOperator lt le ge gt 0
- "Sorts in IS8807
- syn keyword lotosSort Boolean Bool FBoolean FBool Element
- syn keyword lotosSort Set String NaturalNumber Nat HexString
- syn keyword lotosSort HexDigit DecString DecDigit
- syn keyword lotosSort OctString OctDigit BitString Bit
- syn keyword lotosSort Octet OctetString
- "Keywords for ADTs
- syn keyword lotosType type endtype library endlib sorts formalsorts
- syn keyword lotosType eqns formaleqns opns formalopns forall ofsort is
- syn keyword lotosType for renamedby actualizedby sortnames opnnames
- syn keyword lotosType using
- syn sync lines=250
- " Define the default highlighting.
- " Only when an item doesn't have highlighting yet
- hi def link lotosStatement Statement
- hi def link lotosProcess Label
- hi def link lotosOperator Operator
- hi def link lotosSort Function
- hi def link lotosType Type
- hi def link lotosComment Comment
- hi def link lotosDelimiter String
- let b:current_syntax = "lotos"
- " vim: ts=8
|
