pygments.rb 0.6.3 → 1.0.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/CHANGELOG.md +11 -0
- data/README.md +6 -6
- data/Rakefile +2 -1
- data/cache-lexers.rb +1 -1
- data/circle.yml +7 -0
- data/lib/pygments/lexer.rb +3 -3
- data/lib/pygments/popen.rb +67 -30
- data/lib/pygments/version.rb +1 -1
- data/pygments.rb.gemspec +2 -1
- data/test/test_pygments.rb +16 -16
- data/vendor/pygments-main/AUTHORS +54 -8
- data/vendor/pygments-main/CHANGES +247 -25
- data/vendor/pygments-main/LICENSE +1 -1
- data/vendor/pygments-main/Makefile +15 -6
- data/vendor/pygments-main/README.rst +39 -0
- data/vendor/pygments-main/REVISION +1 -1
- data/vendor/pygments-main/TODO +0 -3
- data/vendor/pygments-main/doc/_themes/pygments14/layout.html +1 -1
- data/vendor/pygments-main/doc/_themes/pygments14/static/pygments14.css_t +1 -1
- data/vendor/pygments-main/doc/conf.py +3 -11
- data/vendor/pygments-main/doc/docs/api.rst +15 -0
- data/vendor/pygments-main/doc/docs/cmdline.rst +6 -2
- data/vendor/pygments-main/doc/docs/filterdevelopment.rst +4 -3
- data/vendor/pygments-main/doc/docs/integrate.rst +11 -15
- data/vendor/pygments-main/doc/docs/java.rst +7 -7
- data/vendor/pygments-main/doc/docs/lexerdevelopment.rst +258 -171
- data/vendor/pygments-main/doc/docs/lexers.rst +2 -2
- data/vendor/pygments-main/doc/docs/styles.rst +58 -0
- data/vendor/pygments-main/doc/docs/tokens.rst +22 -2
- data/vendor/pygments-main/doc/docs/unicode.rst +15 -7
- data/vendor/pygments-main/doc/faq.rst +17 -21
- data/vendor/pygments-main/doc/index.rst +12 -11
- data/vendor/pygments-main/doc/languages.rst +10 -7
- data/vendor/pygments-main/external/autopygmentize +9 -6
- data/vendor/pygments-main/external/lasso-builtins-generator-9.lasso +70 -52
- data/vendor/pygments-main/external/markdown-processor.py +1 -1
- data/vendor/pygments-main/external/moin-parser.py +1 -1
- data/vendor/pygments-main/external/rst-directive.py +1 -1
- data/vendor/pygments-main/pygmentize +2 -1
- data/vendor/pygments-main/pygments/__init__.py +14 -15
- data/vendor/pygments-main/pygments/cmdline.py +188 -113
- data/vendor/pygments-main/pygments/console.py +13 -13
- data/vendor/pygments-main/pygments/filter.py +7 -7
- data/vendor/pygments-main/pygments/filters/__init__.py +24 -32
- data/vendor/pygments-main/pygments/formatter.py +5 -5
- data/vendor/pygments-main/pygments/formatters/__init__.py +92 -44
- data/vendor/pygments-main/pygments/formatters/_mapping.py +51 -69
- data/vendor/pygments-main/pygments/formatters/bbcode.py +1 -1
- data/vendor/pygments-main/pygments/formatters/html.py +63 -51
- data/vendor/pygments-main/pygments/formatters/img.py +25 -22
- data/vendor/pygments-main/pygments/formatters/irc.py +182 -0
- data/vendor/pygments-main/pygments/formatters/latex.py +34 -22
- data/vendor/pygments-main/pygments/formatters/other.py +5 -7
- data/vendor/pygments-main/pygments/formatters/rtf.py +28 -31
- data/vendor/pygments-main/pygments/formatters/svg.py +1 -2
- data/vendor/pygments-main/pygments/formatters/terminal.py +29 -45
- data/vendor/pygments-main/pygments/formatters/terminal256.py +118 -31
- data/vendor/pygments-main/pygments/lexer.py +120 -34
- data/vendor/pygments-main/pygments/lexers/__init__.py +85 -53
- data/vendor/pygments-main/pygments/lexers/{_asybuiltins.py → _asy_builtins.py} +7 -7
- data/vendor/pygments-main/pygments/lexers/{_clbuiltins.py → _cl_builtins.py} +17 -17
- data/vendor/pygments-main/pygments/lexers/_cocoa_builtins.py +72 -0
- data/vendor/pygments-main/pygments/lexers/_csound_builtins.py +1346 -0
- data/vendor/pygments-main/pygments/lexers/{_lassobuiltins.py → _lasso_builtins.py} +4699 -4561
- data/vendor/pygments-main/pygments/lexers/{_luabuiltins.py → _lua_builtins.py} +91 -51
- data/vendor/pygments-main/pygments/lexers/_mapping.py +342 -242
- data/vendor/pygments-main/pygments/lexers/_mql_builtins.py +1172 -0
- data/vendor/pygments-main/pygments/lexers/_openedge_builtins.py +2547 -0
- data/vendor/pygments-main/pygments/lexers/{_phpbuiltins.py → _php_builtins.py} +350 -353
- data/vendor/pygments-main/pygments/lexers/_postgres_builtins.py +600 -212
- data/vendor/pygments-main/pygments/lexers/_scilab_builtins.py +3084 -30
- data/vendor/pygments-main/pygments/lexers/_sourcemod_builtins.py +1163 -0
- data/vendor/pygments-main/pygments/lexers/_stan_builtins.py +91 -13
- data/vendor/pygments-main/pygments/lexers/_stata_builtins.py +419 -0
- data/vendor/pygments-main/pygments/lexers/_tsql_builtins.py +1004 -0
- data/vendor/pygments-main/pygments/lexers/_vim_builtins.py +1939 -0
- data/vendor/pygments-main/pygments/lexers/actionscript.py +240 -0
- data/vendor/pygments-main/pygments/lexers/agile.py +14 -2542
- data/vendor/pygments-main/pygments/lexers/algebra.py +221 -0
- data/vendor/pygments-main/pygments/lexers/ambient.py +76 -0
- data/vendor/pygments-main/pygments/lexers/ampl.py +87 -0
- data/vendor/pygments-main/pygments/lexers/apl.py +101 -0
- data/vendor/pygments-main/pygments/lexers/archetype.py +318 -0
- data/vendor/pygments-main/pygments/lexers/asm.py +276 -81
- data/vendor/pygments-main/pygments/lexers/automation.py +374 -0
- data/vendor/pygments-main/pygments/lexers/basic.py +500 -0
- data/vendor/pygments-main/pygments/lexers/bibtex.py +156 -0
- data/vendor/pygments-main/pygments/lexers/business.py +594 -0
- data/vendor/pygments-main/pygments/lexers/c_cpp.py +252 -0
- data/vendor/pygments-main/pygments/lexers/c_like.py +541 -0
- data/vendor/pygments-main/pygments/lexers/capnproto.py +79 -0
- data/vendor/pygments-main/pygments/lexers/chapel.py +101 -0
- data/vendor/pygments-main/pygments/lexers/clean.py +288 -0
- data/vendor/pygments-main/pygments/lexers/compiled.py +24 -5182
- data/vendor/pygments-main/pygments/lexers/configs.py +833 -0
- data/vendor/pygments-main/pygments/lexers/console.py +114 -0
- data/vendor/pygments-main/pygments/lexers/crystal.py +384 -0
- data/vendor/pygments-main/pygments/lexers/csound.py +366 -0
- data/vendor/pygments-main/pygments/lexers/css.py +689 -0
- data/vendor/pygments-main/pygments/lexers/d.py +251 -0
- data/vendor/pygments-main/pygments/lexers/dalvik.py +6 -6
- data/vendor/pygments-main/pygments/lexers/data.py +555 -0
- data/vendor/pygments-main/pygments/lexers/diff.py +165 -0
- data/vendor/pygments-main/pygments/lexers/dotnet.py +96 -88
- data/vendor/pygments-main/pygments/lexers/dsls.py +878 -0
- data/vendor/pygments-main/pygments/lexers/dylan.py +289 -0
- data/vendor/pygments-main/pygments/lexers/ecl.py +125 -0
- data/vendor/pygments-main/pygments/lexers/eiffel.py +65 -0
- data/vendor/pygments-main/pygments/lexers/elm.py +121 -0
- data/vendor/pygments-main/pygments/lexers/erlang.py +533 -0
- data/vendor/pygments-main/pygments/lexers/esoteric.py +275 -0
- data/vendor/pygments-main/pygments/lexers/ezhil.py +68 -0
- data/vendor/pygments-main/pygments/lexers/factor.py +344 -0
- data/vendor/pygments-main/pygments/lexers/fantom.py +250 -0
- data/vendor/pygments-main/pygments/lexers/felix.py +273 -0
- data/vendor/pygments-main/pygments/lexers/forth.py +177 -0
- data/vendor/pygments-main/pygments/lexers/fortran.py +205 -0
- data/vendor/pygments-main/pygments/lexers/foxpro.py +1 -1
- data/vendor/pygments-main/pygments/lexers/functional.py +11 -3661
- data/vendor/pygments-main/pygments/lexers/go.py +101 -0
- data/vendor/pygments-main/pygments/lexers/grammar_notation.py +213 -0
- data/vendor/pygments-main/pygments/lexers/graph.py +7 -8
- data/vendor/pygments-main/pygments/lexers/graphics.py +553 -0
- data/vendor/pygments-main/pygments/lexers/haskell.py +840 -0
- data/vendor/pygments-main/pygments/lexers/haxe.py +936 -0
- data/vendor/pygments-main/pygments/lexers/hdl.py +172 -145
- data/vendor/pygments-main/pygments/lexers/hexdump.py +97 -0
- data/vendor/pygments-main/pygments/lexers/html.py +602 -0
- data/vendor/pygments-main/pygments/lexers/idl.py +270 -0
- data/vendor/pygments-main/pygments/lexers/igor.py +288 -0
- data/vendor/pygments-main/pygments/lexers/inferno.py +3 -3
- data/vendor/pygments-main/pygments/lexers/installers.py +322 -0
- data/vendor/pygments-main/pygments/lexers/int_fiction.py +1343 -0
- data/vendor/pygments-main/pygments/lexers/iolang.py +63 -0
- data/vendor/pygments-main/pygments/lexers/j.py +146 -0
- data/vendor/pygments-main/pygments/lexers/javascript.py +1506 -0
- data/vendor/pygments-main/pygments/lexers/julia.py +333 -0
- data/vendor/pygments-main/pygments/lexers/jvm.py +232 -186
- data/vendor/pygments-main/pygments/lexers/lisp.py +2621 -0
- data/vendor/pygments-main/pygments/lexers/make.py +202 -0
- data/vendor/pygments-main/pygments/lexers/markup.py +595 -0
- data/vendor/pygments-main/pygments/lexers/math.py +11 -2276
- data/vendor/pygments-main/pygments/lexers/matlab.py +663 -0
- data/vendor/pygments-main/pygments/lexers/ml.py +769 -0
- data/vendor/pygments-main/pygments/lexers/modeling.py +358 -0
- data/vendor/pygments-main/pygments/lexers/modula2.py +1561 -0
- data/vendor/pygments-main/pygments/lexers/monte.py +203 -0
- data/vendor/pygments-main/pygments/lexers/ncl.py +1053 -0
- data/vendor/pygments-main/pygments/lexers/nimrod.py +159 -0
- data/vendor/pygments-main/pygments/lexers/nit.py +64 -0
- data/vendor/pygments-main/pygments/lexers/nix.py +136 -0
- data/vendor/pygments-main/pygments/lexers/oberon.py +105 -0
- data/vendor/pygments-main/pygments/lexers/objective.py +504 -0
- data/vendor/pygments-main/pygments/lexers/ooc.py +85 -0
- data/vendor/pygments-main/pygments/lexers/other.py +30 -4481
- data/vendor/pygments-main/pygments/lexers/parasail.py +79 -0
- data/vendor/pygments-main/pygments/lexers/parsers.py +171 -114
- data/vendor/pygments-main/pygments/lexers/pascal.py +644 -0
- data/vendor/pygments-main/pygments/lexers/pawn.py +199 -0
- data/vendor/pygments-main/pygments/lexers/perl.py +616 -0
- data/vendor/pygments-main/pygments/lexers/php.py +267 -0
- data/vendor/pygments-main/pygments/lexers/praat.py +294 -0
- data/vendor/pygments-main/pygments/lexers/prolog.py +306 -0
- data/vendor/pygments-main/pygments/lexers/python.py +938 -0
- data/vendor/pygments-main/pygments/lexers/qvt.py +152 -0
- data/vendor/pygments-main/pygments/lexers/r.py +453 -0
- data/vendor/pygments-main/pygments/lexers/rdf.py +195 -24
- data/vendor/pygments-main/pygments/lexers/rebol.py +431 -0
- data/vendor/pygments-main/pygments/lexers/resource.py +85 -0
- data/vendor/pygments-main/pygments/lexers/rnc.py +67 -0
- data/vendor/pygments-main/pygments/lexers/roboconf.py +82 -0
- data/vendor/pygments-main/pygments/lexers/{_robotframeworklexer.py → robotframework.py} +20 -18
- data/vendor/pygments-main/pygments/lexers/ruby.py +519 -0
- data/vendor/pygments-main/pygments/lexers/rust.py +209 -0
- data/vendor/pygments-main/pygments/lexers/sas.py +228 -0
- data/vendor/pygments-main/pygments/lexers/scripting.py +1222 -0
- data/vendor/pygments-main/pygments/lexers/shell.py +478 -115
- data/vendor/pygments-main/pygments/lexers/smalltalk.py +195 -0
- data/vendor/pygments-main/pygments/lexers/smv.py +75 -0
- data/vendor/pygments-main/pygments/lexers/snobol.py +83 -0
- data/vendor/pygments-main/pygments/lexers/special.py +6 -2
- data/vendor/pygments-main/pygments/lexers/sql.py +209 -120
- data/vendor/pygments-main/pygments/lexers/stata.py +106 -0
- data/vendor/pygments-main/pygments/lexers/supercollider.py +90 -0
- data/vendor/pygments-main/pygments/lexers/tcl.py +145 -0
- data/vendor/pygments-main/pygments/lexers/templates.py +282 -90
- data/vendor/pygments-main/pygments/lexers/testing.py +207 -0
- data/vendor/pygments-main/pygments/lexers/text.py +15 -2045
- data/vendor/pygments-main/pygments/lexers/textedit.py +169 -0
- data/vendor/pygments-main/pygments/lexers/textfmts.py +297 -0
- data/vendor/pygments-main/pygments/lexers/theorem.py +458 -0
- data/vendor/pygments-main/pygments/lexers/trafficscript.py +54 -0
- data/vendor/pygments-main/pygments/lexers/typoscript.py +225 -0
- data/vendor/pygments-main/pygments/lexers/urbi.py +133 -0
- data/vendor/pygments-main/pygments/lexers/varnish.py +190 -0
- data/vendor/pygments-main/pygments/lexers/verification.py +111 -0
- data/vendor/pygments-main/pygments/lexers/web.py +13 -4499
- data/vendor/pygments-main/pygments/lexers/webmisc.py +979 -0
- data/vendor/pygments-main/pygments/lexers/whiley.py +117 -0
- data/vendor/pygments-main/pygments/lexers/x10.py +69 -0
- data/vendor/pygments-main/pygments/modeline.py +5 -2
- data/vendor/pygments-main/pygments/plugin.py +1 -1
- data/vendor/pygments-main/pygments/regexopt.py +92 -0
- data/vendor/pygments-main/pygments/scanner.py +3 -2
- data/vendor/pygments-main/pygments/sphinxext.py +11 -6
- data/vendor/pygments-main/pygments/style.py +41 -4
- data/vendor/pygments-main/pygments/styles/__init__.py +5 -1
- data/vendor/pygments-main/pygments/styles/algol.py +63 -0
- data/vendor/pygments-main/pygments/styles/algol_nu.py +63 -0
- data/vendor/pygments-main/pygments/styles/arduino.py +98 -0
- data/vendor/pygments-main/pygments/styles/autumn.py +1 -1
- data/vendor/pygments-main/pygments/styles/borland.py +1 -1
- data/vendor/pygments-main/pygments/styles/bw.py +1 -1
- data/vendor/pygments-main/pygments/styles/colorful.py +1 -1
- data/vendor/pygments-main/pygments/styles/default.py +1 -1
- data/vendor/pygments-main/pygments/styles/emacs.py +1 -1
- data/vendor/pygments-main/pygments/styles/friendly.py +1 -1
- data/vendor/pygments-main/pygments/styles/fruity.py +1 -1
- data/vendor/pygments-main/pygments/styles/igor.py +1 -1
- data/vendor/pygments-main/pygments/styles/lovelace.py +97 -0
- data/vendor/pygments-main/pygments/styles/manni.py +1 -1
- data/vendor/pygments-main/pygments/styles/monokai.py +1 -1
- data/vendor/pygments-main/pygments/styles/murphy.py +1 -1
- data/vendor/pygments-main/pygments/styles/native.py +1 -1
- data/vendor/pygments-main/pygments/styles/paraiso_dark.py +1 -1
- data/vendor/pygments-main/pygments/styles/paraiso_light.py +1 -1
- data/vendor/pygments-main/pygments/styles/pastie.py +1 -1
- data/vendor/pygments-main/pygments/styles/perldoc.py +2 -2
- data/vendor/pygments-main/pygments/styles/rrt.py +1 -1
- data/vendor/pygments-main/pygments/styles/sas.py +41 -0
- data/vendor/pygments-main/pygments/styles/stata.py +37 -0
- data/vendor/pygments-main/pygments/styles/tango.py +1 -1
- data/vendor/pygments-main/pygments/styles/trac.py +1 -1
- data/vendor/pygments-main/pygments/styles/vim.py +1 -1
- data/vendor/pygments-main/pygments/styles/vs.py +1 -1
- data/vendor/pygments-main/pygments/styles/xcode.py +1 -1
- data/vendor/pygments-main/pygments/token.py +31 -16
- data/vendor/pygments-main/pygments/unistring.py +141 -65
- data/vendor/pygments-main/pygments/util.py +129 -33
- data/vendor/pygments-main/requirements.txt +5 -0
- data/vendor/pygments-main/scripts/check_sources.py +25 -40
- data/vendor/pygments-main/scripts/debug_lexer.py +246 -0
- data/vendor/pygments-main/scripts/find_error.py +1 -0
- data/vendor/pygments-main/scripts/get_vimkw.py +35 -4
- data/vendor/pygments-main/setup.cfg +3 -0
- data/vendor/pygments-main/setup.py +17 -30
- data/vendor/pygments-main/tox.ini +7 -0
- metadata +159 -387
- data/vendor/pygments-main/ez_setup.py +0 -382
- data/vendor/pygments-main/pygments/lexers/_cocoabuiltins.py +0 -73
- data/vendor/pygments-main/pygments/lexers/_openedgebuiltins.py +0 -562
- data/vendor/pygments-main/pygments/lexers/_sourcemodbuiltins.py +0 -1077
- data/vendor/pygments-main/pygments/lexers/_vimbuiltins.py +0 -13
- data/vendor/pygments-main/pygments/lexers/qbasic.py +0 -157
- data/vendor/pygments-main/scripts/find_codetags.py +0 -213
- data/vendor/pygments-main/scripts/find_error.py +0 -173
- data/vendor/pygments-main/tests/dtds/HTML4-f.dtd +0 -37
- data/vendor/pygments-main/tests/dtds/HTML4-s.dtd +0 -869
- data/vendor/pygments-main/tests/dtds/HTML4.dcl +0 -88
- data/vendor/pygments-main/tests/dtds/HTML4.dtd +0 -1092
- data/vendor/pygments-main/tests/dtds/HTML4.soc +0 -9
- data/vendor/pygments-main/tests/dtds/HTMLlat1.ent +0 -195
- data/vendor/pygments-main/tests/dtds/HTMLspec.ent +0 -77
- data/vendor/pygments-main/tests/dtds/HTMLsym.ent +0 -241
- data/vendor/pygments-main/tests/examplefiles/99_bottles_of_beer.chpl +0 -118
- data/vendor/pygments-main/tests/examplefiles/AcidStateAdvanced.hs +0 -209
- data/vendor/pygments-main/tests/examplefiles/AlternatingGroup.mu +0 -102
- data/vendor/pygments-main/tests/examplefiles/BOM.js +0 -1
- data/vendor/pygments-main/tests/examplefiles/CPDictionary.j +0 -611
- data/vendor/pygments-main/tests/examplefiles/Config.in.cache +0 -1973
- data/vendor/pygments-main/tests/examplefiles/Constants.mo +0 -158
- data/vendor/pygments-main/tests/examplefiles/DancingSudoku.lhs +0 -411
- data/vendor/pygments-main/tests/examplefiles/Deflate.fs +0 -578
- data/vendor/pygments-main/tests/examplefiles/Error.pmod +0 -38
- data/vendor/pygments-main/tests/examplefiles/Errors.scala +0 -18
- data/vendor/pygments-main/tests/examplefiles/FakeFile.pike +0 -360
- data/vendor/pygments-main/tests/examplefiles/Get-CommandDefinitionHtml.ps1 +0 -66
- data/vendor/pygments-main/tests/examplefiles/IPDispatchC.nc +0 -104
- data/vendor/pygments-main/tests/examplefiles/IPDispatchP.nc +0 -671
- data/vendor/pygments-main/tests/examplefiles/Intro.java +0 -1660
- data/vendor/pygments-main/tests/examplefiles/Makefile +0 -1131
- data/vendor/pygments-main/tests/examplefiles/Object.st +0 -4394
- data/vendor/pygments-main/tests/examplefiles/OrderedMap.hx +0 -584
- data/vendor/pygments-main/tests/examplefiles/RoleQ.pm6 +0 -23
- data/vendor/pygments-main/tests/examplefiles/SmallCheck.hs +0 -378
- data/vendor/pygments-main/tests/examplefiles/Sorting.mod +0 -470
- data/vendor/pygments-main/tests/examplefiles/Sudoku.lhs +0 -382
- data/vendor/pygments-main/tests/examplefiles/addressbook.proto +0 -30
- data/vendor/pygments-main/tests/examplefiles/antlr_ANTLRv3.g +0 -608
- data/vendor/pygments-main/tests/examplefiles/antlr_throws +0 -1
- data/vendor/pygments-main/tests/examplefiles/apache2.conf +0 -393
- data/vendor/pygments-main/tests/examplefiles/as3_test.as +0 -143
- data/vendor/pygments-main/tests/examplefiles/as3_test2.as +0 -46
- data/vendor/pygments-main/tests/examplefiles/as3_test3.as +0 -3
- data/vendor/pygments-main/tests/examplefiles/aspx-cs_example +0 -27
- data/vendor/pygments-main/tests/examplefiles/autoit_submit.au3 +0 -25
- data/vendor/pygments-main/tests/examplefiles/badcase.java +0 -2
- data/vendor/pygments-main/tests/examplefiles/batchfile.bat +0 -49
- data/vendor/pygments-main/tests/examplefiles/bigtest.nsi +0 -308
- data/vendor/pygments-main/tests/examplefiles/boot-9.scm +0 -1557
- data/vendor/pygments-main/tests/examplefiles/ca65_example +0 -284
- data/vendor/pygments-main/tests/examplefiles/cbmbas_example +0 -9
- data/vendor/pygments-main/tests/examplefiles/cells.ps +0 -515
- data/vendor/pygments-main/tests/examplefiles/ceval.c +0 -2604
- data/vendor/pygments-main/tests/examplefiles/cheetah_example.html +0 -13
- data/vendor/pygments-main/tests/examplefiles/classes.dylan +0 -125
- data/vendor/pygments-main/tests/examplefiles/clojure-weird-keywords.clj +0 -5
- data/vendor/pygments-main/tests/examplefiles/condensed_ruby.rb +0 -10
- data/vendor/pygments-main/tests/examplefiles/coq_RelationClasses +0 -447
- data/vendor/pygments-main/tests/examplefiles/core.cljs +0 -52
- data/vendor/pygments-main/tests/examplefiles/database.pytb +0 -20
- data/vendor/pygments-main/tests/examplefiles/de.MoinMoin.po +0 -2461
- data/vendor/pygments-main/tests/examplefiles/demo.ahk +0 -181
- data/vendor/pygments-main/tests/examplefiles/demo.cfm +0 -50
- data/vendor/pygments-main/tests/examplefiles/demo.hbs +0 -12
- data/vendor/pygments-main/tests/examplefiles/django_sample.html+django +0 -68
- data/vendor/pygments-main/tests/examplefiles/dwarf.cw +0 -17
- data/vendor/pygments-main/tests/examplefiles/ember.handlebars +0 -33
- data/vendor/pygments-main/tests/examplefiles/erl_session +0 -10
- data/vendor/pygments-main/tests/examplefiles/escape_semicolon.clj +0 -1
- data/vendor/pygments-main/tests/examplefiles/evil_regex.js +0 -48
- data/vendor/pygments-main/tests/examplefiles/example.Rd +0 -78
- data/vendor/pygments-main/tests/examplefiles/example.als +0 -217
- data/vendor/pygments-main/tests/examplefiles/example.bug +0 -54
- data/vendor/pygments-main/tests/examplefiles/example.c +0 -2080
- data/vendor/pygments-main/tests/examplefiles/example.ceylon +0 -52
- data/vendor/pygments-main/tests/examplefiles/example.chai +0 -6
- data/vendor/pygments-main/tests/examplefiles/example.clay +0 -33
- data/vendor/pygments-main/tests/examplefiles/example.cls +0 -15
- data/vendor/pygments-main/tests/examplefiles/example.cob +0 -3556
- data/vendor/pygments-main/tests/examplefiles/example.coffee +0 -27
- data/vendor/pygments-main/tests/examplefiles/example.cpp +0 -2363
- data/vendor/pygments-main/tests/examplefiles/example.e +0 -124
- data/vendor/pygments-main/tests/examplefiles/example.f90 +0 -8
- data/vendor/pygments-main/tests/examplefiles/example.feature +0 -16
- data/vendor/pygments-main/tests/examplefiles/example.gd +0 -23
- data/vendor/pygments-main/tests/examplefiles/example.gi +0 -64
- data/vendor/pygments-main/tests/examplefiles/example.groovy +0 -2
- data/vendor/pygments-main/tests/examplefiles/example.gs +0 -106
- data/vendor/pygments-main/tests/examplefiles/example.gst +0 -7
- data/vendor/pygments-main/tests/examplefiles/example.hs +0 -27
- data/vendor/pygments-main/tests/examplefiles/example.hx +0 -185
- data/vendor/pygments-main/tests/examplefiles/example.i6t +0 -32
- data/vendor/pygments-main/tests/examplefiles/example.i7x +0 -45
- data/vendor/pygments-main/tests/examplefiles/example.inf +0 -374
- data/vendor/pygments-main/tests/examplefiles/example.j +0 -564
- data/vendor/pygments-main/tests/examplefiles/example.jag +0 -48
- data/vendor/pygments-main/tests/examplefiles/example.java +0 -16
- data/vendor/pygments-main/tests/examplefiles/example.kal +0 -75
- data/vendor/pygments-main/tests/examplefiles/example.kt +0 -47
- data/vendor/pygments-main/tests/examplefiles/example.lagda +0 -19
- data/vendor/pygments-main/tests/examplefiles/example.liquid +0 -42
- data/vendor/pygments-main/tests/examplefiles/example.lua +0 -250
- data/vendor/pygments-main/tests/examplefiles/example.ma +0 -8
- data/vendor/pygments-main/tests/examplefiles/example.monkey +0 -152
- data/vendor/pygments-main/tests/examplefiles/example.moo +0 -26
- data/vendor/pygments-main/tests/examplefiles/example.moon +0 -629
- data/vendor/pygments-main/tests/examplefiles/example.mq4 +0 -187
- data/vendor/pygments-main/tests/examplefiles/example.mqh +0 -123
- data/vendor/pygments-main/tests/examplefiles/example.msc +0 -43
- data/vendor/pygments-main/tests/examplefiles/example.ni +0 -57
- data/vendor/pygments-main/tests/examplefiles/example.nim +0 -1010
- data/vendor/pygments-main/tests/examplefiles/example.nix +0 -80
- data/vendor/pygments-main/tests/examplefiles/example.ns2 +0 -69
- data/vendor/pygments-main/tests/examplefiles/example.pas +0 -2708
- data/vendor/pygments-main/tests/examplefiles/example.pp +0 -8
- data/vendor/pygments-main/tests/examplefiles/example.prg +0 -161
- data/vendor/pygments-main/tests/examplefiles/example.rb +0 -1852
- data/vendor/pygments-main/tests/examplefiles/example.red +0 -257
- data/vendor/pygments-main/tests/examplefiles/example.reds +0 -150
- data/vendor/pygments-main/tests/examplefiles/example.reg +0 -19
- data/vendor/pygments-main/tests/examplefiles/example.rexx +0 -50
- data/vendor/pygments-main/tests/examplefiles/example.rhtml +0 -561
- data/vendor/pygments-main/tests/examplefiles/example.rkt +0 -743
- data/vendor/pygments-main/tests/examplefiles/example.rpf +0 -4
- data/vendor/pygments-main/tests/examplefiles/example.sh +0 -22
- data/vendor/pygments-main/tests/examplefiles/example.sh-session +0 -19
- data/vendor/pygments-main/tests/examplefiles/example.shell-session +0 -45
- data/vendor/pygments-main/tests/examplefiles/example.slim +0 -31
- data/vendor/pygments-main/tests/examplefiles/example.sls +0 -51
- data/vendor/pygments-main/tests/examplefiles/example.sml +0 -156
- data/vendor/pygments-main/tests/examplefiles/example.snobol +0 -15
- data/vendor/pygments-main/tests/examplefiles/example.stan +0 -110
- data/vendor/pygments-main/tests/examplefiles/example.tea +0 -34
- data/vendor/pygments-main/tests/examplefiles/example.todotxt +0 -9
- data/vendor/pygments-main/tests/examplefiles/example.ts +0 -28
- data/vendor/pygments-main/tests/examplefiles/example.u +0 -548
- data/vendor/pygments-main/tests/examplefiles/example.weechatlog +0 -9
- data/vendor/pygments-main/tests/examplefiles/example.xhtml +0 -376
- data/vendor/pygments-main/tests/examplefiles/example.xtend +0 -34
- data/vendor/pygments-main/tests/examplefiles/example.yaml +0 -302
- data/vendor/pygments-main/tests/examplefiles/example2.aspx +0 -29
- data/vendor/pygments-main/tests/examplefiles/example2.msc +0 -79
- data/vendor/pygments-main/tests/examplefiles/exampleScript.cfc +0 -241
- data/vendor/pygments-main/tests/examplefiles/exampleTag.cfc +0 -18
- data/vendor/pygments-main/tests/examplefiles/example_elixir.ex +0 -205
- data/vendor/pygments-main/tests/examplefiles/example_file.fy +0 -128
- data/vendor/pygments-main/tests/examplefiles/firefox.mak +0 -586
- data/vendor/pygments-main/tests/examplefiles/flipflop.sv +0 -19
- data/vendor/pygments-main/tests/examplefiles/foo.sce +0 -6
- data/vendor/pygments-main/tests/examplefiles/format.ml +0 -1213
- data/vendor/pygments-main/tests/examplefiles/fucked_up.rb +0 -77
- data/vendor/pygments-main/tests/examplefiles/function.mu +0 -1
- data/vendor/pygments-main/tests/examplefiles/functional.rst +0 -1472
- data/vendor/pygments-main/tests/examplefiles/garcia-wachs.kk +0 -133
- data/vendor/pygments-main/tests/examplefiles/genclass.clj +0 -510
- data/vendor/pygments-main/tests/examplefiles/genshi_example.xml+genshi +0 -193
- data/vendor/pygments-main/tests/examplefiles/genshitext_example.genshitext +0 -33
- data/vendor/pygments-main/tests/examplefiles/glsl.frag +0 -7
- data/vendor/pygments-main/tests/examplefiles/glsl.vert +0 -13
- data/vendor/pygments-main/tests/examplefiles/grammar-test.p6 +0 -22
- data/vendor/pygments-main/tests/examplefiles/hash_syntax.rb +0 -5
- data/vendor/pygments-main/tests/examplefiles/hello.at +0 -6
- data/vendor/pygments-main/tests/examplefiles/hello.golo +0 -5
- data/vendor/pygments-main/tests/examplefiles/hello.lsl +0 -12
- data/vendor/pygments-main/tests/examplefiles/hello.smali +0 -40
- data/vendor/pygments-main/tests/examplefiles/hello.sp +0 -9
- data/vendor/pygments-main/tests/examplefiles/html+php_faulty.php +0 -1
- data/vendor/pygments-main/tests/examplefiles/http_request_example +0 -15
- data/vendor/pygments-main/tests/examplefiles/http_response_example +0 -29
- data/vendor/pygments-main/tests/examplefiles/hybris_File.hy +0 -174
- data/vendor/pygments-main/tests/examplefiles/idl_sample.pro +0 -73
- data/vendor/pygments-main/tests/examplefiles/iex_example +0 -23
- data/vendor/pygments-main/tests/examplefiles/inet_pton6.dg +0 -71
- data/vendor/pygments-main/tests/examplefiles/intro.ik +0 -24
- data/vendor/pygments-main/tests/examplefiles/ints.php +0 -10
- data/vendor/pygments-main/tests/examplefiles/intsyn.fun +0 -675
- data/vendor/pygments-main/tests/examplefiles/intsyn.sig +0 -286
- data/vendor/pygments-main/tests/examplefiles/irb_heredoc +0 -8
- data/vendor/pygments-main/tests/examplefiles/irc.lsp +0 -214
- data/vendor/pygments-main/tests/examplefiles/java.properties +0 -16
- data/vendor/pygments-main/tests/examplefiles/jbst_example1.jbst +0 -28
- data/vendor/pygments-main/tests/examplefiles/jbst_example2.jbst +0 -45
- data/vendor/pygments-main/tests/examplefiles/jinjadesignerdoc.rst +0 -713
- data/vendor/pygments-main/tests/examplefiles/json.lasso +0 -301
- data/vendor/pygments-main/tests/examplefiles/json.lasso9 +0 -213
- data/vendor/pygments-main/tests/examplefiles/language.hy +0 -165
- data/vendor/pygments-main/tests/examplefiles/lighttpd_config.conf +0 -13
- data/vendor/pygments-main/tests/examplefiles/limbo.b +0 -456
- data/vendor/pygments-main/tests/examplefiles/linecontinuation.py +0 -47
- data/vendor/pygments-main/tests/examplefiles/livescript-demo.ls +0 -43
- data/vendor/pygments-main/tests/examplefiles/logos_example.xm +0 -28
- data/vendor/pygments-main/tests/examplefiles/ltmain.sh +0 -2849
- data/vendor/pygments-main/tests/examplefiles/main.cmake +0 -44
- data/vendor/pygments-main/tests/examplefiles/markdown.lsp +0 -679
- data/vendor/pygments-main/tests/examplefiles/matlab_noreturn +0 -3
- data/vendor/pygments-main/tests/examplefiles/matlab_sample +0 -30
- data/vendor/pygments-main/tests/examplefiles/matlabsession_sample.txt +0 -37
- data/vendor/pygments-main/tests/examplefiles/metagrammar.treetop +0 -455
- data/vendor/pygments-main/tests/examplefiles/minehunt.qml +0 -112
- data/vendor/pygments-main/tests/examplefiles/minimal.ns2 +0 -4
- data/vendor/pygments-main/tests/examplefiles/moin_SyntaxReference.txt +0 -340
- data/vendor/pygments-main/tests/examplefiles/multiline_regexes.rb +0 -38
- data/vendor/pygments-main/tests/examplefiles/nanomsg.intr +0 -95
- data/vendor/pygments-main/tests/examplefiles/nasm_aoutso.asm +0 -96
- data/vendor/pygments-main/tests/examplefiles/nasm_objexe.asm +0 -30
- data/vendor/pygments-main/tests/examplefiles/nemerle_sample.n +0 -87
- data/vendor/pygments-main/tests/examplefiles/nginx_nginx.conf +0 -118
- data/vendor/pygments-main/tests/examplefiles/numbers.c +0 -12
- data/vendor/pygments-main/tests/examplefiles/objc_example.m +0 -179
- data/vendor/pygments-main/tests/examplefiles/openedge_example +0 -34
- data/vendor/pygments-main/tests/examplefiles/pawn_example +0 -25
- data/vendor/pygments-main/tests/examplefiles/perl_misc +0 -62
- data/vendor/pygments-main/tests/examplefiles/perl_perl5db +0 -998
- data/vendor/pygments-main/tests/examplefiles/perl_regex-delims +0 -120
- data/vendor/pygments-main/tests/examplefiles/perlfunc.1 +0 -856
- data/vendor/pygments-main/tests/examplefiles/phpMyAdmin.spec +0 -163
- data/vendor/pygments-main/tests/examplefiles/phpcomplete.vim +0 -567
- data/vendor/pygments-main/tests/examplefiles/pleac.in.rb +0 -1223
- data/vendor/pygments-main/tests/examplefiles/postgresql_test.txt +0 -47
- data/vendor/pygments-main/tests/examplefiles/pppoe.applescript +0 -10
- data/vendor/pygments-main/tests/examplefiles/psql_session.txt +0 -122
- data/vendor/pygments-main/tests/examplefiles/py3_test.txt +0 -2
- data/vendor/pygments-main/tests/examplefiles/py3tb_test.py3tb +0 -4
- data/vendor/pygments-main/tests/examplefiles/pycon_test.pycon +0 -14
- data/vendor/pygments-main/tests/examplefiles/pytb_test2.pytb +0 -2
- data/vendor/pygments-main/tests/examplefiles/pytb_test3.pytb +0 -4
- data/vendor/pygments-main/tests/examplefiles/python25-bsd.mak +0 -234
- data/vendor/pygments-main/tests/examplefiles/qbasic_example +0 -2
- data/vendor/pygments-main/tests/examplefiles/qsort.prolog +0 -13
- data/vendor/pygments-main/tests/examplefiles/r-console-transcript.Rout +0 -38
- data/vendor/pygments-main/tests/examplefiles/r6rs-comments.scm +0 -23
- data/vendor/pygments-main/tests/examplefiles/ragel-cpp_rlscan +0 -280
- data/vendor/pygments-main/tests/examplefiles/ragel-cpp_snippet +0 -2
- data/vendor/pygments-main/tests/examplefiles/regex.js +0 -22
- data/vendor/pygments-main/tests/examplefiles/reversi.lsp +0 -427
- data/vendor/pygments-main/tests/examplefiles/robotframework_test.txt +0 -39
- data/vendor/pygments-main/tests/examplefiles/rql-queries.rql +0 -34
- data/vendor/pygments-main/tests/examplefiles/ruby_func_def.rb +0 -11
- data/vendor/pygments-main/tests/examplefiles/rust_example.rs +0 -233
- data/vendor/pygments-main/tests/examplefiles/scilab.sci +0 -30
- data/vendor/pygments-main/tests/examplefiles/scope.cirru +0 -43
- data/vendor/pygments-main/tests/examplefiles/session.dylan-console +0 -9
- data/vendor/pygments-main/tests/examplefiles/sibling.prolog +0 -19
- data/vendor/pygments-main/tests/examplefiles/simple.md +0 -747
- data/vendor/pygments-main/tests/examplefiles/smarty_example.html +0 -209
- data/vendor/pygments-main/tests/examplefiles/source.lgt +0 -343
- data/vendor/pygments-main/tests/examplefiles/sources.list +0 -62
- data/vendor/pygments-main/tests/examplefiles/sparql.rq +0 -23
- data/vendor/pygments-main/tests/examplefiles/sphere.pov +0 -18
- data/vendor/pygments-main/tests/examplefiles/sqlite3.sqlite3-console +0 -27
- data/vendor/pygments-main/tests/examplefiles/squid.conf +0 -30
- data/vendor/pygments-main/tests/examplefiles/string.jl +0 -1031
- data/vendor/pygments-main/tests/examplefiles/string_delimiters.d +0 -21
- data/vendor/pygments-main/tests/examplefiles/stripheredoc.sh +0 -3
- data/vendor/pygments-main/tests/examplefiles/swig_java.swg +0 -1329
- data/vendor/pygments-main/tests/examplefiles/swig_std_vector.i +0 -225
- data/vendor/pygments-main/tests/examplefiles/test.R +0 -185
- data/vendor/pygments-main/tests/examplefiles/test.adb +0 -211
- data/vendor/pygments-main/tests/examplefiles/test.agda +0 -102
- data/vendor/pygments-main/tests/examplefiles/test.apl +0 -26
- data/vendor/pygments-main/tests/examplefiles/test.asy +0 -131
- data/vendor/pygments-main/tests/examplefiles/test.awk +0 -121
- data/vendor/pygments-main/tests/examplefiles/test.bb +0 -95
- data/vendor/pygments-main/tests/examplefiles/test.bmx +0 -145
- data/vendor/pygments-main/tests/examplefiles/test.boo +0 -39
- data/vendor/pygments-main/tests/examplefiles/test.bro +0 -250
- data/vendor/pygments-main/tests/examplefiles/test.cs +0 -374
- data/vendor/pygments-main/tests/examplefiles/test.css +0 -54
- data/vendor/pygments-main/tests/examplefiles/test.cu +0 -36
- data/vendor/pygments-main/tests/examplefiles/test.cyp +0 -123
- data/vendor/pygments-main/tests/examplefiles/test.d +0 -135
- data/vendor/pygments-main/tests/examplefiles/test.dart +0 -23
- data/vendor/pygments-main/tests/examplefiles/test.dtd +0 -89
- data/vendor/pygments-main/tests/examplefiles/test.ebnf +0 -31
- data/vendor/pygments-main/tests/examplefiles/test.ec +0 -605
- data/vendor/pygments-main/tests/examplefiles/test.ecl +0 -58
- data/vendor/pygments-main/tests/examplefiles/test.eh +0 -315
- data/vendor/pygments-main/tests/examplefiles/test.erl +0 -169
- data/vendor/pygments-main/tests/examplefiles/test.evoque +0 -33
- data/vendor/pygments-main/tests/examplefiles/test.fan +0 -818
- data/vendor/pygments-main/tests/examplefiles/test.flx +0 -57
- data/vendor/pygments-main/tests/examplefiles/test.gdc +0 -13
- data/vendor/pygments-main/tests/examplefiles/test.groovy +0 -97
- data/vendor/pygments-main/tests/examplefiles/test.html +0 -339
- data/vendor/pygments-main/tests/examplefiles/test.idr +0 -93
- data/vendor/pygments-main/tests/examplefiles/test.ini +0 -10
- data/vendor/pygments-main/tests/examplefiles/test.java +0 -653
- data/vendor/pygments-main/tests/examplefiles/test.jsp +0 -24
- data/vendor/pygments-main/tests/examplefiles/test.maql +0 -45
- data/vendor/pygments-main/tests/examplefiles/test.mask +0 -41
- data/vendor/pygments-main/tests/examplefiles/test.mod +0 -374
- data/vendor/pygments-main/tests/examplefiles/test.moo +0 -51
- data/vendor/pygments-main/tests/examplefiles/test.myt +0 -166
- data/vendor/pygments-main/tests/examplefiles/test.nim +0 -93
- data/vendor/pygments-main/tests/examplefiles/test.opa +0 -10
- data/vendor/pygments-main/tests/examplefiles/test.p6 +0 -252
- data/vendor/pygments-main/tests/examplefiles/test.pan +0 -54
- data/vendor/pygments-main/tests/examplefiles/test.pas +0 -743
- data/vendor/pygments-main/tests/examplefiles/test.php +0 -507
- data/vendor/pygments-main/tests/examplefiles/test.pig +0 -148
- data/vendor/pygments-main/tests/examplefiles/test.plot +0 -333
- data/vendor/pygments-main/tests/examplefiles/test.ps1 +0 -108
- data/vendor/pygments-main/tests/examplefiles/test.pwn +0 -253
- data/vendor/pygments-main/tests/examplefiles/test.pypylog +0 -1839
- data/vendor/pygments-main/tests/examplefiles/test.r3 +0 -114
- data/vendor/pygments-main/tests/examplefiles/test.rb +0 -177
- data/vendor/pygments-main/tests/examplefiles/test.rhtml +0 -43
- data/vendor/pygments-main/tests/examplefiles/test.rsl +0 -111
- data/vendor/pygments-main/tests/examplefiles/test.scaml +0 -8
- data/vendor/pygments-main/tests/examplefiles/test.ssp +0 -12
- data/vendor/pygments-main/tests/examplefiles/test.swift +0 -65
- data/vendor/pygments-main/tests/examplefiles/test.tcsh +0 -830
- data/vendor/pygments-main/tests/examplefiles/test.vb +0 -407
- data/vendor/pygments-main/tests/examplefiles/test.vhdl +0 -161
- data/vendor/pygments-main/tests/examplefiles/test.xqy +0 -138
- data/vendor/pygments-main/tests/examplefiles/test.xsl +0 -23
- data/vendor/pygments-main/tests/examplefiles/test.zep +0 -33
- data/vendor/pygments-main/tests/examplefiles/test2.pypylog +0 -120
- data/vendor/pygments-main/tests/examplefiles/truncated.pytb +0 -15
- data/vendor/pygments-main/tests/examplefiles/type.lisp +0 -1218
- data/vendor/pygments-main/tests/examplefiles/underscore.coffee +0 -603
- data/vendor/pygments-main/tests/examplefiles/unicode.applescript +0 -5
- data/vendor/pygments-main/tests/examplefiles/unicode.go +0 -10
- data/vendor/pygments-main/tests/examplefiles/unicodedoc.py +0 -11
- data/vendor/pygments-main/tests/examplefiles/unix-io.lid +0 -37
- data/vendor/pygments-main/tests/examplefiles/vbnet_test.bas +0 -29
- data/vendor/pygments-main/tests/examplefiles/vctreestatus_hg +0 -4
- data/vendor/pygments-main/tests/examplefiles/vimrc +0 -21
- data/vendor/pygments-main/tests/examplefiles/webkit-transition.css +0 -3
- data/vendor/pygments-main/tests/examplefiles/while.pov +0 -13
- data/vendor/pygments-main/tests/examplefiles/wiki.factor +0 -384
- data/vendor/pygments-main/tests/examplefiles/xml_example +0 -1897
- data/vendor/pygments-main/tests/examplefiles/zmlrpc.f90 +0 -798
- data/vendor/pygments-main/tests/run.py +0 -44
- data/vendor/pygments-main/tests/string_asserts.py +0 -22
- data/vendor/pygments-main/tests/support.py +0 -15
- data/vendor/pygments-main/tests/support/tags +0 -36
- data/vendor/pygments-main/tests/test_basic_api.py +0 -309
- data/vendor/pygments-main/tests/test_cfm.py +0 -46
- data/vendor/pygments-main/tests/test_clexer.py +0 -236
- data/vendor/pygments-main/tests/test_cmdline.py +0 -106
- data/vendor/pygments-main/tests/test_examplefiles.py +0 -110
- data/vendor/pygments-main/tests/test_html_formatter.py +0 -180
- data/vendor/pygments-main/tests/test_latex_formatter.py +0 -57
- data/vendor/pygments-main/tests/test_lexers_other.py +0 -68
- data/vendor/pygments-main/tests/test_objectiveclexer.py +0 -81
- data/vendor/pygments-main/tests/test_perllexer.py +0 -137
- data/vendor/pygments-main/tests/test_qbasiclexer.py +0 -43
- data/vendor/pygments-main/tests/test_regexlexer.py +0 -54
- data/vendor/pygments-main/tests/test_rtf_formatter.py +0 -109
- data/vendor/pygments-main/tests/test_string_asserts.py +0 -39
- data/vendor/pygments-main/tests/test_token.py +0 -46
- data/vendor/pygments-main/tests/test_using_api.py +0 -40
- data/vendor/pygments-main/tests/test_util.py +0 -135
@@ -1,133 +0,0 @@
|
|
1
|
-
// Koka language test module
|
2
|
-
|
3
|
-
// This module implements the GarsiaWachs algorithm.
|
4
|
-
// It is an adaptation of the algorithm in ML as described by JeanChristophe Filli�tre:
|
5
|
-
// in ''A functional implementation of the GarsiaWachs algorithm. (functional pearl). ML workshop 2008, pages 91--96''.
|
6
|
-
// See: http://www.lri.fr/~filliatr/publis/gwWml08.pdf
|
7
|
-
//
|
8
|
-
// The algorithm is interesting since it uses mutable references shared between a list and tree but the
|
9
|
-
// side effects are not observable from outside. Koka automatically infers that the final algorithm is pure.
|
10
|
-
// Note: due to a current limitation in the divergence analysis, koka cannot yet infer that mutually recursive
|
11
|
-
// definitions in "insert" and "extract" are terminating and the final algorithm still has a divergence effect.
|
12
|
-
// However, koka does infer that no other effect (i.e. an exception due to a partial match) can occur.
|
13
|
-
module garcsiaWachs
|
14
|
-
|
15
|
-
import test = qualified std/flags
|
16
|
-
|
17
|
-
# pre processor test
|
18
|
-
|
19
|
-
public function main() {
|
20
|
-
wlist = Cons1(('a',3), [('b',2),('c',1),('d',4),('e',5)])
|
21
|
-
tree = wlist.garsiaWachs()
|
22
|
-
tree.show.println()
|
23
|
-
}
|
24
|
-
|
25
|
-
//----------------------------------------------------
|
26
|
-
// Trees
|
27
|
-
//----------------------------------------------------
|
28
|
-
public type tree<a> {
|
29
|
-
con Leaf(value :a)
|
30
|
-
con Node(left :tree<a>, right :tree<a>)
|
31
|
-
}
|
32
|
-
|
33
|
-
function show( t : tree<char> ) : string {
|
34
|
-
match(t) {
|
35
|
-
Leaf(c) -> core/show(c)
|
36
|
-
Node(l,r) -> "Node(" + show(l) + "," + show(r) + ")"
|
37
|
-
}
|
38
|
-
}
|
39
|
-
|
40
|
-
|
41
|
-
//----------------------------------------------------
|
42
|
-
// Non empty lists
|
43
|
-
//----------------------------------------------------
|
44
|
-
public type list1<a> {
|
45
|
-
Cons1( head : a, tail : list<a> )
|
46
|
-
}
|
47
|
-
|
48
|
-
function map( xs, f ) {
|
49
|
-
val Cons1(y,ys) = xs
|
50
|
-
return Cons1(f(y), core/map(ys,f))
|
51
|
-
}
|
52
|
-
|
53
|
-
function zip( xs :list1<a>, ys :list1<b> ) : list1<(a,b)> {
|
54
|
-
Cons1( (xs.head, ys.head), zip(xs.tail, ys.tail))
|
55
|
-
}
|
56
|
-
|
57
|
-
|
58
|
-
//----------------------------------------------------
|
59
|
-
// Phase 1
|
60
|
-
//----------------------------------------------------
|
61
|
-
|
62
|
-
function insert( after : list<(tree<a>,int)>, t : (tree<a>,int), before : list<(tree<a>,int)> ) : div tree<a>
|
63
|
-
{
|
64
|
-
match(before) {
|
65
|
-
Nil -> extract( [], Cons1(t,after) )
|
66
|
-
Cons(x,xs) -> {
|
67
|
-
if (x.snd < t.snd) then return insert( Cons(x,after), t, xs )
|
68
|
-
match(xs) {
|
69
|
-
Nil -> extract( [], Cons1(x,Cons(t,after)) )
|
70
|
-
Cons(y,ys) -> extract( ys, Cons1(y,Cons(x,Cons(t,after))) )
|
71
|
-
}
|
72
|
-
}
|
73
|
-
}
|
74
|
-
}
|
75
|
-
|
76
|
-
function extract( before : list<(tree<a>,int)>, after : list1<(tree<a>,int)> ) : div tree<a>
|
77
|
-
{
|
78
|
-
val Cons1((t1,w1) as x, xs ) = after
|
79
|
-
match(xs) {
|
80
|
-
Nil -> t1
|
81
|
-
Cons((t2,w2) as y, ys) -> match(ys) {
|
82
|
-
Nil -> insert( [], (Node(t1,t2), w1+w2), before )
|
83
|
-
Cons((_,w3),_zs) ->
|
84
|
-
if (w1 <= w3)
|
85
|
-
then insert(ys, (Node(t1,t2), w1+w2), before)
|
86
|
-
else extract(Cons(x,before), Cons1(y,ys))
|
87
|
-
}
|
88
|
-
}
|
89
|
-
}
|
90
|
-
|
91
|
-
function balance( xs : list1<(tree<a>,int)> ) : div tree<a> {
|
92
|
-
extract( [], xs )
|
93
|
-
}
|
94
|
-
|
95
|
-
//----------------------------------------------------
|
96
|
-
// Phase 2
|
97
|
-
//----------------------------------------------------
|
98
|
-
|
99
|
-
function mark( depth :int, t :tree<(a,ref<h,int>)> ) : <write<h>> () {
|
100
|
-
match(t) {
|
101
|
-
Leaf((_,d)) -> d := depth
|
102
|
-
Node(l,r) -> { mark(depth+1,l); mark(depth+1,r) }
|
103
|
-
}
|
104
|
-
}
|
105
|
-
|
106
|
-
function build( depth :int, xs :list1<(a,ref<h,int>)> ) : <read<h>,div> (tree<a>,list<(a,ref<h,int>)>)
|
107
|
-
{
|
108
|
-
if (!(xs.head.snd) == depth) return (Leaf(xs.head.fst), xs.tail)
|
109
|
-
|
110
|
-
l = build(depth+1, xs)
|
111
|
-
match(l.snd) {
|
112
|
-
Nil -> (l.fst, Nil)
|
113
|
-
Cons(y,ys) -> {
|
114
|
-
r = build(depth+1, Cons1(y,ys))
|
115
|
-
(Node(l.fst,r.fst), r.snd)
|
116
|
-
}
|
117
|
-
}
|
118
|
-
}
|
119
|
-
|
120
|
-
//----------------------------------------------------
|
121
|
-
// Main
|
122
|
-
//----------------------------------------------------
|
123
|
-
|
124
|
-
public function garsiaWachs( xs : list1<(a,int)> ) : div tree<a>
|
125
|
-
{
|
126
|
-
refs = xs.map(fst).map( fun(x) { (x, ref(0)) } )
|
127
|
-
wleafs = zip( refs.map(Leaf), xs.map(snd) )
|
128
|
-
|
129
|
-
tree = balance(wleafs)
|
130
|
-
mark(0,tree)
|
131
|
-
build(0,refs).fst
|
132
|
-
}
|
133
|
-
|
@@ -1,510 +0,0 @@
|
|
1
|
-
; Copyright (c) Rich Hickey. All rights reserved.
|
2
|
-
; The use and distribution terms for this software are covered by the
|
3
|
-
; Common Public License 1.0 (http://opensource.org/licenses/cpl.php)
|
4
|
-
; which can be found in the file CPL.TXT at the root of this distribution.
|
5
|
-
; By using this software in any fashion, you are agreeing to be bound by
|
6
|
-
; the terms of this license.
|
7
|
-
; You must not remove this notice, or any other, from this software.
|
8
|
-
|
9
|
-
(in-ns 'clojure)
|
10
|
-
|
11
|
-
(import '(java.lang.reflect Modifier Constructor)
|
12
|
-
'(clojure.asm ClassWriter ClassVisitor Opcodes Type)
|
13
|
-
'(clojure.asm.commons Method GeneratorAdapter)
|
14
|
-
'(clojure.lang IPersistentMap))
|
15
|
-
|
16
|
-
;(defn method-sig [#^java.lang.reflect.Method meth]
|
17
|
-
; [(. meth (getName)) (seq (. meth (getParameterTypes)))])
|
18
|
-
|
19
|
-
(defn- non-private-methods [#^Class c]
|
20
|
-
(loop [mm {}
|
21
|
-
considered #{}
|
22
|
-
c c]
|
23
|
-
(if c
|
24
|
-
(let [[mm considered]
|
25
|
-
(loop [mm mm
|
26
|
-
considered considered
|
27
|
-
meths (concat
|
28
|
-
(seq (. c (getDeclaredMethods)))
|
29
|
-
(seq (. c (getMethods))))]
|
30
|
-
(if meths
|
31
|
-
(let [#^Method meth (first meths)
|
32
|
-
mods (. meth (getModifiers))
|
33
|
-
mk (method-sig meth)]
|
34
|
-
(if (or (considered mk)
|
35
|
-
(. Modifier (isPrivate mods))
|
36
|
-
(. Modifier (isStatic mods))
|
37
|
-
(. Modifier (isFinal mods)))
|
38
|
-
(recur mm (conj considered mk) (rest meths))
|
39
|
-
(recur (assoc mm mk meth) (conj considered mk) (rest meths))))
|
40
|
-
[mm considered]))]
|
41
|
-
(recur mm considered (. c (getSuperclass))))
|
42
|
-
mm)))
|
43
|
-
|
44
|
-
(defn- ctor-sigs [super]
|
45
|
-
(for [#^Constructor ctor (. super (getDeclaredConstructors))
|
46
|
-
:when (not (. Modifier (isPrivate (. ctor (getModifiers)))))]
|
47
|
-
(apply vector (. ctor (getParameterTypes)))))
|
48
|
-
|
49
|
-
(defn- escape-class-name [c]
|
50
|
-
(.. (.getSimpleName c)
|
51
|
-
(replace "[]" "<>")))
|
52
|
-
|
53
|
-
(defn- overload-name [mname pclasses]
|
54
|
-
(if (seq pclasses)
|
55
|
-
(apply str mname (interleave (repeat \-)
|
56
|
-
(map escape-class-name pclasses)))
|
57
|
-
(str mname "-void")))
|
58
|
-
|
59
|
-
;(distinct (map first(keys (mapcat non-private-methods [Object IPersistentMap]))))
|
60
|
-
|
61
|
-
(defn gen-class
|
62
|
-
"Generates compiled bytecode for a class with the given
|
63
|
-
package-qualified cname (which, as all names in these parameters, can
|
64
|
-
be a string or symbol). The gen-class construct contains no
|
65
|
-
implementation, as the implementation will be dynamically sought by
|
66
|
-
the generated class in functions in a corresponding Clojure
|
67
|
-
namespace. Given a generated class org.mydomain.MyClass, methods
|
68
|
-
will be implemented that look for same-named functions in a Clojure
|
69
|
-
namespace called org.domain.MyClass. The init and main
|
70
|
-
functions (see below) will be found similarly. The static
|
71
|
-
initializer for the generated class will attempt to load the Clojure
|
72
|
-
support code for the class as a resource from the claspath, e.g. in
|
73
|
-
the example case, org/mydomain/MyClass.clj
|
74
|
-
|
75
|
-
Returns a map containing :name and :bytecode. Most uses will be
|
76
|
-
satisfied by the higher-level gen-and-load-class and
|
77
|
-
gen-and-store-class functions, which generate and immediately load,
|
78
|
-
or generate and store to disk, respectively.
|
79
|
-
|
80
|
-
Options should be a set of key/value pairs, all of which are optional:
|
81
|
-
|
82
|
-
:extends aclass
|
83
|
-
|
84
|
-
Specifies the superclass, the non-private methods of which will be
|
85
|
-
overridden by the class. If not provided, defaults to Object.
|
86
|
-
|
87
|
-
:implements [interface ...]
|
88
|
-
|
89
|
-
One or more interfaces, the methods of which will be implemented by the class.
|
90
|
-
|
91
|
-
:init name
|
92
|
-
|
93
|
-
If supplied, names a function that will be called with the arguments
|
94
|
-
to the constructor. Must return [[superclass-constructor-args] state]
|
95
|
-
If not supplied, the constructor args are passed directly to
|
96
|
-
the superclass constructor and the state will be nil
|
97
|
-
|
98
|
-
:constructors {[param-types] [super-param-types], ...}
|
99
|
-
|
100
|
-
By default, constructors are created for the generated class which
|
101
|
-
match the signature(s) of the constructors for the superclass. This
|
102
|
-
parameter may be used to explicitly specify constructors, each entry
|
103
|
-
providing a mapping from a constructor signature to a superclass
|
104
|
-
constructor signature. When you supply this, you must supply an :init
|
105
|
-
specifier.
|
106
|
-
|
107
|
-
:methods [[name [param-types] return-type], ...]
|
108
|
-
|
109
|
-
The generated class automatically defines all of the non-private
|
110
|
-
methods of its superclasses/interfaces. This parameter can be used
|
111
|
-
to specify the signatures of additional methods of the generated
|
112
|
-
class. Do not repeat superclass/interface signatures here.
|
113
|
-
|
114
|
-
:main boolean
|
115
|
-
|
116
|
-
If supplied and true, a static public main function will be
|
117
|
-
generated. It will pass each string of the String[] argument as a
|
118
|
-
separate argument to a function called 'main.
|
119
|
-
|
120
|
-
:factory name
|
121
|
-
|
122
|
-
If supplied, a (set of) public static factory function(s) will be
|
123
|
-
created with the given name, and the same signature(s) as the
|
124
|
-
constructor(s).
|
125
|
-
|
126
|
-
:state name
|
127
|
-
|
128
|
-
If supplied, a public final instance field with the given name will be
|
129
|
-
created. You must supply an :init function in order to provide a
|
130
|
-
value for the state. Note that, though final, the state can be a ref
|
131
|
-
or agent, supporting the creation of Java objects with transactional
|
132
|
-
or asynchronous mutation semantics.
|
133
|
-
|
134
|
-
:exposes {protected-field-name {:get name :set name}, ...}
|
135
|
-
|
136
|
-
Since the implementations of the methods of the generated class
|
137
|
-
occur in Clojure functions, they have no access to the inherited
|
138
|
-
protected fields of the superclass. This parameter can be used to
|
139
|
-
generate public getter/setter methods exposing the protected field(s)
|
140
|
-
for use in the implementation."
|
141
|
-
|
142
|
-
[cname & options]
|
143
|
-
(let [name (str cname)
|
144
|
-
{:keys [extends implements constructors methods main factory state init exposes]} (apply hash-map options)
|
145
|
-
super (or extends Object)
|
146
|
-
interfaces implements
|
147
|
-
supers (cons super (seq interfaces))
|
148
|
-
ctor-sig-map (or constructors (zipmap (ctor-sigs super) (ctor-sigs super)))
|
149
|
-
cv (new ClassWriter (. ClassWriter COMPUTE_MAXS))
|
150
|
-
cname (. name (replace "." "/"))
|
151
|
-
ctype (. Type (getObjectType cname))
|
152
|
-
iname (fn [c] (.. Type (getType c) (getInternalName)))
|
153
|
-
totype (fn [c] (. Type (getType c)))
|
154
|
-
to-types (fn [cs] (if (pos? (count cs))
|
155
|
-
(into-array (map totype cs))
|
156
|
-
(make-array Type 0)))
|
157
|
-
obj-type (totype Object)
|
158
|
-
arg-types (fn [n] (if (pos? n)
|
159
|
-
(into-array (replicate n obj-type))
|
160
|
-
(make-array Type 0)))
|
161
|
-
super-type (totype super)
|
162
|
-
init-name (str init)
|
163
|
-
factory-name (str factory)
|
164
|
-
state-name (str state)
|
165
|
-
main-name "main"
|
166
|
-
var-name (fn [s] (str s "__var"))
|
167
|
-
rt-type (totype clojure.lang.RT)
|
168
|
-
var-type (totype clojure.lang.Var)
|
169
|
-
ifn-type (totype clojure.lang.IFn)
|
170
|
-
iseq-type (totype clojure.lang.ISeq)
|
171
|
-
ex-type (totype java.lang.UnsupportedOperationException)
|
172
|
-
all-sigs (distinct (concat (map #(let[[m p] (key %)] {m [p]}) (mapcat non-private-methods supers))
|
173
|
-
(map (fn [[m p]] {(str m) [p]}) methods)))
|
174
|
-
sigs-by-name (apply merge-with concat {} all-sigs)
|
175
|
-
overloads (into {} (filter (fn [[m s]] (rest s)) sigs-by-name))
|
176
|
-
var-fields (concat (and init [init-name])
|
177
|
-
(and main [main-name])
|
178
|
-
(distinct (concat (keys sigs-by-name)
|
179
|
-
(mapcat (fn [[m s]] (map #(overload-name m %) s)) overloads)
|
180
|
-
(mapcat (comp (partial map str) vals val) exposes))))
|
181
|
-
emit-get-var (fn [gen v]
|
182
|
-
(let [false-label (. gen newLabel)
|
183
|
-
end-label (. gen newLabel)]
|
184
|
-
(. gen getStatic ctype (var-name v) var-type)
|
185
|
-
(. gen dup)
|
186
|
-
(. gen invokeVirtual var-type (. Method (getMethod "boolean isBound()")))
|
187
|
-
(. gen ifZCmp (. GeneratorAdapter EQ) false-label)
|
188
|
-
(. gen invokeVirtual var-type (. Method (getMethod "Object get()")))
|
189
|
-
(. gen goTo end-label)
|
190
|
-
(. gen mark false-label)
|
191
|
-
(. gen pop)
|
192
|
-
(. gen visitInsn (. Opcodes ACONST_NULL))
|
193
|
-
(. gen mark end-label)))
|
194
|
-
emit-forwarding-method
|
195
|
-
(fn [mname pclasses rclass else-gen]
|
196
|
-
(let [ptypes (to-types pclasses)
|
197
|
-
rtype (totype rclass)
|
198
|
-
m (new Method mname rtype ptypes)
|
199
|
-
is-overload (overloads mname)
|
200
|
-
gen (new GeneratorAdapter (. Opcodes ACC_PUBLIC) m nil nil cv)
|
201
|
-
found-label (. gen (newLabel))
|
202
|
-
else-label (. gen (newLabel))
|
203
|
-
end-label (. gen (newLabel))]
|
204
|
-
(. gen (visitCode))
|
205
|
-
(when is-overload
|
206
|
-
(emit-get-var gen (overload-name mname pclasses))
|
207
|
-
(. gen (dup))
|
208
|
-
(. gen (ifNonNull found-label))
|
209
|
-
(. gen (pop)))
|
210
|
-
(emit-get-var gen mname)
|
211
|
-
(. gen (dup))
|
212
|
-
(. gen (ifNull else-label))
|
213
|
-
(when is-overload
|
214
|
-
(. gen (mark found-label)))
|
215
|
-
;if found
|
216
|
-
(. gen (loadThis))
|
217
|
-
;box args
|
218
|
-
(dotimes i (count ptypes)
|
219
|
-
(. gen (loadArg i))
|
220
|
-
(. clojure.lang.Compiler$HostExpr (emitBoxReturn nil gen (nth pclasses i))))
|
221
|
-
;call fn
|
222
|
-
(. gen (invokeInterface ifn-type (new Method "invoke" obj-type
|
223
|
-
(into-array (cons obj-type
|
224
|
-
(replicate (count ptypes) obj-type))))))
|
225
|
-
;unbox return
|
226
|
-
(. gen (unbox rtype))
|
227
|
-
(when (= (. rtype (getSort)) (. Type VOID))
|
228
|
-
(. gen (pop)))
|
229
|
-
(. gen (goTo end-label))
|
230
|
-
|
231
|
-
;else call supplied alternative generator
|
232
|
-
(. gen (mark else-label))
|
233
|
-
(. gen (pop))
|
234
|
-
|
235
|
-
(else-gen gen m)
|
236
|
-
|
237
|
-
(. gen (mark end-label))
|
238
|
-
(. gen (returnValue))
|
239
|
-
(. gen (endMethod))))
|
240
|
-
]
|
241
|
-
;start class definition
|
242
|
-
(. cv (visit (. Opcodes V1_5) (. Opcodes ACC_PUBLIC)
|
243
|
-
cname nil (iname super)
|
244
|
-
(when interfaces
|
245
|
-
(into-array (map iname interfaces)))))
|
246
|
-
|
247
|
-
;static fields for vars
|
248
|
-
(doseq v var-fields
|
249
|
-
(. cv (visitField (+ (. Opcodes ACC_PUBLIC) (. Opcodes ACC_FINAL) (. Opcodes ACC_STATIC))
|
250
|
-
(var-name v)
|
251
|
-
(. var-type getDescriptor)
|
252
|
-
nil nil)))
|
253
|
-
|
254
|
-
;instance field for state
|
255
|
-
(when state
|
256
|
-
(. cv (visitField (+ (. Opcodes ACC_PUBLIC) (. Opcodes ACC_FINAL))
|
257
|
-
state-name
|
258
|
-
(. obj-type getDescriptor)
|
259
|
-
nil nil)))
|
260
|
-
|
261
|
-
;static init to set up var fields and load clj
|
262
|
-
(let [gen (new GeneratorAdapter (+ (. Opcodes ACC_PUBLIC) (. Opcodes ACC_STATIC))
|
263
|
-
(. Method getMethod "void <clinit> ()")
|
264
|
-
nil nil cv)]
|
265
|
-
(. gen (visitCode))
|
266
|
-
(doseq v var-fields
|
267
|
-
(. gen push name)
|
268
|
-
(. gen push v)
|
269
|
-
(. gen (invokeStatic rt-type (. Method (getMethod "clojure.lang.Var var(String,String)"))))
|
270
|
-
(. gen putStatic ctype (var-name v) var-type))
|
271
|
-
|
272
|
-
(. gen push ctype)
|
273
|
-
(. gen push (str (. name replace \. (. java.io.File separatorChar)) ".clj"))
|
274
|
-
(. gen (invokeStatic rt-type (. Method (getMethod "void loadResourceScript(Class,String)"))))
|
275
|
-
|
276
|
-
(. gen (returnValue))
|
277
|
-
(. gen (endMethod)))
|
278
|
-
|
279
|
-
;ctors
|
280
|
-
(doseq [pclasses super-pclasses] ctor-sig-map
|
281
|
-
(let [ptypes (to-types pclasses)
|
282
|
-
super-ptypes (to-types super-pclasses)
|
283
|
-
m (new Method "<init>" (. Type VOID_TYPE) ptypes)
|
284
|
-
super-m (new Method "<init>" (. Type VOID_TYPE) super-ptypes)
|
285
|
-
gen (new GeneratorAdapter (. Opcodes ACC_PUBLIC) m nil nil cv)
|
286
|
-
no-init-label (. gen newLabel)
|
287
|
-
end-label (. gen newLabel)
|
288
|
-
nth-method (. Method (getMethod "Object nth(Object,int)"))
|
289
|
-
local (. gen newLocal obj-type)]
|
290
|
-
(. gen (visitCode))
|
291
|
-
|
292
|
-
(if init
|
293
|
-
(do
|
294
|
-
(emit-get-var gen init-name)
|
295
|
-
(. gen dup)
|
296
|
-
(. gen ifNull no-init-label)
|
297
|
-
;box init args
|
298
|
-
(dotimes i (count pclasses)
|
299
|
-
(. gen (loadArg i))
|
300
|
-
(. clojure.lang.Compiler$HostExpr (emitBoxReturn nil gen (nth pclasses i))))
|
301
|
-
;call init fn
|
302
|
-
(. gen (invokeInterface ifn-type (new Method "invoke" obj-type
|
303
|
-
(arg-types (count ptypes)))))
|
304
|
-
;expecting [[super-ctor-args] state] returned
|
305
|
-
(. gen dup)
|
306
|
-
(. gen push 0)
|
307
|
-
(. gen (invokeStatic rt-type nth-method))
|
308
|
-
(. gen storeLocal local)
|
309
|
-
|
310
|
-
(. gen (loadThis))
|
311
|
-
(. gen dupX1)
|
312
|
-
(dotimes i (count super-pclasses)
|
313
|
-
(. gen loadLocal local)
|
314
|
-
(. gen push i)
|
315
|
-
(. gen (invokeStatic rt-type nth-method))
|
316
|
-
(. clojure.lang.Compiler$HostExpr (emitUnboxArg nil gen (nth super-pclasses i))))
|
317
|
-
(. gen (invokeConstructor super-type super-m))
|
318
|
-
|
319
|
-
(if state
|
320
|
-
(do
|
321
|
-
(. gen push 1)
|
322
|
-
(. gen (invokeStatic rt-type nth-method))
|
323
|
-
(. gen (putField ctype state-name obj-type)))
|
324
|
-
(. gen pop))
|
325
|
-
|
326
|
-
(. gen goTo end-label)
|
327
|
-
;no init found
|
328
|
-
(. gen mark no-init-label)
|
329
|
-
(. gen (throwException ex-type (str init-name " not defined")))
|
330
|
-
(. gen mark end-label))
|
331
|
-
(if (= pclasses super-pclasses)
|
332
|
-
(do
|
333
|
-
(. gen (loadThis))
|
334
|
-
(. gen (loadArgs))
|
335
|
-
(. gen (invokeConstructor super-type super-m)))
|
336
|
-
(throw (new Exception ":init not specified, but ctor and super ctor args differ"))))
|
337
|
-
|
338
|
-
(. gen (returnValue))
|
339
|
-
(. gen (endMethod))
|
340
|
-
;factory
|
341
|
-
(when factory
|
342
|
-
(let [fm (new Method factory-name ctype ptypes)
|
343
|
-
gen (new GeneratorAdapter (+ (. Opcodes ACC_PUBLIC) (. Opcodes ACC_STATIC))
|
344
|
-
fm nil nil cv)]
|
345
|
-
(. gen (visitCode))
|
346
|
-
(. gen newInstance ctype)
|
347
|
-
(. gen dup)
|
348
|
-
(. gen (loadArgs))
|
349
|
-
(. gen (invokeConstructor ctype m))
|
350
|
-
(. gen (returnValue))
|
351
|
-
(. gen (endMethod))))))
|
352
|
-
|
353
|
-
;add methods matching supers', if no fn -> call super
|
354
|
-
(let [mm (non-private-methods super)]
|
355
|
-
(doseq #^java.lang.reflect.Method meth (vals mm)
|
356
|
-
(emit-forwarding-method (.getName meth) (.getParameterTypes meth) (.getReturnType meth)
|
357
|
-
(fn [gen m]
|
358
|
-
(. gen (loadThis))
|
359
|
-
;push args
|
360
|
-
(. gen (loadArgs))
|
361
|
-
;call super
|
362
|
-
(. gen (visitMethodInsn (. Opcodes INVOKESPECIAL)
|
363
|
-
(. super-type (getInternalName))
|
364
|
-
(. m (getName))
|
365
|
-
(. m (getDescriptor)))))))
|
366
|
-
;add methods matching interfaces', if no fn -> throw
|
367
|
-
(doseq #^Class iface interfaces
|
368
|
-
(doseq #^java.lang.reflect.Method meth (. iface (getMethods))
|
369
|
-
(when-not (contains? mm (method-sig meth))
|
370
|
-
(emit-forwarding-method (.getName meth) (.getParameterTypes meth) (.getReturnType meth)
|
371
|
-
(fn [gen m]
|
372
|
-
(. gen (throwException ex-type (. m (getName)))))))))
|
373
|
-
;extra methods
|
374
|
-
(doseq [mname pclasses rclass :as msig] methods
|
375
|
-
(emit-forwarding-method (str mname) pclasses rclass
|
376
|
-
(fn [gen m]
|
377
|
-
(. gen (throwException ex-type (. m (getName))))))))
|
378
|
-
|
379
|
-
;main
|
380
|
-
(when main
|
381
|
-
(let [m (. Method getMethod "void main (String[])")
|
382
|
-
gen (new GeneratorAdapter (+ (. Opcodes ACC_PUBLIC) (. Opcodes ACC_STATIC))
|
383
|
-
m nil nil cv)
|
384
|
-
no-main-label (. gen newLabel)
|
385
|
-
end-label (. gen newLabel)]
|
386
|
-
(. gen (visitCode))
|
387
|
-
|
388
|
-
(emit-get-var gen main-name)
|
389
|
-
(. gen dup)
|
390
|
-
(. gen ifNull no-main-label)
|
391
|
-
(. gen loadArgs)
|
392
|
-
(. gen (invokeStatic rt-type (. Method (getMethod "clojure.lang.ISeq seq(Object)"))))
|
393
|
-
(. gen (invokeInterface ifn-type (new Method "applyTo" obj-type
|
394
|
-
(into-array [iseq-type]))))
|
395
|
-
(. gen pop)
|
396
|
-
(. gen goTo end-label)
|
397
|
-
;no main found
|
398
|
-
(. gen mark no-main-label)
|
399
|
-
(. gen (throwException ex-type (str main-name " not defined")))
|
400
|
-
(. gen mark end-label)
|
401
|
-
(. gen (returnValue))
|
402
|
-
(. gen (endMethod))))
|
403
|
-
;field exposers
|
404
|
-
(doseq [f {getter :get setter :set}] exposes
|
405
|
-
(let [fld (.getField super (str f))
|
406
|
-
ftype (totype (.getType fld))]
|
407
|
-
(when getter
|
408
|
-
(let [m (new Method (str getter) ftype (to-types []))
|
409
|
-
gen (new GeneratorAdapter (. Opcodes ACC_PUBLIC) m nil nil cv)]
|
410
|
-
(. gen (visitCode))
|
411
|
-
(. gen loadThis)
|
412
|
-
(. gen getField ctype (str f) ftype)
|
413
|
-
(. gen (returnValue))
|
414
|
-
(. gen (endMethod))))
|
415
|
-
(when setter
|
416
|
-
(let [m (new Method (str setter) (. Type VOID_TYPE) (into-array [ftype]))
|
417
|
-
gen (new GeneratorAdapter (. Opcodes ACC_PUBLIC) m nil nil cv)]
|
418
|
-
(. gen (visitCode))
|
419
|
-
(. gen loadThis)
|
420
|
-
(. gen loadArgs)
|
421
|
-
(. gen putField ctype (str f) ftype)
|
422
|
-
(. gen (returnValue))
|
423
|
-
(. gen (endMethod))))))
|
424
|
-
;finish class def
|
425
|
-
(. cv (visitEnd))
|
426
|
-
{:name name :bytecode (. cv (toByteArray))}))
|
427
|
-
|
428
|
-
(defn gen-and-load-class
|
429
|
-
"Generates and immediately loads the bytecode for the specified
|
430
|
-
class. Note that a class generated this way can be loaded only once
|
431
|
-
- the JVM supports only one class with a given name per
|
432
|
-
classloader. Subsequent to generation you can import it into any
|
433
|
-
desired namespaces just like any other class. See gen-class for a
|
434
|
-
description of the options."
|
435
|
-
|
436
|
-
[name & options]
|
437
|
-
(let [{:keys [name bytecode]}
|
438
|
-
(apply gen-class (str name) options)]
|
439
|
-
(.. clojure.lang.RT ROOT_CLASSLOADER (defineClass (str name) bytecode))))
|
440
|
-
|
441
|
-
(defn gen-and-save-class
|
442
|
-
"Generates the bytecode for the named class and stores in a .class
|
443
|
-
file in a subpath of the supplied path, the directories for which
|
444
|
-
must already exist. See gen-class for a description of the options"
|
445
|
-
|
446
|
-
[path name & options]
|
447
|
-
(let [{:keys [name bytecode]} (apply gen-class (str name) options)
|
448
|
-
file (java.io.File. path (str (. name replace \. (. java.io.File separatorChar)) ".class"))]
|
449
|
-
(.createNewFile file)
|
450
|
-
(with-open f (java.io.FileOutputStream. file)
|
451
|
-
(.write f bytecode))))
|
452
|
-
|
453
|
-
(comment
|
454
|
-
;usage
|
455
|
-
(gen-class
|
456
|
-
package-qualified-name
|
457
|
-
;all below are optional
|
458
|
-
:extends aclass
|
459
|
-
:implements [interface ...]
|
460
|
-
:constructors {[param-types] [super-param-types], }
|
461
|
-
:methods [[name [param-types] return-type], ]
|
462
|
-
:main boolean
|
463
|
-
:factory name
|
464
|
-
:state name
|
465
|
-
:init name
|
466
|
-
:exposes {protected-field {:get name :set name}, })
|
467
|
-
|
468
|
-
;(gen-and-load-class
|
469
|
-
(clojure/gen-and-save-class
|
470
|
-
"/Users/rich/Downloads"
|
471
|
-
'fred.lucy.Ethel
|
472
|
-
:extends clojure.lang.Box ;APersistentMap
|
473
|
-
:implements [clojure.lang.IPersistentMap]
|
474
|
-
:state 'state
|
475
|
-
;:constructors {[Object] [Object]}
|
476
|
-
;:init 'init
|
477
|
-
:main true
|
478
|
-
:factory 'create
|
479
|
-
:methods [['foo [Object] Object]
|
480
|
-
['foo [] Object]]
|
481
|
-
:exposes {'val {:get 'getVal :set 'setVal}})
|
482
|
-
|
483
|
-
(in-ns 'fred.lucy.Ethel__2276)
|
484
|
-
(clojure/refer 'clojure :exclude '(assoc seq count cons))
|
485
|
-
(defn init [n] [[] n])
|
486
|
-
(defn foo
|
487
|
-
([this] :foo)
|
488
|
-
([this x] x))
|
489
|
-
(defn main [x y] (println x y))
|
490
|
-
(in-ns 'user)
|
491
|
-
(def ethel (new fred.lucy.Ethel__2276 42))
|
492
|
-
(def ethel (fred.lucy.Ethel__2276.create 21))
|
493
|
-
(fred.lucy.Ethel__2276.main (into-array ["lucy" "ricky"]))
|
494
|
-
(.state ethel)
|
495
|
-
(.foo ethel 7)
|
496
|
-
(.foo ethel)
|
497
|
-
(.getVal ethel)
|
498
|
-
(.setVal ethel 12)
|
499
|
-
|
500
|
-
(gen-class org.clojure.MyComparator :implements [Comparator])
|
501
|
-
(in-ns 'org.clojure.MyComparator)
|
502
|
-
(defn compare [this x y] ...)
|
503
|
-
|
504
|
-
(load-file "/Users/rich/dev/clojure/src/genclass.clj")
|
505
|
-
|
506
|
-
(clojure/gen-and-save-class "/Users/rich/dev/clojure/gen/"
|
507
|
-
'org.clojure.ClojureServlet
|
508
|
-
:extends javax.servlet.http.HttpServlet)
|
509
|
-
|
510
|
-
)
|