diff options
Diffstat (limited to '')
| -rw-r--r-- | syntax/lotos.vim | 73 |
1 files changed, 0 insertions, 73 deletions
diff --git a/syntax/lotos.vim b/syntax/lotos.vim deleted file mode 100644 index 4838c2d0..00000000 --- a/syntax/lotos.vim +++ /dev/null @@ -1,73 +0,0 @@ -if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'vim') == -1 - -" 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 - -endif |