Mercurial > vim

annotate runtime/syntax/psl.vim @ 35257:008e5022f187 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
runtime(i3config/swayconfig): support floating_modifier none; revert broken highlighting Commit: https://github.com/vim/vim/commit/22ac941208fcb2c63ad172c6cf0b39b077b5b682 Author: James Eapen <james.eapen@vai.org> Date: Thu May 23 20:47:49 2024 +0200 runtime(i3config/swayconfig): support floating_modifier none; revert broken highlighting - fix floating_modifier $mod normal|inverse was being hightlighted as error reverting the floating_modifier change from dd83b63 - will currently allow invalid syntax after floating_modifier fixes: #14826 closes: #14827 Co-authored-by: JosefLitos <litosjos@fit.cvut.cz> Signed-off-by: James Eapen <james.eapen@vai.org> Signed-off-by: Christian Brabandt <cb@256bit.org>
author Christian Brabandt <cb@256bit.org>
date Thu, 23 May 2024 21:00:03 +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