pygments.rb 0.6.3 → 1.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (606) hide show
  1. checksums.yaml +7 -0
  2. data/CHANGELOG.md +11 -0
  3. data/README.md +6 -6
  4. data/Rakefile +2 -1
  5. data/cache-lexers.rb +1 -1
  6. data/circle.yml +7 -0
  7. data/lib/pygments/lexer.rb +3 -3
  8. data/lib/pygments/popen.rb +67 -30
  9. data/lib/pygments/version.rb +1 -1
  10. data/pygments.rb.gemspec +2 -1
  11. data/test/test_pygments.rb +16 -16
  12. data/vendor/pygments-main/AUTHORS +54 -8
  13. data/vendor/pygments-main/CHANGES +247 -25
  14. data/vendor/pygments-main/LICENSE +1 -1
  15. data/vendor/pygments-main/Makefile +15 -6
  16. data/vendor/pygments-main/README.rst +39 -0
  17. data/vendor/pygments-main/REVISION +1 -1
  18. data/vendor/pygments-main/TODO +0 -3
  19. data/vendor/pygments-main/doc/_themes/pygments14/layout.html +1 -1
  20. data/vendor/pygments-main/doc/_themes/pygments14/static/pygments14.css_t +1 -1
  21. data/vendor/pygments-main/doc/conf.py +3 -11
  22. data/vendor/pygments-main/doc/docs/api.rst +15 -0
  23. data/vendor/pygments-main/doc/docs/cmdline.rst +6 -2
  24. data/vendor/pygments-main/doc/docs/filterdevelopment.rst +4 -3
  25. data/vendor/pygments-main/doc/docs/integrate.rst +11 -15
  26. data/vendor/pygments-main/doc/docs/java.rst +7 -7
  27. data/vendor/pygments-main/doc/docs/lexerdevelopment.rst +258 -171
  28. data/vendor/pygments-main/doc/docs/lexers.rst +2 -2
  29. data/vendor/pygments-main/doc/docs/styles.rst +58 -0
  30. data/vendor/pygments-main/doc/docs/tokens.rst +22 -2
  31. data/vendor/pygments-main/doc/docs/unicode.rst +15 -7
  32. data/vendor/pygments-main/doc/faq.rst +17 -21
  33. data/vendor/pygments-main/doc/index.rst +12 -11
  34. data/vendor/pygments-main/doc/languages.rst +10 -7
  35. data/vendor/pygments-main/external/autopygmentize +9 -6
  36. data/vendor/pygments-main/external/lasso-builtins-generator-9.lasso +70 -52
  37. data/vendor/pygments-main/external/markdown-processor.py +1 -1
  38. data/vendor/pygments-main/external/moin-parser.py +1 -1
  39. data/vendor/pygments-main/external/rst-directive.py +1 -1
  40. data/vendor/pygments-main/pygmentize +2 -1
  41. data/vendor/pygments-main/pygments/__init__.py +14 -15
  42. data/vendor/pygments-main/pygments/cmdline.py +188 -113
  43. data/vendor/pygments-main/pygments/console.py +13 -13
  44. data/vendor/pygments-main/pygments/filter.py +7 -7
  45. data/vendor/pygments-main/pygments/filters/__init__.py +24 -32
  46. data/vendor/pygments-main/pygments/formatter.py +5 -5
  47. data/vendor/pygments-main/pygments/formatters/__init__.py +92 -44
  48. data/vendor/pygments-main/pygments/formatters/_mapping.py +51 -69
  49. data/vendor/pygments-main/pygments/formatters/bbcode.py +1 -1
  50. data/vendor/pygments-main/pygments/formatters/html.py +63 -51
  51. data/vendor/pygments-main/pygments/formatters/img.py +25 -22
  52. data/vendor/pygments-main/pygments/formatters/irc.py +182 -0
  53. data/vendor/pygments-main/pygments/formatters/latex.py +34 -22
  54. data/vendor/pygments-main/pygments/formatters/other.py +5 -7
  55. data/vendor/pygments-main/pygments/formatters/rtf.py +28 -31
  56. data/vendor/pygments-main/pygments/formatters/svg.py +1 -2
  57. data/vendor/pygments-main/pygments/formatters/terminal.py +29 -45
  58. data/vendor/pygments-main/pygments/formatters/terminal256.py +118 -31
  59. data/vendor/pygments-main/pygments/lexer.py +120 -34
  60. data/vendor/pygments-main/pygments/lexers/__init__.py +85 -53
  61. data/vendor/pygments-main/pygments/lexers/{_asybuiltins.py → _asy_builtins.py} +7 -7
  62. data/vendor/pygments-main/pygments/lexers/{_clbuiltins.py → _cl_builtins.py} +17 -17
  63. data/vendor/pygments-main/pygments/lexers/_cocoa_builtins.py +72 -0
  64. data/vendor/pygments-main/pygments/lexers/_csound_builtins.py +1346 -0
  65. data/vendor/pygments-main/pygments/lexers/{_lassobuiltins.py → _lasso_builtins.py} +4699 -4561
  66. data/vendor/pygments-main/pygments/lexers/{_luabuiltins.py → _lua_builtins.py} +91 -51
  67. data/vendor/pygments-main/pygments/lexers/_mapping.py +342 -242
  68. data/vendor/pygments-main/pygments/lexers/_mql_builtins.py +1172 -0
  69. data/vendor/pygments-main/pygments/lexers/_openedge_builtins.py +2547 -0
  70. data/vendor/pygments-main/pygments/lexers/{_phpbuiltins.py → _php_builtins.py} +350 -353
  71. data/vendor/pygments-main/pygments/lexers/_postgres_builtins.py +600 -212
  72. data/vendor/pygments-main/pygments/lexers/_scilab_builtins.py +3084 -30
  73. data/vendor/pygments-main/pygments/lexers/_sourcemod_builtins.py +1163 -0
  74. data/vendor/pygments-main/pygments/lexers/_stan_builtins.py +91 -13
  75. data/vendor/pygments-main/pygments/lexers/_stata_builtins.py +419 -0
  76. data/vendor/pygments-main/pygments/lexers/_tsql_builtins.py +1004 -0
  77. data/vendor/pygments-main/pygments/lexers/_vim_builtins.py +1939 -0
  78. data/vendor/pygments-main/pygments/lexers/actionscript.py +240 -0
  79. data/vendor/pygments-main/pygments/lexers/agile.py +14 -2542
  80. data/vendor/pygments-main/pygments/lexers/algebra.py +221 -0
  81. data/vendor/pygments-main/pygments/lexers/ambient.py +76 -0
  82. data/vendor/pygments-main/pygments/lexers/ampl.py +87 -0
  83. data/vendor/pygments-main/pygments/lexers/apl.py +101 -0
  84. data/vendor/pygments-main/pygments/lexers/archetype.py +318 -0
  85. data/vendor/pygments-main/pygments/lexers/asm.py +276 -81
  86. data/vendor/pygments-main/pygments/lexers/automation.py +374 -0
  87. data/vendor/pygments-main/pygments/lexers/basic.py +500 -0
  88. data/vendor/pygments-main/pygments/lexers/bibtex.py +156 -0
  89. data/vendor/pygments-main/pygments/lexers/business.py +594 -0
  90. data/vendor/pygments-main/pygments/lexers/c_cpp.py +252 -0
  91. data/vendor/pygments-main/pygments/lexers/c_like.py +541 -0
  92. data/vendor/pygments-main/pygments/lexers/capnproto.py +79 -0
  93. data/vendor/pygments-main/pygments/lexers/chapel.py +101 -0
  94. data/vendor/pygments-main/pygments/lexers/clean.py +288 -0
  95. data/vendor/pygments-main/pygments/lexers/compiled.py +24 -5182
  96. data/vendor/pygments-main/pygments/lexers/configs.py +833 -0
  97. data/vendor/pygments-main/pygments/lexers/console.py +114 -0
  98. data/vendor/pygments-main/pygments/lexers/crystal.py +384 -0
  99. data/vendor/pygments-main/pygments/lexers/csound.py +366 -0
  100. data/vendor/pygments-main/pygments/lexers/css.py +689 -0
  101. data/vendor/pygments-main/pygments/lexers/d.py +251 -0
  102. data/vendor/pygments-main/pygments/lexers/dalvik.py +6 -6
  103. data/vendor/pygments-main/pygments/lexers/data.py +555 -0
  104. data/vendor/pygments-main/pygments/lexers/diff.py +165 -0
  105. data/vendor/pygments-main/pygments/lexers/dotnet.py +96 -88
  106. data/vendor/pygments-main/pygments/lexers/dsls.py +878 -0
  107. data/vendor/pygments-main/pygments/lexers/dylan.py +289 -0
  108. data/vendor/pygments-main/pygments/lexers/ecl.py +125 -0
  109. data/vendor/pygments-main/pygments/lexers/eiffel.py +65 -0
  110. data/vendor/pygments-main/pygments/lexers/elm.py +121 -0
  111. data/vendor/pygments-main/pygments/lexers/erlang.py +533 -0
  112. data/vendor/pygments-main/pygments/lexers/esoteric.py +275 -0
  113. data/vendor/pygments-main/pygments/lexers/ezhil.py +68 -0
  114. data/vendor/pygments-main/pygments/lexers/factor.py +344 -0
  115. data/vendor/pygments-main/pygments/lexers/fantom.py +250 -0
  116. data/vendor/pygments-main/pygments/lexers/felix.py +273 -0
  117. data/vendor/pygments-main/pygments/lexers/forth.py +177 -0
  118. data/vendor/pygments-main/pygments/lexers/fortran.py +205 -0
  119. data/vendor/pygments-main/pygments/lexers/foxpro.py +1 -1
  120. data/vendor/pygments-main/pygments/lexers/functional.py +11 -3661
  121. data/vendor/pygments-main/pygments/lexers/go.py +101 -0
  122. data/vendor/pygments-main/pygments/lexers/grammar_notation.py +213 -0
  123. data/vendor/pygments-main/pygments/lexers/graph.py +7 -8
  124. data/vendor/pygments-main/pygments/lexers/graphics.py +553 -0
  125. data/vendor/pygments-main/pygments/lexers/haskell.py +840 -0
  126. data/vendor/pygments-main/pygments/lexers/haxe.py +936 -0
  127. data/vendor/pygments-main/pygments/lexers/hdl.py +172 -145
  128. data/vendor/pygments-main/pygments/lexers/hexdump.py +97 -0
  129. data/vendor/pygments-main/pygments/lexers/html.py +602 -0
  130. data/vendor/pygments-main/pygments/lexers/idl.py +270 -0
  131. data/vendor/pygments-main/pygments/lexers/igor.py +288 -0
  132. data/vendor/pygments-main/pygments/lexers/inferno.py +3 -3
  133. data/vendor/pygments-main/pygments/lexers/installers.py +322 -0
  134. data/vendor/pygments-main/pygments/lexers/int_fiction.py +1343 -0
  135. data/vendor/pygments-main/pygments/lexers/iolang.py +63 -0
  136. data/vendor/pygments-main/pygments/lexers/j.py +146 -0
  137. data/vendor/pygments-main/pygments/lexers/javascript.py +1506 -0
  138. data/vendor/pygments-main/pygments/lexers/julia.py +333 -0
  139. data/vendor/pygments-main/pygments/lexers/jvm.py +232 -186
  140. data/vendor/pygments-main/pygments/lexers/lisp.py +2621 -0
  141. data/vendor/pygments-main/pygments/lexers/make.py +202 -0
  142. data/vendor/pygments-main/pygments/lexers/markup.py +595 -0
  143. data/vendor/pygments-main/pygments/lexers/math.py +11 -2276
  144. data/vendor/pygments-main/pygments/lexers/matlab.py +663 -0
  145. data/vendor/pygments-main/pygments/lexers/ml.py +769 -0
  146. data/vendor/pygments-main/pygments/lexers/modeling.py +358 -0
  147. data/vendor/pygments-main/pygments/lexers/modula2.py +1561 -0
  148. data/vendor/pygments-main/pygments/lexers/monte.py +203 -0
  149. data/vendor/pygments-main/pygments/lexers/ncl.py +1053 -0
  150. data/vendor/pygments-main/pygments/lexers/nimrod.py +159 -0
  151. data/vendor/pygments-main/pygments/lexers/nit.py +64 -0
  152. data/vendor/pygments-main/pygments/lexers/nix.py +136 -0
  153. data/vendor/pygments-main/pygments/lexers/oberon.py +105 -0
  154. data/vendor/pygments-main/pygments/lexers/objective.py +504 -0
  155. data/vendor/pygments-main/pygments/lexers/ooc.py +85 -0
  156. data/vendor/pygments-main/pygments/lexers/other.py +30 -4481
  157. data/vendor/pygments-main/pygments/lexers/parasail.py +79 -0
  158. data/vendor/pygments-main/pygments/lexers/parsers.py +171 -114
  159. data/vendor/pygments-main/pygments/lexers/pascal.py +644 -0
  160. data/vendor/pygments-main/pygments/lexers/pawn.py +199 -0
  161. data/vendor/pygments-main/pygments/lexers/perl.py +616 -0
  162. data/vendor/pygments-main/pygments/lexers/php.py +267 -0
  163. data/vendor/pygments-main/pygments/lexers/praat.py +294 -0
  164. data/vendor/pygments-main/pygments/lexers/prolog.py +306 -0
  165. data/vendor/pygments-main/pygments/lexers/python.py +938 -0
  166. data/vendor/pygments-main/pygments/lexers/qvt.py +152 -0
  167. data/vendor/pygments-main/pygments/lexers/r.py +453 -0
  168. data/vendor/pygments-main/pygments/lexers/rdf.py +195 -24
  169. data/vendor/pygments-main/pygments/lexers/rebol.py +431 -0
  170. data/vendor/pygments-main/pygments/lexers/resource.py +85 -0
  171. data/vendor/pygments-main/pygments/lexers/rnc.py +67 -0
  172. data/vendor/pygments-main/pygments/lexers/roboconf.py +82 -0
  173. data/vendor/pygments-main/pygments/lexers/{_robotframeworklexer.py → robotframework.py} +20 -18
  174. data/vendor/pygments-main/pygments/lexers/ruby.py +519 -0
  175. data/vendor/pygments-main/pygments/lexers/rust.py +209 -0
  176. data/vendor/pygments-main/pygments/lexers/sas.py +228 -0
  177. data/vendor/pygments-main/pygments/lexers/scripting.py +1222 -0
  178. data/vendor/pygments-main/pygments/lexers/shell.py +478 -115
  179. data/vendor/pygments-main/pygments/lexers/smalltalk.py +195 -0
  180. data/vendor/pygments-main/pygments/lexers/smv.py +75 -0
  181. data/vendor/pygments-main/pygments/lexers/snobol.py +83 -0
  182. data/vendor/pygments-main/pygments/lexers/special.py +6 -2
  183. data/vendor/pygments-main/pygments/lexers/sql.py +209 -120
  184. data/vendor/pygments-main/pygments/lexers/stata.py +106 -0
  185. data/vendor/pygments-main/pygments/lexers/supercollider.py +90 -0
  186. data/vendor/pygments-main/pygments/lexers/tcl.py +145 -0
  187. data/vendor/pygments-main/pygments/lexers/templates.py +282 -90
  188. data/vendor/pygments-main/pygments/lexers/testing.py +207 -0
  189. data/vendor/pygments-main/pygments/lexers/text.py +15 -2045
  190. data/vendor/pygments-main/pygments/lexers/textedit.py +169 -0
  191. data/vendor/pygments-main/pygments/lexers/textfmts.py +297 -0
  192. data/vendor/pygments-main/pygments/lexers/theorem.py +458 -0
  193. data/vendor/pygments-main/pygments/lexers/trafficscript.py +54 -0
  194. data/vendor/pygments-main/pygments/lexers/typoscript.py +225 -0
  195. data/vendor/pygments-main/pygments/lexers/urbi.py +133 -0
  196. data/vendor/pygments-main/pygments/lexers/varnish.py +190 -0
  197. data/vendor/pygments-main/pygments/lexers/verification.py +111 -0
  198. data/vendor/pygments-main/pygments/lexers/web.py +13 -4499
  199. data/vendor/pygments-main/pygments/lexers/webmisc.py +979 -0
  200. data/vendor/pygments-main/pygments/lexers/whiley.py +117 -0
  201. data/vendor/pygments-main/pygments/lexers/x10.py +69 -0
  202. data/vendor/pygments-main/pygments/modeline.py +5 -2
  203. data/vendor/pygments-main/pygments/plugin.py +1 -1
  204. data/vendor/pygments-main/pygments/regexopt.py +92 -0
  205. data/vendor/pygments-main/pygments/scanner.py +3 -2
  206. data/vendor/pygments-main/pygments/sphinxext.py +11 -6
  207. data/vendor/pygments-main/pygments/style.py +41 -4
  208. data/vendor/pygments-main/pygments/styles/__init__.py +5 -1
  209. data/vendor/pygments-main/pygments/styles/algol.py +63 -0
  210. data/vendor/pygments-main/pygments/styles/algol_nu.py +63 -0
  211. data/vendor/pygments-main/pygments/styles/arduino.py +98 -0
  212. data/vendor/pygments-main/pygments/styles/autumn.py +1 -1
  213. data/vendor/pygments-main/pygments/styles/borland.py +1 -1
  214. data/vendor/pygments-main/pygments/styles/bw.py +1 -1
  215. data/vendor/pygments-main/pygments/styles/colorful.py +1 -1
  216. data/vendor/pygments-main/pygments/styles/default.py +1 -1
  217. data/vendor/pygments-main/pygments/styles/emacs.py +1 -1
  218. data/vendor/pygments-main/pygments/styles/friendly.py +1 -1
  219. data/vendor/pygments-main/pygments/styles/fruity.py +1 -1
  220. data/vendor/pygments-main/pygments/styles/igor.py +1 -1
  221. data/vendor/pygments-main/pygments/styles/lovelace.py +97 -0
  222. data/vendor/pygments-main/pygments/styles/manni.py +1 -1
  223. data/vendor/pygments-main/pygments/styles/monokai.py +1 -1
  224. data/vendor/pygments-main/pygments/styles/murphy.py +1 -1
  225. data/vendor/pygments-main/pygments/styles/native.py +1 -1
  226. data/vendor/pygments-main/pygments/styles/paraiso_dark.py +1 -1
  227. data/vendor/pygments-main/pygments/styles/paraiso_light.py +1 -1
  228. data/vendor/pygments-main/pygments/styles/pastie.py +1 -1
  229. data/vendor/pygments-main/pygments/styles/perldoc.py +2 -2
  230. data/vendor/pygments-main/pygments/styles/rrt.py +1 -1
  231. data/vendor/pygments-main/pygments/styles/sas.py +41 -0
  232. data/vendor/pygments-main/pygments/styles/stata.py +37 -0
  233. data/vendor/pygments-main/pygments/styles/tango.py +1 -1
  234. data/vendor/pygments-main/pygments/styles/trac.py +1 -1
  235. data/vendor/pygments-main/pygments/styles/vim.py +1 -1
  236. data/vendor/pygments-main/pygments/styles/vs.py +1 -1
  237. data/vendor/pygments-main/pygments/styles/xcode.py +1 -1
  238. data/vendor/pygments-main/pygments/token.py +31 -16
  239. data/vendor/pygments-main/pygments/unistring.py +141 -65
  240. data/vendor/pygments-main/pygments/util.py +129 -33
  241. data/vendor/pygments-main/requirements.txt +5 -0
  242. data/vendor/pygments-main/scripts/check_sources.py +25 -40
  243. data/vendor/pygments-main/scripts/debug_lexer.py +246 -0
  244. data/vendor/pygments-main/scripts/find_error.py +1 -0
  245. data/vendor/pygments-main/scripts/get_vimkw.py +35 -4
  246. data/vendor/pygments-main/setup.cfg +3 -0
  247. data/vendor/pygments-main/setup.py +17 -30
  248. data/vendor/pygments-main/tox.ini +7 -0
  249. metadata +159 -387
  250. data/vendor/pygments-main/ez_setup.py +0 -382
  251. data/vendor/pygments-main/pygments/lexers/_cocoabuiltins.py +0 -73
  252. data/vendor/pygments-main/pygments/lexers/_openedgebuiltins.py +0 -562
  253. data/vendor/pygments-main/pygments/lexers/_sourcemodbuiltins.py +0 -1077
  254. data/vendor/pygments-main/pygments/lexers/_vimbuiltins.py +0 -13
  255. data/vendor/pygments-main/pygments/lexers/qbasic.py +0 -157
  256. data/vendor/pygments-main/scripts/find_codetags.py +0 -213
  257. data/vendor/pygments-main/scripts/find_error.py +0 -173
  258. data/vendor/pygments-main/tests/dtds/HTML4-f.dtd +0 -37
  259. data/vendor/pygments-main/tests/dtds/HTML4-s.dtd +0 -869
  260. data/vendor/pygments-main/tests/dtds/HTML4.dcl +0 -88
  261. data/vendor/pygments-main/tests/dtds/HTML4.dtd +0 -1092
  262. data/vendor/pygments-main/tests/dtds/HTML4.soc +0 -9
  263. data/vendor/pygments-main/tests/dtds/HTMLlat1.ent +0 -195
  264. data/vendor/pygments-main/tests/dtds/HTMLspec.ent +0 -77
  265. data/vendor/pygments-main/tests/dtds/HTMLsym.ent +0 -241
  266. data/vendor/pygments-main/tests/examplefiles/99_bottles_of_beer.chpl +0 -118
  267. data/vendor/pygments-main/tests/examplefiles/AcidStateAdvanced.hs +0 -209
  268. data/vendor/pygments-main/tests/examplefiles/AlternatingGroup.mu +0 -102
  269. data/vendor/pygments-main/tests/examplefiles/BOM.js +0 -1
  270. data/vendor/pygments-main/tests/examplefiles/CPDictionary.j +0 -611
  271. data/vendor/pygments-main/tests/examplefiles/Config.in.cache +0 -1973
  272. data/vendor/pygments-main/tests/examplefiles/Constants.mo +0 -158
  273. data/vendor/pygments-main/tests/examplefiles/DancingSudoku.lhs +0 -411
  274. data/vendor/pygments-main/tests/examplefiles/Deflate.fs +0 -578
  275. data/vendor/pygments-main/tests/examplefiles/Error.pmod +0 -38
  276. data/vendor/pygments-main/tests/examplefiles/Errors.scala +0 -18
  277. data/vendor/pygments-main/tests/examplefiles/FakeFile.pike +0 -360
  278. data/vendor/pygments-main/tests/examplefiles/Get-CommandDefinitionHtml.ps1 +0 -66
  279. data/vendor/pygments-main/tests/examplefiles/IPDispatchC.nc +0 -104
  280. data/vendor/pygments-main/tests/examplefiles/IPDispatchP.nc +0 -671
  281. data/vendor/pygments-main/tests/examplefiles/Intro.java +0 -1660
  282. data/vendor/pygments-main/tests/examplefiles/Makefile +0 -1131
  283. data/vendor/pygments-main/tests/examplefiles/Object.st +0 -4394
  284. data/vendor/pygments-main/tests/examplefiles/OrderedMap.hx +0 -584
  285. data/vendor/pygments-main/tests/examplefiles/RoleQ.pm6 +0 -23
  286. data/vendor/pygments-main/tests/examplefiles/SmallCheck.hs +0 -378
  287. data/vendor/pygments-main/tests/examplefiles/Sorting.mod +0 -470
  288. data/vendor/pygments-main/tests/examplefiles/Sudoku.lhs +0 -382
  289. data/vendor/pygments-main/tests/examplefiles/addressbook.proto +0 -30
  290. data/vendor/pygments-main/tests/examplefiles/antlr_ANTLRv3.g +0 -608
  291. data/vendor/pygments-main/tests/examplefiles/antlr_throws +0 -1
  292. data/vendor/pygments-main/tests/examplefiles/apache2.conf +0 -393
  293. data/vendor/pygments-main/tests/examplefiles/as3_test.as +0 -143
  294. data/vendor/pygments-main/tests/examplefiles/as3_test2.as +0 -46
  295. data/vendor/pygments-main/tests/examplefiles/as3_test3.as +0 -3
  296. data/vendor/pygments-main/tests/examplefiles/aspx-cs_example +0 -27
  297. data/vendor/pygments-main/tests/examplefiles/autoit_submit.au3 +0 -25
  298. data/vendor/pygments-main/tests/examplefiles/badcase.java +0 -2
  299. data/vendor/pygments-main/tests/examplefiles/batchfile.bat +0 -49
  300. data/vendor/pygments-main/tests/examplefiles/bigtest.nsi +0 -308
  301. data/vendor/pygments-main/tests/examplefiles/boot-9.scm +0 -1557
  302. data/vendor/pygments-main/tests/examplefiles/ca65_example +0 -284
  303. data/vendor/pygments-main/tests/examplefiles/cbmbas_example +0 -9
  304. data/vendor/pygments-main/tests/examplefiles/cells.ps +0 -515
  305. data/vendor/pygments-main/tests/examplefiles/ceval.c +0 -2604
  306. data/vendor/pygments-main/tests/examplefiles/cheetah_example.html +0 -13
  307. data/vendor/pygments-main/tests/examplefiles/classes.dylan +0 -125
  308. data/vendor/pygments-main/tests/examplefiles/clojure-weird-keywords.clj +0 -5
  309. data/vendor/pygments-main/tests/examplefiles/condensed_ruby.rb +0 -10
  310. data/vendor/pygments-main/tests/examplefiles/coq_RelationClasses +0 -447
  311. data/vendor/pygments-main/tests/examplefiles/core.cljs +0 -52
  312. data/vendor/pygments-main/tests/examplefiles/database.pytb +0 -20
  313. data/vendor/pygments-main/tests/examplefiles/de.MoinMoin.po +0 -2461
  314. data/vendor/pygments-main/tests/examplefiles/demo.ahk +0 -181
  315. data/vendor/pygments-main/tests/examplefiles/demo.cfm +0 -50
  316. data/vendor/pygments-main/tests/examplefiles/demo.hbs +0 -12
  317. data/vendor/pygments-main/tests/examplefiles/django_sample.html+django +0 -68
  318. data/vendor/pygments-main/tests/examplefiles/dwarf.cw +0 -17
  319. data/vendor/pygments-main/tests/examplefiles/ember.handlebars +0 -33
  320. data/vendor/pygments-main/tests/examplefiles/erl_session +0 -10
  321. data/vendor/pygments-main/tests/examplefiles/escape_semicolon.clj +0 -1
  322. data/vendor/pygments-main/tests/examplefiles/evil_regex.js +0 -48
  323. data/vendor/pygments-main/tests/examplefiles/example.Rd +0 -78
  324. data/vendor/pygments-main/tests/examplefiles/example.als +0 -217
  325. data/vendor/pygments-main/tests/examplefiles/example.bug +0 -54
  326. data/vendor/pygments-main/tests/examplefiles/example.c +0 -2080
  327. data/vendor/pygments-main/tests/examplefiles/example.ceylon +0 -52
  328. data/vendor/pygments-main/tests/examplefiles/example.chai +0 -6
  329. data/vendor/pygments-main/tests/examplefiles/example.clay +0 -33
  330. data/vendor/pygments-main/tests/examplefiles/example.cls +0 -15
  331. data/vendor/pygments-main/tests/examplefiles/example.cob +0 -3556
  332. data/vendor/pygments-main/tests/examplefiles/example.coffee +0 -27
  333. data/vendor/pygments-main/tests/examplefiles/example.cpp +0 -2363
  334. data/vendor/pygments-main/tests/examplefiles/example.e +0 -124
  335. data/vendor/pygments-main/tests/examplefiles/example.f90 +0 -8
  336. data/vendor/pygments-main/tests/examplefiles/example.feature +0 -16
  337. data/vendor/pygments-main/tests/examplefiles/example.gd +0 -23
  338. data/vendor/pygments-main/tests/examplefiles/example.gi +0 -64
  339. data/vendor/pygments-main/tests/examplefiles/example.groovy +0 -2
  340. data/vendor/pygments-main/tests/examplefiles/example.gs +0 -106
  341. data/vendor/pygments-main/tests/examplefiles/example.gst +0 -7
  342. data/vendor/pygments-main/tests/examplefiles/example.hs +0 -27
  343. data/vendor/pygments-main/tests/examplefiles/example.hx +0 -185
  344. data/vendor/pygments-main/tests/examplefiles/example.i6t +0 -32
  345. data/vendor/pygments-main/tests/examplefiles/example.i7x +0 -45
  346. data/vendor/pygments-main/tests/examplefiles/example.inf +0 -374
  347. data/vendor/pygments-main/tests/examplefiles/example.j +0 -564
  348. data/vendor/pygments-main/tests/examplefiles/example.jag +0 -48
  349. data/vendor/pygments-main/tests/examplefiles/example.java +0 -16
  350. data/vendor/pygments-main/tests/examplefiles/example.kal +0 -75
  351. data/vendor/pygments-main/tests/examplefiles/example.kt +0 -47
  352. data/vendor/pygments-main/tests/examplefiles/example.lagda +0 -19
  353. data/vendor/pygments-main/tests/examplefiles/example.liquid +0 -42
  354. data/vendor/pygments-main/tests/examplefiles/example.lua +0 -250
  355. data/vendor/pygments-main/tests/examplefiles/example.ma +0 -8
  356. data/vendor/pygments-main/tests/examplefiles/example.monkey +0 -152
  357. data/vendor/pygments-main/tests/examplefiles/example.moo +0 -26
  358. data/vendor/pygments-main/tests/examplefiles/example.moon +0 -629
  359. data/vendor/pygments-main/tests/examplefiles/example.mq4 +0 -187
  360. data/vendor/pygments-main/tests/examplefiles/example.mqh +0 -123
  361. data/vendor/pygments-main/tests/examplefiles/example.msc +0 -43
  362. data/vendor/pygments-main/tests/examplefiles/example.ni +0 -57
  363. data/vendor/pygments-main/tests/examplefiles/example.nim +0 -1010
  364. data/vendor/pygments-main/tests/examplefiles/example.nix +0 -80
  365. data/vendor/pygments-main/tests/examplefiles/example.ns2 +0 -69
  366. data/vendor/pygments-main/tests/examplefiles/example.pas +0 -2708
  367. data/vendor/pygments-main/tests/examplefiles/example.pp +0 -8
  368. data/vendor/pygments-main/tests/examplefiles/example.prg +0 -161
  369. data/vendor/pygments-main/tests/examplefiles/example.rb +0 -1852
  370. data/vendor/pygments-main/tests/examplefiles/example.red +0 -257
  371. data/vendor/pygments-main/tests/examplefiles/example.reds +0 -150
  372. data/vendor/pygments-main/tests/examplefiles/example.reg +0 -19
  373. data/vendor/pygments-main/tests/examplefiles/example.rexx +0 -50
  374. data/vendor/pygments-main/tests/examplefiles/example.rhtml +0 -561
  375. data/vendor/pygments-main/tests/examplefiles/example.rkt +0 -743
  376. data/vendor/pygments-main/tests/examplefiles/example.rpf +0 -4
  377. data/vendor/pygments-main/tests/examplefiles/example.sh +0 -22
  378. data/vendor/pygments-main/tests/examplefiles/example.sh-session +0 -19
  379. data/vendor/pygments-main/tests/examplefiles/example.shell-session +0 -45
  380. data/vendor/pygments-main/tests/examplefiles/example.slim +0 -31
  381. data/vendor/pygments-main/tests/examplefiles/example.sls +0 -51
  382. data/vendor/pygments-main/tests/examplefiles/example.sml +0 -156
  383. data/vendor/pygments-main/tests/examplefiles/example.snobol +0 -15
  384. data/vendor/pygments-main/tests/examplefiles/example.stan +0 -110
  385. data/vendor/pygments-main/tests/examplefiles/example.tea +0 -34
  386. data/vendor/pygments-main/tests/examplefiles/example.todotxt +0 -9
  387. data/vendor/pygments-main/tests/examplefiles/example.ts +0 -28
  388. data/vendor/pygments-main/tests/examplefiles/example.u +0 -548
  389. data/vendor/pygments-main/tests/examplefiles/example.weechatlog +0 -9
  390. data/vendor/pygments-main/tests/examplefiles/example.xhtml +0 -376
  391. data/vendor/pygments-main/tests/examplefiles/example.xtend +0 -34
  392. data/vendor/pygments-main/tests/examplefiles/example.yaml +0 -302
  393. data/vendor/pygments-main/tests/examplefiles/example2.aspx +0 -29
  394. data/vendor/pygments-main/tests/examplefiles/example2.msc +0 -79
  395. data/vendor/pygments-main/tests/examplefiles/exampleScript.cfc +0 -241
  396. data/vendor/pygments-main/tests/examplefiles/exampleTag.cfc +0 -18
  397. data/vendor/pygments-main/tests/examplefiles/example_elixir.ex +0 -205
  398. data/vendor/pygments-main/tests/examplefiles/example_file.fy +0 -128
  399. data/vendor/pygments-main/tests/examplefiles/firefox.mak +0 -586
  400. data/vendor/pygments-main/tests/examplefiles/flipflop.sv +0 -19
  401. data/vendor/pygments-main/tests/examplefiles/foo.sce +0 -6
  402. data/vendor/pygments-main/tests/examplefiles/format.ml +0 -1213
  403. data/vendor/pygments-main/tests/examplefiles/fucked_up.rb +0 -77
  404. data/vendor/pygments-main/tests/examplefiles/function.mu +0 -1
  405. data/vendor/pygments-main/tests/examplefiles/functional.rst +0 -1472
  406. data/vendor/pygments-main/tests/examplefiles/garcia-wachs.kk +0 -133
  407. data/vendor/pygments-main/tests/examplefiles/genclass.clj +0 -510
  408. data/vendor/pygments-main/tests/examplefiles/genshi_example.xml+genshi +0 -193
  409. data/vendor/pygments-main/tests/examplefiles/genshitext_example.genshitext +0 -33
  410. data/vendor/pygments-main/tests/examplefiles/glsl.frag +0 -7
  411. data/vendor/pygments-main/tests/examplefiles/glsl.vert +0 -13
  412. data/vendor/pygments-main/tests/examplefiles/grammar-test.p6 +0 -22
  413. data/vendor/pygments-main/tests/examplefiles/hash_syntax.rb +0 -5
  414. data/vendor/pygments-main/tests/examplefiles/hello.at +0 -6
  415. data/vendor/pygments-main/tests/examplefiles/hello.golo +0 -5
  416. data/vendor/pygments-main/tests/examplefiles/hello.lsl +0 -12
  417. data/vendor/pygments-main/tests/examplefiles/hello.smali +0 -40
  418. data/vendor/pygments-main/tests/examplefiles/hello.sp +0 -9
  419. data/vendor/pygments-main/tests/examplefiles/html+php_faulty.php +0 -1
  420. data/vendor/pygments-main/tests/examplefiles/http_request_example +0 -15
  421. data/vendor/pygments-main/tests/examplefiles/http_response_example +0 -29
  422. data/vendor/pygments-main/tests/examplefiles/hybris_File.hy +0 -174
  423. data/vendor/pygments-main/tests/examplefiles/idl_sample.pro +0 -73
  424. data/vendor/pygments-main/tests/examplefiles/iex_example +0 -23
  425. data/vendor/pygments-main/tests/examplefiles/inet_pton6.dg +0 -71
  426. data/vendor/pygments-main/tests/examplefiles/intro.ik +0 -24
  427. data/vendor/pygments-main/tests/examplefiles/ints.php +0 -10
  428. data/vendor/pygments-main/tests/examplefiles/intsyn.fun +0 -675
  429. data/vendor/pygments-main/tests/examplefiles/intsyn.sig +0 -286
  430. data/vendor/pygments-main/tests/examplefiles/irb_heredoc +0 -8
  431. data/vendor/pygments-main/tests/examplefiles/irc.lsp +0 -214
  432. data/vendor/pygments-main/tests/examplefiles/java.properties +0 -16
  433. data/vendor/pygments-main/tests/examplefiles/jbst_example1.jbst +0 -28
  434. data/vendor/pygments-main/tests/examplefiles/jbst_example2.jbst +0 -45
  435. data/vendor/pygments-main/tests/examplefiles/jinjadesignerdoc.rst +0 -713
  436. data/vendor/pygments-main/tests/examplefiles/json.lasso +0 -301
  437. data/vendor/pygments-main/tests/examplefiles/json.lasso9 +0 -213
  438. data/vendor/pygments-main/tests/examplefiles/language.hy +0 -165
  439. data/vendor/pygments-main/tests/examplefiles/lighttpd_config.conf +0 -13
  440. data/vendor/pygments-main/tests/examplefiles/limbo.b +0 -456
  441. data/vendor/pygments-main/tests/examplefiles/linecontinuation.py +0 -47
  442. data/vendor/pygments-main/tests/examplefiles/livescript-demo.ls +0 -43
  443. data/vendor/pygments-main/tests/examplefiles/logos_example.xm +0 -28
  444. data/vendor/pygments-main/tests/examplefiles/ltmain.sh +0 -2849
  445. data/vendor/pygments-main/tests/examplefiles/main.cmake +0 -44
  446. data/vendor/pygments-main/tests/examplefiles/markdown.lsp +0 -679
  447. data/vendor/pygments-main/tests/examplefiles/matlab_noreturn +0 -3
  448. data/vendor/pygments-main/tests/examplefiles/matlab_sample +0 -30
  449. data/vendor/pygments-main/tests/examplefiles/matlabsession_sample.txt +0 -37
  450. data/vendor/pygments-main/tests/examplefiles/metagrammar.treetop +0 -455
  451. data/vendor/pygments-main/tests/examplefiles/minehunt.qml +0 -112
  452. data/vendor/pygments-main/tests/examplefiles/minimal.ns2 +0 -4
  453. data/vendor/pygments-main/tests/examplefiles/moin_SyntaxReference.txt +0 -340
  454. data/vendor/pygments-main/tests/examplefiles/multiline_regexes.rb +0 -38
  455. data/vendor/pygments-main/tests/examplefiles/nanomsg.intr +0 -95
  456. data/vendor/pygments-main/tests/examplefiles/nasm_aoutso.asm +0 -96
  457. data/vendor/pygments-main/tests/examplefiles/nasm_objexe.asm +0 -30
  458. data/vendor/pygments-main/tests/examplefiles/nemerle_sample.n +0 -87
  459. data/vendor/pygments-main/tests/examplefiles/nginx_nginx.conf +0 -118
  460. data/vendor/pygments-main/tests/examplefiles/numbers.c +0 -12
  461. data/vendor/pygments-main/tests/examplefiles/objc_example.m +0 -179
  462. data/vendor/pygments-main/tests/examplefiles/openedge_example +0 -34
  463. data/vendor/pygments-main/tests/examplefiles/pawn_example +0 -25
  464. data/vendor/pygments-main/tests/examplefiles/perl_misc +0 -62
  465. data/vendor/pygments-main/tests/examplefiles/perl_perl5db +0 -998
  466. data/vendor/pygments-main/tests/examplefiles/perl_regex-delims +0 -120
  467. data/vendor/pygments-main/tests/examplefiles/perlfunc.1 +0 -856
  468. data/vendor/pygments-main/tests/examplefiles/phpMyAdmin.spec +0 -163
  469. data/vendor/pygments-main/tests/examplefiles/phpcomplete.vim +0 -567
  470. data/vendor/pygments-main/tests/examplefiles/pleac.in.rb +0 -1223
  471. data/vendor/pygments-main/tests/examplefiles/postgresql_test.txt +0 -47
  472. data/vendor/pygments-main/tests/examplefiles/pppoe.applescript +0 -10
  473. data/vendor/pygments-main/tests/examplefiles/psql_session.txt +0 -122
  474. data/vendor/pygments-main/tests/examplefiles/py3_test.txt +0 -2
  475. data/vendor/pygments-main/tests/examplefiles/py3tb_test.py3tb +0 -4
  476. data/vendor/pygments-main/tests/examplefiles/pycon_test.pycon +0 -14
  477. data/vendor/pygments-main/tests/examplefiles/pytb_test2.pytb +0 -2
  478. data/vendor/pygments-main/tests/examplefiles/pytb_test3.pytb +0 -4
  479. data/vendor/pygments-main/tests/examplefiles/python25-bsd.mak +0 -234
  480. data/vendor/pygments-main/tests/examplefiles/qbasic_example +0 -2
  481. data/vendor/pygments-main/tests/examplefiles/qsort.prolog +0 -13
  482. data/vendor/pygments-main/tests/examplefiles/r-console-transcript.Rout +0 -38
  483. data/vendor/pygments-main/tests/examplefiles/r6rs-comments.scm +0 -23
  484. data/vendor/pygments-main/tests/examplefiles/ragel-cpp_rlscan +0 -280
  485. data/vendor/pygments-main/tests/examplefiles/ragel-cpp_snippet +0 -2
  486. data/vendor/pygments-main/tests/examplefiles/regex.js +0 -22
  487. data/vendor/pygments-main/tests/examplefiles/reversi.lsp +0 -427
  488. data/vendor/pygments-main/tests/examplefiles/robotframework_test.txt +0 -39
  489. data/vendor/pygments-main/tests/examplefiles/rql-queries.rql +0 -34
  490. data/vendor/pygments-main/tests/examplefiles/ruby_func_def.rb +0 -11
  491. data/vendor/pygments-main/tests/examplefiles/rust_example.rs +0 -233
  492. data/vendor/pygments-main/tests/examplefiles/scilab.sci +0 -30
  493. data/vendor/pygments-main/tests/examplefiles/scope.cirru +0 -43
  494. data/vendor/pygments-main/tests/examplefiles/session.dylan-console +0 -9
  495. data/vendor/pygments-main/tests/examplefiles/sibling.prolog +0 -19
  496. data/vendor/pygments-main/tests/examplefiles/simple.md +0 -747
  497. data/vendor/pygments-main/tests/examplefiles/smarty_example.html +0 -209
  498. data/vendor/pygments-main/tests/examplefiles/source.lgt +0 -343
  499. data/vendor/pygments-main/tests/examplefiles/sources.list +0 -62
  500. data/vendor/pygments-main/tests/examplefiles/sparql.rq +0 -23
  501. data/vendor/pygments-main/tests/examplefiles/sphere.pov +0 -18
  502. data/vendor/pygments-main/tests/examplefiles/sqlite3.sqlite3-console +0 -27
  503. data/vendor/pygments-main/tests/examplefiles/squid.conf +0 -30
  504. data/vendor/pygments-main/tests/examplefiles/string.jl +0 -1031
  505. data/vendor/pygments-main/tests/examplefiles/string_delimiters.d +0 -21
  506. data/vendor/pygments-main/tests/examplefiles/stripheredoc.sh +0 -3
  507. data/vendor/pygments-main/tests/examplefiles/swig_java.swg +0 -1329
  508. data/vendor/pygments-main/tests/examplefiles/swig_std_vector.i +0 -225
  509. data/vendor/pygments-main/tests/examplefiles/test.R +0 -185
  510. data/vendor/pygments-main/tests/examplefiles/test.adb +0 -211
  511. data/vendor/pygments-main/tests/examplefiles/test.agda +0 -102
  512. data/vendor/pygments-main/tests/examplefiles/test.apl +0 -26
  513. data/vendor/pygments-main/tests/examplefiles/test.asy +0 -131
  514. data/vendor/pygments-main/tests/examplefiles/test.awk +0 -121
  515. data/vendor/pygments-main/tests/examplefiles/test.bb +0 -95
  516. data/vendor/pygments-main/tests/examplefiles/test.bmx +0 -145
  517. data/vendor/pygments-main/tests/examplefiles/test.boo +0 -39
  518. data/vendor/pygments-main/tests/examplefiles/test.bro +0 -250
  519. data/vendor/pygments-main/tests/examplefiles/test.cs +0 -374
  520. data/vendor/pygments-main/tests/examplefiles/test.css +0 -54
  521. data/vendor/pygments-main/tests/examplefiles/test.cu +0 -36
  522. data/vendor/pygments-main/tests/examplefiles/test.cyp +0 -123
  523. data/vendor/pygments-main/tests/examplefiles/test.d +0 -135
  524. data/vendor/pygments-main/tests/examplefiles/test.dart +0 -23
  525. data/vendor/pygments-main/tests/examplefiles/test.dtd +0 -89
  526. data/vendor/pygments-main/tests/examplefiles/test.ebnf +0 -31
  527. data/vendor/pygments-main/tests/examplefiles/test.ec +0 -605
  528. data/vendor/pygments-main/tests/examplefiles/test.ecl +0 -58
  529. data/vendor/pygments-main/tests/examplefiles/test.eh +0 -315
  530. data/vendor/pygments-main/tests/examplefiles/test.erl +0 -169
  531. data/vendor/pygments-main/tests/examplefiles/test.evoque +0 -33
  532. data/vendor/pygments-main/tests/examplefiles/test.fan +0 -818
  533. data/vendor/pygments-main/tests/examplefiles/test.flx +0 -57
  534. data/vendor/pygments-main/tests/examplefiles/test.gdc +0 -13
  535. data/vendor/pygments-main/tests/examplefiles/test.groovy +0 -97
  536. data/vendor/pygments-main/tests/examplefiles/test.html +0 -339
  537. data/vendor/pygments-main/tests/examplefiles/test.idr +0 -93
  538. data/vendor/pygments-main/tests/examplefiles/test.ini +0 -10
  539. data/vendor/pygments-main/tests/examplefiles/test.java +0 -653
  540. data/vendor/pygments-main/tests/examplefiles/test.jsp +0 -24
  541. data/vendor/pygments-main/tests/examplefiles/test.maql +0 -45
  542. data/vendor/pygments-main/tests/examplefiles/test.mask +0 -41
  543. data/vendor/pygments-main/tests/examplefiles/test.mod +0 -374
  544. data/vendor/pygments-main/tests/examplefiles/test.moo +0 -51
  545. data/vendor/pygments-main/tests/examplefiles/test.myt +0 -166
  546. data/vendor/pygments-main/tests/examplefiles/test.nim +0 -93
  547. data/vendor/pygments-main/tests/examplefiles/test.opa +0 -10
  548. data/vendor/pygments-main/tests/examplefiles/test.p6 +0 -252
  549. data/vendor/pygments-main/tests/examplefiles/test.pan +0 -54
  550. data/vendor/pygments-main/tests/examplefiles/test.pas +0 -743
  551. data/vendor/pygments-main/tests/examplefiles/test.php +0 -507
  552. data/vendor/pygments-main/tests/examplefiles/test.pig +0 -148
  553. data/vendor/pygments-main/tests/examplefiles/test.plot +0 -333
  554. data/vendor/pygments-main/tests/examplefiles/test.ps1 +0 -108
  555. data/vendor/pygments-main/tests/examplefiles/test.pwn +0 -253
  556. data/vendor/pygments-main/tests/examplefiles/test.pypylog +0 -1839
  557. data/vendor/pygments-main/tests/examplefiles/test.r3 +0 -114
  558. data/vendor/pygments-main/tests/examplefiles/test.rb +0 -177
  559. data/vendor/pygments-main/tests/examplefiles/test.rhtml +0 -43
  560. data/vendor/pygments-main/tests/examplefiles/test.rsl +0 -111
  561. data/vendor/pygments-main/tests/examplefiles/test.scaml +0 -8
  562. data/vendor/pygments-main/tests/examplefiles/test.ssp +0 -12
  563. data/vendor/pygments-main/tests/examplefiles/test.swift +0 -65
  564. data/vendor/pygments-main/tests/examplefiles/test.tcsh +0 -830
  565. data/vendor/pygments-main/tests/examplefiles/test.vb +0 -407
  566. data/vendor/pygments-main/tests/examplefiles/test.vhdl +0 -161
  567. data/vendor/pygments-main/tests/examplefiles/test.xqy +0 -138
  568. data/vendor/pygments-main/tests/examplefiles/test.xsl +0 -23
  569. data/vendor/pygments-main/tests/examplefiles/test.zep +0 -33
  570. data/vendor/pygments-main/tests/examplefiles/test2.pypylog +0 -120
  571. data/vendor/pygments-main/tests/examplefiles/truncated.pytb +0 -15
  572. data/vendor/pygments-main/tests/examplefiles/type.lisp +0 -1218
  573. data/vendor/pygments-main/tests/examplefiles/underscore.coffee +0 -603
  574. data/vendor/pygments-main/tests/examplefiles/unicode.applescript +0 -5
  575. data/vendor/pygments-main/tests/examplefiles/unicode.go +0 -10
  576. data/vendor/pygments-main/tests/examplefiles/unicodedoc.py +0 -11
  577. data/vendor/pygments-main/tests/examplefiles/unix-io.lid +0 -37
  578. data/vendor/pygments-main/tests/examplefiles/vbnet_test.bas +0 -29
  579. data/vendor/pygments-main/tests/examplefiles/vctreestatus_hg +0 -4
  580. data/vendor/pygments-main/tests/examplefiles/vimrc +0 -21
  581. data/vendor/pygments-main/tests/examplefiles/webkit-transition.css +0 -3
  582. data/vendor/pygments-main/tests/examplefiles/while.pov +0 -13
  583. data/vendor/pygments-main/tests/examplefiles/wiki.factor +0 -384
  584. data/vendor/pygments-main/tests/examplefiles/xml_example +0 -1897
  585. data/vendor/pygments-main/tests/examplefiles/zmlrpc.f90 +0 -798
  586. data/vendor/pygments-main/tests/run.py +0 -44
  587. data/vendor/pygments-main/tests/string_asserts.py +0 -22
  588. data/vendor/pygments-main/tests/support.py +0 -15
  589. data/vendor/pygments-main/tests/support/tags +0 -36
  590. data/vendor/pygments-main/tests/test_basic_api.py +0 -309
  591. data/vendor/pygments-main/tests/test_cfm.py +0 -46
  592. data/vendor/pygments-main/tests/test_clexer.py +0 -236
  593. data/vendor/pygments-main/tests/test_cmdline.py +0 -106
  594. data/vendor/pygments-main/tests/test_examplefiles.py +0 -110
  595. data/vendor/pygments-main/tests/test_html_formatter.py +0 -180
  596. data/vendor/pygments-main/tests/test_latex_formatter.py +0 -57
  597. data/vendor/pygments-main/tests/test_lexers_other.py +0 -68
  598. data/vendor/pygments-main/tests/test_objectiveclexer.py +0 -81
  599. data/vendor/pygments-main/tests/test_perllexer.py +0 -137
  600. data/vendor/pygments-main/tests/test_qbasiclexer.py +0 -43
  601. data/vendor/pygments-main/tests/test_regexlexer.py +0 -54
  602. data/vendor/pygments-main/tests/test_rtf_formatter.py +0 -109
  603. data/vendor/pygments-main/tests/test_string_asserts.py +0 -39
  604. data/vendor/pygments-main/tests/test_token.py +0 -46
  605. data/vendor/pygments-main/tests/test_using_api.py +0 -40
  606. data/vendor/pygments-main/tests/test_util.py +0 -135
