tag/dsl_unparse/utils/langkit.vim

" Vim syntax file
" Language: langkit

if exists("b:current_syntax")
  finish
endif

syn keyword langkitKeyword grammar lexer family language class struct nextgroup=langkitEntity skipwhite
syn keyword langkitKeyword fun nextgroup=langkitFunction skipwhite
syn match   langkitFunction	"\h\w*" display contained
syn match   langkitEntity	"\h\w*" display contained
syn keyword langkitKeyword is end match when field as if elif then else block case val in do bind is_a generic implements trait import dynvar try
syn keyword langkitLiteral false true lfalse ltrue
syn keyword langkitQualifier parse memoized public enum qualifier
syn keyword langkitOperator new entity null or and dont_skip not
syn region  langkitString  start=+"+ skip=+\\"+ end=+"+
syn region  langkitChar  start=+'+ skip=+\\"+ end=+'+
syn match   langkitToken   "@\s*\h\%(\w\|\.\)*" display
syn match   langkitGrammarRule   "\%(\w\|_\)\+\s*\(<-\)\@=" display
syn match   langkitLiteral "\d\+" display
syn match   langkitComment "#.*$"
syn match   langkitOperator "<->"
syn match   langkitOperator "<-"
syn match   langkitOperator "?"
syn match   langkitOperator "list+"
syn match   langkitOperator "list\*"
syn match   langkitOperator "/"
syn match   langkitOperator "|"
syn match   langkitOperator "|>"
syn match   langkitLineString +|".*$+

hi def link langkitKeyword     Statement
hi def link langkitQualifier   Identifier
hi def link langkitString      String
hi def link langkitChar        String
hi def link langkitOperator    Special
hi def link langkitFunction	   Define
hi def link langkitEntity	   Function
hi def link langkitToken	   Define
hi def link langkitGrammarRule Define
hi def link langkitLiteral     Number
hi def link langkitLineString  String
hi def link langkitComment     Comment
" hi def link LalstateSloc            Type
" hi def link LalstateCurrentExpr     Identifier
" hi def link LalstateExpr            Identifier
" hi def link LalstateVarName         Function
" hi def link LalstateGenCodeVarName  Constant
" hi def link LalstateValue           String
" hi def link LalstateExprEvalValue   String
Minor: Add vim langkit syntax file. 2020-01-10 17:55:17 +01:00			`" Vim syntax file`
			`" Language: langkit`

			`if exists("b:current_syntax")`
			`finish`
			`endif`

RA22-015: update langkit vim syntax 2020-06-25 12:31:55 +02:00			`syn keyword langkitKeyword grammar lexer family language class struct nextgroup=langkitEntity skipwhite`
Minor: Add vim langkit syntax file. 2020-01-10 17:55:17 +01:00			`syn keyword langkitKeyword fun nextgroup=langkitFunction skipwhite`
			`syn match langkitFunction "\h\w*" display contained`
			`syn match langkitEntity "\h\w*" display contained`
langkit.vim: add the "try" keyword 2023-09-20 18:25:43 +00:00			`syn keyword langkitKeyword is end match when field as if elif then else block case val in do bind is_a generic implements trait import dynvar try`
Minor: Add vim langkit syntax file. 2020-01-10 17:55:17 +01:00			`syn keyword langkitLiteral false true lfalse ltrue`
			`syn keyword langkitQualifier parse memoized public enum qualifier`
langkit.vim: add "not" as an operator 2023-09-22 12:11:16 +00:00			`syn keyword langkitOperator new entity null or and dont_skip not`
langkit.vim: fix handling of quote escapes in string literals TN: RA22-015 2020-03-26 12:33:48 +01:00			`syn region langkitString start=+"+ skip=+\\"+ end=+"+`
RA22-015: Add support for character literals 2020-05-15 18:26:59 -04:00			`syn region langkitChar start=+'+ skip=+\\"+ end=+'+`
Minor: Add vim langkit syntax file. 2020-01-10 17:55:17 +01:00			`syn match langkitToken "@\s\h\%(\w\\|\.\)" display`
			`syn match langkitGrammarRule "\%(\w\\|_\)\+\s*\(<-\)\@=" display`
			`syn match langkitLiteral "\d\+" display`
			`syn match langkitComment "#.*$"`
Lkt: rework the syntax for the logic DSL Replace `%eq(a, b)` with: * `a <-> b`: unify two logic variables * `a <- b`: assign a value to a logic variable Replace `%eq(a, b, conv_prop=N.p)` with: * `a <- N.p%(...)`: assign a value to a logic variable after a conversion/combination using a property from 1) one or multiple logic variables or 2) an entity: Replace `%predicate(N.p, ...)` with: * `N.p%(...)`: create a predicate atom from a property, several logic variables and optional extra arguments. 2024-09-13 11:54:31 +00:00			`syn match langkitOperator "<->"`
Minor: Add vim langkit syntax file. 2020-01-10 17:55:17 +01:00			`syn match langkitOperator "<-"`
			`syn match langkitOperator "?"`
			`syn match langkitOperator "list+"`
			`syn match langkitOperator "list\*"`
			`syn match langkitOperator "/"`
			`syn match langkitOperator "\|"`
			`syn match langkitOperator "\|>"`
Lkt: introduce block strings and replace doc comments with them 2024-01-11 12:10:06 +00:00			`syn match langkitLineString +\|".*$+`
Minor: Add vim langkit syntax file. 2020-01-10 17:55:17 +01:00
			`hi def link langkitKeyword Statement`
			`hi def link langkitQualifier Identifier`
			`hi def link langkitString String`
RA22-015: Add support for character literals 2020-05-15 18:26:59 -04:00			`hi def link langkitChar String`
Minor: Add vim langkit syntax file. 2020-01-10 17:55:17 +01:00			`hi def link langkitOperator Special`
			`hi def link langkitFunction Define`
			`hi def link langkitEntity Function`
			`hi def link langkitToken Define`
			`hi def link langkitGrammarRule Define`
			`hi def link langkitLiteral Number`
Lkt: introduce block strings and replace doc comments with them 2024-01-11 12:10:06 +00:00			`hi def link langkitLineString String`
Minor: Add vim langkit syntax file. 2020-01-10 17:55:17 +01:00			`hi def link langkitComment Comment`
			`" hi def link LalstateSloc Type`
			`" hi def link LalstateCurrentExpr Identifier`
			`" hi def link LalstateExpr Identifier`
			`" hi def link LalstateVarName Function`
			`" hi def link LalstateGenCodeVarName Constant`
			`" hi def link LalstateValue String`
			`" hi def link LalstateExprEvalValue String`