pygments.rb 2.4.1 → 3.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.github/workflows/ci.yml +8 -8
- data/.github/workflows/release.yml +5 -5
- data/.gitignore +2 -0
- data/.rubocop.yml +1 -1
- data/CHANGELOG.adoc +9 -1
- data/README.adoc +2 -2
- data/lib/pygments/version.rb +1 -1
- data/pygments.rb.gemspec +2 -2
- data/vendor/pygments-main/bin/pygmentize +1 -1
- data/vendor/pygments-main/pygments/__init__.py +2 -2
- data/vendor/pygments-main/pygments/__main__.py +1 -1
- data/vendor/pygments-main/pygments/cmdline.py +12 -12
- data/vendor/pygments-main/pygments/console.py +5 -5
- data/vendor/pygments-main/pygments/filter.py +2 -3
- data/vendor/pygments-main/pygments/filters/__init__.py +4 -4
- data/vendor/pygments-main/pygments/formatter.py +6 -1
- data/vendor/pygments-main/pygments/formatters/__init__.py +7 -8
- data/vendor/pygments-main/pygments/formatters/_mapping.py +0 -0
- data/vendor/pygments-main/pygments/formatters/bbcode.py +2 -2
- data/vendor/pygments-main/pygments/formatters/groff.py +3 -3
- data/vendor/pygments-main/pygments/formatters/html.py +38 -40
- data/vendor/pygments-main/pygments/formatters/img.py +51 -11
- data/vendor/pygments-main/pygments/formatters/irc.py +1 -1
- data/vendor/pygments-main/pygments/formatters/latex.py +24 -27
- data/vendor/pygments-main/pygments/formatters/other.py +3 -4
- data/vendor/pygments-main/pygments/formatters/pangomarkup.py +2 -2
- data/vendor/pygments-main/pygments/formatters/rtf.py +228 -25
- data/vendor/pygments-main/pygments/formatters/svg.py +17 -20
- data/vendor/pygments-main/pygments/formatters/terminal.py +1 -1
- data/vendor/pygments-main/pygments/formatters/terminal256.py +1 -1
- data/vendor/pygments-main/pygments/lexer.py +51 -33
- data/vendor/pygments-main/pygments/lexers/__init__.py +12 -12
- data/vendor/pygments-main/pygments/lexers/_ada_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_asy_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_cl_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_cocoa_builtins.py +2 -2
- data/vendor/pygments-main/pygments/lexers/_csound_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_css_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_julia_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_lasso_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_lilypond_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_lua_builtins.py +5 -5
- data/vendor/pygments-main/pygments/lexers/_luau_builtins.py +62 -0
- data/vendor/pygments-main/pygments/lexers/_mapping.py +41 -11
- data/vendor/pygments-main/pygments/lexers/_mql_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_mysql_builtins.py +3 -3
- data/vendor/pygments-main/pygments/lexers/_openedge_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_php_builtins.py +3 -3
- data/vendor/pygments-main/pygments/lexers/_postgres_builtins.py +5 -5
- data/vendor/pygments-main/pygments/lexers/_qlik_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_scheme_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_scilab_builtins.py +4 -4
- data/vendor/pygments-main/pygments/lexers/_sourcemod_builtins.py +3 -3
- data/vendor/pygments-main/pygments/lexers/_stan_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_stata_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_tsql_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_usd_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_vbscript_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/_vim_builtins.py +1 -1
- data/vendor/pygments-main/pygments/lexers/actionscript.py +6 -8
- data/vendor/pygments-main/pygments/lexers/ada.py +3 -3
- data/vendor/pygments-main/pygments/lexers/agile.py +3 -1
- data/vendor/pygments-main/pygments/lexers/algebra.py +9 -13
- data/vendor/pygments-main/pygments/lexers/ambient.py +2 -3
- data/vendor/pygments-main/pygments/lexers/amdgpu.py +3 -3
- data/vendor/pygments-main/pygments/lexers/ampl.py +2 -3
- data/vendor/pygments-main/pygments/lexers/apdlexer.py +4 -3
- data/vendor/pygments-main/pygments/lexers/apl.py +2 -3
- data/vendor/pygments-main/pygments/lexers/archetype.py +8 -12
- data/vendor/pygments-main/pygments/lexers/arrow.py +2 -3
- data/vendor/pygments-main/pygments/lexers/arturo.py +2 -3
- data/vendor/pygments-main/pygments/lexers/asc.py +4 -4
- data/vendor/pygments-main/pygments/lexers/asm.py +28 -15
- data/vendor/pygments-main/pygments/lexers/asn1.py +178 -0
- data/vendor/pygments-main/pygments/lexers/automation.py +6 -8
- data/vendor/pygments-main/pygments/lexers/bare.py +2 -3
- data/vendor/pygments-main/pygments/lexers/basic.py +48 -57
- data/vendor/pygments-main/pygments/lexers/bdd.py +3 -4
- data/vendor/pygments-main/pygments/lexers/berry.py +4 -4
- data/vendor/pygments-main/pygments/lexers/bibtex.py +5 -5
- data/vendor/pygments-main/pygments/lexers/blueprint.py +173 -0
- data/vendor/pygments-main/pygments/lexers/boa.py +4 -4
- data/vendor/pygments-main/pygments/lexers/bqn.py +109 -0
- data/vendor/pygments-main/pygments/lexers/business.py +21 -22
- data/vendor/pygments-main/pygments/lexers/c_cpp.py +9 -4
- data/vendor/pygments-main/pygments/lexers/c_like.py +99 -27
- data/vendor/pygments-main/pygments/lexers/capnproto.py +2 -3
- data/vendor/pygments-main/pygments/lexers/carbon.py +10 -11
- data/vendor/pygments-main/pygments/lexers/cddl.py +8 -9
- data/vendor/pygments-main/pygments/lexers/chapel.py +2 -3
- data/vendor/pygments-main/pygments/lexers/clean.py +2 -1
- data/vendor/pygments-main/pygments/lexers/comal.py +2 -1
- data/vendor/pygments-main/pygments/lexers/compiled.py +2 -1
- data/vendor/pygments-main/pygments/lexers/configs.py +342 -108
- data/vendor/pygments-main/pygments/lexers/console.py +5 -5
- data/vendor/pygments-main/pygments/lexers/cplint.py +2 -3
- data/vendor/pygments-main/pygments/lexers/crystal.py +4 -5
- data/vendor/pygments-main/pygments/lexers/csound.py +6 -8
- data/vendor/pygments-main/pygments/lexers/css.py +5 -5
- data/vendor/pygments-main/pygments/lexers/d.py +4 -3
- data/vendor/pygments-main/pygments/lexers/dalvik.py +2 -3
- data/vendor/pygments-main/pygments/lexers/data.py +8 -12
- data/vendor/pygments-main/pygments/lexers/dax.py +2 -3
- data/vendor/pygments-main/pygments/lexers/devicetree.py +2 -3
- data/vendor/pygments-main/pygments/lexers/diff.py +7 -6
- data/vendor/pygments-main/pygments/lexers/dns.py +109 -0
- data/vendor/pygments-main/pygments/lexers/dotnet.py +19 -14
- data/vendor/pygments-main/pygments/lexers/dsls.py +24 -35
- data/vendor/pygments-main/pygments/lexers/dylan.py +8 -16
- data/vendor/pygments-main/pygments/lexers/ecl.py +2 -3
- data/vendor/pygments-main/pygments/lexers/eiffel.py +3 -4
- data/vendor/pygments-main/pygments/lexers/elm.py +3 -4
- data/vendor/pygments-main/pygments/lexers/elpi.py +28 -21
- data/vendor/pygments-main/pygments/lexers/email.py +3 -3
- data/vendor/pygments-main/pygments/lexers/erlang.py +22 -24
- data/vendor/pygments-main/pygments/lexers/esoteric.py +11 -12
- data/vendor/pygments-main/pygments/lexers/ezhil.py +2 -3
- data/vendor/pygments-main/pygments/lexers/factor.py +2 -3
- data/vendor/pygments-main/pygments/lexers/fantom.py +3 -3
- data/vendor/pygments-main/pygments/lexers/felix.py +9 -10
- data/vendor/pygments-main/pygments/lexers/fift.py +2 -1
- data/vendor/pygments-main/pygments/lexers/floscript.py +2 -3
- data/vendor/pygments-main/pygments/lexers/forth.py +2 -3
- data/vendor/pygments-main/pygments/lexers/fortran.py +6 -7
- data/vendor/pygments-main/pygments/lexers/foxpro.py +3 -3
- data/vendor/pygments-main/pygments/lexers/freefem.py +2 -3
- data/vendor/pygments-main/pygments/lexers/func.py +3 -1
- data/vendor/pygments-main/pygments/lexers/functional.py +2 -1
- data/vendor/pygments-main/pygments/lexers/futhark.py +6 -7
- data/vendor/pygments-main/pygments/lexers/gcodelexer.py +3 -3
- data/vendor/pygments-main/pygments/lexers/gdscript.py +2 -1
- data/vendor/pygments-main/pygments/lexers/go.py +3 -4
- data/vendor/pygments-main/pygments/lexers/grammar_notation.py +6 -9
- data/vendor/pygments-main/pygments/lexers/graph.py +12 -9
- data/vendor/pygments-main/pygments/lexers/graphics.py +13 -17
- data/vendor/pygments-main/pygments/lexers/graphql.py +176 -0
- data/vendor/pygments-main/pygments/lexers/graphviz.py +2 -3
- data/vendor/pygments-main/pygments/lexers/gsql.py +2 -3
- data/vendor/pygments-main/pygments/lexers/haskell.py +27 -32
- data/vendor/pygments-main/pygments/lexers/haxe.py +3 -5
- data/vendor/pygments-main/pygments/lexers/hdl.py +8 -7
- data/vendor/pygments-main/pygments/lexers/hexdump.py +3 -3
- data/vendor/pygments-main/pygments/lexers/html.py +34 -13
- data/vendor/pygments-main/pygments/lexers/idl.py +2 -3
- data/vendor/pygments-main/pygments/lexers/igor.py +305 -290
- data/vendor/pygments-main/pygments/lexers/inferno.py +2 -3
- data/vendor/pygments-main/pygments/lexers/installers.py +7 -9
- data/vendor/pygments-main/pygments/lexers/int_fiction.py +150 -162
- data/vendor/pygments-main/pygments/lexers/iolang.py +2 -3
- data/vendor/pygments-main/pygments/lexers/j.py +2 -3
- data/vendor/pygments-main/pygments/lexers/javascript.py +18 -19
- data/vendor/pygments-main/pygments/lexers/jmespath.py +2 -1
- data/vendor/pygments-main/pygments/lexers/jslt.py +2 -3
- data/vendor/pygments-main/pygments/lexers/jsonnet.py +4 -3
- data/vendor/pygments-main/pygments/lexers/jsx.py +75 -0
- data/vendor/pygments-main/pygments/lexers/julia.py +4 -5
- data/vendor/pygments-main/pygments/lexers/jvm.py +98 -116
- data/vendor/pygments-main/pygments/lexers/kuin.py +2 -3
- data/vendor/pygments-main/pygments/lexers/kusto.py +93 -0
- data/vendor/pygments-main/pygments/lexers/ldap.py +155 -0
- data/vendor/pygments-main/pygments/lexers/lean.py +241 -0
- data/vendor/pygments-main/pygments/lexers/lilypond.py +2 -3
- data/vendor/pygments-main/pygments/lexers/lisp.py +373 -65
- data/vendor/pygments-main/pygments/lexers/macaulay2.py +53 -4
- data/vendor/pygments-main/pygments/lexers/make.py +7 -5
- data/vendor/pygments-main/pygments/lexers/markup.py +242 -91
- data/vendor/pygments-main/pygments/lexers/math.py +2 -1
- data/vendor/pygments-main/pygments/lexers/matlab.py +10 -12
- data/vendor/pygments-main/pygments/lexers/maxima.py +2 -3
- data/vendor/pygments-main/pygments/lexers/meson.py +2 -3
- data/vendor/pygments-main/pygments/lexers/mime.py +4 -4
- data/vendor/pygments-main/pygments/lexers/minecraft.py +24 -27
- data/vendor/pygments-main/pygments/lexers/mips.py +3 -1
- data/vendor/pygments-main/pygments/lexers/ml.py +59 -61
- data/vendor/pygments-main/pygments/lexers/modeling.py +19 -22
- data/vendor/pygments-main/pygments/lexers/modula2.py +2 -3
- data/vendor/pygments-main/pygments/lexers/mojo.py +704 -0
- data/vendor/pygments-main/pygments/lexers/monte.py +2 -3
- data/vendor/pygments-main/pygments/lexers/mosel.py +3 -3
- data/vendor/pygments-main/pygments/lexers/ncl.py +4 -3
- data/vendor/pygments-main/pygments/lexers/nimrod.py +7 -8
- data/vendor/pygments-main/pygments/lexers/nit.py +2 -3
- data/vendor/pygments-main/pygments/lexers/nix.py +40 -31
- data/vendor/pygments-main/pygments/lexers/oberon.py +3 -3
- data/vendor/pygments-main/pygments/lexers/objective.py +14 -6
- data/vendor/pygments-main/pygments/lexers/ooc.py +2 -3
- data/vendor/pygments-main/pygments/lexers/openscad.py +96 -0
- data/vendor/pygments-main/pygments/lexers/other.py +2 -1
- data/vendor/pygments-main/pygments/lexers/parasail.py +2 -3
- data/vendor/pygments-main/pygments/lexers/parsers.py +41 -44
- data/vendor/pygments-main/pygments/lexers/pascal.py +6 -3
- data/vendor/pygments-main/pygments/lexers/pawn.py +5 -5
- data/vendor/pygments-main/pygments/lexers/perl.py +3 -3
- data/vendor/pygments-main/pygments/lexers/phix.py +2 -3
- data/vendor/pygments-main/pygments/lexers/php.py +4 -5
- data/vendor/pygments-main/pygments/lexers/pointless.py +2 -3
- data/vendor/pygments-main/pygments/lexers/pony.py +3 -3
- data/vendor/pygments-main/pygments/lexers/praat.py +2 -3
- data/vendor/pygments-main/pygments/lexers/procfile.py +2 -3
- data/vendor/pygments-main/pygments/lexers/prolog.py +23 -9
- data/vendor/pygments-main/pygments/lexers/promql.py +2 -1
- data/vendor/pygments-main/pygments/lexers/prql.py +251 -0
- data/vendor/pygments-main/pygments/lexers/ptx.py +119 -0
- data/vendor/pygments-main/pygments/lexers/python.py +24 -24
- data/vendor/pygments-main/pygments/lexers/q.py +5 -6
- data/vendor/pygments-main/pygments/lexers/qlik.py +3 -3
- data/vendor/pygments-main/pygments/lexers/qvt.py +5 -3
- data/vendor/pygments-main/pygments/lexers/r.py +8 -6
- data/vendor/pygments-main/pygments/lexers/rdf.py +19 -13
- data/vendor/pygments-main/pygments/lexers/rebol.py +7 -7
- data/vendor/pygments-main/pygments/lexers/resource.py +5 -6
- data/vendor/pygments-main/pygments/lexers/ride.py +4 -5
- data/vendor/pygments-main/pygments/lexers/rita.py +2 -3
- data/vendor/pygments-main/pygments/lexers/rnc.py +2 -3
- data/vendor/pygments-main/pygments/lexers/roboconf.py +5 -5
- data/vendor/pygments-main/pygments/lexers/robotframework.py +2 -3
- data/vendor/pygments-main/pygments/lexers/ruby.py +8 -13
- data/vendor/pygments-main/pygments/lexers/rust.py +9 -10
- data/vendor/pygments-main/pygments/lexers/sas.py +3 -3
- data/vendor/pygments-main/pygments/lexers/savi.py +131 -130
- data/vendor/pygments-main/pygments/lexers/scdoc.py +13 -7
- data/vendor/pygments-main/pygments/lexers/scripting.py +354 -42
- data/vendor/pygments-main/pygments/lexers/sgf.py +2 -3
- data/vendor/pygments-main/pygments/lexers/shell.py +107 -129
- data/vendor/pygments-main/pygments/lexers/sieve.py +3 -3
- data/vendor/pygments-main/pygments/lexers/slash.py +4 -5
- data/vendor/pygments-main/pygments/lexers/smalltalk.py +3 -5
- data/vendor/pygments-main/pygments/lexers/smithy.py +2 -3
- data/vendor/pygments-main/pygments/lexers/smv.py +3 -3
- data/vendor/pygments-main/pygments/lexers/snobol.py +3 -3
- data/vendor/pygments-main/pygments/lexers/solidity.py +3 -3
- data/vendor/pygments-main/pygments/lexers/soong.py +78 -0
- data/vendor/pygments-main/pygments/lexers/sophia.py +3 -4
- data/vendor/pygments-main/pygments/lexers/special.py +8 -3
- data/vendor/pygments-main/pygments/lexers/spice.py +15 -16
- data/vendor/pygments-main/pygments/lexers/sql.py +24 -18
- data/vendor/pygments-main/pygments/lexers/srcinfo.py +3 -3
- data/vendor/pygments-main/pygments/lexers/stata.py +2 -3
- data/vendor/pygments-main/pygments/lexers/supercollider.py +2 -3
- data/vendor/pygments-main/pygments/lexers/tact.py +303 -0
- data/vendor/pygments-main/pygments/lexers/tal.py +13 -10
- data/vendor/pygments-main/pygments/lexers/tcl.py +2 -3
- data/vendor/pygments-main/pygments/lexers/teal.py +2 -3
- data/vendor/pygments-main/pygments/lexers/templates.py +131 -72
- data/vendor/pygments-main/pygments/lexers/teraterm.py +2 -3
- data/vendor/pygments-main/pygments/lexers/testing.py +4 -5
- data/vendor/pygments-main/pygments/lexers/text.py +2 -1
- data/vendor/pygments-main/pygments/lexers/textedit.py +9 -6
- data/vendor/pygments-main/pygments/lexers/textfmts.py +20 -15
- data/vendor/pygments-main/pygments/lexers/theorem.py +41 -115
- data/vendor/pygments-main/pygments/lexers/thingsdb.py +50 -26
- data/vendor/pygments-main/pygments/lexers/tlb.py +3 -1
- data/vendor/pygments-main/pygments/lexers/tls.py +54 -0
- data/vendor/pygments-main/pygments/lexers/tnt.py +2 -3
- data/vendor/pygments-main/pygments/lexers/trafficscript.py +3 -3
- data/vendor/pygments-main/pygments/lexers/typoscript.py +6 -7
- data/vendor/pygments-main/pygments/lexers/typst.py +104 -0
- data/vendor/pygments-main/pygments/lexers/ul4.py +47 -5
- data/vendor/pygments-main/pygments/lexers/unicon.py +9 -7
- data/vendor/pygments-main/pygments/lexers/urbi.py +3 -3
- data/vendor/pygments-main/pygments/lexers/usd.py +6 -11
- data/vendor/pygments-main/pygments/lexers/varnish.py +5 -5
- data/vendor/pygments-main/pygments/lexers/verification.py +4 -5
- data/vendor/pygments-main/pygments/lexers/verifpal.py +65 -0
- data/vendor/pygments-main/pygments/lexers/vip.py +150 -0
- data/vendor/pygments-main/pygments/lexers/vyper.py +140 -0
- data/vendor/pygments-main/pygments/lexers/web.py +2 -1
- data/vendor/pygments-main/pygments/lexers/webassembly.py +2 -3
- data/vendor/pygments-main/pygments/lexers/webidl.py +2 -3
- data/vendor/pygments-main/pygments/lexers/webmisc.py +11 -15
- data/vendor/pygments-main/pygments/lexers/wgsl.py +6 -7
- data/vendor/pygments-main/pygments/lexers/whiley.py +2 -3
- data/vendor/pygments-main/pygments/lexers/wowtoc.py +3 -3
- data/vendor/pygments-main/pygments/lexers/wren.py +3 -4
- data/vendor/pygments-main/pygments/lexers/x10.py +6 -7
- data/vendor/pygments-main/pygments/lexers/xorg.py +2 -1
- data/vendor/pygments-main/pygments/lexers/yang.py +2 -3
- data/vendor/pygments-main/pygments/lexers/yara.py +69 -0
- data/vendor/pygments-main/pygments/lexers/zig.py +2 -1
- data/vendor/pygments-main/pygments/modeline.py +4 -4
- data/vendor/pygments-main/pygments/plugin.py +3 -19
- data/vendor/pygments-main/pygments/regexopt.py +1 -1
- data/vendor/pygments-main/pygments/scanner.py +1 -1
- data/vendor/pygments-main/pygments/sphinxext.py +38 -8
- data/vendor/pygments-main/pygments/style.py +8 -2
- data/vendor/pygments-main/pygments/styles/__init__.py +17 -59
- data/vendor/pygments-main/pygments/styles/_mapping.py +54 -0
- data/vendor/pygments-main/pygments/styles/abap.py +5 -1
- data/vendor/pygments-main/pygments/styles/algol.py +5 -1
- data/vendor/pygments-main/pygments/styles/algol_nu.py +5 -1
- data/vendor/pygments-main/pygments/styles/arduino.py +76 -72
- data/vendor/pygments-main/pygments/styles/autumn.py +6 -1
- data/vendor/pygments-main/pygments/styles/borland.py +6 -1
- data/vendor/pygments-main/pygments/styles/bw.py +6 -1
- data/vendor/pygments-main/pygments/styles/coffee.py +80 -0
- data/vendor/pygments-main/pygments/styles/colorful.py +6 -1
- data/vendor/pygments-main/pygments/styles/default.py +6 -1
- data/vendor/pygments-main/pygments/styles/dracula.py +68 -80
- data/vendor/pygments-main/pygments/styles/emacs.py +6 -1
- data/vendor/pygments-main/pygments/styles/friendly.py +6 -1
- data/vendor/pygments-main/pygments/styles/friendly_grayscale.py +6 -1
- data/vendor/pygments-main/pygments/styles/fruity.py +7 -1
- data/vendor/pygments-main/pygments/styles/gh_dark.py +7 -1
- data/vendor/pygments-main/pygments/styles/gruvbox.py +10 -1
- data/vendor/pygments-main/pygments/styles/igor.py +6 -1
- data/vendor/pygments-main/pygments/styles/inkpot.py +7 -2
- data/vendor/pygments-main/pygments/styles/lightbulb.py +110 -0
- data/vendor/pygments-main/pygments/styles/lilypond.py +8 -2
- data/vendor/pygments-main/pygments/styles/lovelace.py +16 -10
- data/vendor/pygments-main/pygments/styles/manni.py +7 -2
- data/vendor/pygments-main/pygments/styles/material.py +21 -14
- data/vendor/pygments-main/pygments/styles/monokai.py +16 -10
- data/vendor/pygments-main/pygments/styles/murphy.py +7 -2
- data/vendor/pygments-main/pygments/styles/native.py +10 -5
- data/vendor/pygments-main/pygments/styles/nord.py +9 -3
- data/vendor/pygments-main/pygments/styles/onedark.py +6 -2
- data/vendor/pygments-main/pygments/styles/paraiso_dark.py +7 -2
- data/vendor/pygments-main/pygments/styles/paraiso_light.py +7 -2
- data/vendor/pygments-main/pygments/styles/pastie.py +7 -1
- data/vendor/pygments-main/pygments/styles/perldoc.py +7 -1
- data/vendor/pygments-main/pygments/styles/rainbow_dash.py +26 -19
- data/vendor/pygments-main/pygments/styles/rrt.py +8 -2
- data/vendor/pygments-main/pygments/styles/sas.py +6 -1
- data/vendor/pygments-main/pygments/styles/solarized.py +9 -1
- data/vendor/pygments-main/pygments/styles/staroffice.py +6 -1
- data/vendor/pygments-main/pygments/styles/stata_dark.py +6 -2
- data/vendor/pygments-main/pygments/styles/stata_light.py +6 -1
- data/vendor/pygments-main/pygments/styles/tango.py +7 -3
- data/vendor/pygments-main/pygments/styles/trac.py +7 -1
- data/vendor/pygments-main/pygments/styles/vim.py +7 -1
- data/vendor/pygments-main/pygments/styles/vs.py +7 -2
- data/vendor/pygments-main/pygments/styles/xcode.py +6 -1
- data/vendor/pygments-main/pygments/styles/zenburn.py +6 -1
- data/vendor/pygments-main/pygments/token.py +2 -1
- data/vendor/pygments-main/pygments/unistring.py +5 -5
- data/vendor/pygments-main/pygments/util.py +13 -19
- data/vendor/pygments-main/{Pygments-2.15.1.dist-info → pygments-2.18.0.dist-info}/METADATA +14 -13
- data/vendor/pygments-main/pygments-2.18.0.dist-info/RECORD +663 -0
- data/vendor/pygments-main/{Pygments-2.15.1.dist-info → pygments-2.18.0.dist-info}/WHEEL +1 -2
- data/vendor/pygments-main/{Pygments-2.15.1.dist-info → pygments-2.18.0.dist-info/licenses}/AUTHORS +13 -0
- metadata +39 -15
- data/vendor/pygments-main/Pygments-2.15.1.dist-info/RECORD +0 -614
- data/vendor/pygments-main/Pygments-2.15.1.dist-info/top_level.txt +0 -1
- /data/vendor/pygments-main/{Pygments-2.15.1.dist-info → pygments-2.18.0.dist-info}/INSTALLER +0 -0
- /data/vendor/pygments-main/{Pygments-2.15.1.dist-info → pygments-2.18.0.dist-info}/REQUESTED +0 -0
- /data/vendor/pygments-main/{Pygments-2.15.1.dist-info → pygments-2.18.0.dist-info}/entry_points.txt +0 -0
- /data/vendor/pygments-main/{Pygments-2.15.1.dist-info → pygments-2.18.0.dist-info/licenses}/LICENSE +0 -0
@@ -4,7 +4,7 @@
|
|
4
4
|
|
5
5
|
Lexer for Tera Term macro files.
|
6
6
|
|
7
|
-
:copyright: Copyright 2006-
|
7
|
+
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
|
8
8
|
:license: BSD, see LICENSE for details.
|
9
9
|
"""
|
10
10
|
|
@@ -20,14 +20,13 @@ __all__ = ['TeraTermLexer']
|
|
20
20
|
class TeraTermLexer(RegexLexer):
|
21
21
|
"""
|
22
22
|
For Tera Term macro source code.
|
23
|
-
|
24
|
-
.. versionadded:: 2.4
|
25
23
|
"""
|
26
24
|
name = 'Tera Term macro'
|
27
25
|
url = 'https://ttssh2.osdn.jp/'
|
28
26
|
aliases = ['teratermmacro', 'teraterm', 'ttl']
|
29
27
|
filenames = ['*.ttl']
|
30
28
|
mimetypes = ['text/x-teratermmacro']
|
29
|
+
version_added = '2.4'
|
31
30
|
|
32
31
|
tokens = {
|
33
32
|
'root': [
|
@@ -4,7 +4,7 @@
|
|
4
4
|
|
5
5
|
Lexers for testing languages.
|
6
6
|
|
7
|
-
:copyright: Copyright 2006-
|
7
|
+
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
|
8
8
|
:license: BSD, see LICENSE for details.
|
9
9
|
"""
|
10
10
|
|
@@ -17,13 +17,13 @@ __all__ = ['GherkinLexer', 'TAPLexer']
|
|
17
17
|
class GherkinLexer(RegexLexer):
|
18
18
|
"""
|
19
19
|
For Gherkin syntax.
|
20
|
-
|
21
|
-
.. versionadded:: 1.2
|
22
20
|
"""
|
23
21
|
name = 'Gherkin'
|
24
22
|
aliases = ['gherkin', 'cucumber']
|
25
23
|
filenames = ['*.feature']
|
26
24
|
mimetypes = ['text/x-gherkin']
|
25
|
+
url = 'https://cucumber.io/docs/gherkin'
|
26
|
+
version_added = '1.2'
|
27
27
|
|
28
28
|
feature_keywords = '^(기능|機能|功能|フィーチャ|خاصية|תכונה|Функціонал|Функционалност|Функционал|Фича|Особина|Могућност|Özellik|Właściwość|Tính năng|Trajto|Savybė|Požiadavka|Požadavek|Osobina|Ominaisuus|Omadus|OH HAI|Mogućnost|Mogucnost|Jellemző|Fīča|Funzionalità|Funktionalität|Funkcionalnost|Funkcionalitāte|Funcționalitate|Functionaliteit|Functionalitate|Funcionalitat|Funcionalidade|Fonctionnalité|Fitur|Feature|Egenskap|Egenskab|Crikey|Característica|Arwedd)(:)(.*)$'
|
29
29
|
feature_element_keywords = '^(\\s*)(시나리오 개요|시나리오|배경|背景|場景大綱|場景|场景大纲|场景|劇本大綱|劇本|剧本大纲|剧本|テンプレ|シナリオテンプレート|シナリオテンプレ|シナリオアウトライン|シナリオ|سيناريو مخطط|سيناريو|الخلفية|תרחיש|תבנית תרחיש|רקע|Тарих|Сценарій|Сценарио|Сценарий структураси|Сценарий|Структура сценарію|Структура сценарија|Структура сценария|Скица|Рамка на сценарий|Пример|Предыстория|Предистория|Позадина|Передумова|Основа|Концепт|Контекст|Założenia|Wharrimean is|Tình huống|The thing of it is|Tausta|Taust|Tapausaihio|Tapaus|Szenariogrundriss|Szenario|Szablon scenariusza|Stsenaarium|Struktura scenarija|Skica|Skenario konsep|Skenario|Situācija|Senaryo taslağı|Senaryo|Scénář|Scénario|Schema dello scenario|Scenārijs pēc parauga|Scenārijs|Scenár|Scenaro|Scenariusz|Scenariul de şablon|Scenariul de sablon|Scenariu|Scenario Outline|Scenario Amlinellol|Scenario|Scenarijus|Scenarijaus šablonas|Scenarij|Scenarie|Rerefons|Raamstsenaarium|Primer|Pozadí|Pozadina|Pozadie|Plan du scénario|Plan du Scénario|Osnova scénáře|Osnova|Náčrt Scénáře|Náčrt Scenáru|Mate|MISHUN SRSLY|MISHUN|Kịch bản|Konturo de la scenaro|Kontext|Konteksts|Kontekstas|Kontekst|Koncept|Khung tình huống|Khung kịch bản|Háttér|Grundlage|Geçmiş|Forgatókönyv vázlat|Forgatókönyv|Fono|Esquema do Cenário|Esquema do Cenario|Esquema del escenario|Esquema de l\'escenari|Escenario|Escenari|Dis is what went down|Dasar|Contexto|Contexte|Contesto|Condiţii|Conditii|Cenário|Cenario|Cefndir|Bối cảnh|Blokes|Bakgrunn|Bakgrund|Baggrund|Background|B4|Antecedents|Antecedentes|All y\'all|Achtergrond|Abstrakt Scenario|Abstract Scenario)(:)(.*)$'
|
@@ -136,13 +136,12 @@ class GherkinLexer(RegexLexer):
|
|
136
136
|
class TAPLexer(RegexLexer):
|
137
137
|
"""
|
138
138
|
For Test Anything Protocol (TAP) output.
|
139
|
-
|
140
|
-
.. versionadded:: 2.1
|
141
139
|
"""
|
142
140
|
name = 'TAP'
|
143
141
|
url = 'https://testanything.org/'
|
144
142
|
aliases = ['tap']
|
145
143
|
filenames = ['*.tap']
|
144
|
+
version_added = '2.1'
|
146
145
|
|
147
146
|
tokens = {
|
148
147
|
'root': [
|
@@ -4,10 +4,11 @@
|
|
4
4
|
|
5
5
|
Lexers for non-source code file types.
|
6
6
|
|
7
|
-
:copyright: Copyright 2006-
|
7
|
+
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
|
8
8
|
:license: BSD, see LICENSE for details.
|
9
9
|
"""
|
10
10
|
|
11
|
+
# ruff: noqa: F401
|
11
12
|
from pygments.lexers.configs import ApacheConfLexer, NginxConfLexer, \
|
12
13
|
SquidConfLexer, LighttpdConfLexer, IniLexer, RegeditLexer, PropertiesLexer, \
|
13
14
|
UnixConfigLexer
|
@@ -4,7 +4,7 @@
|
|
4
4
|
|
5
5
|
Lexers for languages related to text processing.
|
6
6
|
|
7
|
-
:copyright: Copyright 2006-
|
7
|
+
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
|
8
8
|
:license: BSD, see LICENSE for details.
|
9
9
|
"""
|
10
10
|
|
@@ -22,14 +22,14 @@ __all__ = ['AwkLexer', 'SedLexer', 'VimLexer']
|
|
22
22
|
class AwkLexer(RegexLexer):
|
23
23
|
"""
|
24
24
|
For Awk scripts.
|
25
|
-
|
26
|
-
.. versionadded:: 1.5
|
27
25
|
"""
|
28
26
|
|
29
27
|
name = 'Awk'
|
30
28
|
aliases = ['awk', 'gawk', 'mawk', 'nawk']
|
31
29
|
filenames = ['*.awk']
|
32
30
|
mimetypes = ['application/x-awk']
|
31
|
+
url = 'https://en.wikipedia.org/wiki/AWK'
|
32
|
+
version_added = '1.5'
|
33
33
|
|
34
34
|
tokens = {
|
35
35
|
'commentsandwhitespace': [
|
@@ -49,7 +49,7 @@ class AwkLexer(RegexLexer):
|
|
49
49
|
'root': [
|
50
50
|
(r'^(?=\s|/)', Text, 'slashstartsregex'),
|
51
51
|
include('commentsandwhitespace'),
|
52
|
-
(r'\+\+|--|\|\||&&|in\b
|
52
|
+
(r'\+\+|--|\|\||&&|in\b|\$|!?~|\?|:|'
|
53
53
|
r'(\*\*|[-<>+*%\^/!=|])=?', Operator, 'slashstartsregex'),
|
54
54
|
(r'[{(\[;,]', Punctuation, 'slashstartsregex'),
|
55
55
|
(r'[})\].]', Punctuation),
|
@@ -81,6 +81,8 @@ class SedLexer(RegexLexer):
|
|
81
81
|
aliases = ['sed', 'gsed', 'ssed']
|
82
82
|
filenames = ['*.sed', '*.[gs]sed']
|
83
83
|
mimetypes = ['text/x-sed']
|
84
|
+
url = 'https://en.wikipedia.org/wiki/Sed'
|
85
|
+
version_added = ''
|
84
86
|
flags = re.MULTILINE
|
85
87
|
|
86
88
|
# Match the contents within delimiters such as /<contents>/
|
@@ -111,14 +113,15 @@ class SedLexer(RegexLexer):
|
|
111
113
|
class VimLexer(RegexLexer):
|
112
114
|
"""
|
113
115
|
Lexer for VimL script files.
|
114
|
-
|
115
|
-
.. versionadded:: 0.8
|
116
116
|
"""
|
117
117
|
name = 'VimL'
|
118
118
|
aliases = ['vim']
|
119
119
|
filenames = ['*.vim', '.vimrc', '.exrc', '.gvimrc',
|
120
120
|
'_vimrc', '_exrc', '_gvimrc', 'vimrc', 'gvimrc']
|
121
121
|
mimetypes = ['text/x-vim']
|
122
|
+
url = 'https://www.vim.org'
|
123
|
+
version_added = '0.8'
|
124
|
+
|
122
125
|
flags = re.MULTILINE
|
123
126
|
|
124
127
|
_python = r'py(?:t(?:h(?:o(?:n)?)?)?)?'
|
@@ -4,7 +4,7 @@
|
|
4
4
|
|
5
5
|
Lexers for various text formats.
|
6
6
|
|
7
|
-
:copyright: Copyright 2006-
|
7
|
+
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
|
8
8
|
:license: BSD, see LICENSE for details.
|
9
9
|
"""
|
10
10
|
|
@@ -29,6 +29,8 @@ class IrcLogsLexer(RegexLexer):
|
|
29
29
|
aliases = ['irc']
|
30
30
|
filenames = ['*.weechatlog']
|
31
31
|
mimetypes = ['text/x-irclog']
|
32
|
+
url = 'https://en.wikipedia.org/wiki/Internet_Relay_Chat'
|
33
|
+
version_added = ''
|
32
34
|
|
33
35
|
flags = re.VERBOSE | re.MULTILINE
|
34
36
|
timestamp = r"""
|
@@ -86,13 +88,13 @@ class IrcLogsLexer(RegexLexer):
|
|
86
88
|
class GettextLexer(RegexLexer):
|
87
89
|
"""
|
88
90
|
Lexer for Gettext catalog files.
|
89
|
-
|
90
|
-
.. versionadded:: 0.9
|
91
91
|
"""
|
92
92
|
name = 'Gettext Catalog'
|
93
93
|
aliases = ['pot', 'po']
|
94
94
|
filenames = ['*.pot', '*.po']
|
95
95
|
mimetypes = ['application/x-gettext', 'text/x-gettext', 'text/gettext']
|
96
|
+
url = 'https://www.gnu.org/software/gettext'
|
97
|
+
version_added = '0.9'
|
96
98
|
|
97
99
|
tokens = {
|
98
100
|
'root': [
|
@@ -114,12 +116,12 @@ class GettextLexer(RegexLexer):
|
|
114
116
|
class HttpLexer(RegexLexer):
|
115
117
|
"""
|
116
118
|
Lexer for HTTP sessions.
|
117
|
-
|
118
|
-
.. versionadded:: 1.5
|
119
119
|
"""
|
120
120
|
|
121
121
|
name = 'HTTP'
|
122
122
|
aliases = ['http']
|
123
|
+
url = 'https://httpwg.org/specs'
|
124
|
+
version_added = '1.5'
|
123
125
|
|
124
126
|
flags = re.DOTALL
|
125
127
|
|
@@ -173,7 +175,7 @@ class HttpLexer(RegexLexer):
|
|
173
175
|
|
174
176
|
tokens = {
|
175
177
|
'root': [
|
176
|
-
(r'(
|
178
|
+
(r'([a-zA-Z][-_a-zA-Z]+)( +)([^ ]+)( +)'
|
177
179
|
r'(HTTP)(/)(1\.[01]|2(?:\.0)?|3)(\r?\n|\Z)',
|
178
180
|
bygroups(Name.Function, Text, Name.Namespace, Text,
|
179
181
|
Keyword.Reserved, Operator, Number, Text),
|
@@ -184,7 +186,7 @@ class HttpLexer(RegexLexer):
|
|
184
186
|
'headers'),
|
185
187
|
],
|
186
188
|
'headers': [
|
187
|
-
(r'([^\s:]+)( *)(:)( *)([^\r\n]
|
189
|
+
(r'([^\s:]+)( *)(:)( *)([^\r\n]*)(\r?\n|\Z)', header_callback),
|
188
190
|
(r'([\t ]+)([^\r\n]+)(\r?\n|\Z)', continuous_header_callback),
|
189
191
|
(r'\r?\n', Text, 'content')
|
190
192
|
],
|
@@ -194,20 +196,24 @@ class HttpLexer(RegexLexer):
|
|
194
196
|
}
|
195
197
|
|
196
198
|
def analyse_text(text):
|
197
|
-
return
|
198
|
-
|
199
|
+
return any (
|
200
|
+
re.search(pattern, text) is not None
|
201
|
+
for pattern in (
|
202
|
+
r'^([a-zA-Z][-_a-zA-Z]+)( +)([^ ]+)( +)(HTTP)(/)(1\.[01]|2(?:\.0)?|3)(\r?\n|\Z)',
|
203
|
+
r'^(HTTP)(/)(1\.[01]|2(?:\.0)?|3)( +)(\d{3})(?:( +)([^\r\n]*))?(\r?\n|\Z)',
|
204
|
+
)
|
205
|
+
)
|
199
206
|
|
200
207
|
|
201
208
|
class TodotxtLexer(RegexLexer):
|
202
209
|
"""
|
203
210
|
Lexer for Todo.txt todo list format.
|
204
|
-
|
205
|
-
.. versionadded:: 2.0
|
206
211
|
"""
|
207
212
|
|
208
213
|
name = 'Todotxt'
|
209
214
|
url = 'http://todotxt.com/'
|
210
215
|
aliases = ['todotxt']
|
216
|
+
version_added = '2.0'
|
211
217
|
# *.todotxt is not a standard extension for Todo.txt files; including it
|
212
218
|
# makes testing easier, and also makes autodetecting file type easier.
|
213
219
|
filenames = ['todo.txt', '*.todotxt']
|
@@ -303,8 +309,6 @@ class NotmuchLexer(RegexLexer):
|
|
303
309
|
"""
|
304
310
|
For Notmuch email text format.
|
305
311
|
|
306
|
-
.. versionadded:: 2.5
|
307
|
-
|
308
312
|
Additional options accepted:
|
309
313
|
|
310
314
|
`body_lexer`
|
@@ -315,6 +319,7 @@ class NotmuchLexer(RegexLexer):
|
|
315
319
|
name = 'Notmuch'
|
316
320
|
url = 'https://notmuchmail.org/'
|
317
321
|
aliases = ['notmuch']
|
322
|
+
version_added = '2.5'
|
318
323
|
|
319
324
|
def _highlight_code(self, match):
|
320
325
|
code = match.group(1)
|
@@ -385,12 +390,12 @@ class NotmuchLexer(RegexLexer):
|
|
385
390
|
class KernelLogLexer(RegexLexer):
|
386
391
|
"""
|
387
392
|
For Linux Kernel log ("dmesg") output.
|
388
|
-
|
389
|
-
.. versionadded:: 2.6
|
390
393
|
"""
|
391
394
|
name = 'Kernel log'
|
392
395
|
aliases = ['kmsg', 'dmesg']
|
393
396
|
filenames = ['*.kmsg', '*.dmesg']
|
397
|
+
url = 'https://fr.wikipedia.org/wiki/Dmesg'
|
398
|
+
version_added = '2.6'
|
394
399
|
|
395
400
|
tokens = {
|
396
401
|
'root': [
|
@@ -4,22 +4,24 @@
|
|
4
4
|
|
5
5
|
Lexers for theorem-proving languages.
|
6
6
|
|
7
|
-
|
7
|
+
See also :mod:`pygments.lexers.lean`
|
8
|
+
|
9
|
+
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
|
8
10
|
:license: BSD, see LICENSE for details.
|
9
11
|
"""
|
10
12
|
|
11
|
-
from pygments.lexer import RegexLexer, default, words
|
13
|
+
from pygments.lexer import RegexLexer, bygroups, default, words
|
12
14
|
from pygments.token import Text, Comment, Operator, Keyword, Name, String, \
|
13
15
|
Number, Punctuation, Generic, Whitespace
|
16
|
+
# compatibility import
|
17
|
+
from pygments.lexers.lean import LeanLexer # noqa: F401
|
14
18
|
|
15
|
-
__all__ = ['CoqLexer', 'IsabelleLexer'
|
19
|
+
__all__ = ['CoqLexer', 'IsabelleLexer']
|
16
20
|
|
17
21
|
|
18
22
|
class CoqLexer(RegexLexer):
|
19
23
|
"""
|
20
24
|
For the Coq theorem prover.
|
21
|
-
|
22
|
-
.. versionadded:: 1.5
|
23
25
|
"""
|
24
26
|
|
25
27
|
name = 'Coq'
|
@@ -27,17 +29,18 @@ class CoqLexer(RegexLexer):
|
|
27
29
|
aliases = ['coq']
|
28
30
|
filenames = ['*.v']
|
29
31
|
mimetypes = ['text/x-coq']
|
32
|
+
version_added = '1.5'
|
30
33
|
|
31
34
|
flags = 0 # no re.MULTILINE
|
32
35
|
|
33
36
|
keywords1 = (
|
34
37
|
# Vernacular commands
|
35
|
-
'Section', 'Module', 'End', 'Require', 'Import', 'Export', 'Variable',
|
38
|
+
'Section', 'Module', 'End', 'Require', 'Import', 'Export', 'Include', 'Variable',
|
36
39
|
'Variables', 'Parameter', 'Parameters', 'Axiom', 'Axioms', 'Hypothesis',
|
37
40
|
'Hypotheses', 'Notation', 'Local', 'Tactic', 'Reserved', 'Scope',
|
38
|
-
'Open', 'Close', 'Bind', 'Delimit', 'Definition', 'Example', 'Let',
|
39
|
-
'Ltac', 'Fixpoint', 'CoFixpoint', 'Morphism', 'Relation', 'Implicit',
|
40
|
-
'Arguments', 'Types', '
|
41
|
+
'Open', 'Close', 'Bind', 'Declare', 'Delimit', 'Definition', 'Example', 'Let',
|
42
|
+
'Ltac', 'Ltac2', 'Fixpoint', 'CoFixpoint', 'Morphism', 'Relation', 'Implicit',
|
43
|
+
'Arguments', 'Types', 'Contextual', 'Strict', 'Prenex',
|
41
44
|
'Implicits', 'Inductive', 'CoInductive', 'Record', 'Structure',
|
42
45
|
'Variant', 'Canonical', 'Coercion', 'Theorem', 'Lemma', 'Fact',
|
43
46
|
'Remark', 'Corollary', 'Proposition', 'Property', 'Goal',
|
@@ -46,7 +49,8 @@ class CoqLexer(RegexLexer):
|
|
46
49
|
'Show', 'Print', 'Printing', 'All', 'Graph', 'Projections', 'inside',
|
47
50
|
'outside', 'Check', 'Global', 'Instance', 'Class', 'Existing',
|
48
51
|
'Universe', 'Polymorphic', 'Monomorphic', 'Context', 'Scheme', 'From',
|
49
|
-
'Undo', 'Fail', 'Function',
|
52
|
+
'Undo', 'Fail', 'Function', 'Program', 'Elpi', 'Extract', 'Opaque',
|
53
|
+
'Transparent', 'Unshelve', 'Next Obligation',
|
50
54
|
)
|
51
55
|
keywords2 = (
|
52
56
|
# Gallina
|
@@ -94,7 +98,7 @@ class CoqLexer(RegexLexer):
|
|
94
98
|
'!=', '#', '&', '&&', r'\(', r'\)', r'\*', r'\+', ',', '-', r'-\.',
|
95
99
|
'->', r'\.', r'\.\.', ':', '::', ':=', ':>', ';', ';;', '<', '<-',
|
96
100
|
'<->', '=', '>', '>]', r'>\}', r'\?', r'\?\?', r'\[', r'\[<', r'\[>',
|
97
|
-
r'\[\|', ']', '_', '`', r'\{', r'\{<', r'\|', r'\|]', r'\}', '~', '=>',
|
101
|
+
r'\[\|', ']', '_', '`', r'\{', r'\{<', r'lp:\{\{', r'\|', r'\|]', r'\}', '~', '=>',
|
98
102
|
r'/\\', r'\\/', r'\{\|', r'\|\}',
|
99
103
|
# 'Π', 'Σ', # Not defined in the standard library
|
100
104
|
'λ', '¬', '∧', '∨', '∀', '∃', '→', '↔', '≠', '≤', '≥',
|
@@ -110,8 +114,10 @@ class CoqLexer(RegexLexer):
|
|
110
114
|
(r'\(\*', Comment, 'comment'),
|
111
115
|
(r'\b(?:[^\W\d][\w\']*\.)+[^\W\d][\w\']*\b', Name),
|
112
116
|
(r'\bEquations\b\??', Keyword.Namespace),
|
117
|
+
(r'\b(Elpi)(\s+)(Program|Query|Accumulate|Command|Typecheck|Db|Export|Tactic)?\b', bygroups(Keyword.Namespace,Text,Keyword.Namespace)),
|
113
118
|
# Very weak heuristic to distinguish the Set vernacular from the Set sort
|
114
|
-
(r'\bSet(?=[ \t]+[A-Z][a-z][^\n]*?\.)', Keyword.Namespace),
|
119
|
+
(r'\bUnset\b|\bSet(?=[ \t]+[A-Z][a-z][^\n]*?\.)', Keyword.Namespace, 'set-options'),
|
120
|
+
(r'\b(?:String|Number)\s+Notation', Keyword.Namespace, 'sn-notation'),
|
115
121
|
(words(keywords1, prefix=r'\b', suffix=r'\b'), Keyword.Namespace),
|
116
122
|
(words(keywords2, prefix=r'\b', suffix=r'\b'), Keyword),
|
117
123
|
(words(keywords3, prefix=r'\b', suffix=r'\b'), Keyword.Type),
|
@@ -120,8 +126,8 @@ class CoqLexer(RegexLexer):
|
|
120
126
|
(words(keywords6, prefix=r'\b', suffix=r'\b'), Keyword.Reserved),
|
121
127
|
# (r'\b([A-Z][\w\']*)(\.)', Name.Namespace, 'dotted'),
|
122
128
|
(r'\b([A-Z][\w\']*)', Name),
|
123
|
-
(r'(
|
124
|
-
(
|
129
|
+
(r'({})'.format('|'.join(keyopts[::-1])), Operator),
|
130
|
+
(rf'({infix_syms}|{prefix_syms})?{operators}', Operator),
|
125
131
|
|
126
132
|
(r"[^\W\d][\w']*", Name),
|
127
133
|
|
@@ -141,8 +147,27 @@ class CoqLexer(RegexLexer):
|
|
141
147
|
(r'[~?][a-z][\w\']*:', Name),
|
142
148
|
(r'\S', Name.Builtin.Pseudo),
|
143
149
|
],
|
150
|
+
'set-options': [
|
151
|
+
(r'\s+', Text),
|
152
|
+
(r'[A-Z]\w*', Keyword.Namespace),
|
153
|
+
(r'"', String.Double, 'string'),
|
154
|
+
(r'\d+', Number.Integer),
|
155
|
+
(r'\.', Punctuation, '#pop'),
|
156
|
+
],
|
157
|
+
'sn-notation': [
|
158
|
+
(r'\s+', Text),
|
159
|
+
# Extra keywords to highlight only in this scope
|
160
|
+
(r'\b(?:via|mapping|abstract|warning|after)\b', Keyword),
|
161
|
+
(r'=>|[()\[\]:,]', Operator),
|
162
|
+
(r'\b[^\W\d][\w\']*(?:\.[^\W\d][\w\']*)*\b', Name),
|
163
|
+
(r'\d[\d_]*', Number.Integer),
|
164
|
+
(r'0[xX][\da-fA-F][\da-fA-F_]*', Number.Hex),
|
165
|
+
(r'\(\*', Comment, 'comment'),
|
166
|
+
(r'\.', Punctuation, '#pop'),
|
167
|
+
],
|
144
168
|
'comment': [
|
145
|
-
|
169
|
+
# Consume comments like ***** as one token
|
170
|
+
(r'([^(*)]+|\*+(?!\)))+', Comment),
|
146
171
|
(r'\(\*', Comment, '#push'),
|
147
172
|
(r'\*\)', Comment, '#pop'),
|
148
173
|
(r'[(*)]', Comment),
|
@@ -170,8 +195,6 @@ class CoqLexer(RegexLexer):
|
|
170
195
|
class IsabelleLexer(RegexLexer):
|
171
196
|
"""
|
172
197
|
For the Isabelle proof assistant.
|
173
|
-
|
174
|
-
.. versionadded:: 2.0
|
175
198
|
"""
|
176
199
|
|
177
200
|
name = 'Isabelle'
|
@@ -179,6 +202,7 @@ class IsabelleLexer(RegexLexer):
|
|
179
202
|
aliases = ['isabelle']
|
180
203
|
filenames = ['*.thy']
|
181
204
|
mimetypes = ['text/x-isabelle']
|
205
|
+
version_added = '2.0'
|
182
206
|
|
183
207
|
keyword_minor = (
|
184
208
|
'and', 'assumes', 'attach', 'avoids', 'binder', 'checking',
|
@@ -384,101 +408,3 @@ class IsabelleLexer(RegexLexer):
|
|
384
408
|
(r'`', String.Other, '#pop'),
|
385
409
|
],
|
386
410
|
}
|
387
|
-
|
388
|
-
|
389
|
-
class LeanLexer(RegexLexer):
|
390
|
-
"""
|
391
|
-
For the Lean theorem prover.
|
392
|
-
|
393
|
-
.. versionadded:: 2.0
|
394
|
-
"""
|
395
|
-
name = 'Lean'
|
396
|
-
url = 'https://github.com/leanprover/lean'
|
397
|
-
aliases = ['lean']
|
398
|
-
filenames = ['*.lean']
|
399
|
-
mimetypes = ['text/x-lean']
|
400
|
-
|
401
|
-
tokens = {
|
402
|
-
'root': [
|
403
|
-
(r'\s+', Text),
|
404
|
-
(r'/--', String.Doc, 'docstring'),
|
405
|
-
(r'/-', Comment, 'comment'),
|
406
|
-
(r'--.*?$', Comment.Single),
|
407
|
-
(words((
|
408
|
-
'import', 'renaming', 'hiding',
|
409
|
-
'namespace',
|
410
|
-
'local',
|
411
|
-
'private', 'protected', 'section',
|
412
|
-
'include', 'omit', 'section',
|
413
|
-
'protected', 'export',
|
414
|
-
'open',
|
415
|
-
'attribute',
|
416
|
-
), prefix=r'\b', suffix=r'\b'), Keyword.Namespace),
|
417
|
-
(words((
|
418
|
-
'lemma', 'theorem', 'def', 'definition', 'example',
|
419
|
-
'axiom', 'axioms', 'constant', 'constants',
|
420
|
-
'universe', 'universes',
|
421
|
-
'inductive', 'coinductive', 'structure', 'extends',
|
422
|
-
'class', 'instance',
|
423
|
-
'abbreviation',
|
424
|
-
|
425
|
-
'noncomputable theory',
|
426
|
-
|
427
|
-
'noncomputable', 'mutual', 'meta',
|
428
|
-
|
429
|
-
'attribute',
|
430
|
-
|
431
|
-
'parameter', 'parameters',
|
432
|
-
'variable', 'variables',
|
433
|
-
|
434
|
-
'reserve', 'precedence',
|
435
|
-
'postfix', 'prefix', 'notation', 'infix', 'infixl', 'infixr',
|
436
|
-
|
437
|
-
'begin', 'by', 'end',
|
438
|
-
|
439
|
-
'set_option',
|
440
|
-
'run_cmd',
|
441
|
-
), prefix=r'\b', suffix=r'\b'), Keyword.Declaration),
|
442
|
-
(r'@\[[^\]]*\]', Keyword.Declaration),
|
443
|
-
(words((
|
444
|
-
'forall', 'fun', 'Pi', 'from', 'have', 'show', 'assume', 'suffices',
|
445
|
-
'let', 'if', 'else', 'then', 'in', 'with', 'calc', 'match',
|
446
|
-
'do'
|
447
|
-
), prefix=r'\b', suffix=r'\b'), Keyword),
|
448
|
-
(words(('sorry', 'admit'), prefix=r'\b', suffix=r'\b'), Generic.Error),
|
449
|
-
(words(('Sort', 'Prop', 'Type'), prefix=r'\b', suffix=r'\b'), Keyword.Type),
|
450
|
-
(words((
|
451
|
-
'#eval', '#check', '#reduce', '#exit',
|
452
|
-
'#print', '#help',
|
453
|
-
), suffix=r'\b'), Keyword),
|
454
|
-
(words((
|
455
|
-
'(', ')', ':', '{', '}', '[', ']', '⟨', '⟩', '‹', '›', '⦃', '⦄', ':=', ',',
|
456
|
-
)), Operator),
|
457
|
-
(r'[A-Za-z_\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2100-\u214f]'
|
458
|
-
r'[.A-Za-z_\'\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2070-\u2079'
|
459
|
-
r'\u207f-\u2089\u2090-\u209c\u2100-\u214f0-9]*', Name),
|
460
|
-
(r'0x[A-Za-z0-9]+', Number.Integer),
|
461
|
-
(r'0b[01]+', Number.Integer),
|
462
|
-
(r'\d+', Number.Integer),
|
463
|
-
(r'"', String.Double, 'string'),
|
464
|
-
(r"'(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4})|.)'", String.Char),
|
465
|
-
(r'[~?][a-z][\w\']*:', Name.Variable),
|
466
|
-
(r'\S', Name.Builtin.Pseudo),
|
467
|
-
],
|
468
|
-
'comment': [
|
469
|
-
(r'[^/-]', Comment.Multiline),
|
470
|
-
(r'/-', Comment.Multiline, '#push'),
|
471
|
-
(r'-/', Comment.Multiline, '#pop'),
|
472
|
-
(r'[/-]', Comment.Multiline)
|
473
|
-
],
|
474
|
-
'docstring': [
|
475
|
-
(r'[^/-]', String.Doc),
|
476
|
-
(r'-/', String.Doc, '#pop'),
|
477
|
-
(r'[/-]', String.Doc)
|
478
|
-
],
|
479
|
-
'string': [
|
480
|
-
(r'[^\\"]+', String.Double),
|
481
|
-
(r"(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4}))", String.Escape),
|
482
|
-
('"', String.Double, '#pop'),
|
483
|
-
],
|
484
|
-
}
|
@@ -4,7 +4,7 @@
|
|
4
4
|
|
5
5
|
Lexers for the ThingsDB language.
|
6
6
|
|
7
|
-
:copyright: Copyright 2006-
|
7
|
+
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
|
8
8
|
:license: BSD, see LICENSE for details.
|
9
9
|
"""
|
10
10
|
|
@@ -18,12 +18,12 @@ __all__ = ['ThingsDBLexer']
|
|
18
18
|
class ThingsDBLexer(RegexLexer):
|
19
19
|
"""
|
20
20
|
Lexer for the ThingsDB programming language.
|
21
|
-
|
22
|
-
.. versionadded:: 2.9
|
23
21
|
"""
|
24
22
|
name = 'ThingsDB'
|
25
23
|
aliases = ['ti', 'thingsdb']
|
26
24
|
filenames = ['*.ti']
|
25
|
+
url = 'https://www.thingsdb.net'
|
26
|
+
version_added = '2.9'
|
27
27
|
|
28
28
|
tokens = {
|
29
29
|
'root': [
|
@@ -39,21 +39,24 @@ class ThingsDBLexer(RegexLexer):
|
|
39
39
|
(r'([-+]?0x[0-9a-fA-F]+)', Number.Hex),
|
40
40
|
(r'[-+]?[0-9]+', Number.Integer),
|
41
41
|
(r'[-+]?((inf|nan)([^0-9A-Za-z_]|$)|[0-9]*\.[0-9]+(e[+-][0-9]+)?)',
|
42
|
-
|
42
|
+
Number.Float),
|
43
43
|
|
44
44
|
# strings
|
45
45
|
(r'(?:"(?:[^"]*)")+', String.Double),
|
46
46
|
(r"(?:'(?:[^']*)')+", String.Single),
|
47
|
+
(r"(?:`(?:[^`]*)`)+", String.Backtick),
|
47
48
|
|
48
49
|
# literals
|
49
50
|
(r'(true|false|nil)\b', Keyword.Constant),
|
50
51
|
|
52
|
+
# name constants
|
53
|
+
(r'(FULL|USER|GRANT|CHANGE|JOIN|RUN|QUERY|'
|
54
|
+
r'DEBUG|INFO|WARNING|ERROR|CRITICAL|'
|
55
|
+
r'NO_IDS|INT_MIN|INT_MAX)\b', Name.Constant),
|
56
|
+
|
51
57
|
# regular expressions
|
52
58
|
(r'(/[^/\\]*(?:\\.[^/\\]*)*/i?)', String.Regex),
|
53
59
|
|
54
|
-
# thing id's
|
55
|
-
(r'#[0-9]+', Comment.Preproc),
|
56
|
-
|
57
60
|
# name, assignments and functions
|
58
61
|
include('names'),
|
59
62
|
|
@@ -62,26 +65,47 @@ class ThingsDBLexer(RegexLexer):
|
|
62
65
|
],
|
63
66
|
'names': [
|
64
67
|
(r'(\.)'
|
65
|
-
r'(
|
66
|
-
r'
|
67
|
-
r'
|
68
|
+
r'(first|last|then|else|load|at|again_in|again_at|err|cancel|'
|
69
|
+
r'closure|set_closure|args|set_args|owner|set_owner|equals|copy|'
|
70
|
+
r'dup|assign|week|weekday|yday|zone|len|call|doc|emit|extract|'
|
71
|
+
r'choice|code|format|msg|each|every|extend|extend_unique|filter|'
|
72
|
+
r'find|flat|find_index|has|index_of|count|sum|is_unique|unique|'
|
73
|
+
r'join|map|map_id|map_wrap|map_type|vmap|move|pop|push|fill|'
|
74
|
+
r'remove|replace|restrict|restriction|shift|sort|splice|to|add|'
|
75
|
+
r'one|clear|contains|ends_with|name|lower|replace|reverse|'
|
76
|
+
r'starts_with|split|test|trim|trim_left|trim_right|upper|del|ren|'
|
77
|
+
r'to_type|to_thing|get|id|keys|reduce|set|some|value|values|wrap|'
|
78
|
+
r'unshift|unwrap|search)'
|
68
79
|
r'(\()',
|
69
80
|
bygroups(Name.Function, Name.Function, Punctuation), 'arguments'),
|
70
|
-
(r'(
|
71
|
-
r'
|
72
|
-
r'
|
73
|
-
r'
|
74
|
-
r'
|
75
|
-
r'
|
76
|
-
r'
|
77
|
-
r'
|
78
|
-
r'
|
79
|
-
r'
|
80
|
-
r'
|
81
|
-
r'
|
82
|
-
r'
|
83
|
-
r'
|
84
|
-
r'
|
81
|
+
(r'(alt_raise|assert|base64_encode|base64_decode|bool|bytes|'
|
82
|
+
r'closure|datetime|deep|future|is_future|del_enum|del_type|room|'
|
83
|
+
r'is_room|task|tasks|is_task|is_email|is_url|is_tel|is_time_zone|'
|
84
|
+
r'timeit|enum|enum_info|enum_map|enums_info|err|regex|is_regex|'
|
85
|
+
r'change_id|float|has_enum|has_type|int|is_array|is_ascii|'
|
86
|
+
r'is_float|is_bool|is_bytes|is_closure|is_datetime|is_enum|'
|
87
|
+
r'is_err|is_mpdata|is_inf|is_int|is_list|is_nan|is_nil|is_raw|'
|
88
|
+
r'is_set|is_str|is_thing|is_timeval|is_tuple|is_utf8|json_dump|'
|
89
|
+
r'json_load|list|log|import|export|root|mod_enum|mod_type|new|'
|
90
|
+
r'new_type|now|raise|rand|range|randint|randstr|refs|rename_enum|'
|
91
|
+
r'set|set_enum|set_type|str|thing|timeval|try|type|type_assert|'
|
92
|
+
r'type_count|type_info|types_info|nse|wse|backup_info|'
|
93
|
+
r'backups_info|backups_ok|counters|del_backup|has_backup|'
|
94
|
+
r'new_backup|node_info|nodes_info|reset_counters|restart_module|'
|
95
|
+
r'set_log_level|shutdown|has_module|del_module|module_info|'
|
96
|
+
r'modules_info|new_module|deploy_module|rename_module|'
|
97
|
+
r'refresh_module|set_module_conf|set_module_scope|'
|
98
|
+
r'collections_info|del_collection|del_expired|del_node|del_token|'
|
99
|
+
r'del_user|grant|has_collection|has_node|has_token|has_user|'
|
100
|
+
r'new_collection|new_node|new_token|new_user|rename_collection|'
|
101
|
+
r'rename_user|restore|revoke|set_password|set_time_zone|'
|
102
|
+
r'set_default_deep|time_zones_info|user_info|users_info|'
|
103
|
+
r'del_procedure|has_procedure|new_procedure|mod_procedure|'
|
104
|
+
r'procedure_doc|procedure_info|procedures_info|rename_procedure|'
|
105
|
+
r'run|assert_err|auth_err|bad_data_err|cancelled_err|'
|
106
|
+
r'rename_type|forbidden_err|lookup_err|max_quota_err|node_err|'
|
107
|
+
r'num_arguments_err|operation_err|overflow_err|syntax_err|'
|
108
|
+
r'collection_info|type_err|value_err|zero_div_err)'
|
85
109
|
r'(\()',
|
86
110
|
bygroups(Name.Function, Punctuation),
|
87
111
|
'arguments'),
|
@@ -90,7 +114,7 @@ class ThingsDBLexer(RegexLexer):
|
|
90
114
|
bygroups(Name.Attribute, Text, Operator)),
|
91
115
|
(r'\.[A-Za-z_][0-9A-Za-z_]*', Name.Attribute),
|
92
116
|
(r'([A-Za-z_][0-9A-Za-z_]*)(\s*)(=)',
|
93
|
-
|
117
|
+
bygroups(Name.Variable, Text, Operator)),
|
94
118
|
(r'[A-Za-z_][0-9A-Za-z_]*', Name.Variable),
|
95
119
|
],
|
96
120
|
'whitespace': [
|
@@ -4,7 +4,7 @@
|
|
4
4
|
|
5
5
|
Lexers for TL-b.
|
6
6
|
|
7
|
-
:copyright: Copyright 2006-
|
7
|
+
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
|
8
8
|
:license: BSD, see LICENSE for details.
|
9
9
|
"""
|
10
10
|
|
@@ -23,6 +23,8 @@ class TlbLexer(RegexLexer):
|
|
23
23
|
name = 'Tl-b'
|
24
24
|
aliases = ['tlb']
|
25
25
|
filenames = ['*.tlb']
|
26
|
+
url = 'https://docs.ton.org/#/overviews/TL-B'
|
27
|
+
version_added = ''
|
26
28
|
|
27
29
|
tokens = {
|
28
30
|
'root': [
|