rattler 0.4.2 → 0.5.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 (347) hide show
  1. data/README.rdoc +9 -3
  2. data/features/command_line/dest_option.feature +1 -1
  3. data/features/command_line/lib_option.feature +2 -2
  4. data/features/command_line/output_option.feature +2 -2
  5. data/features/command_line/parser_generator.feature +3 -3
  6. data/features/grammar/any_character.feature +0 -4
  7. data/features/grammar/back_reference.feature +0 -4
  8. data/features/grammar/character_class.feature +0 -4
  9. data/features/grammar/comments.feature +0 -4
  10. data/features/grammar/e_symbol.feature +18 -0
  11. data/features/grammar/eof.feature +0 -4
  12. data/features/grammar/fail.feature +0 -4
  13. data/features/grammar/list_matching.feature +52 -3
  14. data/features/grammar/literal.feature +0 -4
  15. data/features/grammar/negative_lookahead.feature +0 -4
  16. data/features/grammar/negative_semantic_predicate.feature +99 -0
  17. data/features/grammar/node_action.feature +17 -4
  18. data/features/grammar/nonterminal.feature +3 -7
  19. data/features/grammar/one_or_more.feature +0 -4
  20. data/features/grammar/optional.feature +0 -4
  21. data/features/grammar/ordered_choice.feature +0 -4
  22. data/features/grammar/positive_lookahead.feature +0 -4
  23. data/features/grammar/positive_semantic_predicate.feature +99 -0
  24. data/features/grammar/posix_class.feature +3 -6
  25. data/features/grammar/repeat.feature +50 -0
  26. data/features/grammar/sequence.feature +0 -4
  27. data/features/grammar/side_effect.feature +81 -0
  28. data/features/grammar/skip_operator.feature +2 -5
  29. data/features/grammar/start_rule.feature +1 -5
  30. data/features/grammar/symantic_action.feature +9 -4
  31. data/features/grammar/token.feature +0 -4
  32. data/features/grammar/whitespace.feature +0 -4
  33. data/features/grammar/word_literal.feature +0 -4
  34. data/features/grammar/zero_or_more.feature +0 -4
  35. data/features/step_definitions/grammar_steps.rb +5 -1
  36. data/lib/rattler/back_end/optimizer.rb +1 -0
  37. data/lib/rattler/back_end/optimizer/reduce_repeat_match.rb +20 -8
  38. data/lib/rattler/back_end/optimizer/simplify_redundant_repeat.rb +10 -7
  39. data/lib/rattler/back_end/optimizer/specialize_repeat.rb +40 -0
  40. data/lib/rattler/back_end/parser_generator.rb +11 -6
  41. data/lib/rattler/back_end/parser_generator/delegating_generator.rb +20 -0
  42. data/lib/rattler/back_end/parser_generator/e_symbol_generator.rb +52 -0
  43. data/lib/rattler/back_end/parser_generator/eof_generator.rb +58 -0
  44. data/lib/rattler/back_end/parser_generator/expr_generator.rb +6 -2
  45. data/lib/rattler/back_end/parser_generator/gen_method_names.rb +15 -5
  46. data/lib/rattler/back_end/parser_generator/general_list_generator.rb +194 -0
  47. data/lib/rattler/back_end/parser_generator/general_repeat_generator.rb +177 -0
  48. data/lib/rattler/back_end/parser_generator/label_generator.rb +4 -1
  49. data/lib/rattler/back_end/parser_generator/list0_generating.rb +36 -0
  50. data/lib/rattler/back_end/parser_generator/list1_generating.rb +30 -0
  51. data/lib/rattler/back_end/parser_generator/list_generator.rb +16 -20
  52. data/lib/rattler/back_end/parser_generator/one_or_more_generating.rb +25 -0
  53. data/lib/rattler/back_end/parser_generator/{optional_generator.rb → optional_generating.rb} +66 -81
  54. data/lib/rattler/back_end/parser_generator/predicate_propogating.rb +4 -4
  55. data/lib/rattler/back_end/parser_generator/repeat_generator.rb +53 -0
  56. data/lib/rattler/back_end/parser_generator/skip_propogating.rb +2 -2
  57. data/lib/rattler/back_end/parser_generator/sub_generating.rb +16 -18
  58. data/lib/rattler/back_end/parser_generator/token_propogating.rb +1 -1
  59. data/lib/rattler/back_end/parser_generator/zero_or_more_generating.rb +31 -0
  60. data/lib/rattler/grammar/grammar_parser.rb +20 -0
  61. data/lib/rattler/grammar/metagrammar.rb +131 -13
  62. data/lib/rattler/grammar/rattler.rtlr +25 -12
  63. data/lib/rattler/parsers.rb +9 -5
  64. data/lib/rattler/parsers/assert_code.rb +31 -0
  65. data/lib/rattler/parsers/atomic.rb +19 -0
  66. data/lib/rattler/parsers/direct_action.rb +12 -4
  67. data/lib/rattler/parsers/disallow_code.rb +31 -0
  68. data/lib/rattler/parsers/dispatch_action.rb +3 -2
  69. data/lib/rattler/parsers/e_symbol.rb +47 -0
  70. data/lib/rattler/parsers/effect_code.rb +31 -0
  71. data/lib/rattler/parsers/eof.rb +6 -13
  72. data/lib/rattler/parsers/list_parser.rb +33 -14
  73. data/lib/rattler/parsers/match.rb +1 -6
  74. data/lib/rattler/parsers/parser_dsl.rb +78 -35
  75. data/lib/rattler/parsers/predicate.rb +1 -4
  76. data/lib/rattler/parsers/repeat.rb +76 -0
  77. data/lib/rattler/parsers/semantic_assert.rb +19 -0
  78. data/lib/rattler/parsers/semantic_disallow.rb +19 -0
  79. data/lib/rattler/parsers/side_effect.rb +19 -0
  80. data/lib/rattler/parsers/skip.rb +1 -9
  81. data/lib/rattler/parsers/token.rb +1 -6
  82. data/lib/rattler/util/graphviz/node_builder.rb +6 -3
  83. data/spec/rattler/back_end/assert_compiler_examples.rb +187 -0
  84. data/spec/rattler/back_end/direct_action_compiler_examples.rb +227 -0
  85. data/spec/rattler/back_end/disallow_compiler_examples.rb +187 -0
  86. data/spec/rattler/back_end/dispatch_action_compiler_examples.rb +225 -0
  87. data/spec/rattler/back_end/optimizer/reduce_repeat_match_spec.rb +45 -33
  88. data/spec/rattler/back_end/optimizer/simplify_redundant_repeat_spec.rb +32 -172
  89. data/spec/rattler/back_end/parser_generator/e_symbol_generator_spec.rb +149 -0
  90. data/spec/rattler/back_end/parser_generator/eof_generator_spec.rb +152 -0
  91. data/spec/rattler/back_end/parser_generator/label_generator_spec.rb +4 -4
  92. data/spec/rattler/back_end/parser_generator/list0_generator_examples.rb +322 -0
  93. data/spec/rattler/back_end/parser_generator/list1_generator_examples.rb +343 -0
  94. data/spec/rattler/back_end/parser_generator/list_generator_spec.rb +597 -140
  95. data/spec/rattler/back_end/parser_generator/one_or_more_generator_examples.rb +292 -0
  96. data/spec/rattler/back_end/parser_generator/optional_generator_examples.rb +233 -0
  97. data/spec/rattler/back_end/parser_generator/repeat_generator_spec.rb +281 -0
  98. data/spec/rattler/back_end/parser_generator/zero_or_more_generator_examples.rb +277 -0
  99. data/spec/rattler/back_end/semantic_assert_compiler_examples.rb +152 -0
  100. data/spec/rattler/back_end/semantic_disallow_compiler_examples.rb +152 -0
  101. data/spec/rattler/back_end/shared_compiler_examples.rb +106 -651
  102. data/spec/rattler/back_end/side_effect_compiler_examples.rb +227 -0
  103. data/spec/rattler/back_end/skip_compiler_examples.rb +161 -0
  104. data/spec/rattler/back_end/token_compiler_examples.rb +262 -0
  105. data/spec/rattler/grammar/grammar_parser_spec.rb +302 -23
  106. data/spec/rattler/parsers/apply_spec.rb +6 -0
  107. data/spec/rattler/parsers/assert_spec.rb +18 -7
  108. data/spec/rattler/parsers/back_reference_spec.rb +9 -0
  109. data/spec/rattler/parsers/choice_spec.rb +36 -21
  110. data/spec/rattler/parsers/direct_action_spec.rb +76 -36
  111. data/spec/rattler/parsers/disallow_spec.rb +18 -7
  112. data/spec/rattler/parsers/dispatch_action_spec.rb +128 -22
  113. data/spec/rattler/parsers/e_symbol_spec.rb +30 -0
  114. data/spec/rattler/parsers/eof_spec.rb +15 -6
  115. data/spec/rattler/parsers/label_spec.rb +15 -2
  116. data/spec/rattler/parsers/list_parser_spec.rb +187 -0
  117. data/spec/rattler/parsers/match_spec.rb +16 -7
  118. data/spec/rattler/parsers/parser_dsl_spec.rb +82 -23
  119. data/spec/rattler/parsers/repeat_spec.rb +233 -0
  120. data/spec/rattler/parsers/semantic_assert_spec.rb +83 -0
  121. data/spec/rattler/parsers/semantic_disallow_spec.rb +83 -0
  122. data/spec/rattler/parsers/sequence_spec.rb +34 -20
  123. data/spec/rattler/parsers/side_effect_spec.rb +214 -0
  124. data/spec/rattler/parsers/skip_spec.rb +17 -6
  125. data/spec/rattler_spec.rb +2 -0
  126. data/spec/support/compiler_spec_helper.rb +8 -0
  127. metadata +156 -447
  128. data/bin/rtlr.compiled.rbc +0 -201
  129. data/features/step_definitions/cli_steps.rbc +0 -149
  130. data/features/step_definitions/grammar_steps.rbc +0 -1211
  131. data/features/support/env.rbc +0 -389
  132. data/lib/rattler.rbc +0 -1231
  133. data/lib/rattler/back_end.rbc +0 -286
  134. data/lib/rattler/back_end/compiler.rbc +0 -1394
  135. data/lib/rattler/back_end/optimizer.rbc +0 -2000
  136. data/lib/rattler/back_end/optimizer/composite_reducing.rbc +0 -337
  137. data/lib/rattler/back_end/optimizer/flatten_choice.rbc +0 -443
  138. data/lib/rattler/back_end/optimizer/flatten_sequence.rbc +0 -827
  139. data/lib/rattler/back_end/optimizer/flattening.rbc +0 -570
  140. data/lib/rattler/back_end/optimizer/inline_regular_rules.rbc +0 -691
  141. data/lib/rattler/back_end/optimizer/join_match_capturing_sequence.rbc +0 -1299
  142. data/lib/rattler/back_end/optimizer/join_match_choice.rbc +0 -523
  143. data/lib/rattler/back_end/optimizer/join_match_matching_sequence.rbc +0 -619
  144. data/lib/rattler/back_end/optimizer/join_match_sequence.rbc +0 -174
  145. data/lib/rattler/back_end/optimizer/join_predicate_bare_match.rbc +0 -1505
  146. data/lib/rattler/back_end/optimizer/join_predicate_match.rbc +0 -174
  147. data/lib/rattler/back_end/optimizer/join_predicate_nested_match.rbc +0 -620
  148. data/lib/rattler/back_end/optimizer/join_predicate_or_bare_match.rbc +0 -1502
  149. data/lib/rattler/back_end/optimizer/join_predicate_or_match.rbc +0 -174
  150. data/lib/rattler/back_end/optimizer/join_predicate_or_nested_match.rbc +0 -616
  151. data/lib/rattler/back_end/optimizer/match_joining.rbc +0 -1454
  152. data/lib/rattler/back_end/optimizer/optimization.rbc +0 -1366
  153. data/lib/rattler/back_end/optimizer/optimization_context.rbc +0 -1386
  154. data/lib/rattler/back_end/optimizer/optimization_sequence.rbc +0 -520
  155. data/lib/rattler/back_end/optimizer/optimize_children.rbc +0 -793
  156. data/lib/rattler/back_end/optimizer/reduce_repeat_match.rbc +0 -788
  157. data/lib/rattler/back_end/optimizer/remove_meaningless_wrapper.rbc +0 -508
  158. data/lib/rattler/back_end/optimizer/simplify_redundant_repeat.rbc +0 -807
  159. data/lib/rattler/back_end/optimizer/simplify_token_match.rbc +0 -561
  160. data/lib/rattler/back_end/parser_generator.rbc +0 -1326
  161. data/lib/rattler/back_end/parser_generator/apply_generator.rbc +0 -2148
  162. data/lib/rattler/back_end/parser_generator/assert_generator.rbc +0 -1967
  163. data/lib/rattler/back_end/parser_generator/back_reference_generator.rbc +0 -1665
  164. data/lib/rattler/back_end/parser_generator/choice_generator.rbc +0 -2793
  165. data/lib/rattler/back_end/parser_generator/direct_action_generator.rbc +0 -1071
  166. data/lib/rattler/back_end/parser_generator/disallow_generator.rbc +0 -1967
  167. data/lib/rattler/back_end/parser_generator/dispatch_action_generator.rbc +0 -1071
  168. data/lib/rattler/back_end/parser_generator/expr_generator.rbc +0 -2295
  169. data/lib/rattler/back_end/parser_generator/fail_generator.rbc +0 -1216
  170. data/lib/rattler/back_end/parser_generator/gen_method_names.rbc +0 -296
  171. data/lib/rattler/back_end/parser_generator/group_match.rbc +0 -612
  172. data/lib/rattler/back_end/parser_generator/group_match_generator.rbc +0 -1647
  173. data/lib/rattler/back_end/parser_generator/label_generator.rbc +0 -1401
  174. data/lib/rattler/back_end/parser_generator/list1_generator.rb +0 -54
  175. data/lib/rattler/back_end/parser_generator/list1_generator.rbc +0 -1237
  176. data/lib/rattler/back_end/parser_generator/list_generating.rb +0 -71
  177. data/lib/rattler/back_end/parser_generator/list_generating.rbc +0 -1900
  178. data/lib/rattler/back_end/parser_generator/list_generator.rbc +0 -1068
  179. data/lib/rattler/back_end/parser_generator/match_generator.rbc +0 -1743
  180. data/lib/rattler/back_end/parser_generator/nested.rbc +0 -496
  181. data/lib/rattler/back_end/parser_generator/one_or_more_generator.rb +0 -56
  182. data/lib/rattler/back_end/parser_generator/one_or_more_generator.rbc +0 -1277
  183. data/lib/rattler/back_end/parser_generator/optional_generator.rbc +0 -2025
  184. data/lib/rattler/back_end/parser_generator/predicate_propogating.rbc +0 -648
  185. data/lib/rattler/back_end/parser_generator/repeat_generating.rb +0 -57
  186. data/lib/rattler/back_end/parser_generator/repeat_generating.rbc +0 -1549
  187. data/lib/rattler/back_end/parser_generator/rule_generator.rbc +0 -1239
  188. data/lib/rattler/back_end/parser_generator/rule_set_generator.rbc +0 -2641
  189. data/lib/rattler/back_end/parser_generator/sequence_generator.rbc +0 -4867
  190. data/lib/rattler/back_end/parser_generator/skip_generator.rbc +0 -1278
  191. data/lib/rattler/back_end/parser_generator/skip_propogating.rbc +0 -432
  192. data/lib/rattler/back_end/parser_generator/sub_generating.rbc +0 -2785
  193. data/lib/rattler/back_end/parser_generator/token_generator.rbc +0 -755
  194. data/lib/rattler/back_end/parser_generator/token_propogating.rbc +0 -324
  195. data/lib/rattler/back_end/parser_generator/top_level.rbc +0 -352
  196. data/lib/rattler/back_end/parser_generator/zero_or_more_generator.rb +0 -53
  197. data/lib/rattler/back_end/parser_generator/zero_or_more_generator.rbc +0 -1111
  198. data/lib/rattler/back_end/ruby_generator.rbc +0 -1841
  199. data/lib/rattler/grammar.rbc +0 -557
  200. data/lib/rattler/grammar/analysis.rbc +0 -1944
  201. data/lib/rattler/grammar/grammar.rbc +0 -1090
  202. data/lib/rattler/grammar/grammar_dsl.rbc +0 -1401
  203. data/lib/rattler/grammar/grammar_parser.rbc +0 -2096
  204. data/lib/rattler/grammar/metagrammar.rbc +0 -11014
  205. data/lib/rattler/parsers.rbc +0 -1006
  206. data/lib/rattler/parsers/action_code.rbc +0 -1577
  207. data/lib/rattler/parsers/apply.rbc +0 -562
  208. data/lib/rattler/parsers/assert.rbc +0 -378
  209. data/lib/rattler/parsers/back_reference.rbc +0 -871
  210. data/lib/rattler/parsers/choice.rbc +0 -607
  211. data/lib/rattler/parsers/combinator_parser.rbc +0 -612
  212. data/lib/rattler/parsers/combining.rbc +0 -570
  213. data/lib/rattler/parsers/direct_action.rbc +0 -1472
  214. data/lib/rattler/parsers/disallow.rbc +0 -379
  215. data/lib/rattler/parsers/dispatch_action.rbc +0 -2078
  216. data/lib/rattler/parsers/eof.rbc +0 -567
  217. data/lib/rattler/parsers/fail.rbc +0 -745
  218. data/lib/rattler/parsers/label.rbc +0 -749
  219. data/lib/rattler/parsers/list.rbc +0 -292
  220. data/lib/rattler/parsers/list0.rb +0 -26
  221. data/lib/rattler/parsers/list0.rbc +0 -292
  222. data/lib/rattler/parsers/list1.rb +0 -26
  223. data/lib/rattler/parsers/list1.rbc +0 -305
  224. data/lib/rattler/parsers/list_parser.rbc +0 -886
  225. data/lib/rattler/parsers/match.rbc +0 -621
  226. data/lib/rattler/parsers/node_code.rbc +0 -1064
  227. data/lib/rattler/parsers/one_or_more.rb +0 -47
  228. data/lib/rattler/parsers/one_or_more.rbc +0 -475
  229. data/lib/rattler/parsers/optional.rb +0 -42
  230. data/lib/rattler/parsers/optional.rbc +0 -450
  231. data/lib/rattler/parsers/parser.rbc +0 -994
  232. data/lib/rattler/parsers/parser_dsl.rbc +0 -4765
  233. data/lib/rattler/parsers/predicate.rbc +0 -490
  234. data/lib/rattler/parsers/rule.rbc +0 -777
  235. data/lib/rattler/parsers/rule_set.rbc +0 -1438
  236. data/lib/rattler/parsers/sequence.rbc +0 -1040
  237. data/lib/rattler/parsers/skip.rbc +0 -613
  238. data/lib/rattler/parsers/token.rbc +0 -457
  239. data/lib/rattler/parsers/zero_or_more.rb +0 -40
  240. data/lib/rattler/parsers/zero_or_more.rbc +0 -462
  241. data/lib/rattler/runner.rbc +0 -3813
  242. data/lib/rattler/runtime.rbc +0 -370
  243. data/lib/rattler/runtime/extended_packrat_parser.rbc +0 -2351
  244. data/lib/rattler/runtime/packrat_parser.rbc +0 -1390
  245. data/lib/rattler/runtime/parse_failure.rbc +0 -909
  246. data/lib/rattler/runtime/parse_node.rbc +0 -1007
  247. data/lib/rattler/runtime/parser.rbc +0 -2267
  248. data/lib/rattler/runtime/parser_helper.rbc +0 -337
  249. data/lib/rattler/runtime/recursive_descent_parser.rbc +0 -942
  250. data/lib/rattler/util.rbc +0 -286
  251. data/lib/rattler/util/graphviz.rbc +0 -327
  252. data/lib/rattler/util/graphviz/node_builder.rbc +0 -2207
  253. data/lib/rattler/util/line_counter.rbc +0 -988
  254. data/lib/rattler/util/node.rbc +0 -2393
  255. data/lib/rattler/util/parser_spec_helper.rbc +0 -2533
  256. data/spec/rattler/back_end/compiler_spec.rbc +0 -1187
  257. data/spec/rattler/back_end/optimizer/flatten_choice_spec.rbc +0 -2093
  258. data/spec/rattler/back_end/optimizer/flatten_sequence_spec.rbc +0 -4055
  259. data/spec/rattler/back_end/optimizer/inline_regular_rules_spec.rbc +0 -2345
  260. data/spec/rattler/back_end/optimizer/join_match_capturing_sequence_spec.rbc +0 -7006
  261. data/spec/rattler/back_end/optimizer/join_match_choice_spec.rbc +0 -3252
  262. data/spec/rattler/back_end/optimizer/join_match_matching_sequence_spec.rbc +0 -3681
  263. data/spec/rattler/back_end/optimizer/join_predicate_bare_match_spec.rbc +0 -5603
  264. data/spec/rattler/back_end/optimizer/join_predicate_nested_match_spec.rbc +0 -5232
  265. data/spec/rattler/back_end/optimizer/join_predicate_or_bare_match_spec.rbc +0 -4272
  266. data/spec/rattler/back_end/optimizer/join_predicate_or_nested_match_spec.rbc +0 -4342
  267. data/spec/rattler/back_end/optimizer/reduce_repeat_match_spec.rbc +0 -2960
  268. data/spec/rattler/back_end/optimizer/simplify_redundant_repeat_spec.rbc +0 -6929
  269. data/spec/rattler/back_end/optimizer/simplify_token_match_spec.rbc +0 -2327
  270. data/spec/rattler/back_end/optimizer_spec.rbc +0 -372
  271. data/spec/rattler/back_end/parser_generator/apply_generator_spec.rbc +0 -4710
  272. data/spec/rattler/back_end/parser_generator/assert_generator_spec.rbc +0 -4697
  273. data/spec/rattler/back_end/parser_generator/back_reference_generator_spec.rbc +0 -4855
  274. data/spec/rattler/back_end/parser_generator/choice_generator_spec.rbc +0 -5350
  275. data/spec/rattler/back_end/parser_generator/direct_action_generator_spec.rbc +0 -4737
  276. data/spec/rattler/back_end/parser_generator/disallow_generator_spec.rbc +0 -4697
  277. data/spec/rattler/back_end/parser_generator/dispatch_action_generator_spec.rbc +0 -4731
  278. data/spec/rattler/back_end/parser_generator/fail_generator_spec.rbc +0 -2115
  279. data/spec/rattler/back_end/parser_generator/group_match_generator_spec.rbc +0 -4195
  280. data/spec/rattler/back_end/parser_generator/group_match_spec.rbc +0 -1414
  281. data/spec/rattler/back_end/parser_generator/label_generator_spec.rbc +0 -4696
  282. data/spec/rattler/back_end/parser_generator/list1_generator_spec.rb +0 -309
  283. data/spec/rattler/back_end/parser_generator/list1_generator_spec.rbc +0 -5213
  284. data/spec/rattler/back_end/parser_generator/list_generator_spec.rbc +0 -5179
  285. data/spec/rattler/back_end/parser_generator/match_generator_spec.rbc +0 -4681
  286. data/spec/rattler/back_end/parser_generator/one_or_more_generator_spec.rb +0 -259
  287. data/spec/rattler/back_end/parser_generator/one_or_more_generator_spec.rbc +0 -4957
  288. data/spec/rattler/back_end/parser_generator/optional_generator_spec.rb +0 -190
  289. data/spec/rattler/back_end/parser_generator/optional_generator_spec.rbc +0 -4704
  290. data/spec/rattler/back_end/parser_generator/rule_generator_spec.rbc +0 -545
  291. data/spec/rattler/back_end/parser_generator/rule_set_generator_spec.rbc +0 -1110
  292. data/spec/rattler/back_end/parser_generator/sequence_generator_spec.rbc +0 -5453
  293. data/spec/rattler/back_end/parser_generator/skip_generator_spec.rbc +0 -4691
  294. data/spec/rattler/back_end/parser_generator/token_generator_spec.rbc +0 -4691
  295. data/spec/rattler/back_end/parser_generator/zero_or_more_generator_spec.rb +0 -244
  296. data/spec/rattler/back_end/parser_generator/zero_or_more_generator_spec.rbc +0 -4924
  297. data/spec/rattler/back_end/ruby_generator_spec.rbc +0 -2460
  298. data/spec/rattler/back_end/shared_compiler_examples.rbc +0 -41886
  299. data/spec/rattler/grammar/analysis_spec.rbc +0 -4365
  300. data/spec/rattler/grammar/grammar_parser_spec.rbc +0 -10344
  301. data/spec/rattler/grammar/grammar_spec.rbc +0 -1701
  302. data/spec/rattler/parsers/action_code_spec.rbc +0 -4674
  303. data/spec/rattler/parsers/apply_spec.rbc +0 -851
  304. data/spec/rattler/parsers/assert_spec.rbc +0 -752
  305. data/spec/rattler/parsers/back_reference_spec.rbc +0 -1002
  306. data/spec/rattler/parsers/choice_spec.rbc +0 -1696
  307. data/spec/rattler/parsers/combinator_parser_spec.rbc +0 -361
  308. data/spec/rattler/parsers/direct_action_spec.rbc +0 -5222
  309. data/spec/rattler/parsers/disallow_spec.rbc +0 -752
  310. data/spec/rattler/parsers/dispatch_action_spec.rbc +0 -3033
  311. data/spec/rattler/parsers/eof_spec.rbc +0 -728
  312. data/spec/rattler/parsers/fail_spec.rbc +0 -548
  313. data/spec/rattler/parsers/label_spec.rbc +0 -1091
  314. data/spec/rattler/parsers/list0_spec.rb +0 -82
  315. data/spec/rattler/parsers/list0_spec.rbc +0 -2308
  316. data/spec/rattler/parsers/list1_spec.rb +0 -82
  317. data/spec/rattler/parsers/list1_spec.rbc +0 -2287
  318. data/spec/rattler/parsers/list_spec.rbc +0 -2308
  319. data/spec/rattler/parsers/match_spec.rbc +0 -780
  320. data/spec/rattler/parsers/node_code_spec.rbc +0 -1754
  321. data/spec/rattler/parsers/one_or_more_spec.rb +0 -64
  322. data/spec/rattler/parsers/one_or_more_spec.rbc +0 -1698
  323. data/spec/rattler/parsers/optional_spec.rb +0 -64
  324. data/spec/rattler/parsers/optional_spec.rbc +0 -1717
  325. data/spec/rattler/parsers/parser_dsl_spec.rbc +0 -10150
  326. data/spec/rattler/parsers/rule_set_spec.rbc +0 -1060
  327. data/spec/rattler/parsers/sequence_spec.rbc +0 -2899
  328. data/spec/rattler/parsers/skip_spec.rbc +0 -753
  329. data/spec/rattler/parsers/token_spec.rbc +0 -1511
  330. data/spec/rattler/parsers/zero_or_more_spec.rb +0 -64
  331. data/spec/rattler/parsers/zero_or_more_spec.rbc +0 -1719
  332. data/spec/rattler/runtime/extended_packrat_parser_spec.rbc +0 -1341
  333. data/spec/rattler/runtime/packrat_parser_spec.rbc +0 -210
  334. data/spec/rattler/runtime/parse_failure_spec.rbc +0 -2244
  335. data/spec/rattler/runtime/parse_node_spec.rbc +0 -2008
  336. data/spec/rattler/runtime/parser_spec.rbc +0 -2757
  337. data/spec/rattler/runtime/recursive_descent_parser_spec.rbc +0 -210
  338. data/spec/rattler/runtime/shared_parser_examples.rbc +0 -2567
  339. data/spec/rattler/util/graphviz/node_builder_spec.rbc +0 -3439
  340. data/spec/rattler/util/line_counter_spec.rbc +0 -2272
  341. data/spec/rattler/util/node_spec.rbc +0 -15023
  342. data/spec/rattler_spec.rbc +0 -1591
  343. data/spec/spec_helper.rbc +0 -336
  344. data/spec/support/combinator_parser_spec_helper.rbc +0 -1284
  345. data/spec/support/compiler_spec_helper.rbc +0 -1941
  346. data/spec/support/parser_generator_spec_helper.rbc +0 -718
  347. data/spec/support/runtime_parser_spec_helper.rbc +0 -313
