blob: ff6e833bc210da7872ad1c4643a4880cb032861d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
" 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
|