data/vendor/pygments-main/tests/examplefiles/cheetah_example.html DELETED
@@ -1,13 +0,0 @@
1
- <html>
2
- <head><title>$title</title></head>
3
- <body>
4
- <table>
5
- #for $client in $clients
6
- <tr>
7
- <td>$client.surname, $client.firstname</td>
8
- <td><a href="mailto:$client.email">$client.email</a></td>
9
- </tr>
10
- #end for
11
- </table>
12
- </body>
13
- </html>
data/vendor/pygments-main/tests/examplefiles/classes.dylan DELETED
@@ -1,125 +0,0 @@
1
- module: sample
2
- comment: for make sure that does not highlight per word.
3
- and it continues on to the next line.
4
-
5
- define class <car> (<object>)
6
- slot serial-number :: <integer> = unique-serial-number();
7
- constant slot model-name :: <string>,
8
- required-init-keyword: model:;
9
- each-subclass slot has-sunroof? :: <boolean>,
10
- init-keyword: sunroof?:,
11
- init-value: #f;
12
- keyword foo:;
13
- required keyword bar:;
14
- end class <car>;
15
-
16
- define class <flying-car> (<car>)
17
- end class <flying-car>;
18
-
19
- let flying-car = make(<flying-car>);
20
- let car? :: <car?> = #f;
21
- let prefixed-car :: <vehicles/car> = #f;
22
- let model :: <car-911> = #f;
23
-
24
- define constant $empty-string = "";
25
- define constant $escaped-backslash = '\\';
26
- define constant $escaped-single-quote = '\'';
27
-
28
- define variable *unique-serial-number* = 0;
29
-
30
- define function unique-serial-number() => (usn :: <integer>)
31
- let serial = *unique-serial-number*;
32
- *unique-serial-number* := *unique-serial-number* + 1;
33
- serial;
34
- end function;
35
-
36
- define constant $blue-car = make(<car>, model: "Viper");
37
- define constant $black-car = make(<car>, model: "Town Car", sunroof?: #t);
38
- define constant $red-car = make(<car>, model: "F40", sunroof?: #f);
39
-
40
- define method foo() => _ :: <boolean>
41
- #t
42
- end method;
43
-
44
- define method foo() => _ :: <boolean>;
45
- #t
46
- end method;
47
-
48
- define method \+
49
- (offset1 :: <time-offset>, offset2 :: <time-offset>)
50
- => (sum :: <time-offset>)
51
- let sum = offset1.total-seconds + offset2.total-seconds;
52
- make(<time-offset>, total-seconds: sum);
53
- end method \+;
54
-
55
- define method bar ()
56
- 1 | 2 & 3
57
- end
58
-
59
- if (bar)
60
- 1
61
- elseif (foo)
62
- 2
63
- else
64
- 3
65
- end if;
66
-
67
- select (foo by instance?)
68
- <integer> => 1
69
- otherwise => 3
70
- end select;
71
-
72
- /* multi
73
- line
74
- comment
75
- */
76
-
77
- /* multi line comments
78
- /* can be */
79
- nested */
80
-
81
- define constant $symbol = #"hello";
82
- define variable *vector* = #[3.5, 5]
83
- define constant $list = #(1, 2);
84
- define constant $pair = #(1 . "foo")
85
-
86
- let octal-number = #o238;
87
- let hex-number = #x3890ADEF;
88
- let binary-number = #b1010;
89
- let float-exponent = 3.5e10;
90
-
91
- block (return)
92
- with-lock (lock)
93
- return();
94
- end;
95
- exception (e :: <error>)
96
- format-out("Oh no");
97
- cleanup
98
- return();
99
- afterwards
100
- format-out("Hello");
101
- end;
102
-
103
- define macro repeat
104
- { repeat ?:body end }
105
- => { block (?=stop!)
106
- local method again() ?body; again() end;
107
- again();
108
- end }
109
- end macro repeat;
110
-
111
- define macro with-decoded-seconds
112
- {
113
- with-decoded-seconds
114
- (?max:variable, ?min:variable, ?sec:variable = ?time:expression)
115
- ?:body
116
- end
117
- }
118
- => {
119
- let (?max, ?min, ?sec) = decode-total-seconds(?time);
120
- ?body
121
- }
122
- end macro;
123
-
124
- let x = "This size call should be seen as a builtin despite the odd case.".siZe;
125
-
data/vendor/pygments-main/tests/examplefiles/clojure-weird-keywords.clj DELETED
@@ -1,5 +0,0 @@
1
- ; Note, clojure lexer is here (and is a good deal more liberal than the language spec:
2
- ; https://github.com/clojure/clojure/blob/master/src/jvm/clojure/lang/LispReader.java#L62
3
-
4
- (defn valid [#^java.lang.reflect.Method meth]
5
- [:keyword :#initial-hash :h#sh-in-middle :hash-at-end# #js {:keyword "value"}])
data/vendor/pygments-main/tests/examplefiles/condensed_ruby.rb DELETED
@@ -1,10 +0,0 @@
1
- # Server: ruby p2p.rb password server server-uri merge-servers
2
- # Sample: ruby p2p.rb foobar server druby://localhost:1337 druby://foo.bar:1337
3
- # Client: ruby p2p.rb password client server-uri download-pattern
4
- # Sample: ruby p2p.rb foobar client druby://localhost:1337 *.rb
5
- require'drb';F,D,C,P,M,U,*O=File,Class,Dir,*ARGV;def s(p)F.split(p[/[^|].*/])[-1
6
- ]end;def c(u);DRbObject.new((),u)end;def x(u)[P,u].hash;end;M=="client"&&c(U).f(
7
- x(U)).each{|n|p,c=x(n),c(n);(c.f(p,O[0],0).map{|f|s f}-D["*"]).each{|f|F.open(f,
8
- "w"){|o|o<<c.f(p,f,1)}}}||(DRb.start_service U,C.new{def f(c,a=[],t=2)c==x(U)&&(
9
- t==0&&D[s(a)]||t==1&&F.read(s(a))||p(a))end;def y()(p(U)+p).each{|u|c(u).f(x(u),
10
- p(U))rescue()};self;end;private;def p(x=[]);O.push(*x).uniq!;O;end}.new.y;sleep)
data/vendor/pygments-main/tests/examplefiles/coq_RelationClasses DELETED
@@ -1,447 +0,0 @@
1
- (* -*- coding: utf-8 -*- *)
2
- (************************************************************************)
3
- (* v * The Coq Proof Assistant / The Coq Development Team *)
4
- (* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2011 *)
5
- (* \VV/ **************************************************************)
6
- (* // * This file is distributed under the terms of the *)
7
- (* * GNU Lesser General Public License Version 2.1 *)
8
- (************************************************************************)
9
-
10
- (** * Typeclass-based relations, tactics and standard instances
11
-
12
- This is the basic theory needed to formalize morphisms and setoids.
13
-
14
- Author: Matthieu Sozeau
15
- Institution: LRI, CNRS UMR 8623 - University Paris Sud
16
- *)
17
-
18
- (* $Id: RelationClasses.v 14641 2011-11-06 11:59:10Z herbelin $ *)
19
-
20
- Require Export Coq.Classes.Init.
21
- Require Import Coq.Program.Basics.
22
- Require Import Coq.Program.Tactics.
23
- Require Import Coq.Relations.Relation_Definitions.
24
-
25
- (** We allow to unfold the [relation] definition while doing morphism search. *)
26
-
27
- Notation inverse R := (flip (R:relation _) : relation _).
28
-
29
- Definition complement {A} (R : relation A) : relation A := fun x y => R x y -> False.
30
-
31
- (** Opaque for proof-search. *)
32
- Typeclasses Opaque complement.
33
-
34
- (** These are convertible. *)
35
-
36
- Lemma complement_inverse : forall A (R : relation A), complement (inverse R) = inverse (complement R).
37
- Proof. reflexivity. Qed.
38
-
39
- (** We rebind relations in separate classes to be able to overload each proof. *)
40
-
41
- Set Implicit Arguments.
42
- Unset Strict Implicit.
43
-
44
- Class Reflexive {A} (R : relation A) :=
45
- reflexivity : forall x, R x x.
46
-
47
- Class Irreflexive {A} (R : relation A) :=
48
- irreflexivity : Reflexive (complement R).
49
-
50
- Hint Extern 1 (Reflexive (complement _)) => class_apply @irreflexivity : typeclass_instances.
51
-
52
- Class Symmetric {A} (R : relation A) :=
53
- symmetry : forall x y, R x y -> R y x.
54
-
55
- Class Asymmetric {A} (R : relation A) :=
56
- asymmetry : forall x y, R x y -> R y x -> False.
57
-
58
- Class Transitive {A} (R : relation A) :=
59
- transitivity : forall x y z, R x y -> R y z -> R x z.
60
-
61
- Hint Resolve @irreflexivity : ord.
62
-
63
- Unset Implicit Arguments.
64
-
65
- (** A HintDb for relations. *)
66
-
67
- Ltac solve_relation :=
68
- match goal with
69
- | [ |- ?R ?x ?x ] => reflexivity
70
- | [ H : ?R ?x ?y |- ?R ?y ?x ] => symmetry ; exact H
71
- end.
72
-
73
- Hint Extern 4 => solve_relation : relations.
74
-
75
- (** We can already dualize all these properties. *)
76
-
77
- Generalizable Variables A B C D R S T U l eqA eqB eqC eqD.
78
-
79
- Lemma flip_Reflexive `{Reflexive A R} : Reflexive (flip R).
80
- Proof. tauto. Qed.
81
-
82
- Hint Extern 3 (Reflexive (flip _)) => apply flip_Reflexive : typeclass_instances.
83
-
84
- Program Definition flip_Irreflexive `(Irreflexive A R) : Irreflexive (flip R) :=
85
- irreflexivity (R:=R).
86
-
87
- Program Definition flip_Symmetric `(Symmetric A R) : Symmetric (flip R) :=
88
- fun x y H => symmetry (R:=R) H.
89
-
90
- Program Definition flip_Asymmetric `(Asymmetric A R) : Asymmetric (flip R) :=
91
- fun x y H H' => asymmetry (R:=R) H H'.
92
-
93
- Program Definition flip_Transitive `(Transitive A R) : Transitive (flip R) :=
94
- fun x y z H H' => transitivity (R:=R) H' H.
95
-
96
- Hint Extern 3 (Irreflexive (flip _)) => class_apply flip_Irreflexive : typeclass_instances.
97
- Hint Extern 3 (Symmetric (flip _)) => class_apply flip_Symmetric : typeclass_instances.
98
- Hint Extern 3 (Asymmetric (flip _)) => class_apply flip_Asymmetric : typeclass_instances.
99
- Hint Extern 3 (Transitive (flip _)) => class_apply flip_Transitive : typeclass_instances.
100
-
101
- Definition Reflexive_complement_Irreflexive `(Reflexive A (R : relation A))
102
- : Irreflexive (complement R).
103
- Proof. firstorder. Qed.
104
-
105
- Definition complement_Symmetric `(Symmetric A (R : relation A)) : Symmetric (complement R).
106
- Proof. firstorder. Qed.
107
-
108
- Hint Extern 3 (Symmetric (complement _)) => class_apply complement_Symmetric : typeclass_instances.
109
- Hint Extern 3 (Irreflexive (complement _)) => class_apply Reflexive_complement_Irreflexive : typeclass_instances.
110
-
111
- (** * Standard instances. *)
112
-
113
- Ltac reduce_hyp H :=
114
- match type of H with
115
- | context [ _ <-> _ ] => fail 1
116
- | _ => red in H ; try reduce_hyp H
117
- end.
118
-
119
- Ltac reduce_goal :=
120
- match goal with
121
- | [ |- _ <-> _ ] => fail 1
122
- | _ => red ; intros ; try reduce_goal
123
- end.
124
-
125
- Tactic Notation "reduce" "in" hyp(Hid) := reduce_hyp Hid.
126
-
127
- Ltac reduce := reduce_goal.
128
-
129
- Tactic Notation "apply" "*" constr(t) :=
130
- first [ refine t | refine (t _) | refine (t _ _) | refine (t _ _ _) | refine (t _ _ _ _) |
131
- refine (t _ _ _ _ _) | refine (t _ _ _ _ _ _) | refine (t _ _ _ _ _ _ _) ].
132
-
133
- Ltac simpl_relation :=
134
- unfold flip, impl, arrow ; try reduce ; program_simpl ;
135
- try ( solve [ intuition ]).
136
-
137
- Local Obligation Tactic := simpl_relation.
138
-
139
- (** Logical implication. *)
140
-
141
- Program Instance impl_Reflexive : Reflexive impl.
142
- Program Instance impl_Transitive : Transitive impl.
143
-
144
- (** Logical equivalence. *)
145
-
146
- Program Instance iff_Reflexive : Reflexive iff.
147
- Program Instance iff_Symmetric : Symmetric iff.
148
- Program Instance iff_Transitive : Transitive iff.
149
-
150
- (** Leibniz equality. *)
151
-
152
- Instance eq_Reflexive {A} : Reflexive (@eq A) := @eq_refl A.
153
- Instance eq_Symmetric {A} : Symmetric (@eq A) := @eq_sym A.
154
- Instance eq_Transitive {A} : Transitive (@eq A) := @eq_trans A.
155
-
156
- (** Various combinations of reflexivity, symmetry and transitivity. *)
157
-
158
- (** A [PreOrder] is both Reflexive and Transitive. *)
159
-
160
- Class PreOrder {A} (R : relation A) : Prop := {
161
- PreOrder_Reflexive :> Reflexive R ;
162
- PreOrder_Transitive :> Transitive R }.
163
-
164
- (** A partial equivalence relation is Symmetric and Transitive. *)
165
-
166
- Class PER {A} (R : relation A) : Prop := {
167
- PER_Symmetric :> Symmetric R ;
168
- PER_Transitive :> Transitive R }.
169
-
170
- (** Equivalence relations. *)
171
-
172
- Class Equivalence {A} (R : relation A) : Prop := {
173
- Equivalence_Reflexive :> Reflexive R ;
174
- Equivalence_Symmetric :> Symmetric R ;
175
- Equivalence_Transitive :> Transitive R }.
176
-
177
- (** An Equivalence is a PER plus reflexivity. *)
178
-
179
- Instance Equivalence_PER `(Equivalence A R) : PER R | 10 :=
180
- { PER_Symmetric := Equivalence_Symmetric ;
181
- PER_Transitive := Equivalence_Transitive }.
182
-
183
- (** We can now define antisymmetry w.r.t. an equivalence relation on the carrier. *)
184
-
185
- Class Antisymmetric A eqA `{equ : Equivalence A eqA} (R : relation A) :=
186
- antisymmetry : forall {x y}, R x y -> R y x -> eqA x y.
187
-
188
- Program Definition flip_antiSymmetric `(Antisymmetric A eqA R) :
189
- Antisymmetric A eqA (flip R).
190
- Proof. firstorder. Qed.
191
-
192
- (** Leibinz equality [eq] is an equivalence relation.
193
- The instance has low priority as it is always applicable
194
- if only the type is constrained. *)
195
-
196
- Program Instance eq_equivalence : Equivalence (@eq A) | 10.
197
-
198
- (** Logical equivalence [iff] is an equivalence relation. *)
199
-
200
- Program Instance iff_equivalence : Equivalence iff.
201
-
202
- (** We now develop a generalization of results on relations for arbitrary predicates.
203
- The resulting theory can be applied to homogeneous binary relations but also to
204
- arbitrary n-ary predicates. *)
205
-
206
- Local Open Scope list_scope.
207
-
208
- (* Notation " [ ] " := nil : list_scope. *)
209
- (* Notation " [ x ; .. ; y ] " := (cons x .. (cons y nil) ..) (at level 1) : list_scope. *)
210
-
211
- (** A compact representation of non-dependent arities, with the codomain singled-out. *)
212
-
213
- Fixpoint arrows (l : list Type) (r : Type) : Type :=
214
- match l with
215
- | nil => r
216
- | A :: l' => A -> arrows l' r
217
- end.
218
-
219
- (** We can define abbreviations for operation and relation types based on [arrows]. *)
220
-
221
- Definition unary_operation A := arrows (A::nil) A.
222
- Definition binary_operation A := arrows (A::A::nil) A.
223
- Definition ternary_operation A := arrows (A::A::A::nil) A.
224
-
225
- (** We define n-ary [predicate]s as functions into [Prop]. *)
226
-
227
- Notation predicate l := (arrows l Prop).
228
-
229
- (** Unary predicates, or sets. *)
230
-
231
- Definition unary_predicate A := predicate (A::nil).
232
-
233
- (** Homogeneous binary relations, equivalent to [relation A]. *)
234
-
235
- Definition binary_relation A := predicate (A::A::nil).
236
-
237
- (** We can close a predicate by universal or existential quantification. *)
238
-
239
- Fixpoint predicate_all (l : list Type) : predicate l -> Prop :=
240
- match l with
241
- | nil => fun f => f
242
- | A :: tl => fun f => forall x : A, predicate_all tl (f x)
243
- end.
244
-
245
- Fixpoint predicate_exists (l : list Type) : predicate l -> Prop :=
246
- match l with
247
- | nil => fun f => f
248
- | A :: tl => fun f => exists x : A, predicate_exists tl (f x)
249
- end.
250
-
251
- (** Pointwise extension of a binary operation on [T] to a binary operation
252
- on functions whose codomain is [T].
253
- For an operator on [Prop] this lifts the operator to a binary operation. *)
254
-
255
- Fixpoint pointwise_extension {T : Type} (op : binary_operation T)
256
- (l : list Type) : binary_operation (arrows l T) :=
257
- match l with
258
- | nil => fun R R' => op R R'
259
- | A :: tl => fun R R' =>
260
- fun x => pointwise_extension op tl (R x) (R' x)
261
- end.
262
-
263
- (** Pointwise lifting, equivalent to doing [pointwise_extension] and closing using [predicate_all]. *)
264
-
265
- Fixpoint pointwise_lifting (op : binary_relation Prop) (l : list Type) : binary_relation (predicate l) :=
266
- match l with
267
- | nil => fun R R' => op R R'
268
- | A :: tl => fun R R' =>
269
- forall x, pointwise_lifting op tl (R x) (R' x)
270
- end.
271
-
272
- (** The n-ary equivalence relation, defined by lifting the 0-ary [iff] relation. *)
273
-
274
- Definition predicate_equivalence {l : list Type} : binary_relation (predicate l) :=
275
- pointwise_lifting iff l.
276
-
277
- (** The n-ary implication relation, defined by lifting the 0-ary [impl] relation. *)
278
-
279
- Definition predicate_implication {l : list Type} :=
280
- pointwise_lifting impl l.
281
-
282
- (** Notations for pointwise equivalence and implication of predicates. *)
283
-
284
- Infix "<∙>" := predicate_equivalence (at level 95, no associativity) : predicate_scope.
285
- Infix "-∙>" := predicate_implication (at level 70, right associativity) : predicate_scope.
286
-
287
- Open Local Scope predicate_scope.
288
-
289
- (** The pointwise liftings of conjunction and disjunctions.
290
- Note that these are [binary_operation]s, building new relations out of old ones. *)
291
-
292
- Definition predicate_intersection := pointwise_extension and.
293
- Definition predicate_union := pointwise_extension or.
294
-
295
- Infix "/∙\" := predicate_intersection (at level 80, right associativity) : predicate_scope.
296
- Infix "\∙/" := predicate_union (at level 85, right associativity) : predicate_scope.
297
-
298
- (** The always [True] and always [False] predicates. *)
299
-
300
- Fixpoint true_predicate {l : list Type} : predicate l :=
301
- match l with
302
- | nil => True
303
- | A :: tl => fun _ => @true_predicate tl
304
- end.
305
-
306
- Fixpoint false_predicate {l : list Type} : predicate l :=
307
- match l with
308
- | nil => False
309
- | A :: tl => fun _ => @false_predicate tl
310
- end.
311
-
312
- Notation "∙⊤∙" := true_predicate : predicate_scope.
313
- Notation "∙⊥∙" := false_predicate : predicate_scope.
314
-
315
- (** Predicate equivalence is an equivalence, and predicate implication defines a preorder. *)
316
-
317
- Program Instance predicate_equivalence_equivalence : Equivalence (@predicate_equivalence l).
318
- Next Obligation.
319
- induction l ; firstorder.
320
- Qed.
321
- Next Obligation.
322
- induction l ; firstorder.
323
- Qed.
324
- Next Obligation.
325
- fold pointwise_lifting.
326
- induction l. firstorder.
327
- intros. simpl in *. pose (IHl (x x0) (y x0) (z x0)).
328
- firstorder.
329
- Qed.
330
-
331
- Program Instance predicate_implication_preorder :
332
- PreOrder (@predicate_implication l).
333
- Next Obligation.
334
- induction l ; firstorder.
335
- Qed.
336
- Next Obligation.
337
- induction l. firstorder.
338
- unfold predicate_implication in *. simpl in *.
339
- intro. pose (IHl (x x0) (y x0) (z x0)). firstorder.
340
- Qed.
341
-
342
- (** We define the various operations which define the algebra on binary relations,
343
- from the general ones. *)
344
-
345
- Definition relation_equivalence {A : Type} : relation (relation A) :=
346
- @predicate_equivalence (_::_::nil).
347
-
348
- Class subrelation {A:Type} (R R' : relation A) : Prop :=
349
- is_subrelation : @predicate_implication (A::A::nil) R R'.
350
-
351
- Implicit Arguments subrelation [[A]].
352
-
353
- Definition relation_conjunction {A} (R : relation A) (R' : relation A) : relation A :=
354
- @predicate_intersection (A::A::nil) R R'.
355
-
356
- Definition relation_disjunction {A} (R : relation A) (R' : relation A) : relation A :=
357
- @predicate_union (A::A::nil) R R'.
358
-
359
- (** Relation equivalence is an equivalence, and subrelation defines a partial order. *)
360
-
361
- Set Automatic Introduction.
362
-
363
- Instance relation_equivalence_equivalence (A : Type) :
364
- Equivalence (@relation_equivalence A).
365
- Proof. exact (@predicate_equivalence_equivalence (A::A::nil)). Qed.
366
-
367
- Instance relation_implication_preorder A : PreOrder (@subrelation A).
368
- Proof. exact (@predicate_implication_preorder (A::A::nil)). Qed.
369
-
370
- (** *** Partial Order.
371
- A partial order is a preorder which is additionally antisymmetric.
372
- We give an equivalent definition, up-to an equivalence relation
373
- on the carrier. *)
374
-
375
- Class PartialOrder {A} eqA `{equ : Equivalence A eqA} R `{preo : PreOrder A R} :=
376
- partial_order_equivalence : relation_equivalence eqA (relation_conjunction R (inverse R)).
377
-
378
- (** The equivalence proof is sufficient for proving that [R] must be a morphism
379
- for equivalence (see Morphisms).
380
- It is also sufficient to show that [R] is antisymmetric w.r.t. [eqA] *)
381
-
382
- Instance partial_order_antisym `(PartialOrder A eqA R) : ! Antisymmetric A eqA R.
383
- Proof with auto.
384
- reduce_goal.
385
- pose proof partial_order_equivalence as poe. do 3 red in poe.
386
- apply <- poe. firstorder.
387
- Qed.
388
-
389
- (** The partial order defined by subrelation and relation equivalence. *)
390
-
391
- Program Instance subrelation_partial_order :
392
- ! PartialOrder (relation A) relation_equivalence subrelation.
393
-
394
- Next Obligation.
395
- Proof.
396
- unfold relation_equivalence in *. firstorder.
397
- Qed.
398
-
399
- Typeclasses Opaque arrows predicate_implication predicate_equivalence
400
- relation_equivalence pointwise_lifting.
401
-
402
- (** Rewrite relation on a given support: declares a relation as a rewrite
403
- relation for use by the generalized rewriting tactic.
404
- It helps choosing if a rewrite should be handled
405
- by the generalized or the regular rewriting tactic using leibniz equality.
406
- Users can declare an [RewriteRelation A RA] anywhere to declare default
407
- relations. This is also done automatically by the [Declare Relation A RA]
408
- commands. *)
409
-
410
- Class RewriteRelation {A : Type} (RA : relation A).
411
-
412
- Instance: RewriteRelation impl.
413
- Instance: RewriteRelation iff.
414
- Instance: RewriteRelation (@relation_equivalence A).
415
-
416
- (** Any [Equivalence] declared in the context is automatically considered
417
- a rewrite relation. *)
418
-
419
- Instance equivalence_rewrite_relation `(Equivalence A eqA) : RewriteRelation eqA.
420
-
421
- (** Strict Order *)
422
-
423
- Class StrictOrder {A : Type} (R : relation A) := {
424
- StrictOrder_Irreflexive :> Irreflexive R ;
425
- StrictOrder_Transitive :> Transitive R
426
- }.
427
-
428
- Instance StrictOrder_Asymmetric `(StrictOrder A R) : Asymmetric R.
429
- Proof. firstorder. Qed.
430
-
431
- (** Inversing a [StrictOrder] gives another [StrictOrder] *)
432
-
433
- Lemma StrictOrder_inverse `(StrictOrder A R) : StrictOrder (inverse R).
434
- Proof. firstorder. Qed.
435
-
436
- (** Same for [PartialOrder]. *)
437
-
438
- Lemma PreOrder_inverse `(PreOrder A R) : PreOrder (inverse R).
439
- Proof. firstorder. Qed.
440
-
441
- Hint Extern 3 (StrictOrder (inverse _)) => class_apply StrictOrder_inverse : typeclass_instances.
442
- Hint Extern 3 (PreOrder (inverse _)) => class_apply PreOrder_inverse : typeclass_instances.
443
-
444
- Lemma PartialOrder_inverse `(PartialOrder A eqA R) : PartialOrder eqA (inverse R).
445
- Proof. firstorder. Qed.
446
-
447
- Hint Extern 3 (PartialOrder (inverse _)) => class_apply PartialOrder_inverse : typeclass_instances.