pygments.rb 1.2.0 → 2.1.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +5 -5
- data/.github/dependabot.yml +13 -0
- data/.github/workflows/ci.yml +40 -0
- data/.github/workflows/release.yml +24 -0
- data/.gitignore +5 -5
- data/.rubocop.yml +18 -0
- data/CHANGELOG.adoc +132 -0
- data/Gemfile +3 -1
- data/LICENSE +1 -1
- data/README.adoc +160 -0
- data/Rakefile +12 -21
- data/bench.rb +14 -8
- data/{cache-lexers.rb → cache_lexers.rb} +3 -2
- data/lexers +0 -0
- data/lib/pygments.rb +10 -11
- data/lib/pygments/lexer.rb +6 -6
- data/lib/pygments/mentos.py +23 -110
- data/lib/pygments/popen.rb +196 -275
- data/lib/pygments/version.rb +2 -2
- data/pygments.rb.gemspec +12 -10
- data/test/test_pygments.rb +50 -110
- data/vendor/pygments-main/{AUTHORS → Pygments-2.8.0.dist-info/AUTHORS} +26 -3
- data/vendor/pygments-main/Pygments-2.8.0.dist-info/INSTALLER +1 -0
- data/vendor/pygments-main/{LICENSE → Pygments-2.8.0.dist-info/LICENSE} +1 -1
- data/vendor/pygments-main/Pygments-2.8.0.dist-info/METADATA +48 -0
- data/vendor/pygments-main/Pygments-2.8.0.dist-info/RECORD +494 -0
- data/vendor/pygments-main/Pygments-2.8.0.dist-info/REQUESTED +0 -0
- data/vendor/pygments-main/Pygments-2.8.0.dist-info/WHEEL +5 -0
- data/vendor/pygments-main/Pygments-2.8.0.dist-info/entry_points.txt +3 -0
- data/vendor/pygments-main/Pygments-2.8.0.dist-info/top_level.txt +1 -0
- data/vendor/pygments-main/bin/pygmentize +8 -0
- data/vendor/pygments-main/pygments/__init__.py +6 -12
- data/vendor/pygments-main/pygments/__main__.py +17 -0
- data/vendor/pygments-main/pygments/cmdline.py +213 -184
- data/vendor/pygments-main/pygments/console.py +6 -10
- data/vendor/pygments-main/pygments/filter.py +4 -7
- data/vendor/pygments-main/pygments/filters/__init__.py +609 -22
- data/vendor/pygments-main/pygments/formatter.py +4 -5
- data/vendor/pygments-main/pygments/formatters/__init__.py +10 -10
- data/vendor/pygments-main/pygments/formatters/_mapping.py +1 -4
- data/vendor/pygments-main/pygments/formatters/bbcode.py +1 -2
- data/vendor/pygments-main/pygments/formatters/html.py +242 -139
- data/vendor/pygments-main/pygments/formatters/img.py +91 -50
- data/vendor/pygments-main/pygments/formatters/irc.py +39 -40
- data/vendor/pygments-main/pygments/formatters/latex.py +62 -33
- data/vendor/pygments-main/pygments/formatters/other.py +18 -17
- data/vendor/pygments-main/pygments/formatters/rtf.py +29 -30
- data/vendor/pygments-main/pygments/formatters/svg.py +40 -5
- data/vendor/pygments-main/pygments/formatters/terminal.py +25 -32
- data/vendor/pygments-main/pygments/formatters/terminal256.py +45 -14
- data/vendor/pygments-main/pygments/lexer.py +47 -44
- data/vendor/pygments-main/pygments/lexers/__init__.py +29 -17
- data/vendor/pygments-main/pygments/lexers/_asy_builtins.py +5 -6
- data/vendor/pygments-main/pygments/lexers/_cl_builtins.py +15 -16
- data/vendor/pygments-main/pygments/lexers/_cocoa_builtins.py +21 -18
- data/vendor/pygments-main/pygments/lexers/_csound_builtins.py +1717 -1339
- data/vendor/pygments-main/pygments/lexers/_lasso_builtins.py +1 -2
- data/vendor/pygments-main/pygments/lexers/_lua_builtins.py +2 -5
- data/vendor/pygments-main/pygments/lexers/_mapping.py +79 -31
- data/vendor/pygments-main/pygments/lexers/_mql_builtins.py +2 -3
- data/vendor/pygments-main/pygments/lexers/_mysql_builtins.py +1281 -0
- data/vendor/pygments-main/pygments/lexers/_openedge_builtins.py +439 -386
- data/vendor/pygments-main/pygments/lexers/_php_builtins.py +17 -21
- data/vendor/pygments-main/pygments/lexers/_postgres_builtins.py +73 -17
- data/vendor/pygments-main/pygments/lexers/_scilab_builtins.py +2 -3
- data/vendor/pygments-main/pygments/lexers/_sourcemod_builtins.py +1 -4
- data/vendor/pygments-main/pygments/lexers/_stan_builtins.py +151 -126
- data/vendor/pygments-main/pygments/lexers/_stata_builtins.py +96 -58
- data/vendor/pygments-main/pygments/lexers/_tsql_builtins.py +1 -2
- data/vendor/pygments-main/pygments/lexers/_usd_builtins.py +112 -0
- data/vendor/pygments-main/pygments/lexers/_vbscript_builtins.py +279 -0
- data/vendor/pygments-main/pygments/lexers/_vim_builtins.py +1 -2
- data/vendor/pygments-main/pygments/lexers/actionscript.py +14 -10
- data/vendor/pygments-main/pygments/lexers/agile.py +1 -2
- data/vendor/pygments-main/pygments/lexers/algebra.py +20 -2
- data/vendor/pygments-main/pygments/lexers/ambient.py +2 -3
- data/vendor/pygments-main/pygments/lexers/amdgpu.py +48 -0
- data/vendor/pygments-main/pygments/lexers/ampl.py +3 -4
- data/vendor/pygments-main/pygments/lexers/apl.py +15 -16
- data/vendor/pygments-main/pygments/lexers/archetype.py +4 -5
- data/vendor/pygments-main/pygments/lexers/arrow.py +116 -0
- data/vendor/pygments-main/pygments/lexers/asm.py +440 -77
- data/vendor/pygments-main/pygments/lexers/automation.py +7 -2
- data/vendor/pygments-main/pygments/lexers/bare.py +103 -0
- data/vendor/pygments-main/pygments/lexers/basic.py +168 -7
- data/vendor/pygments-main/pygments/lexers/bibtex.py +5 -6
- data/vendor/pygments-main/pygments/lexers/boa.py +101 -0
- data/vendor/pygments-main/pygments/lexers/business.py +19 -5
- data/vendor/pygments-main/pygments/lexers/c_cpp.py +138 -48
- data/vendor/pygments-main/pygments/lexers/c_like.py +67 -43
- data/vendor/pygments-main/pygments/lexers/capnproto.py +7 -8
- data/vendor/pygments-main/pygments/lexers/cddl.py +190 -0
- data/vendor/pygments-main/pygments/lexers/chapel.py +25 -16
- data/vendor/pygments-main/pygments/lexers/clean.py +135 -245
- data/vendor/pygments-main/pygments/lexers/compiled.py +1 -2
- data/vendor/pygments-main/pygments/lexers/configs.py +190 -38
- data/vendor/pygments-main/pygments/lexers/console.py +1 -2
- data/vendor/pygments-main/pygments/lexers/crystal.py +54 -81
- data/vendor/pygments-main/pygments/lexers/csound.py +288 -188
- data/vendor/pygments-main/pygments/lexers/css.py +28 -23
- data/vendor/pygments-main/pygments/lexers/d.py +12 -8
- data/vendor/pygments-main/pygments/lexers/dalvik.py +1 -2
- data/vendor/pygments-main/pygments/lexers/data.py +240 -98
- data/vendor/pygments-main/pygments/lexers/devicetree.py +108 -0
- data/vendor/pygments-main/pygments/lexers/diff.py +4 -5
- data/vendor/pygments-main/pygments/lexers/dotnet.py +46 -31
- data/vendor/pygments-main/pygments/lexers/dsls.py +146 -65
- data/vendor/pygments-main/pygments/lexers/dylan.py +16 -19
- data/vendor/pygments-main/pygments/lexers/ecl.py +17 -5
- data/vendor/pygments-main/pygments/lexers/eiffel.py +2 -3
- data/vendor/pygments-main/pygments/lexers/elm.py +5 -6
- data/vendor/pygments-main/pygments/lexers/email.py +150 -0
- data/vendor/pygments-main/pygments/lexers/erlang.py +29 -33
- data/vendor/pygments-main/pygments/lexers/esoteric.py +46 -20
- data/vendor/pygments-main/pygments/lexers/ezhil.py +21 -14
- data/vendor/pygments-main/pygments/lexers/factor.py +3 -4
- data/vendor/pygments-main/pygments/lexers/fantom.py +1 -2
- data/vendor/pygments-main/pygments/lexers/felix.py +1 -2
- data/vendor/pygments-main/pygments/lexers/floscript.py +82 -0
- data/vendor/pygments-main/pygments/lexers/forth.py +41 -41
- data/vendor/pygments-main/pygments/lexers/fortran.py +13 -10
- data/vendor/pygments-main/pygments/lexers/foxpro.py +2 -3
- data/vendor/pygments-main/pygments/lexers/freefem.py +897 -0
- data/vendor/pygments-main/pygments/lexers/functional.py +1 -2
- data/vendor/pygments-main/pygments/lexers/futhark.py +110 -0
- data/vendor/pygments-main/pygments/lexers/gdscript.py +345 -0
- data/vendor/pygments-main/pygments/lexers/go.py +2 -3
- data/vendor/pygments-main/pygments/lexers/grammar_notation.py +62 -6
- data/vendor/pygments-main/pygments/lexers/graph.py +14 -10
- data/vendor/pygments-main/pygments/lexers/graphics.py +274 -28
- data/vendor/pygments-main/pygments/lexers/graphviz.py +57 -0
- data/vendor/pygments-main/pygments/lexers/haskell.py +48 -22
- data/vendor/pygments-main/pygments/lexers/haxe.py +8 -9
- data/vendor/pygments-main/pygments/lexers/hdl.py +176 -90
- data/vendor/pygments-main/pygments/lexers/hexdump.py +1 -2
- data/vendor/pygments-main/pygments/lexers/html.py +37 -26
- data/vendor/pygments-main/pygments/lexers/idl.py +19 -9
- data/vendor/pygments-main/pygments/lexers/igor.py +244 -113
- data/vendor/pygments-main/pygments/lexers/inferno.py +2 -3
- data/vendor/pygments-main/pygments/lexers/installers.py +1 -2
- data/vendor/pygments-main/pygments/lexers/int_fiction.py +40 -16
- data/vendor/pygments-main/pygments/lexers/iolang.py +3 -4
- data/vendor/pygments-main/pygments/lexers/j.py +4 -5
- data/vendor/pygments-main/pygments/lexers/javascript.py +115 -104
- data/vendor/pygments-main/pygments/lexers/julia.py +44 -47
- data/vendor/pygments-main/pygments/lexers/jvm.py +368 -202
- data/vendor/pygments-main/pygments/lexers/lisp.py +887 -810
- data/vendor/pygments-main/pygments/lexers/make.py +12 -9
- data/vendor/pygments-main/pygments/lexers/markup.py +212 -45
- data/vendor/pygments-main/pygments/lexers/math.py +1 -2
- data/vendor/pygments-main/pygments/lexers/matlab.py +2705 -88
- data/vendor/pygments-main/pygments/lexers/mime.py +225 -0
- data/vendor/pygments-main/pygments/lexers/ml.py +203 -15
- data/vendor/pygments-main/pygments/lexers/modeling.py +26 -19
- data/vendor/pygments-main/pygments/lexers/modula2.py +27 -9
- data/vendor/pygments-main/pygments/lexers/monte.py +1 -2
- data/vendor/pygments-main/pygments/lexers/mosel.py +447 -0
- data/vendor/pygments-main/pygments/lexers/ncl.py +1 -2
- data/vendor/pygments-main/pygments/lexers/nimrod.py +4 -5
- data/vendor/pygments-main/pygments/lexers/nit.py +1 -2
- data/vendor/pygments-main/pygments/lexers/nix.py +1 -2
- data/vendor/pygments-main/pygments/lexers/oberon.py +17 -2
- data/vendor/pygments-main/pygments/lexers/objective.py +18 -19
- data/vendor/pygments-main/pygments/lexers/ooc.py +1 -2
- data/vendor/pygments-main/pygments/lexers/other.py +1 -2
- data/vendor/pygments-main/pygments/lexers/parasail.py +1 -2
- data/vendor/pygments-main/pygments/lexers/parsers.py +47 -83
- data/vendor/pygments-main/pygments/lexers/pascal.py +22 -23
- data/vendor/pygments-main/pygments/lexers/pawn.py +31 -28
- data/vendor/pygments-main/pygments/lexers/perl.py +260 -149
- data/vendor/pygments-main/pygments/lexers/php.py +66 -13
- data/vendor/pygments-main/pygments/lexers/pointless.py +70 -0
- data/vendor/pygments-main/pygments/lexers/pony.py +93 -0
- data/vendor/pygments-main/pygments/lexers/praat.py +38 -31
- data/vendor/pygments-main/pygments/lexers/prolog.py +38 -39
- data/vendor/pygments-main/pygments/lexers/promql.py +182 -0
- data/vendor/pygments-main/pygments/lexers/python.py +450 -231
- data/vendor/pygments-main/pygments/lexers/qvt.py +6 -7
- data/vendor/pygments-main/pygments/lexers/r.py +13 -276
- data/vendor/pygments-main/pygments/lexers/rdf.py +232 -40
- data/vendor/pygments-main/pygments/lexers/rebol.py +8 -9
- data/vendor/pygments-main/pygments/lexers/resource.py +2 -3
- data/vendor/pygments-main/pygments/lexers/ride.py +138 -0
- data/vendor/pygments-main/pygments/lexers/rnc.py +1 -2
- data/vendor/pygments-main/pygments/lexers/roboconf.py +1 -2
- data/vendor/pygments-main/pygments/lexers/robotframework.py +23 -32
- data/vendor/pygments-main/pygments/lexers/ruby.py +50 -46
- data/vendor/pygments-main/pygments/lexers/rust.py +76 -73
- data/vendor/pygments-main/pygments/lexers/sas.py +1 -2
- data/vendor/pygments-main/pygments/lexers/scdoc.py +82 -0
- data/vendor/pygments-main/pygments/lexers/scripting.py +79 -18
- data/vendor/pygments-main/pygments/lexers/sgf.py +60 -0
- data/vendor/pygments-main/pygments/lexers/shell.py +164 -49
- data/vendor/pygments-main/pygments/lexers/sieve.py +68 -0
- data/vendor/pygments-main/pygments/lexers/slash.py +184 -0
- data/vendor/pygments-main/pygments/lexers/smalltalk.py +2 -3
- data/vendor/pygments-main/pygments/lexers/smv.py +3 -4
- data/vendor/pygments-main/pygments/lexers/snobol.py +1 -2
- data/vendor/pygments-main/pygments/lexers/solidity.py +91 -0
- data/vendor/pygments-main/pygments/lexers/special.py +31 -28
- data/vendor/pygments-main/pygments/lexers/sql.py +330 -179
- data/vendor/pygments-main/pygments/lexers/stata.py +107 -45
- data/vendor/pygments-main/pygments/lexers/supercollider.py +8 -4
- data/vendor/pygments-main/pygments/lexers/tcl.py +1 -2
- data/vendor/pygments-main/pygments/lexers/templates.py +116 -136
- data/vendor/pygments-main/pygments/lexers/teraterm.py +334 -0
- data/vendor/pygments-main/pygments/lexers/testing.py +6 -7
- data/vendor/pygments-main/pygments/lexers/text.py +2 -2
- data/vendor/pygments-main/pygments/lexers/textedit.py +6 -7
- data/vendor/pygments-main/pygments/lexers/textfmts.py +146 -14
- data/vendor/pygments-main/pygments/lexers/theorem.py +74 -56
- data/vendor/pygments-main/pygments/lexers/tnt.py +262 -0
- data/vendor/pygments-main/pygments/lexers/trafficscript.py +1 -2
- data/vendor/pygments-main/pygments/lexers/typoscript.py +4 -12
- data/vendor/pygments-main/pygments/lexers/unicon.py +411 -0
- data/vendor/pygments-main/pygments/lexers/urbi.py +16 -4
- data/vendor/pygments-main/pygments/lexers/usd.py +89 -0
- data/vendor/pygments-main/pygments/lexers/varnish.py +4 -5
- data/vendor/pygments-main/pygments/lexers/verification.py +13 -11
- data/vendor/pygments-main/pygments/lexers/web.py +1 -2
- data/vendor/pygments-main/pygments/lexers/webidl.py +298 -0
- data/vendor/pygments-main/pygments/lexers/webmisc.py +35 -32
- data/vendor/pygments-main/pygments/lexers/whiley.py +5 -6
- data/vendor/pygments-main/pygments/lexers/x10.py +2 -3
- data/vendor/pygments-main/pygments/lexers/xorg.py +5 -5
- data/vendor/pygments-main/pygments/lexers/yang.py +103 -0
- data/vendor/pygments-main/pygments/lexers/zig.py +123 -0
- data/vendor/pygments-main/pygments/modeline.py +1 -2
- data/vendor/pygments-main/pygments/plugin.py +4 -3
- data/vendor/pygments-main/pygments/regexopt.py +1 -2
- data/vendor/pygments-main/pygments/scanner.py +2 -3
- data/vendor/pygments-main/pygments/sphinxext.py +2 -5
- data/vendor/pygments-main/pygments/style.py +61 -25
- data/vendor/pygments-main/pygments/styles/__init__.py +12 -5
- data/vendor/pygments-main/pygments/styles/abap.py +1 -2
- data/vendor/pygments-main/pygments/styles/algol.py +1 -2
- data/vendor/pygments-main/pygments/styles/algol_nu.py +1 -2
- data/vendor/pygments-main/pygments/styles/arduino.py +2 -3
- data/vendor/pygments-main/pygments/styles/autumn.py +1 -2
- data/vendor/pygments-main/pygments/styles/borland.py +1 -2
- data/vendor/pygments-main/pygments/styles/bw.py +1 -2
- data/vendor/pygments-main/pygments/styles/colorful.py +1 -2
- data/vendor/pygments-main/pygments/styles/default.py +1 -2
- data/vendor/pygments-main/pygments/styles/emacs.py +1 -2
- data/vendor/pygments-main/pygments/styles/friendly.py +1 -2
- data/vendor/pygments-main/pygments/styles/fruity.py +1 -2
- data/vendor/pygments-main/pygments/styles/igor.py +1 -2
- data/vendor/pygments-main/pygments/styles/inkpot.py +66 -0
- data/vendor/pygments-main/pygments/styles/lovelace.py +1 -2
- data/vendor/pygments-main/pygments/styles/manni.py +1 -2
- data/vendor/pygments-main/pygments/styles/material.py +118 -0
- data/vendor/pygments-main/pygments/styles/monokai.py +4 -4
- data/vendor/pygments-main/pygments/styles/murphy.py +1 -2
- data/vendor/pygments-main/pygments/styles/native.py +1 -2
- data/vendor/pygments-main/pygments/styles/paraiso_dark.py +1 -2
- data/vendor/pygments-main/pygments/styles/paraiso_light.py +1 -2
- data/vendor/pygments-main/pygments/styles/pastie.py +1 -2
- data/vendor/pygments-main/pygments/styles/perldoc.py +1 -2
- data/vendor/pygments-main/pygments/styles/rainbow_dash.py +1 -2
- data/vendor/pygments-main/pygments/styles/rrt.py +1 -2
- data/vendor/pygments-main/pygments/styles/sas.py +1 -2
- data/vendor/pygments-main/pygments/styles/solarized.py +136 -0
- data/vendor/pygments-main/pygments/styles/stata_dark.py +40 -0
- data/vendor/pygments-main/pygments/styles/{stata.py → stata_light.py} +14 -16
- data/vendor/pygments-main/pygments/styles/tango.py +1 -2
- data/vendor/pygments-main/pygments/styles/trac.py +1 -2
- data/vendor/pygments-main/pygments/styles/vim.py +1 -2
- data/vendor/pygments-main/pygments/styles/vs.py +1 -2
- data/vendor/pygments-main/pygments/styles/xcode.py +1 -2
- data/vendor/pygments-main/pygments/styles/zenburn.py +80 -0
- data/vendor/pygments-main/pygments/token.py +1 -2
- data/vendor/pygments-main/pygments/unistring.py +47 -109
- data/vendor/pygments-main/pygments/util.py +16 -96
- metadata +76 -137
- data/CHANGELOG.md +0 -105
- data/README.md +0 -121
- data/circle.yml +0 -20
- data/test/test_data.c +0 -2581
- data/test/test_data.py +0 -514
- data/test/test_data_generated +0 -2582
- data/vendor/custom_lexers/github.py +0 -565
- data/vendor/pygments-main/CHANGES +0 -1186
- data/vendor/pygments-main/MANIFEST.in +0 -6
- data/vendor/pygments-main/Makefile +0 -65
- data/vendor/pygments-main/README.rst +0 -39
- data/vendor/pygments-main/REVISION +0 -1
- data/vendor/pygments-main/TODO +0 -12
- data/vendor/pygments-main/doc/Makefile +0 -153
- data/vendor/pygments-main/doc/_static/favicon.ico +0 -0
- data/vendor/pygments-main/doc/_static/logo_new.png +0 -0
- data/vendor/pygments-main/doc/_static/logo_only.png +0 -0
- data/vendor/pygments-main/doc/_templates/docssidebar.html +0 -3
- data/vendor/pygments-main/doc/_templates/indexsidebar.html +0 -25
- data/vendor/pygments-main/doc/_themes/pygments14/layout.html +0 -98
- data/vendor/pygments-main/doc/_themes/pygments14/static/bodybg.png +0 -0
- data/vendor/pygments-main/doc/_themes/pygments14/static/docbg.png +0 -0
- data/vendor/pygments-main/doc/_themes/pygments14/static/listitem.png +0 -0
- data/vendor/pygments-main/doc/_themes/pygments14/static/logo.png +0 -0
- data/vendor/pygments-main/doc/_themes/pygments14/static/pocoo.png +0 -0
- data/vendor/pygments-main/doc/_themes/pygments14/static/pygments14.css_t +0 -401
- data/vendor/pygments-main/doc/_themes/pygments14/theme.conf +0 -15
- data/vendor/pygments-main/doc/conf.py +0 -241
- data/vendor/pygments-main/doc/docs/api.rst +0 -354
- data/vendor/pygments-main/doc/docs/authors.rst +0 -4
- data/vendor/pygments-main/doc/docs/changelog.rst +0 -1
- data/vendor/pygments-main/doc/docs/cmdline.rst +0 -166
- data/vendor/pygments-main/doc/docs/filterdevelopment.rst +0 -71
- data/vendor/pygments-main/doc/docs/filters.rst +0 -41
- data/vendor/pygments-main/doc/docs/formatterdevelopment.rst +0 -169
- data/vendor/pygments-main/doc/docs/formatters.rst +0 -48
- data/vendor/pygments-main/doc/docs/index.rst +0 -66
- data/vendor/pygments-main/doc/docs/integrate.rst +0 -40
- data/vendor/pygments-main/doc/docs/java.rst +0 -70
- data/vendor/pygments-main/doc/docs/lexerdevelopment.rst +0 -728
- data/vendor/pygments-main/doc/docs/lexers.rst +0 -69
- data/vendor/pygments-main/doc/docs/moinmoin.rst +0 -39
- data/vendor/pygments-main/doc/docs/plugins.rst +0 -93
- data/vendor/pygments-main/doc/docs/quickstart.rst +0 -205
- data/vendor/pygments-main/doc/docs/rstdirective.rst +0 -22
- data/vendor/pygments-main/doc/docs/styles.rst +0 -201
- data/vendor/pygments-main/doc/docs/tokens.rst +0 -372
- data/vendor/pygments-main/doc/docs/unicode.rst +0 -58
- data/vendor/pygments-main/doc/download.rst +0 -41
- data/vendor/pygments-main/doc/faq.rst +0 -139
- data/vendor/pygments-main/doc/index.rst +0 -54
- data/vendor/pygments-main/doc/languages.rst +0 -154
- data/vendor/pygments-main/doc/make.bat +0 -190
- data/vendor/pygments-main/doc/pygmentize.1 +0 -94
- data/vendor/pygments-main/external/autopygmentize +0 -101
- data/vendor/pygments-main/external/lasso-builtins-generator-9.lasso +0 -162
- data/vendor/pygments-main/external/markdown-processor.py +0 -67
- data/vendor/pygments-main/external/moin-parser.py +0 -112
- data/vendor/pygments-main/external/pygments.bashcomp +0 -38
- data/vendor/pygments-main/external/rst-directive.py +0 -82
- data/vendor/pygments-main/pygmentize +0 -8
- data/vendor/pygments-main/pygments/lexers/github.py +0 -565
- data/vendor/pygments-main/requirements.txt +0 -5
- data/vendor/pygments-main/scripts/check_sources.py +0 -211
- data/vendor/pygments-main/scripts/debug_lexer.py +0 -246
- data/vendor/pygments-main/scripts/detect_missing_analyse_text.py +0 -33
- data/vendor/pygments-main/scripts/epydoc.css +0 -280
- data/vendor/pygments-main/scripts/get_vimkw.py +0 -74
- data/vendor/pygments-main/scripts/pylintrc +0 -301
- data/vendor/pygments-main/scripts/vim2pygments.py +0 -935
- data/vendor/pygments-main/setup.cfg +0 -10
- data/vendor/pygments-main/setup.py +0 -77
- data/vendor/pygments-main/tox.ini +0 -7
- data/vendor/simplejson/.gitignore +0 -10
- data/vendor/simplejson/.travis.yml +0 -5
- data/vendor/simplejson/CHANGES.txt +0 -291
- data/vendor/simplejson/LICENSE.txt +0 -19
- data/vendor/simplejson/MANIFEST.in +0 -5
- data/vendor/simplejson/README.rst +0 -19
- data/vendor/simplejson/conf.py +0 -179
- data/vendor/simplejson/index.rst +0 -628
- data/vendor/simplejson/scripts/make_docs.py +0 -18
- data/vendor/simplejson/setup.py +0 -104
- data/vendor/simplejson/simplejson/__init__.py +0 -510
- data/vendor/simplejson/simplejson/_speedups.c +0 -2745
- data/vendor/simplejson/simplejson/decoder.py +0 -425
- data/vendor/simplejson/simplejson/encoder.py +0 -567
- data/vendor/simplejson/simplejson/ordered_dict.py +0 -119
- data/vendor/simplejson/simplejson/scanner.py +0 -77
- data/vendor/simplejson/simplejson/tests/__init__.py +0 -67
- data/vendor/simplejson/simplejson/tests/test_bigint_as_string.py +0 -55
- data/vendor/simplejson/simplejson/tests/test_check_circular.py +0 -30
- data/vendor/simplejson/simplejson/tests/test_decimal.py +0 -66
- data/vendor/simplejson/simplejson/tests/test_decode.py +0 -83
- data/vendor/simplejson/simplejson/tests/test_default.py +0 -9
- data/vendor/simplejson/simplejson/tests/test_dump.py +0 -67
- data/vendor/simplejson/simplejson/tests/test_encode_basestring_ascii.py +0 -46
- data/vendor/simplejson/simplejson/tests/test_encode_for_html.py +0 -32
- data/vendor/simplejson/simplejson/tests/test_errors.py +0 -34
- data/vendor/simplejson/simplejson/tests/test_fail.py +0 -91
- data/vendor/simplejson/simplejson/tests/test_float.py +0 -19
- data/vendor/simplejson/simplejson/tests/test_indent.py +0 -86
- data/vendor/simplejson/simplejson/tests/test_item_sort_key.py +0 -20
- data/vendor/simplejson/simplejson/tests/test_namedtuple.py +0 -121
- data/vendor/simplejson/simplejson/tests/test_pass1.py +0 -76
- data/vendor/simplejson/simplejson/tests/test_pass2.py +0 -14
- data/vendor/simplejson/simplejson/tests/test_pass3.py +0 -20
- data/vendor/simplejson/simplejson/tests/test_recursion.py +0 -67
- data/vendor/simplejson/simplejson/tests/test_scanstring.py +0 -117
- data/vendor/simplejson/simplejson/tests/test_separators.py +0 -42
- data/vendor/simplejson/simplejson/tests/test_speedups.py +0 -20
- data/vendor/simplejson/simplejson/tests/test_tuple.py +0 -49
- data/vendor/simplejson/simplejson/tests/test_unicode.py +0 -109
- data/vendor/simplejson/simplejson/tool.py +0 -39
@@ -1,11 +1,10 @@
|
|
1
|
-
# -*- coding: utf-8 -*-
|
2
1
|
"""
|
3
2
|
pygments.lexers.theorem
|
4
3
|
~~~~~~~~~~~~~~~~~~~~~~~
|
5
4
|
|
6
5
|
Lexers for theorem-proving languages.
|
7
6
|
|
8
|
-
:copyright: Copyright 2006-
|
7
|
+
:copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
|
9
8
|
:license: BSD, see LICENSE for details.
|
10
9
|
"""
|
11
10
|
|
@@ -30,6 +29,8 @@ class CoqLexer(RegexLexer):
|
|
30
29
|
filenames = ['*.v']
|
31
30
|
mimetypes = ['text/x-coq']
|
32
31
|
|
32
|
+
flags = re.UNICODE
|
33
|
+
|
33
34
|
keywords1 = (
|
34
35
|
# Vernacular commands
|
35
36
|
'Section', 'Module', 'End', 'Require', 'Import', 'Export', 'Variable',
|
@@ -93,12 +94,11 @@ class CoqLexer(RegexLexer):
|
|
93
94
|
'<->', '=', '>', '>]', r'>\}', r'\?', r'\?\?', r'\[', r'\[<', r'\[>',
|
94
95
|
r'\[\|', ']', '_', '`', r'\{', r'\{<', r'\|', r'\|]', r'\}', '~', '=>',
|
95
96
|
r'/\\', r'\\/', r'\{\|', r'\|\}',
|
96
|
-
|
97
|
+
'Π', 'λ',
|
97
98
|
)
|
98
99
|
operators = r'[!$%&*+\./:<=>?@^|~-]'
|
99
100
|
prefix_syms = r'[!?~]'
|
100
101
|
infix_syms = r'[=<>@^|&+\*/$%-]'
|
101
|
-
primitives = ('unit', 'nat', 'bool', 'string', 'ascii', 'list')
|
102
102
|
|
103
103
|
tokens = {
|
104
104
|
'root': [
|
@@ -115,7 +115,6 @@ class CoqLexer(RegexLexer):
|
|
115
115
|
(r'\b([A-Z][\w\']*)', Name),
|
116
116
|
(r'(%s)' % '|'.join(keyopts[::-1]), Operator),
|
117
117
|
(r'(%s|%s)?%s' % (infix_syms, prefix_syms, operators), Operator),
|
118
|
-
(r'\b(%s)\b' % '|'.join(primitives), Keyword.Type),
|
119
118
|
|
120
119
|
(r"[^\W\d][\w']*", Name),
|
121
120
|
|
@@ -125,14 +124,15 @@ class CoqLexer(RegexLexer):
|
|
125
124
|
(r'0[bB][01][01_]*', Number.Bin),
|
126
125
|
(r'-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)', Number.Float),
|
127
126
|
|
128
|
-
(r"'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'",
|
129
|
-
|
127
|
+
(r"'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'", String.Char),
|
128
|
+
|
130
129
|
(r"'.'", String.Char),
|
131
130
|
(r"'", Keyword), # a stray quote is another syntax element
|
132
131
|
|
133
132
|
(r'"', String.Double, 'string'),
|
134
133
|
|
135
134
|
(r'[~?][a-z][\w\']*:', Name),
|
135
|
+
(r'\S', Name.Builtin.Pseudo),
|
136
136
|
],
|
137
137
|
'comment': [
|
138
138
|
(r'[^(*)]+', Comment),
|
@@ -156,8 +156,8 @@ class CoqLexer(RegexLexer):
|
|
156
156
|
}
|
157
157
|
|
158
158
|
def analyse_text(text):
|
159
|
-
if text
|
160
|
-
return
|
159
|
+
if 'Qed' in text and 'Proof' in text:
|
160
|
+
return 1
|
161
161
|
|
162
162
|
|
163
163
|
class IsabelleLexer(RegexLexer):
|
@@ -390,69 +390,87 @@ class LeanLexer(RegexLexer):
|
|
390
390
|
|
391
391
|
flags = re.MULTILINE | re.UNICODE
|
392
392
|
|
393
|
-
keywords1 = (
|
394
|
-
'import', 'abbreviation', 'opaque_hint', 'tactic_hint', 'definition',
|
395
|
-
'renaming', 'inline', 'hiding', 'exposing', 'parameter', 'parameters',
|
396
|
-
'conjecture', 'hypothesis', 'lemma', 'corollary', 'variable', 'variables',
|
397
|
-
'theorem', 'axiom', 'inductive', 'structure', 'universe', 'alias',
|
398
|
-
'help', 'options', 'precedence', 'postfix', 'prefix', 'calc_trans',
|
399
|
-
'calc_subst', 'calc_refl', 'infix', 'infixl', 'infixr', 'notation', 'eval',
|
400
|
-
'check', 'exit', 'coercion', 'end', 'private', 'using', 'namespace',
|
401
|
-
'including', 'instance', 'section', 'context', 'protected', 'expose',
|
402
|
-
'export', 'set_option', 'add_rewrite', 'extends', 'open', 'example',
|
403
|
-
'constant', 'constants', 'print', 'opaque', 'reducible', 'irreducible',
|
404
|
-
)
|
405
|
-
|
406
|
-
keywords2 = (
|
407
|
-
'forall', 'fun', 'Pi', 'obtain', 'from', 'have', 'show', 'assume',
|
408
|
-
'take', 'let', 'if', 'else', 'then', 'by', 'in', 'with', 'begin',
|
409
|
-
'proof', 'qed', 'calc', 'match',
|
410
|
-
)
|
411
|
-
|
412
|
-
keywords3 = (
|
413
|
-
# Sorts
|
414
|
-
'Type', 'Prop',
|
415
|
-
)
|
416
|
-
|
417
|
-
operators = (
|
418
|
-
u'!=', u'#', u'&', u'&&', u'*', u'+', u'-', u'/', u'@', u'!', u'`',
|
419
|
-
u'-.', u'->', u'.', u'..', u'...', u'::', u':>', u';', u';;', u'<',
|
420
|
-
u'<-', u'=', u'==', u'>', u'_', u'|', u'||', u'~', u'=>', u'<=', u'>=',
|
421
|
-
u'/\\', u'\\/', u'∀', u'Π', u'λ', u'↔', u'∧', u'∨', u'≠', u'≤', u'≥',
|
422
|
-
u'¬', u'⁻¹', u'⬝', u'▸', u'→', u'∃', u'ℕ', u'ℤ', u'≈', u'×', u'⌞',
|
423
|
-
u'⌟', u'≡', u'⟨', u'⟩',
|
424
|
-
)
|
425
|
-
|
426
|
-
punctuation = (u'(', u')', u':', u'{', u'}', u'[', u']', u'⦃', u'⦄',
|
427
|
-
u':=', u',')
|
428
|
-
|
429
393
|
tokens = {
|
430
394
|
'root': [
|
431
395
|
(r'\s+', Text),
|
396
|
+
(r'/--', String.Doc, 'docstring'),
|
432
397
|
(r'/-', Comment, 'comment'),
|
433
398
|
(r'--.*?$', Comment.Single),
|
434
|
-
(words(
|
435
|
-
|
436
|
-
|
437
|
-
|
438
|
-
|
439
|
-
|
440
|
-
|
441
|
-
|
399
|
+
(words((
|
400
|
+
'import', 'renaming', 'hiding',
|
401
|
+
'namespace',
|
402
|
+
'local',
|
403
|
+
'private', 'protected', 'section',
|
404
|
+
'include', 'omit', 'section',
|
405
|
+
'protected', 'export',
|
406
|
+
'open',
|
407
|
+
'attribute',
|
408
|
+
), prefix=r'\b', suffix=r'\b'), Keyword.Namespace),
|
409
|
+
(words((
|
410
|
+
'lemma', 'theorem', 'def', 'definition', 'example',
|
411
|
+
'axiom', 'axioms', 'constant', 'constants',
|
412
|
+
'universe', 'universes',
|
413
|
+
'inductive', 'coinductive', 'structure', 'extends',
|
414
|
+
'class', 'instance',
|
415
|
+
'abbreviation',
|
416
|
+
|
417
|
+
'noncomputable theory',
|
418
|
+
|
419
|
+
'noncomputable', 'mutual', 'meta',
|
420
|
+
|
421
|
+
'attribute',
|
422
|
+
|
423
|
+
'parameter', 'parameters',
|
424
|
+
'variable', 'variables',
|
425
|
+
|
426
|
+
'reserve', 'precedence',
|
427
|
+
'postfix', 'prefix', 'notation', 'infix', 'infixl', 'infixr',
|
428
|
+
|
429
|
+
'begin', 'by', 'end',
|
430
|
+
|
431
|
+
'set_option',
|
432
|
+
'run_cmd',
|
433
|
+
), prefix=r'\b', suffix=r'\b'), Keyword.Declaration),
|
434
|
+
(r'@\[[^\]]*\]', Keyword.Declaration),
|
435
|
+
(words((
|
436
|
+
'forall', 'fun', 'Pi', 'from', 'have', 'show', 'assume', 'suffices',
|
437
|
+
'let', 'if', 'else', 'then', 'in', 'with', 'calc', 'match',
|
438
|
+
'do'
|
439
|
+
), prefix=r'\b', suffix=r'\b'), Keyword),
|
440
|
+
(words(('sorry', 'admit'), prefix=r'\b', suffix=r'\b'), Generic.Error),
|
441
|
+
(words(('Sort', 'Prop', 'Type'), prefix=r'\b', suffix=r'\b'), Keyword.Type),
|
442
|
+
(words((
|
443
|
+
'#eval', '#check', '#reduce', '#exit',
|
444
|
+
'#print', '#help',
|
445
|
+
), suffix=r'\b'), Keyword),
|
446
|
+
(words((
|
447
|
+
'(', ')', ':', '{', '}', '[', ']', '⟨', '⟩', '‹', '›', '⦃', '⦄', ':=', ',',
|
448
|
+
)), Operator),
|
449
|
+
(r'[A-Za-z_\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2100-\u214f]'
|
450
|
+
r'[.A-Za-z_\'\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2070-\u2079'
|
451
|
+
r'\u207f-\u2089\u2090-\u209c\u2100-\u214f0-9]*', Name),
|
452
|
+
(r'0x[A-Za-z0-9]+', Number.Integer),
|
453
|
+
(r'0b[01]+', Number.Integer),
|
442
454
|
(r'\d+', Number.Integer),
|
443
455
|
(r'"', String.Double, 'string'),
|
444
|
-
(r'[
|
456
|
+
(r"'(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4})|.)'", String.Char),
|
457
|
+
(r'[~?][a-z][\w\']*:', Name.Variable),
|
458
|
+
(r'\S', Name.Builtin.Pseudo),
|
445
459
|
],
|
446
460
|
'comment': [
|
447
|
-
# Multiline Comments
|
448
461
|
(r'[^/-]', Comment.Multiline),
|
449
462
|
(r'/-', Comment.Multiline, '#push'),
|
450
463
|
(r'-/', Comment.Multiline, '#pop'),
|
451
464
|
(r'[/-]', Comment.Multiline)
|
452
465
|
],
|
466
|
+
'docstring': [
|
467
|
+
(r'[^/-]', String.Doc),
|
468
|
+
(r'-/', String.Doc, '#pop'),
|
469
|
+
(r'[/-]', String.Doc)
|
470
|
+
],
|
453
471
|
'string': [
|
454
472
|
(r'[^\\"]+', String.Double),
|
455
|
-
(r
|
473
|
+
(r"(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4}))", String.Escape),
|
456
474
|
('"', String.Double, '#pop'),
|
457
475
|
],
|
458
476
|
}
|
@@ -0,0 +1,262 @@
|
|
1
|
+
"""
|
2
|
+
pygments.lexers.tnt
|
3
|
+
~~~~~~~~~~~~~~~~~~~
|
4
|
+
|
5
|
+
Lexer for Typographic Number Theory.
|
6
|
+
|
7
|
+
:copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
|
8
|
+
:license: BSD, see LICENSE for details.
|
9
|
+
"""
|
10
|
+
|
11
|
+
import re
|
12
|
+
|
13
|
+
from pygments.lexer import Lexer
|
14
|
+
from pygments.token import Text, Comment, Operator, Keyword, Name, Number, \
|
15
|
+
Punctuation, Error
|
16
|
+
|
17
|
+
__all__ = ['TNTLexer']
|
18
|
+
|
19
|
+
|
20
|
+
class TNTLexer(Lexer):
|
21
|
+
"""
|
22
|
+
Lexer for Typographic Number Theory, as described in the book
|
23
|
+
Gödel, Escher, Bach, by Douglas R. Hofstadter,
|
24
|
+
or as summarized here:
|
25
|
+
https://github.com/Kenny2github/language-tnt/blob/master/README.md#summary-of-tnt
|
26
|
+
|
27
|
+
.. versionadded:: 2.7
|
28
|
+
"""
|
29
|
+
|
30
|
+
name = 'Typographic Number Theory'
|
31
|
+
aliases = ['tnt']
|
32
|
+
filenames = ['*.tnt']
|
33
|
+
|
34
|
+
cur = []
|
35
|
+
|
36
|
+
LOGIC = set('⊃→]&∧^|∨Vv')
|
37
|
+
OPERATORS = set('+.⋅*')
|
38
|
+
VARIABLES = set('abcde')
|
39
|
+
PRIMES = set("'′")
|
40
|
+
NEGATORS = set('~!')
|
41
|
+
QUANTIFIERS = set('AE∀∃')
|
42
|
+
NUMBERS = set('0123456789')
|
43
|
+
WHITESPACE = set('\t \v\n')
|
44
|
+
|
45
|
+
RULES = re.compile('''(?xi)
|
46
|
+
joining | separation | double-tilde | fantasy\\ rule
|
47
|
+
| carry[- ]over(?:\\ of)?(?:\\ line)?\\ ([0-9]+) | detachment
|
48
|
+
| contrapositive | De\\ Morgan | switcheroo
|
49
|
+
| specification | generalization | interchange
|
50
|
+
| existence | symmetry | transitivity
|
51
|
+
| add\\ S | drop\\ S | induction
|
52
|
+
| axiom\\ ([1-5]) | premise | push | pop
|
53
|
+
''')
|
54
|
+
LINENOS = re.compile(r'(?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*')
|
55
|
+
COMMENT = re.compile(r'\[[^\n\]]+\]')
|
56
|
+
|
57
|
+
def __init__(self, *args, **kwargs):
|
58
|
+
Lexer.__init__(self, *args, **kwargs)
|
59
|
+
self.cur = []
|
60
|
+
|
61
|
+
def whitespace(self, start, text, required=False):
|
62
|
+
"""Tokenize whitespace."""
|
63
|
+
end = start
|
64
|
+
try:
|
65
|
+
while text[end] in self.WHITESPACE:
|
66
|
+
end += 1
|
67
|
+
except IndexError:
|
68
|
+
end = len(text)
|
69
|
+
if required:
|
70
|
+
assert end != start
|
71
|
+
if end != start:
|
72
|
+
self.cur.append((start, Text, text[start:end]))
|
73
|
+
return end
|
74
|
+
|
75
|
+
def variable(self, start, text):
|
76
|
+
"""Tokenize a variable."""
|
77
|
+
assert text[start] in self.VARIABLES
|
78
|
+
end = start+1
|
79
|
+
while text[end] in self.PRIMES:
|
80
|
+
end += 1
|
81
|
+
self.cur.append((start, Name.Variable, text[start:end]))
|
82
|
+
return end
|
83
|
+
|
84
|
+
def term(self, start, text):
|
85
|
+
"""Tokenize a term."""
|
86
|
+
if text[start] == 'S': # S...S(...) or S...0
|
87
|
+
end = start+1
|
88
|
+
while text[end] == 'S':
|
89
|
+
end += 1
|
90
|
+
self.cur.append((start, Number.Integer, text[start:end]))
|
91
|
+
return self.term(end, text)
|
92
|
+
if text[start] == '0': # the singleton 0
|
93
|
+
self.cur.append((start, Number.Integer, text[start]))
|
94
|
+
return start+1
|
95
|
+
if text[start] in self.VARIABLES: # a''...
|
96
|
+
return self.variable(start, text)
|
97
|
+
if text[start] == '(': # (...+...)
|
98
|
+
self.cur.append((start, Punctuation, text[start]))
|
99
|
+
start = self.term(start+1, text)
|
100
|
+
assert text[start] in self.OPERATORS
|
101
|
+
self.cur.append((start, Operator, text[start]))
|
102
|
+
start = self.term(start+1, text)
|
103
|
+
assert text[start] == ')'
|
104
|
+
self.cur.append((start, Punctuation, text[start]))
|
105
|
+
return start+1
|
106
|
+
raise AssertionError # no matches
|
107
|
+
|
108
|
+
def formula(self, start, text):
|
109
|
+
"""Tokenize a formula."""
|
110
|
+
if text[start] in self.NEGATORS: # ~<...>
|
111
|
+
end = start+1
|
112
|
+
while text[end] in self.NEGATORS:
|
113
|
+
end += 1
|
114
|
+
self.cur.append((start, Operator, text[start:end]))
|
115
|
+
return self.formula(end, text)
|
116
|
+
if text[start] in self.QUANTIFIERS: # Aa:<...>
|
117
|
+
self.cur.append((start, Keyword.Declaration, text[start]))
|
118
|
+
start = self.variable(start+1, text)
|
119
|
+
assert text[start] == ':'
|
120
|
+
self.cur.append((start, Punctuation, text[start]))
|
121
|
+
return self.formula(start+1, text)
|
122
|
+
if text[start] == '<': # <...&...>
|
123
|
+
self.cur.append((start, Punctuation, text[start]))
|
124
|
+
start = self.formula(start+1, text)
|
125
|
+
assert text[start] in self.LOGIC
|
126
|
+
self.cur.append((start, Operator, text[start]))
|
127
|
+
start = self.formula(start+1, text)
|
128
|
+
assert text[start] == '>'
|
129
|
+
self.cur.append((start, Punctuation, text[start]))
|
130
|
+
return start+1
|
131
|
+
# ...=...
|
132
|
+
start = self.term(start, text)
|
133
|
+
assert text[start] == '='
|
134
|
+
self.cur.append((start, Operator, text[start]))
|
135
|
+
start = self.term(start+1, text)
|
136
|
+
return start
|
137
|
+
|
138
|
+
def rule(self, start, text):
|
139
|
+
"""Tokenize a rule."""
|
140
|
+
match = self.RULES.match(text, start)
|
141
|
+
assert match is not None
|
142
|
+
groups = sorted(match.regs[1:]) # exclude whole match
|
143
|
+
for group in groups:
|
144
|
+
if group[0] >= 0: # this group matched
|
145
|
+
self.cur.append((start, Keyword, text[start:group[0]]))
|
146
|
+
self.cur.append((group[0], Number.Integer,
|
147
|
+
text[group[0]:group[1]]))
|
148
|
+
if group[1] != match.end():
|
149
|
+
self.cur.append((group[1], Keyword,
|
150
|
+
text[group[1]:match.end()]))
|
151
|
+
break
|
152
|
+
else:
|
153
|
+
self.cur.append((start, Keyword, text[start:match.end()]))
|
154
|
+
return match.end()
|
155
|
+
|
156
|
+
def lineno(self, start, text):
|
157
|
+
"""Tokenize a line referral."""
|
158
|
+
end = start
|
159
|
+
while text[end] not in self.NUMBERS:
|
160
|
+
end += 1
|
161
|
+
self.cur.append((start, Punctuation, text[start]))
|
162
|
+
self.cur.append((start+1, Text, text[start+1:end]))
|
163
|
+
start = end
|
164
|
+
match = self.LINENOS.match(text, start)
|
165
|
+
assert match is not None
|
166
|
+
assert text[match.end()] == ')'
|
167
|
+
self.cur.append((match.start(), Number.Integer, match.group(0)))
|
168
|
+
self.cur.append((match.end(), Punctuation, text[match.end()]))
|
169
|
+
return match.end() + 1
|
170
|
+
|
171
|
+
def error_till_line_end(self, start, text):
|
172
|
+
"""Mark everything from ``start`` to the end of the line as Error."""
|
173
|
+
end = start
|
174
|
+
try:
|
175
|
+
while text[end] != '\n': # there's whitespace in rules
|
176
|
+
end += 1
|
177
|
+
except IndexError:
|
178
|
+
end = len(text)
|
179
|
+
if end != start:
|
180
|
+
self.cur.append((start, Error, text[start:end]))
|
181
|
+
end = self.whitespace(end, text)
|
182
|
+
return end
|
183
|
+
|
184
|
+
def get_tokens_unprocessed(self, text):
|
185
|
+
"""Returns a list of TNT tokens."""
|
186
|
+
self.cur = []
|
187
|
+
start = end = self.whitespace(0, text)
|
188
|
+
while start <= end < len(text):
|
189
|
+
try:
|
190
|
+
# try line number
|
191
|
+
while text[end] in self.NUMBERS:
|
192
|
+
end += 1
|
193
|
+
if end != start: # actual number present
|
194
|
+
self.cur.append((start, Number.Integer, text[start:end]))
|
195
|
+
# whitespace is required after a line number
|
196
|
+
orig = len(self.cur)
|
197
|
+
try:
|
198
|
+
start = end = self.whitespace(end, text, True)
|
199
|
+
except AssertionError:
|
200
|
+
del self.cur[orig:]
|
201
|
+
start = end = self.error_till_line_end(end, text)
|
202
|
+
continue
|
203
|
+
# at this point it could be a comment
|
204
|
+
match = self.COMMENT.match(text, start)
|
205
|
+
if match is not None:
|
206
|
+
self.cur.append((start, Comment, text[start:match.end()]))
|
207
|
+
start = end = match.end()
|
208
|
+
# anything after the closing bracket is invalid
|
209
|
+
start = end = self.error_till_line_end(start, text)
|
210
|
+
# do not attempt to process the rest
|
211
|
+
continue
|
212
|
+
del match
|
213
|
+
if text[start] in '[]': # fantasy push or pop
|
214
|
+
self.cur.append((start, Keyword, text[start]))
|
215
|
+
start += 1
|
216
|
+
end += 1
|
217
|
+
else:
|
218
|
+
# one formula, possibly containing subformulae
|
219
|
+
orig = len(self.cur)
|
220
|
+
try:
|
221
|
+
start = end = self.formula(start, text)
|
222
|
+
except AssertionError: # not well-formed
|
223
|
+
del self.cur[orig:]
|
224
|
+
while text[end] not in self.WHITESPACE:
|
225
|
+
end += 1
|
226
|
+
self.cur.append((start, Error, text[start:end]))
|
227
|
+
start = end
|
228
|
+
# skip whitespace after formula
|
229
|
+
orig = len(self.cur)
|
230
|
+
try:
|
231
|
+
start = end = self.whitespace(end, text, True)
|
232
|
+
except AssertionError:
|
233
|
+
del self.cur[orig:]
|
234
|
+
start = end = self.error_till_line_end(start, text)
|
235
|
+
continue
|
236
|
+
# rule proving this formula a theorem
|
237
|
+
orig = len(self.cur)
|
238
|
+
try:
|
239
|
+
start = end = self.rule(start, text)
|
240
|
+
except AssertionError:
|
241
|
+
del self.cur[orig:]
|
242
|
+
start = end = self.error_till_line_end(start, text)
|
243
|
+
continue
|
244
|
+
# skip whitespace after rule
|
245
|
+
start = end = self.whitespace(end, text)
|
246
|
+
# line marker
|
247
|
+
if text[start] == '(':
|
248
|
+
orig = len(self.cur)
|
249
|
+
try:
|
250
|
+
start = end = self.lineno(start, text)
|
251
|
+
except AssertionError:
|
252
|
+
del self.cur[orig:]
|
253
|
+
start = end = self.error_till_line_end(start, text)
|
254
|
+
continue
|
255
|
+
start = end = self.whitespace(start, text)
|
256
|
+
except IndexError:
|
257
|
+
try:
|
258
|
+
del self.cur[orig:]
|
259
|
+
except NameError:
|
260
|
+
pass # if orig was never defined, fine
|
261
|
+
self.error_till_line_end(start, text)
|
262
|
+
return self.cur
|