blob: 817dd339b724875309e53d12f675d1b4d3ed44aa (
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
|
# SPIN SQL language definition file
#
# Author: André Simon
# Mail: andre.simon1@gmx.de
# Date: 28.06.20.03
# ------------------------------------------
# This file is a part of highlight, a free source code converter released under the GPL
#
# The file is used to describe keywords and special symbols of programming languages
# See README in the highlight directory for details
#
# New definition files for future releases of highlight are always appreciated ;)
#
# ----------
# andre.simon1@gmx.de
# http:/www.andre-simon.de/
$DESCRIPTION=SPIN SQL
$KEYWORDS(kwa)=assert init priority proctype provided active break do else empty
enabled eval fi full goto if inline len nempty nfull od of printf run skip
timeout xr xs unless _last _pid cond_expr false np_ pc_value STDIN true accept
end progress atomic d_step hidden ltl never notrace trace show
$KEYWORDS(kwb)=bit bool byte chan int local mtype short typedef unsigned
$STRINGDELIMITERS="
$ESCCHAR=regex(\\\d{3}|\\x\p{XDigit}{2}|\\[ntvbrfa\\\?'"])
$ML_COMMENT=/* */
$IGNORECASE=true
$SYMBOLS= ( ) [ ] { } , ; : & | < > ! = / * % + -
|
