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.
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.