codekingpro/portable-devtools

1" Vim syntax file2" Language:	Property Specification Language (PSL)3" Maintainer:	Daniel Kho <daniel.kho@logik.haus>4" Last Changed:	2021 Apr 17 by Daniel Kho5 6" quit when a syntax file was already loaded7if exists("b:current_syntax")8  finish9endif10 11" Read in VHDL syntax files12runtime! syntax/vhdl.vim13unlet b:current_syntax14 15let s:cpo_save = &cpo16set cpo&vim17 18" case is not significant19syn case	ignore20 21" Add ! character to keyword recognition.22setlocal iskeyword+=3323 24" PSL keywords25syn keyword	pslOperator	A AF AG AX26syn keyword	pslOperator	E EF EG EX27syn keyword	pslOperator	F G U W X X!28syn keyword	pslOperator	abort always assert assume async_abort29syn keyword	pslOperator	before before! before!_ before_ bit bitvector boolean30syn keyword	pslOperator	clock const countones cover31syn keyword	pslOperator	default32syn keyword	pslOperator	ended eventually!33syn keyword	pslOperator	fairness fell for forall34syn keyword	pslOperator	hdltype35syn keyword	pslOperator	in inf inherit isunknown36syn keyword	pslOperator	mutable37syn 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 numeric38syn keyword	pslOperator	onehot onehot039syn keyword	pslOperator	property prev40syn keyword	pslOperator	report restrict restrict! rose41syn keyword	pslOperator	sequence stable string strong sync_abort42syn keyword	pslOperator	union until until! until!_ until_43syn keyword	pslOperator	vmode vpkg vprop vunit44syn keyword	pslOperator	within45"" Common keywords with VHDL46"syn keyword	pslOperator	and is not or to47 48" PSL operators49syn match	pslOperator	"=>\||=>"50syn match	pslOperator	"<-\|->"51syn match	pslOperator	"@"52 53 54"Modify the following as needed.  The trade-off is performance versus functionality.55syn sync	minlines=60056 57" Define the default highlighting.58" Only when an item doesn't have highlighting yet59 60hi def link pslSpecial	    Special61hi def link pslStatement    Statement62hi def link pslCharacter    Character63hi def link pslString	    String64hi def link pslVector	    Number65hi def link pslBoolean	    Number66hi def link pslTodo	    Todo67hi def link pslFixme	    Fixme68hi def link pslComment	    Comment69hi def link pslNumber	    Number70hi def link pslTime	    Number71hi def link pslType	    Type72hi def link pslOperator	    Operator73hi def link pslError	    Error74hi def link pslAttribute    Special75hi def link pslPreProc	    PreProc76 77 78let b:current_syntax = "psl"79 80let &cpo = s:cpo_save81unlet s:cpo_save82 83" vim: ts=884