Mercurial > vim

annotate runtime/syntax/psl.vim @ 25255:8f392278ef69

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag v8.2.3163 for changeset 5127844b909b04ecd70ff7e19081e34722e081cc
author Bram Moolenaar <Bram@vim.org>
date Thu, 15 Jul 2021 13:15:04 +0200
parents 9f41bfdbc6fc
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
24468
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
1 " Vim syntax file
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
2 " Language: Property Specification Language (PSL)
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
3 " Maintainer: Daniel Kho <daniel.kho@logik.haus>
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
4 " Last Changed: 2021 Apr 17 by Daniel Kho
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
5
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
6 " quit when a syntax file was already loaded
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
7 if exists("b:current_syntax")
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
8 finish
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
9 endif
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
10
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
11 " Read in VHDL syntax files
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
12 runtime! syntax/vhdl.vim
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
13 unlet b:current_syntax
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
14
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
15 let s:cpo_save = &cpo
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
16 set cpo&vim
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
17
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
18 " case is not significant
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
19 syn case ignore
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
20
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
21 " Add ! character to keyword recognition.
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
22 setlocal iskeyword+=33
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
23
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
24 " PSL keywords
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
25 syn keyword pslOperator A AF AG AX
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
26 syn keyword pslOperator E EF EG EX
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
27 syn keyword pslOperator F G U W X X!
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
28 syn keyword pslOperator abort always assert assume async_abort
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
29 syn keyword pslOperator before before! before!_ before_ bit bitvector boolean
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
30 syn keyword pslOperator clock const countones cover
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
31 syn keyword pslOperator default
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
32 syn keyword pslOperator ended eventually!
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
33 syn keyword pslOperator fairness fell for forall
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
34 syn keyword pslOperator hdltype
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
35 syn keyword pslOperator in inf inherit isunknown
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
36 syn keyword pslOperator mutable
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
37 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
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
38 syn keyword pslOperator onehot onehot0
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
39 syn keyword pslOperator property prev
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
40 syn keyword pslOperator report restrict restrict! rose
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
41 syn keyword pslOperator sequence stable string strong sync_abort
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
42 syn keyword pslOperator union until until! until!_ until_
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
43 syn keyword pslOperator vmode vpkg vprop vunit
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
44 syn keyword pslOperator within
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
45 "" Common keywords with VHDL
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
46 "syn keyword pslOperator and is not or to
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
47
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
48 " PSL operators
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
49 syn match pslOperator "=>\||=>"
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
50 syn match pslOperator "<-\|->"
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
51 syn match pslOperator "@"
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
52
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
53
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
54 "Modify the following as needed. The trade-off is performance versus functionality.
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
55 syn sync minlines=600
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
56
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
57 " Define the default highlighting.
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
58 " Only when an item doesn't have highlighting yet
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
59
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
60 hi def link pslSpecial Special
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
61 hi def link pslStatement Statement
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
62 hi def link pslCharacter Character
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
63 hi def link pslString String
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
64 hi def link pslVector Number
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
65 hi def link pslBoolean Number
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
66 hi def link pslTodo Todo
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
67 hi def link pslFixme Fixme
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
68 hi def link pslComment Comment
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
69 hi def link pslNumber Number
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
70 hi def link pslTime Number
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
71 hi def link pslType Type
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
72 hi def link pslOperator Operator
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
73 hi def link pslError Error
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
74 hi def link pslAttribute Special
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
75 hi def link pslPreProc PreProc
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
76
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
77
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
78 let b:current_syntax = "psl"
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
79
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
80 let &cpo = s:cpo_save
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
81 unlet s:cpo_save
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
82
9f41bfdbc6fc Update runtime files.
Bram Moolenaar <Bram@vim.org>
parents:
diff changeset
83 " vim: ts=8