mirror of
https://github.com/neovim/neovim.git
synced 2026-01-03 01:46:31 +10:00
ab20681c52
This reverts commits:
- 6b652a785033fd4164e049492a7327c1ed7c3e5f
- 2f689d5abde0ccddca9e20d8c93a0299bd054e32
- a025a46d4169587145fb54f04af349cd05cb6122
Several email addresses that are known to be valid caused bounces
due to an issue with my email setup. The previous commits incorrectly
marked these addresses as invalid. So revert the whole thing again.
62d8f3dab5
N/A patch:
vim-patch:2f689d5: runtime: mark more invalid email addresses
Co-authored-by: Christian Brabandt <cb@256bit.org>
84 lines
2.5 KiB
VimL
84 lines
2.5 KiB
VimL
" Vim syntax file
|
|
" Language: Property Specification Language (PSL)
|
|
" Maintainer: Daniel Kho <daniel.kho@logik.haus>
|
|
" Last Changed: 2021 Apr 17 by Daniel Kho
|
|
|
|
" quit when a syntax file was already loaded
|
|
if exists("b:current_syntax")
|
|
finish
|
|
endif
|
|
|
|
" Read in VHDL syntax files
|
|
runtime! syntax/vhdl.vim
|
|
unlet b:current_syntax
|
|
|
|
let s:cpo_save = &cpo
|
|
set cpo&vim
|
|
|
|
" case is not significant
|
|
syn case ignore
|
|
|
|
" Add ! character to keyword recognition.
|
|
setlocal iskeyword+=33
|
|
|
|
" PSL keywords
|
|
syn keyword pslOperator A AF AG AX
|
|
syn keyword pslOperator E EF EG EX
|
|
syn keyword pslOperator F G U W X X!
|
|
syn keyword pslOperator abort always assert assume async_abort
|
|
syn keyword pslOperator before before! before!_ before_ bit bitvector boolean
|
|
syn keyword pslOperator clock const countones cover
|
|
syn keyword pslOperator default
|
|
syn keyword pslOperator ended eventually!
|
|
syn keyword pslOperator fairness fell for forall
|
|
syn keyword pslOperator hdltype
|
|
syn keyword pslOperator in inf inherit isunknown
|
|
syn keyword pslOperator mutable
|
|
syn keyword pslOperator never next next! next_a next_a! next_e next_e! next_event next_event! next_event_a next_event_a! next_event_e next_event_e! nondet nondet_vector numeric
|
|
syn keyword pslOperator onehot onehot0
|
|
syn keyword pslOperator property prev
|
|
syn keyword pslOperator report restrict restrict! rose
|
|
syn keyword pslOperator sequence stable string strong sync_abort
|
|
syn keyword pslOperator union until until! until!_ until_
|
|
syn keyword pslOperator vmode vpkg vprop vunit
|
|
syn keyword pslOperator within
|
|
"" Common keywords with VHDL
|
|
"syn keyword pslOperator and is not or to
|
|
|
|
" PSL operators
|
|
syn match pslOperator "=>\||=>"
|
|
syn match pslOperator "<-\|->"
|
|
syn match pslOperator "@"
|
|
|
|
|
|
"Modify the following as needed. The trade-off is performance versus functionality.
|
|
syn sync minlines=600
|
|
|
|
" Define the default highlighting.
|
|
" Only when an item doesn't have highlighting yet
|
|
|
|
hi def link pslSpecial Special
|
|
hi def link pslStatement Statement
|
|
hi def link pslCharacter Character
|
|
hi def link pslString String
|
|
hi def link pslVector Number
|
|
hi def link pslBoolean Number
|
|
hi def link pslTodo Todo
|
|
hi def link pslFixme Fixme
|
|
hi def link pslComment Comment
|
|
hi def link pslNumber Number
|
|
hi def link pslTime Number
|
|
hi def link pslType Type
|
|
hi def link pslOperator Operator
|
|
hi def link pslError Error
|
|
hi def link pslAttribute Special
|
|
hi def link pslPreProc PreProc
|
|
|
|
|
|
let b:current_syntax = "psl"
|
|
|
|
let &cpo = s:cpo_save
|
|
unlet s:cpo_save
|
|
|
|
" vim: ts=8
|