@@ -0,0 +1,292 @@
1
+ require File.expand_path(File.dirname(__FILE__) + '/../../../spec_helper')
2
+
3
+ shared_examples_for 'a one-or-more generator' do
4
+
5
+ let(:bounds) { [1, nil] }
6
+ let(:nested) { Match[/w+/] }
7
+
8
+ describe '#gen_basic' do
9
+
10
+ let(:nested) { Choice[Match[/[[:alpha:]]/], Match[/[[:digit:]]/]] }
11
+
12
+ context 'given a repeat with one-or-more bounds' do
13
+
14
+ context 'when nested' do
15
+ it 'generates nested one-or-more matching code' do
16
+ nested_code {|g| g.gen_basic repeat }.
17
+ should == (<<-CODE).strip
18
+ begin
19
+ a = []
20
+ while r = begin
21
+ @scanner.scan(/[[:alpha:]]/) ||
22
+ @scanner.scan(/[[:digit:]]/)
23
+ end
24
+ a << r
25
+ end
26
+ a unless a.empty?
27
+ end
28
+ CODE
29
+ end
30
+ end
31
+
32
+ context 'when top-level' do
33
+ it 'generates top level one-or-more matching code' do
34
+ top_level_code {|g| g.gen_basic repeat }.
35
+ should == (<<-CODE).strip
36
+ a = []
37
+ while r = begin
38
+ @scanner.scan(/[[:alpha:]]/) ||
39
+ @scanner.scan(/[[:digit:]]/)
40
+ end
41
+ a << r
42
+ end
43
+ a unless a.empty?
44
+ CODE
45
+ end
46
+ end
47
+ end
48
+ end
49
+
50
+ describe '#gen_assert' do
51
+
52
+ context 'given a repeat with one-or-more bounds' do
53
+
54
+ context 'when nested' do
55
+ it 'generates nested one-or-more positive lookahead code' do
56
+ nested_code {|g| g.gen_assert repeat }.
57
+ should == '(@scanner.skip(/(?=w+)/) && true)'
58
+ end
59
+ end
60
+
61
+ context 'when top-level' do
62
+ it 'generates top level one-or-more positive lookahead code' do
63
+ top_level_code {|g| g.gen_assert repeat }.
64
+ should == '@scanner.skip(/(?=w+)/) && true'
65
+ end
66
+ end
67
+ end
68
+ end
69
+
70
+ describe '#gen_disallow' do
71
+
72
+ context 'given a repeat with one-or-more bounds' do
73
+
74
+ context 'when nested' do
75
+ it 'generates nested one-or-more negative lookahead code' do
76
+ nested_code {|g| g.gen_disallow repeat }.
77
+ should == '(@scanner.skip(/(?!w+)/) && true)'
78
+ end
79
+ end
80
+
81
+ context 'when top-level' do
82
+ it 'generates nested one-or-more negative lookahead code' do
83
+ top_level_code {|g| g.gen_disallow repeat }.
84
+ should == '@scanner.skip(/(?!w+)/) && true'
85
+ end
86
+ end
87
+ end
88
+ end
89
+
90
+ describe '#gen_dispatch_action' do
91
+
92
+ let(:nested) { Match[/w+/] }
93
+ let(:code) { NodeCode.new('Word', 'parsed') }
94
+
95
+ context 'given a repeat with one-or-more bounds' do
96
+
97
+ context 'when nested' do
98
+ it 'generates nested one-or-more matching code with a dispatch action' do
99
+ nested_code {|g| g.gen_dispatch_action repeat, code }.
100
+ should == (<<-CODE).strip
101
+ begin
102
+ a = []
103
+ while r = @scanner.scan(/w+/)
104
+ a << r
105
+ end
106
+ Word.parsed(select_captures(a)) unless a.empty?
107
+ end
108
+ CODE
109
+ end
110
+ end
111
+
112
+ context 'when top-level' do
113
+ it 'generates top level one-or-more matching code with a dispatch action' do
114
+ top_level_code {|g| g.gen_dispatch_action repeat, code }.
115
+ should == (<<-CODE).strip
116
+ a = []
117
+ while r = @scanner.scan(/w+/)
118
+ a << r
119
+ end
120
+ Word.parsed(select_captures(a)) unless a.empty?
121
+ CODE
122
+ end
123
+ end
124
+ end
125
+ end
126
+
127
+ describe '#gen_direct_action' do
128
+
129
+ let(:nested) { Match[/w+/] }
130
+ let(:code) { ActionCode.new('|_| _.size') }
131
+
132
+ context 'given a repeat with one-or-more bounds' do
133
+
134
+ context 'when nested' do
135
+ it 'generates nested one-or-more matching code with a direct action' do
136
+ nested_code {|g| g.gen_direct_action repeat, code }.
137
+ should == (<<-CODE).strip
138
+ begin
139
+ a = []
140
+ while r = @scanner.scan(/w+/)
141
+ a << r
142
+ end
143
+ (select_captures(a).size) unless a.empty?
144
+ end
145
+ CODE
146
+ end
147
+ end
148
+
149
+ context 'when top-level' do
150
+ it 'generates top level one-or-more matching code with a direct action' do
151
+ top_level_code {|g| g.gen_direct_action repeat, code }.
152
+ should == (<<-CODE).strip
153
+ a = []
154
+ while r = @scanner.scan(/w+/)
155
+ a << r
156
+ end
157
+ (select_captures(a).size) unless a.empty?
158
+ CODE
159
+ end
160
+ end
161
+ end
162
+ end
163
+
164
+ describe '#gen_token' do
165
+
166
+ let(:nested) { Match[/w+/] }
167
+
168
+ context 'given a repeat with one-or-more bounds' do
169
+
170
+ context 'when nested' do
171
+ it 'generates nested one-or-more matching code' do
172
+ nested_code {|g| g.gen_token repeat }.
173
+ should == (<<-CODE).strip
174
+ begin
175
+ a = []
176
+ while r = @scanner.scan(/w+/)
177
+ a << r
178
+ end
179
+ a.join unless a.empty?
180
+ end
181
+ CODE
182
+ end
183
+ end
184
+
185
+ context 'when top-level' do
186
+ it 'generates top level one-or-more matching code' do
187
+ top_level_code {|g| g.gen_token repeat }.
188
+ should == (<<-CODE).strip
189
+ a = []
190
+ while r = @scanner.scan(/w+/)
191
+ a << r
192
+ end
193
+ a.join unless a.empty?
194
+ CODE
195
+ end
196
+ end
197
+ end
198
+ end
199
+
200
+ describe '#gen_skip' do
201
+
202
+ let(:nested) { Match[/w+/] }
203
+
204
+ context 'given a repeat with one-or-more bounds' do
205
+
206
+ context 'when nested' do
207
+ it 'generates nested one-or-more skipping code' do
208
+ nested_code {|g| g.gen_skip repeat }.should == (<<-CODE).strip
209
+ begin
210
+ r = false
211
+ while @scanner.skip(/w+/)
212
+ r = true
213
+ end
214
+ r
215
+ end
216
+ CODE
217
+ end
218
+ end
219
+
220
+ context 'when top-level' do
221
+ it 'generates top level one-or-more skipping code' do
222
+ top_level_code {|g| g.gen_skip repeat }.should == (<<-CODE).strip
223
+ r = false
224
+ while @scanner.skip(/w+/)
225
+ r = true
226
+ end
227
+ r
228
+ CODE
229
+ end
230
+ end
231
+ end
232
+ end
233
+
234
+ describe '#gen_intermediate' do
235
+
236
+ let(:nested) { Match[/w+/] }
237
+
238
+ context 'given a repeat with one-or-more bounds' do
239
+ it 'generates nested one-or-more matching code' do
240
+ nested_code {|g| g.gen_intermediate repeat }.
241
+ should == (<<-CODE).strip
242
+ begin
243
+ a = []
244
+ while r = @scanner.scan(/w+/)
245
+ a << r
246
+ end
247
+ a unless a.empty?
248
+ end
249
+ CODE
250
+ end
251
+ end
252
+ end
253
+
254
+ describe '#gen_intermediate_assert' do
255
+ context 'given a repeat with one-or-more bounds' do
256
+ it 'generates nested one-or-more positive lookahead code' do
257
+ nested_code {|g| g.gen_assert repeat }.
258
+ should == '(@scanner.skip(/(?=w+)/) && true)'
259
+ end
260
+ end
261
+ end
262
+
263
+ describe '#gen_intermediate_disallow' do
264
+ context 'given a repeat with one-or-more bounds' do
265
+ it 'generates nested one-or-more negative lookahead code' do
266
+ nested_code {|g| g.gen_disallow repeat }.
267
+ should == '(@scanner.skip(/(?!w+)/) && true)'
268
+ end
269
+ end
270
+ end
271
+
272
+ describe '#gen_intermediate_skip' do
273
+
274
+ let(:nested) { Match[/w+/] }
275
+
276
+ context 'given a repeat with one-or-more bounds' do
277
+ it 'generates nested one-or-more skipping code' do
278
+ nested_code {|g| g.gen_intermediate_skip repeat }.
279
+ should == (<<-CODE).strip
280
+ begin
281
+ r = false
282
+ while @scanner.skip(/w+/)
283
+ r = true
284
+ end
285
+ r
286
+ end
287
+ CODE
288
+ end
289
+ end
290
+ end
291
+
292
+ end
@@ -0,0 +1,233 @@
1
+ require File.expand_path(File.dirname(__FILE__) + '/../../../spec_helper')
2
+
3
+ shared_examples_for 'an optional generator' do
4
+
5
+ let(:bounds) { [0, 1] }
6
+ let(:nested) { Match[/w+/] }
7
+
8
+ describe '#gen_basic' do
9
+
10
+ context 'given a repeat with optional bounds' do
11
+
12
+ context 'when nested' do
13
+ it 'generates nested optional matching code' do
14
+ nested_code {|g| g.gen_basic repeat }.
15
+ should == '((r = @scanner.scan(/w+/)) ? [r] : [])'
16
+ end
17
+ end
18
+
19
+ context 'when top-level' do
20
+ it 'generates top level optional matching code' do
21
+ top_level_code {|g| g.gen_basic repeat }.
22
+ should == '(r = @scanner.scan(/w+/)) ? [r] : []'
23
+ end
24
+ end
25
+ end
26
+ end
27
+
28
+ describe '#gen_assert' do
29
+
30
+ context 'given a repeat with optional bounds' do
31
+
32
+ context 'when nested' do
33
+ it 'generates "true"' do
34
+ nested_code {|g| g.gen_assert repeat }.should == 'true'
35
+ end
36
+ end
37
+
38
+ context 'when top-level' do
39
+ it 'generates "true"' do
40
+ top_level_code {|g| g.gen_assert repeat }.should == 'true'
41
+ end
42
+ end
43
+ end
44
+ end
45
+
46
+ describe '#gen_disallow' do
47
+
48
+ context 'given a repeat with optional bounds' do
49
+
50
+ context 'when nested' do
51
+ it 'generates "false"' do
52
+ nested_code {|g| g.gen_disallow repeat }.should == 'false'
53
+ end
54
+ end
55
+
56
+ context 'when top-level' do
57
+ it 'generates "false"' do
58
+ top_level_code {|g| g.gen_disallow repeat }.should == 'false'
59
+ end
60
+ end
61
+ end
62
+ end
63
+
64
+ describe '#gen_dispatch_action' do
65
+
66
+ let(:nested) { Match[/w+/] }
67
+ let(:code) { NodeCode.new('Word', 'parsed') }
68
+
69
+ context 'given a repeat with optional bounds' do
70
+
71
+ context 'when nested' do
72
+ it 'generates nested optional matching code with a dispatch action' do
73
+ nested_code {|g| g.gen_dispatch_action repeat, code }.
74
+ should == (<<-CODE).strip
75
+ begin
76
+ r = @scanner.scan(/w+/)
77
+ Word.parsed(r ? [r] : [])
78
+ end
79
+ CODE
80
+ end
81
+ end
82
+
83
+ context 'when top-level' do
84
+ it 'generates top level optional matching code with a dispatch action' do
85
+ top_level_code {|g| g.gen_dispatch_action repeat, code }.
86
+ should == (<<-CODE).strip
87
+ r = @scanner.scan(/w+/)
88
+ Word.parsed(r ? [r] : [])
89
+ CODE
90
+ end
91
+ end
92
+ end
93
+ end
94
+
95
+ describe '#gen_direct_action' do
96
+
97
+ let(:nested) { Match[/w+/] }
98
+ let(:code) { ActionCode.new('|_| _.size') }
99
+
100
+ context 'given a repeat with optional bounds' do
101
+
102
+ context 'when nested' do
103
+ it 'generates nested optional matching code with a direct action' do
104
+ nested_code {|g| g.gen_direct_action repeat, code }.
105
+ should == (<<-CODE).strip
106
+ begin
107
+ r = @scanner.scan(/w+/)
108
+ ((r ? [r] : []).size)
109
+ end
110
+ CODE
111
+ end
112
+ end
113
+
114
+ context 'when top-level' do
115
+ it 'generates top level optional matching code with a direct action' do
116
+ top_level_code {|g| g.gen_direct_action repeat, code }.
117
+ should == (<<-CODE).strip
118
+ r = @scanner.scan(/w+/)
119
+ ((r ? [r] : []).size)
120
+ CODE
121
+ end
122
+ end
123
+ end
124
+ end
125
+
126
+ describe '#gen_token' do
127
+
128
+ let(:nested) { Match[/w+/] }
129
+
130
+ context 'given a repeat with optional bounds' do
131
+
132
+ context 'when nested' do
133
+ it 'generates nested optional matching code' do
134
+ nested_code {|g| g.gen_token repeat }.
135
+ should == (<<-CODE).strip
136
+ begin
137
+ @scanner.scan(/w+/) || ''
138
+ end
139
+ CODE
140
+ end
141
+ end
142
+
143
+ context 'when top-level' do
144
+ it 'generates top level optional matching code' do
145
+ top_level_code {|g| g.gen_token repeat }.
146
+ should == "@scanner.scan(/w+/) || ''"
147
+ end
148
+ end
149
+ end
150
+ end
151
+
152
+ describe '#gen_skip' do
153
+
154
+ let(:nested) { Match[/w+/] }
155
+
156
+ context 'given a repeat with optional bounds' do
157
+
158
+ context 'when nested' do
159
+ it 'generates nested optional skipping code' do
160
+ nested_code {|g| g.gen_skip repeat }.
161
+ should == (<<-CODE).strip
162
+ begin
163
+ @scanner.skip(/w+/)
164
+ true
165
+ end
166
+ CODE
167
+ end
168
+ end
169
+
170
+ context 'when top-level' do
171
+ it 'generates top level optional skipping code' do
172
+ top_level_code {|g| g.gen_skip repeat }.
173
+ should == (<<-CODE).strip
174
+ @scanner.skip(/w+/)
175
+ true
176
+ CODE
177
+ end
178
+ end
179
+ end
180
+ end
181
+
182
+ describe '#gen_intermediate' do
183
+
184
+ let(:nested) { Match[/w+/] }
185
+
186
+ context 'given a repeat with optional bounds' do
187
+ it 'generates nested optional matching code' do
188
+ nested_code {|g| g.gen_intermediate repeat }.
189
+ should == '((r = @scanner.scan(/w+/)) ? [r] : [])'
190
+ end
191
+ end
192
+ end
193
+
194
+ describe '#gen_intermediate_assert' do
195
+
196
+ let(:nested) { Match[/w+/] }
197
+
198
+ context 'given a repeat with optional bounds' do
199
+ it 'generates "true"' do
200
+ nested_code {|g| g.gen_intermediate_assert repeat }.should == 'true'
201
+ end
202
+ end
203
+ end
204
+
205
+ describe '#gen_intermediate_disallow' do
206
+
207
+ let(:nested) { Match[/w+/] }
208
+
209
+ context 'given a repeat with optional bounds' do
210
+ it 'generates "false"' do
211
+ nested_code {|g| g.gen_intermediate_disallow repeat }.should == 'false'
212
+ end
213
+ end
214
+ end
215
+
216
+ describe '#gen_intermediate_skip' do
217
+
218
+ let(:nested) { Match[/w+/] }
219
+
220
+ context 'given a repeat with optional bounds' do
221
+ it 'generates nested optional skipping code' do
222
+ nested_code {|g| g.gen_intermediate_skip repeat }.
223
+ should == (<<-CODE).strip
224
+ begin
225
+ @scanner.skip(/w+/)
226
+ true
227
+ end
228
+ CODE
229
+ end
230
+ end
231
+ end
232
+
233
+ end