mc/misc/syntax/b.syntax

383 lines
7.4 KiB
Plaintext
Raw Normal View History

# B language keywords
# by Gyorgy Rotter
#
# For the proper syntax highlight the order of the keywords are
# important. This is why the related keywords are not listed in a block.
# To create semantic relationship between the keywords I used groups.
# Some keywords are in a group (the name of the group is
# indicated in a commented line above the keyword definition)
#
# With the one-liner for example we could replace
# the color of the keywords which are the members of the
# "Sequences" group from "yellow" to "red"...
#
# echo Sequences yellow red | xargs -l bash -c 'sed -z "s/\(# $0\n[^\n]*\)$1/\1$2/g" b.syntax'
# ^ ^ ^
# | | |
# | | -- new_color
# | -- actual_color
# -- groupname
#
#
# Usable groups:
# Relations, Sequences, Logical, Arithmetic, Sets, Substitutions
#
# Usable colors:
# described in the Syntax file
#
context default
keyword whole ABSTRACT_CONSTANTS yellow
keyword whole ABSTRACT_VARIABLES yellow
keyword whole CONCRETE_CONSTANTS yellow
keyword whole CONCRETE_VARIABLES yellow
keyword whole LOCAL_OPERATIONS yellow
keyword whole IMPLEMENTATION yellow
keyword whole INITIALISATION yellow
keyword whole CONSTRAINTS yellow
keyword whole DEFINITIONS yellow
keyword whole ASSERTIONS yellow
keyword whole OPERATIONS yellow
keyword whole PROPERTIES yellow
keyword whole REFINEMENT yellow
keyword whole CONSTANTS yellow
keyword whole INVARIANT yellow
keyword whole sequences yellow
keyword whole VARIABLES yellow
keyword whole Cardinal yellow
# Relations
keyword whole closure1 white
keyword whole INCLUDES yellow
# Arithmetic
keyword whole NATURAL1 yellow
keyword whole PROMOTES yellow
keyword whole Boolean yellow
keyword whole EXTENDS yellow
keyword whole IMPORTS yellow
# Arithmetic
keyword whole INTEGER yellow
keyword whole iterate yellow
keyword whole MACHINE yellow
# Arithmetic
keyword whole NATURAL yellow
keyword whole postfix yellow
keyword whole REFINES yellow
keyword whole subtree yellow
keyword whole VARIANT yellow
keyword whole ASSERT yellow
keyword whole CHOICE yellow
# Relations
keyword whole closure white
keyword whole EITHER yellow
keyword whole father yellow
keyword whole MAXINT yellow
keyword whole MININT yellow
keyword whole mirror yellow
keyword whole modulo yellow
keyword whole prefix yellow
keyword whole SELECT yellow
keyword whole STRING yellow
keyword whole struct yellow
keyword whole VALUES yellow
keyword whole arity yellow
keyword whole BEGIN yellow
keyword whole btree yellow
keyword whole const yellow
keyword whole ELSIF yellow
keyword whole FALSE yellow
keyword whole first yellow
keyword whole front yellow
keyword whole infix yellow
# Sets
keyword whole INTER yellow
keyword whole inter yellow
keyword whole iseq1 yellow
keyword whole right yellow
# Arithmetic
keyword whole SIGMA yellow
keyword whole sizet yellow
# Sets
keyword whole UNION yellow
keyword whole union yellow
keyword whole WHERE yellow
keyword whole WHILE yellow
keyword whole bool yellow
keyword whole BOOL yellow
keyword whole card yellow
keyword whole CASE yellow
keyword whole conc yellow
keyword whole ELSE yellow
# Sets
keyword whole FIN1 yellow
keyword whole iseq yellow
keyword whole last yellow
keyword whole left yellow
keyword whole NAT1 yellow
# Sets
keyword whole POW1 yellow
keyword whole perm yellow
keyword whole pred yellow
keyword whole prj1 yellow
keyword whole prj2 yellow
keyword whole rank yellow
keyword whole SEES yellow
keyword whole seq1 yellow
keyword whole SETS yellow
keyword whole size yellow
keyword whole skip yellow
keyword whole sons yellow
keyword whole succ yellow
keyword whole tail yellow
keyword whole THEN yellow
keyword whole tree yellow
keyword whole TRUE yellow
keyword whole USES yellow
keyword whole WHEN yellow
keyword whole ANY yellow
keyword whole bin yellow
keyword whole dom yellow
keyword whole END yellow
# Sets
keyword whole FIN yellow
keyword whole fnc yellow
keyword whole INT yellow
keyword whole LET yellow
keyword whole max yellow
keyword whole min yellow
keyword whole mod yellow
keyword whole NAT yellow
# Logical
keyword whole not cyan
# Sets
keyword whole POW yellow
keyword whole PRE yellow
keyword whole ran yellow
keyword whole rec yellow
keyword whole rel yellow
keyword whole rev yellow
keyword whole seq yellow
keyword whole Set yellow
keyword whole son yellow
keyword whole top yellow
keyword whole VAR yellow
keyword whole BE yellow
keyword whole DO yellow
keyword whole id yellow
keyword whole IF yellow
keyword whole IN yellow
keyword whole OF yellow
keyword whole OR yellow
# Logical
keyword whole or cyan
# Arithmetic
keyword whole PI yellow
# prevents - keyword from interfering with comment
keyword /\* green
keyword \*/ green
keyword // green
keyword <-- yellow
keyword := yellow
# Relations
keyword \+->> white
# Relations
keyword -->> white
# Sets
keyword /<<: yellow
# Sequences
keyword /|\\ magenta
# Relations
keyword >->> white
# Relations
keyword >\+> white
# Arithmetic
keyword \*\* yellow
# Relations
keyword \+-> white
# Sequences
keyword \\|/ magenta
# Relations
keyword --> white
# Sets
keyword /<: yellow
# Sets
keyword /\\ yellow
# Relations
keyword <-> white
# Sets
keyword <<: yellow
# Relations
keyword <<| white
# Logical
keyword <=> cyan
# Relations
keyword <\+ white
# Relations
keyword >-> white
# Sets
keyword \\/ yellow
# Relations
keyword |-> white
# Relations
keyword |>> white
keyword != yellow
# Sequences
keyword -> magenta
# Sets
keyword /: yellow
# Logical
keyword /= cyan
# Substitutions
keyword :: yellow
# Sequences
keyword <- magenta
# Sets
keyword <: yellow
# Arithmetic
keyword <= yellow
# Relations
keyword <| white
keyword == yellow
# Logical
keyword => cyan
# Relations
keyword >< white
# Arithmetic
keyword >= yellow
# Arithmetic
keyword \* yellow
# Arithmetic
keyword \+ yellow
# Sets
keyword {} yellow
# Relations
keyword |> white
# Logical
keyword ! cyan
# Logical
keyword # cyan
# Relations
keyword % white
# Logical
keyword & cyan
keyword ( yellow
keyword ) yellow
keyword , yellow
# Arithmetic
keyword - yellow
# Arithmetic
keyword / yellow
# Sets
keyword : yellow
keyword ; yellow
# Arithmetic
keyword < yellow
# Logical
keyword = cyan
# Arithmetic
keyword > yellow
keyword ? yellow
keyword [ yellow
keyword ] yellow
# Sequences
keyword ^ magenta
keyword { yellow
keyword } yellow
keyword | yellow
# Relations
keyword ~ white
context exclusive /\* \*/ green
spellcheck
context exclusive // \n green
spellcheck
context " " brightgreen