tpy-lang 0.3.0.dev0__py3-none-any.whl

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 (333) hide show
  1. tpy_lang-0.3.0.dev0.dist-info/METADATA +151 -0
  2. tpy_lang-0.3.0.dev0.dist-info/RECORD +333 -0
  3. tpy_lang-0.3.0.dev0.dist-info/WHEEL +4 -0
  4. tpy_lang-0.3.0.dev0.dist-info/entry_points.txt +3 -0
  5. tpyc/__init__.py +104 -0
  6. tpyc/__main__.py +6 -0
  7. tpyc/_buildinfo.py +1 -0
  8. tpyc/_data/docs/LANGUAGE_FEATURES.md +6278 -0
  9. tpyc/_data/docs/STDLIB_ROADMAP.md +1258 -0
  10. tpyc/_data/docs/TPY_FOR_AGENTS.md +556 -0
  11. tpyc/_data/lib/tpy/_bindings/__init__.py +6 -0
  12. tpyc/_data/lib/tpy/_bindings/pcre2.py +173 -0
  13. tpyc/_data/lib/tpy/_bindings/posix_socket.py +161 -0
  14. tpyc/_data/lib/tpy/_functools_macros.py +80 -0
  15. tpyc/_data/lib/tpy/_macro_helpers.py +161 -0
  16. tpyc/_data/lib/tpy/argparse.py +2062 -0
  17. tpyc/_data/lib/tpy/asyncio/__init__.py +744 -0
  18. tpyc/_data/lib/tpy/asyncio/_executor.py +515 -0
  19. tpyc/_data/lib/tpy/base64.py +410 -0
  20. tpyc/_data/lib/tpy/bisect.py +39 -0
  21. tpyc/_data/lib/tpy/builtins.py +38 -0
  22. tpyc/_data/lib/tpy/dataclasses.py +354 -0
  23. tpyc/_data/lib/tpy/enum.py +23 -0
  24. tpyc/_data/lib/tpy/functools.py +33 -0
  25. tpyc/_data/lib/tpy/hashlib.py +206 -0
  26. tpyc/_data/lib/tpy/heapq.py +118 -0
  27. tpyc/_data/lib/tpy/io.py +395 -0
  28. tpyc/_data/lib/tpy/json.py +221 -0
  29. tpyc/_data/lib/tpy/math.py +406 -0
  30. tpyc/_data/lib/tpy/random.py +597 -0
  31. tpyc/_data/lib/tpy/re.py +467 -0
  32. tpyc/_data/lib/tpy/socket.py +379 -0
  33. tpyc/_data/lib/tpy/struct.py +178 -0
  34. tpyc/_data/lib/tpy/sys.py +40 -0
  35. tpyc/_data/lib/tpy/time.py +39 -0
  36. tpyc/_data/lib/tpy/tpy/__init__.py +78 -0
  37. tpyc/_data/lib/tpy/tpy/_bootstrap/__init__.py +10 -0
  38. tpyc/_data/lib/tpy/tpy/_bootstrap/_decorators.py +37 -0
  39. tpyc/_data/lib/tpy/tpy/_bootstrap/_extern.py +64 -0
  40. tpyc/_data/lib/tpy/tpy/_builtins/__init__.py +11 -0
  41. tpyc/_data/lib/tpy/tpy/_builtins/_bytes.py +378 -0
  42. tpyc/_data/lib/tpy/tpy/_builtins/_dict.py +151 -0
  43. tpyc/_data/lib/tpy/tpy/_builtins/_exceptions.py +125 -0
  44. tpyc/_data/lib/tpy/tpy/_builtins/_funcs.py +681 -0
  45. tpyc/_data/lib/tpy/tpy/_builtins/_io.py +97 -0
  46. tpyc/_data/lib/tpy/tpy/_builtins/_list.py +127 -0
  47. tpyc/_data/lib/tpy/tpy/_builtins/_range.py +52 -0
  48. tpyc/_data/lib/tpy/tpy/_builtins/_set.py +139 -0
  49. tpyc/_data/lib/tpy/tpy/_builtins/_super.py +11 -0
  50. tpyc/_data/lib/tpy/tpy/_builtins/_types.py +661 -0
  51. tpyc/_data/lib/tpy/tpy/_core/__init__.py +23 -0
  52. tpyc/_data/lib/tpy/tpy/_core/_bytes_view.py +129 -0
  53. tpyc/_data/lib/tpy/tpy/_core/_containers.py +137 -0
  54. tpyc/_data/lib/tpy/tpy/_core/_functions.py +40 -0
  55. tpyc/_data/lib/tpy/tpy/_core/_types.py +2061 -0
  56. tpyc/_data/lib/tpy/tpy/_typing/__init__.py +77 -0
  57. tpyc/_data/lib/tpy/tpy/_version.py +29 -0
  58. tpyc/_data/lib/tpy/tpy/bits.py +28 -0
  59. tpyc/_data/lib/tpy/tpy/coro/__init__.py +127 -0
  60. tpyc/_data/lib/tpy/tpy/extern.py +8 -0
  61. tpyc/_data/lib/tpy/tpy/mem.py +49 -0
  62. tpyc/_data/lib/tpy/tpy/unsafe.py +195 -0
  63. tpyc/_data/lib/tpy/tpy/version.py +21 -0
  64. tpyc/_data/lib/tpy/typing.py +13 -0
  65. tpyc/_data/runtime/cpp/include/tpy/any.hpp +461 -0
  66. tpyc/_data/runtime/cpp/include/tpy/as_ostream.hpp +117 -0
  67. tpyc/_data/runtime/cpp/include/tpy/async.hpp +76 -0
  68. tpyc/_data/runtime/cpp/include/tpy/bigint.hpp +1343 -0
  69. tpyc/_data/runtime/cpp/include/tpy/builtins.hpp +400 -0
  70. tpyc/_data/runtime/cpp/include/tpy/bytes_ops.hpp +469 -0
  71. tpyc/_data/runtime/cpp/include/tpy/container_ops.hpp +487 -0
  72. tpyc/_data/runtime/cpp/include/tpy/copy_iter.hpp +82 -0
  73. tpyc/_data/runtime/cpp/include/tpy/core.hpp +558 -0
  74. tpyc/_data/runtime/cpp/include/tpy/dict_ops.hpp +289 -0
  75. tpyc/_data/runtime/cpp/include/tpy/dunder.hpp +750 -0
  76. tpyc/_data/runtime/cpp/include/tpy/dynamic.hpp +44 -0
  77. tpyc/_data/runtime/cpp/include/tpy/enum.hpp +40 -0
  78. tpyc/_data/runtime/cpp/include/tpy/file.hpp +245 -0
  79. tpyc/_data/runtime/cpp/include/tpy/fixed_int.hpp +317 -0
  80. tpyc/_data/runtime/cpp/include/tpy/format.hpp +954 -0
  81. tpyc/_data/runtime/cpp/include/tpy/frame_slot.hpp +120 -0
  82. tpyc/_data/runtime/cpp/include/tpy/generator.hpp +47 -0
  83. tpyc/_data/runtime/cpp/include/tpy/iterable_ops.hpp +122 -0
  84. tpyc/_data/runtime/cpp/include/tpy/itertools.hpp +749 -0
  85. tpyc/_data/runtime/cpp/include/tpy/next_iter.hpp +82 -0
  86. tpyc/_data/runtime/cpp/include/tpy/ordered_map.hpp +518 -0
  87. tpyc/_data/runtime/cpp/include/tpy/ordered_set.hpp +337 -0
  88. tpyc/_data/runtime/cpp/include/tpy/own_iter.hpp +54 -0
  89. tpyc/_data/runtime/cpp/include/tpy/pascal_graph_sdl.hpp +192 -0
  90. tpyc/_data/runtime/cpp/include/tpy/printing.hpp +302 -0
  91. tpyc/_data/runtime/cpp/include/tpy/protocols.hpp +61 -0
  92. tpyc/_data/runtime/cpp/include/tpy/range.hpp +115 -0
  93. tpyc/_data/runtime/cpp/include/tpy/ranges.hpp +212 -0
  94. tpyc/_data/runtime/cpp/include/tpy/set_ops.hpp +265 -0
  95. tpyc/_data/runtime/cpp/include/tpy/slice.hpp +47 -0
  96. tpyc/_data/runtime/cpp/include/tpy/span_iter.hpp +42 -0
  97. tpyc/_data/runtime/cpp/include/tpy/stdlib/math.hpp +41 -0
  98. tpyc/_data/runtime/cpp/include/tpy/stdlib/pcre2_h.hpp +96 -0
  99. tpyc/_data/runtime/cpp/include/tpy/stdlib/random.hpp +25 -0
  100. tpyc/_data/runtime/cpp/include/tpy/stdlib/socket_h.hpp +145 -0
  101. tpyc/_data/runtime/cpp/include/tpy/stdlib/time.hpp +62 -0
  102. tpyc/_data/runtime/cpp/include/tpy/system.hpp +121 -0
  103. tpyc/_data/runtime/cpp/include/tpy/throwable.hpp +55 -0
  104. tpyc/_data/runtime/cpp/include/tpy/tpy.hpp +156 -0
  105. tpyc/_data/runtime/cpp/include/tpy/type_name.hpp +77 -0
  106. tpyc/_data/runtime/cpp/include/tpy/type_traits.hpp +240 -0
  107. tpyc/_data/runtime/cpp/include/tpy/uninit_array_storage.hpp +250 -0
  108. tpyc/_data/runtime/cpp/include/tpy/uninit_heap_storage.hpp +277 -0
  109. tpyc/_data/runtime/cpp/include/tpy/varargs.hpp +174 -0
  110. tpyc/_data/runtime/cpp/include/tpy/variant_ref.hpp +118 -0
  111. tpyc/_data/runtime/cpp/src/stdlib/socket_impl.cpp +104 -0
  112. tpyc/_data/runtime/cpp/third_party/README.md +58 -0
  113. tpyc/_data/runtime/cpp/third_party/pcre2/AUTHORS +36 -0
  114. tpyc/_data/runtime/cpp/third_party/pcre2/CMakeLists.txt +1233 -0
  115. tpyc/_data/runtime/cpp/third_party/pcre2/COPYING +5 -0
  116. tpyc/_data/runtime/cpp/third_party/pcre2/ChangeLog +3097 -0
  117. tpyc/_data/runtime/cpp/third_party/pcre2/HACKING +853 -0
  118. tpyc/_data/runtime/cpp/third_party/pcre2/INSTALL +368 -0
  119. tpyc/_data/runtime/cpp/third_party/pcre2/LICENCE +94 -0
  120. tpyc/_data/runtime/cpp/third_party/pcre2/NEWS +492 -0
  121. tpyc/_data/runtime/cpp/third_party/pcre2/NON-AUTOTOOLS-BUILD +430 -0
  122. tpyc/_data/runtime/cpp/third_party/pcre2/README +956 -0
  123. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/COPYING-CMAKE-SCRIPTS +22 -0
  124. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindEditline.cmake +16 -0
  125. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindPackageHandleStandardArgs.cmake +58 -0
  126. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/FindReadline.cmake +29 -0
  127. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/pcre2-config-version.cmake.in +15 -0
  128. tpyc/_data/runtime/cpp/third_party/pcre2/cmake/pcre2-config.cmake.in +148 -0
  129. tpyc/_data/runtime/cpp/third_party/pcre2/config-cmake.h.in +56 -0
  130. tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-16.pc.in +13 -0
  131. tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-32.pc.in +13 -0
  132. tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-8.pc.in +13 -0
  133. tpyc/_data/runtime/cpp/third_party/pcre2/libpcre2-posix.pc.in +13 -0
  134. tpyc/_data/runtime/cpp/third_party/pcre2/pcre2-config.in +121 -0
  135. tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h +483 -0
  136. tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h.generic +483 -0
  137. tpyc/_data/runtime/cpp/third_party/pcre2/src/config.h.in +460 -0
  138. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h +1010 -0
  139. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h.generic +1010 -0
  140. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2.h.in +1010 -0
  141. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_auto_possess.c +1371 -0
  142. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chartables.c +196 -0
  143. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chartables.c.dist +196 -0
  144. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_chkdint.c +96 -0
  145. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_compile.c +11001 -0
  146. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_config.c +252 -0
  147. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_context.c +510 -0
  148. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_convert.c +1189 -0
  149. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_dfa_match.c +4119 -0
  150. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_dftables.c +297 -0
  151. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_error.c +345 -0
  152. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_extuni.c +162 -0
  153. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_find_bracket.c +219 -0
  154. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_fuzzsupport.c +792 -0
  155. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_internal.h +2084 -0
  156. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_intmodedep.h +940 -0
  157. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_compile.c +14972 -0
  158. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_match.c +200 -0
  159. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_misc.c +234 -0
  160. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_neon_inc.h +354 -0
  161. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_simd_inc.h +2355 -0
  162. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_jit_test.c +2528 -0
  163. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_maketables.c +165 -0
  164. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_match.c +7777 -0
  165. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_match_data.c +185 -0
  166. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_newline.c +243 -0
  167. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ord2utf.c +120 -0
  168. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_pattern_info.c +432 -0
  169. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_printint.c +886 -0
  170. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_script_run.c +344 -0
  171. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_serialize.c +286 -0
  172. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_string_utils.c +237 -0
  173. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_study.c +1915 -0
  174. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_substitute.c +1009 -0
  175. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_substring.c +550 -0
  176. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_tables.c +234 -0
  177. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucd.c +5460 -0
  178. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucp.h +396 -0
  179. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_ucptables.c +1533 -0
  180. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_valid_utf.c +398 -0
  181. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2_xclass.c +308 -0
  182. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2demo.c +497 -0
  183. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2grep.c +4606 -0
  184. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix.c +425 -0
  185. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix.h +187 -0
  186. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2posix_test.c +209 -0
  187. tpyc/_data/runtime/cpp/third_party/pcre2/src/pcre2test.c +9708 -0
  188. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorApple.c +137 -0
  189. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorCore.c +327 -0
  190. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorFreeBSD.c +89 -0
  191. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorPosix.c +62 -0
  192. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitExecAllocatorWindows.c +40 -0
  193. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitProtExecAllocatorNetBSD.c +72 -0
  194. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitProtExecAllocatorPosix.c +172 -0
  195. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitWXExecAllocatorPosix.c +141 -0
  196. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/allocator_src/sljitWXExecAllocatorWindows.c +102 -0
  197. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfig.h +142 -0
  198. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfigCPU.h +188 -0
  199. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitConfigInternal.h +907 -0
  200. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitLir.c +3561 -0
  201. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitLir.h +2466 -0
  202. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_32.c +4636 -0
  203. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_64.c +3491 -0
  204. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeARM_T2_32.c +4302 -0
  205. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeLOONGARCH_64.c +3765 -0
  206. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_32.c +472 -0
  207. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_64.c +387 -0
  208. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeMIPS_common.c +4259 -0
  209. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_32.c +485 -0
  210. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_64.c +719 -0
  211. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativePPC_common.c +3161 -0
  212. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_32.c +142 -0
  213. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_64.c +222 -0
  214. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeRISCV_common.c +3121 -0
  215. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeS390X.c +4526 -0
  216. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_32.c +1685 -0
  217. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_64.c +1398 -0
  218. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitNativeX86_common.c +5001 -0
  219. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitSerialize.c +516 -0
  220. tpyc/_data/runtime/cpp/third_party/pcre2/src/sljit/sljitUtils.c +344 -0
  221. tpyc/_data/runtime/cpp/third_party/pcre2.sources.txt +54 -0
  222. tpyc/_data/runtime/cpp/third_party/pcre2.vendor.json +7 -0
  223. tpyc/build/__init__.py +7 -0
  224. tpyc/build/pcre2.py +122 -0
  225. tpyc/build/third_party.py +413 -0
  226. tpyc/cli.py +822 -0
  227. tpyc/codegen_cpp/__init__.py +18 -0
  228. tpyc/codegen_cpp/builtins.py +484 -0
  229. tpyc/codegen_cpp/context.py +2064 -0
  230. tpyc/codegen_cpp/expressions.py +5940 -0
  231. tpyc/codegen_cpp/functions.py +1913 -0
  232. tpyc/codegen_cpp/gen_async.py +3258 -0
  233. tpyc/codegen_cpp/gen_generators.py +657 -0
  234. tpyc/codegen_cpp/generator.py +2258 -0
  235. tpyc/codegen_cpp/match.py +1997 -0
  236. tpyc/codegen_cpp/param_const.py +172 -0
  237. tpyc/codegen_cpp/protocols.py +907 -0
  238. tpyc/codegen_cpp/records.py +1654 -0
  239. tpyc/codegen_cpp/resumable_cfg.py +1651 -0
  240. tpyc/codegen_cpp/statements.py +4963 -0
  241. tpyc/codegen_cpp/string_dispatch.py +76 -0
  242. tpyc/codegen_cpp/test_context.py +46 -0
  243. tpyc/codegen_cpp/test_param_const.py +113 -0
  244. tpyc/codegen_cpp/test_resumable_cfg.py +182 -0
  245. tpyc/codegen_cpp/type_resolution.py +53 -0
  246. tpyc/codegen_cpp/types.py +436 -0
  247. tpyc/codegen_cpp/variant_access.py +135 -0
  248. tpyc/coercions.py +749 -0
  249. tpyc/compilation_context.py +57 -0
  250. tpyc/compiler.py +3945 -0
  251. tpyc/cycle_detection.py +358 -0
  252. tpyc/diagnostics.py +135 -0
  253. tpyc/dump_types.py +353 -0
  254. tpyc/frontend_diagnostics.py +47 -0
  255. tpyc/frontend_ir/__init__.py +140 -0
  256. tpyc/frontend_ir/lower.py +1098 -0
  257. tpyc/frontend_ir/nodes.py +718 -0
  258. tpyc/frontend_ir/resolver_adapter.py +151 -0
  259. tpyc/frontend_plugin.py +209 -0
  260. tpyc/install_docs.py +81 -0
  261. tpyc/liveness.py +756 -0
  262. tpyc/macro_api.py +1724 -0
  263. tpyc/macro_loader.py +497 -0
  264. tpyc/module_names.py +64 -0
  265. tpyc/modules/__init__.py +31 -0
  266. tpyc/modules/defs.py +89 -0
  267. tpyc/modules/registry.py +36 -0
  268. tpyc/modules/resolver.py +192 -0
  269. tpyc/modules/type_resolution.py +629 -0
  270. tpyc/namespace.py +172 -0
  271. tpyc/parse/__init__.py +84 -0
  272. tpyc/parse/imports.py +490 -0
  273. tpyc/parse/nodes.py +1732 -0
  274. tpyc/parse/parser.py +4043 -0
  275. tpyc/parse/resolve_refs.py +466 -0
  276. tpyc/parse/type_resolver.py +1060 -0
  277. tpyc/prescan.py +254 -0
  278. tpyc/qnames.py +149 -0
  279. tpyc/repl.py +529 -0
  280. tpyc/repl_backends.py +848 -0
  281. tpyc/sema/__init__.py +21 -0
  282. tpyc/sema/analyzer.py +3625 -0
  283. tpyc/sema/bound_check.py +72 -0
  284. tpyc/sema/builder_trace.py +684 -0
  285. tpyc/sema/calls.py +5406 -0
  286. tpyc/sema/compatibility.py +2107 -0
  287. tpyc/sema/context.py +1243 -0
  288. tpyc/sema/expressions.py +3737 -0
  289. tpyc/sema/flow_facts.py +199 -0
  290. tpyc/sema/init_tracker.py +150 -0
  291. tpyc/sema/list_literals.py +69 -0
  292. tpyc/sema/literal_utils.py +27 -0
  293. tpyc/sema/local_deduction.py +1088 -0
  294. tpyc/sema/macros.py +179 -0
  295. tpyc/sema/match.py +1177 -0
  296. tpyc/sema/method_expansion.py +347 -0
  297. tpyc/sema/methods.py +2197 -0
  298. tpyc/sema/mutation_propagation.py +268 -0
  299. tpyc/sema/narrowing.py +857 -0
  300. tpyc/sema/numeric_lattice.py +160 -0
  301. tpyc/sema/operators.py +402 -0
  302. tpyc/sema/overloads.py +841 -0
  303. tpyc/sema/protocols.py +1209 -0
  304. tpyc/sema/reach_analysis.py +202 -0
  305. tpyc/sema/registration.py +3156 -0
  306. tpyc/sema/scope_tracker.py +193 -0
  307. tpyc/sema/statements.py +4426 -0
  308. tpyc/sema/type_ops.py +1879 -0
  309. tpyc/sema/value_range.py +181 -0
  310. tpyc/symbol_binding.py +259 -0
  311. tpyc/test_c3_mro.py +208 -0
  312. tpyc/test_cli_argv.py +52 -0
  313. tpyc/test_compiler.py +559 -0
  314. tpyc/test_contains_type_param.py +101 -0
  315. tpyc/test_cycle_detection.py +221 -0
  316. tpyc/test_dump_types.py +225 -0
  317. tpyc/test_install_docs.py +65 -0
  318. tpyc/test_local_cpp_form.py +135 -0
  319. tpyc/test_macro_loader.py +76 -0
  320. tpyc/test_method_expansion.py +254 -0
  321. tpyc/test_nominal_identity.py +182 -0
  322. tpyc/test_overloads.py +410 -0
  323. tpyc/test_parse.py +303 -0
  324. tpyc/test_parse_type_ref.py +506 -0
  325. tpyc/test_parse_version_info.py +58 -0
  326. tpyc/test_reach_analysis.py +72 -0
  327. tpyc/test_ref_type.py +216 -0
  328. tpyc/test_send_sync_substitution.py +276 -0
  329. tpyc/test_tuple_mutation_propagation.py +206 -0
  330. tpyc/test_type_def_registry.py +1729 -0
  331. tpyc/test_union_types.py +195 -0
  332. tpyc/type_def_registry.py +975 -0
  333. tpyc/typesys.py +5104 -0
@@ -0,0 +1,550 @@
1
+ /*************************************************
2
+ * Perl-Compatible Regular Expressions *
3
+ *************************************************/
4
+
5
+ /* PCRE is a library of functions to support regular expressions whose syntax
6
+ and semantics are as close as possible to those of the Perl 5 language.
7
+
8
+ Written by Philip Hazel
9
+ Original API code Copyright (c) 1997-2012 University of Cambridge
10
+ New API code Copyright (c) 2016-2023 University of Cambridge
11
+
12
+ -----------------------------------------------------------------------------
13
+ Redistribution and use in source and binary forms, with or without
14
+ modification, are permitted provided that the following conditions are met:
15
+
16
+ * Redistributions of source code must retain the above copyright notice,
17
+ this list of conditions and the following disclaimer.
18
+
19
+ * Redistributions in binary form must reproduce the above copyright
20
+ notice, this list of conditions and the following disclaimer in the
21
+ documentation and/or other materials provided with the distribution.
22
+
23
+ * Neither the name of the University of Cambridge nor the names of its
24
+ contributors may be used to endorse or promote products derived from
25
+ this software without specific prior written permission.
26
+
27
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
28
+ AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
29
+ IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
30
+ ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
31
+ LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
32
+ CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
33
+ SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
34
+ INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
35
+ CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
36
+ ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
37
+ POSSIBILITY OF SUCH DAMAGE.
38
+ -----------------------------------------------------------------------------
39
+ */
40
+
41
+
42
+ #ifdef HAVE_CONFIG_H
43
+ #include "config.h"
44
+ #endif
45
+
46
+ #include "pcre2_internal.h"
47
+
48
+
49
+
50
+ /*************************************************
51
+ * Copy named captured string to given buffer *
52
+ *************************************************/
53
+
54
+ /* This function copies a single captured substring into a given buffer,
55
+ identifying it by name. If the regex permits duplicate names, the first
56
+ substring that is set is chosen.
57
+
58
+ Arguments:
59
+ match_data points to the match data
60
+ stringname the name of the required substring
61
+ buffer where to put the substring
62
+ sizeptr the size of the buffer, updated to the size of the substring
63
+
64
+ Returns: if successful: zero
65
+ if not successful, a negative error code:
66
+ (1) an error from nametable_scan()
67
+ (2) an error from copy_bynumber()
68
+ (3) PCRE2_ERROR_UNAVAILABLE: no group is in ovector
69
+ (4) PCRE2_ERROR_UNSET: all named groups in ovector are unset
70
+ */
71
+
72
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
73
+ pcre2_substring_copy_byname(pcre2_match_data *match_data, PCRE2_SPTR stringname,
74
+ PCRE2_UCHAR *buffer, PCRE2_SIZE *sizeptr)
75
+ {
76
+ PCRE2_SPTR first, last, entry;
77
+ int failrc, entrysize;
78
+ if (match_data->matchedby == PCRE2_MATCHEDBY_DFA_INTERPRETER)
79
+ return PCRE2_ERROR_DFA_UFUNC;
80
+ entrysize = pcre2_substring_nametable_scan(match_data->code, stringname,
81
+ &first, &last);
82
+ if (entrysize < 0) return entrysize;
83
+ failrc = PCRE2_ERROR_UNAVAILABLE;
84
+ for (entry = first; entry <= last; entry += entrysize)
85
+ {
86
+ uint32_t n = GET2(entry, 0);
87
+ if (n < match_data->oveccount)
88
+ {
89
+ if (match_data->ovector[n*2] != PCRE2_UNSET)
90
+ return pcre2_substring_copy_bynumber(match_data, n, buffer, sizeptr);
91
+ failrc = PCRE2_ERROR_UNSET;
92
+ }
93
+ }
94
+ return failrc;
95
+ }
96
+
97
+
98
+
99
+ /*************************************************
100
+ * Copy numbered captured string to given buffer *
101
+ *************************************************/
102
+
103
+ /* This function copies a single captured substring into a given buffer,
104
+ identifying it by number.
105
+
106
+ Arguments:
107
+ match_data points to the match data
108
+ stringnumber the number of the required substring
109
+ buffer where to put the substring
110
+ sizeptr the size of the buffer, updated to the size of the substring
111
+
112
+ Returns: if successful: 0
113
+ if not successful, a negative error code:
114
+ PCRE2_ERROR_NOMEMORY: buffer too small
115
+ PCRE2_ERROR_NOSUBSTRING: no such substring
116
+ PCRE2_ERROR_UNAVAILABLE: ovector too small
117
+ PCRE2_ERROR_UNSET: substring is not set
118
+ */
119
+
120
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
121
+ pcre2_substring_copy_bynumber(pcre2_match_data *match_data,
122
+ uint32_t stringnumber, PCRE2_UCHAR *buffer, PCRE2_SIZE *sizeptr)
123
+ {
124
+ int rc;
125
+ PCRE2_SIZE size;
126
+ rc = pcre2_substring_length_bynumber(match_data, stringnumber, &size);
127
+ if (rc < 0) return rc;
128
+ if (size + 1 > *sizeptr) return PCRE2_ERROR_NOMEMORY;
129
+ memcpy(buffer, match_data->subject + match_data->ovector[stringnumber*2],
130
+ CU2BYTES(size));
131
+ buffer[size] = 0;
132
+ *sizeptr = size;
133
+ return 0;
134
+ }
135
+
136
+
137
+
138
+ /*************************************************
139
+ * Extract named captured string *
140
+ *************************************************/
141
+
142
+ /* This function copies a single captured substring, identified by name, into
143
+ new memory. If the regex permits duplicate names, the first substring that is
144
+ set is chosen.
145
+
146
+ Arguments:
147
+ match_data pointer to match_data
148
+ stringname the name of the required substring
149
+ stringptr where to put the pointer to the new memory
150
+ sizeptr where to put the length of the substring
151
+
152
+ Returns: if successful: zero
153
+ if not successful, a negative value:
154
+ (1) an error from nametable_scan()
155
+ (2) an error from get_bynumber()
156
+ (3) PCRE2_ERROR_UNAVAILABLE: no group is in ovector
157
+ (4) PCRE2_ERROR_UNSET: all named groups in ovector are unset
158
+ */
159
+
160
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
161
+ pcre2_substring_get_byname(pcre2_match_data *match_data,
162
+ PCRE2_SPTR stringname, PCRE2_UCHAR **stringptr, PCRE2_SIZE *sizeptr)
163
+ {
164
+ PCRE2_SPTR first, last, entry;
165
+ int failrc, entrysize;
166
+ if (match_data->matchedby == PCRE2_MATCHEDBY_DFA_INTERPRETER)
167
+ return PCRE2_ERROR_DFA_UFUNC;
168
+ entrysize = pcre2_substring_nametable_scan(match_data->code, stringname,
169
+ &first, &last);
170
+ if (entrysize < 0) return entrysize;
171
+ failrc = PCRE2_ERROR_UNAVAILABLE;
172
+ for (entry = first; entry <= last; entry += entrysize)
173
+ {
174
+ uint32_t n = GET2(entry, 0);
175
+ if (n < match_data->oveccount)
176
+ {
177
+ if (match_data->ovector[n*2] != PCRE2_UNSET)
178
+ return pcre2_substring_get_bynumber(match_data, n, stringptr, sizeptr);
179
+ failrc = PCRE2_ERROR_UNSET;
180
+ }
181
+ }
182
+ return failrc;
183
+ }
184
+
185
+
186
+
187
+ /*************************************************
188
+ * Extract captured string to new memory *
189
+ *************************************************/
190
+
191
+ /* This function copies a single captured substring into a piece of new
192
+ memory.
193
+
194
+ Arguments:
195
+ match_data points to match data
196
+ stringnumber the number of the required substring
197
+ stringptr where to put a pointer to the new memory
198
+ sizeptr where to put the size of the substring
199
+
200
+ Returns: if successful: 0
201
+ if not successful, a negative error code:
202
+ PCRE2_ERROR_NOMEMORY: failed to get memory
203
+ PCRE2_ERROR_NOSUBSTRING: no such substring
204
+ PCRE2_ERROR_UNAVAILABLE: ovector too small
205
+ PCRE2_ERROR_UNSET: substring is not set
206
+ */
207
+
208
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
209
+ pcre2_substring_get_bynumber(pcre2_match_data *match_data,
210
+ uint32_t stringnumber, PCRE2_UCHAR **stringptr, PCRE2_SIZE *sizeptr)
211
+ {
212
+ int rc;
213
+ PCRE2_SIZE size;
214
+ PCRE2_UCHAR *yield;
215
+ rc = pcre2_substring_length_bynumber(match_data, stringnumber, &size);
216
+ if (rc < 0) return rc;
217
+ yield = PRIV(memctl_malloc)(sizeof(pcre2_memctl) +
218
+ (size + 1)*PCRE2_CODE_UNIT_WIDTH, (pcre2_memctl *)match_data);
219
+ if (yield == NULL) return PCRE2_ERROR_NOMEMORY;
220
+ yield = (PCRE2_UCHAR *)(((char *)yield) + sizeof(pcre2_memctl));
221
+ memcpy(yield, match_data->subject + match_data->ovector[stringnumber*2],
222
+ CU2BYTES(size));
223
+ yield[size] = 0;
224
+ *stringptr = yield;
225
+ *sizeptr = size;
226
+ return 0;
227
+ }
228
+
229
+
230
+
231
+ /*************************************************
232
+ * Free memory obtained by get_substring *
233
+ *************************************************/
234
+
235
+ /*
236
+ Argument: the result of a previous pcre2_substring_get_byxxx()
237
+ Returns: nothing
238
+ */
239
+
240
+ PCRE2_EXP_DEFN void PCRE2_CALL_CONVENTION
241
+ pcre2_substring_free(PCRE2_UCHAR *string)
242
+ {
243
+ if (string != NULL)
244
+ {
245
+ pcre2_memctl *memctl = (pcre2_memctl *)((char *)string - sizeof(pcre2_memctl));
246
+ memctl->free(memctl, memctl->memory_data);
247
+ }
248
+ }
249
+
250
+
251
+
252
+ /*************************************************
253
+ * Get length of a named substring *
254
+ *************************************************/
255
+
256
+ /* This function returns the length of a named captured substring. If the regex
257
+ permits duplicate names, the first substring that is set is chosen.
258
+
259
+ Arguments:
260
+ match_data pointer to match data
261
+ stringname the name of the required substring
262
+ sizeptr where to put the length
263
+
264
+ Returns: 0 if successful, else a negative error number
265
+ */
266
+
267
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
268
+ pcre2_substring_length_byname(pcre2_match_data *match_data,
269
+ PCRE2_SPTR stringname, PCRE2_SIZE *sizeptr)
270
+ {
271
+ PCRE2_SPTR first, last, entry;
272
+ int failrc, entrysize;
273
+ if (match_data->matchedby == PCRE2_MATCHEDBY_DFA_INTERPRETER)
274
+ return PCRE2_ERROR_DFA_UFUNC;
275
+ entrysize = pcre2_substring_nametable_scan(match_data->code, stringname,
276
+ &first, &last);
277
+ if (entrysize < 0) return entrysize;
278
+ failrc = PCRE2_ERROR_UNAVAILABLE;
279
+ for (entry = first; entry <= last; entry += entrysize)
280
+ {
281
+ uint32_t n = GET2(entry, 0);
282
+ if (n < match_data->oveccount)
283
+ {
284
+ if (match_data->ovector[n*2] != PCRE2_UNSET)
285
+ return pcre2_substring_length_bynumber(match_data, n, sizeptr);
286
+ failrc = PCRE2_ERROR_UNSET;
287
+ }
288
+ }
289
+ return failrc;
290
+ }
291
+
292
+
293
+
294
+ /*************************************************
295
+ * Get length of a numbered substring *
296
+ *************************************************/
297
+
298
+ /* This function returns the length of a captured substring. If the start is
299
+ beyond the end (which can happen when \K is used in an assertion), it sets the
300
+ length to zero.
301
+
302
+ Arguments:
303
+ match_data pointer to match data
304
+ stringnumber the number of the required substring
305
+ sizeptr where to put the length, if not NULL
306
+
307
+ Returns: if successful: 0
308
+ if not successful, a negative error code:
309
+ PCRE2_ERROR_NOSUBSTRING: no such substring
310
+ PCRE2_ERROR_UNAVAILABLE: ovector is too small
311
+ PCRE2_ERROR_UNSET: substring is not set
312
+ PCRE2_ERROR_INVALIDOFFSET: internal error, should not occur
313
+ */
314
+
315
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
316
+ pcre2_substring_length_bynumber(pcre2_match_data *match_data,
317
+ uint32_t stringnumber, PCRE2_SIZE *sizeptr)
318
+ {
319
+ PCRE2_SIZE left, right;
320
+ int count = match_data->rc;
321
+ if (count == PCRE2_ERROR_PARTIAL)
322
+ {
323
+ if (stringnumber > 0) return PCRE2_ERROR_PARTIAL;
324
+ count = 0;
325
+ }
326
+ else if (count < 0) return count; /* Match failed */
327
+
328
+ if (match_data->matchedby != PCRE2_MATCHEDBY_DFA_INTERPRETER)
329
+ {
330
+ if (stringnumber > match_data->code->top_bracket)
331
+ return PCRE2_ERROR_NOSUBSTRING;
332
+ if (stringnumber >= match_data->oveccount)
333
+ return PCRE2_ERROR_UNAVAILABLE;
334
+ if (match_data->ovector[stringnumber*2] == PCRE2_UNSET)
335
+ return PCRE2_ERROR_UNSET;
336
+ }
337
+ else /* Matched using pcre2_dfa_match() */
338
+ {
339
+ if (stringnumber >= match_data->oveccount) return PCRE2_ERROR_UNAVAILABLE;
340
+ if (count != 0 && stringnumber >= (uint32_t)count) return PCRE2_ERROR_UNSET;
341
+ }
342
+
343
+ left = match_data->ovector[stringnumber*2];
344
+ right = match_data->ovector[stringnumber*2+1];
345
+ if (left > match_data->subject_length || right > match_data->subject_length)
346
+ return PCRE2_ERROR_INVALIDOFFSET;
347
+ if (sizeptr != NULL) *sizeptr = (left > right)? 0 : right - left;
348
+ return 0;
349
+ }
350
+
351
+
352
+
353
+ /*************************************************
354
+ * Extract all captured strings to new memory *
355
+ *************************************************/
356
+
357
+ /* This function gets one chunk of memory and builds a list of pointers and all
358
+ the captured substrings in it. A NULL pointer is put on the end of the list.
359
+ The substrings are zero-terminated, but also, if the final argument is
360
+ non-NULL, a list of lengths is also returned. This allows binary data to be
361
+ handled.
362
+
363
+ Arguments:
364
+ match_data points to the match data
365
+ listptr set to point to the list of pointers
366
+ lengthsptr set to point to the list of lengths (may be NULL)
367
+
368
+ Returns: if successful: 0
369
+ if not successful, a negative error code:
370
+ PCRE2_ERROR_NOMEMORY: failed to get memory,
371
+ or a match failure code
372
+ */
373
+
374
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
375
+ pcre2_substring_list_get(pcre2_match_data *match_data, PCRE2_UCHAR ***listptr,
376
+ PCRE2_SIZE **lengthsptr)
377
+ {
378
+ int i, count, count2;
379
+ PCRE2_SIZE size;
380
+ PCRE2_SIZE *lensp;
381
+ pcre2_memctl *memp;
382
+ PCRE2_UCHAR **listp;
383
+ PCRE2_UCHAR *sp;
384
+ PCRE2_SIZE *ovector;
385
+
386
+ if ((count = match_data->rc) < 0) return count; /* Match failed */
387
+ if (count == 0) count = match_data->oveccount; /* Ovector too small */
388
+
389
+ count2 = 2*count;
390
+ ovector = match_data->ovector;
391
+ size = sizeof(pcre2_memctl) + sizeof(PCRE2_UCHAR *); /* For final NULL */
392
+ if (lengthsptr != NULL) size += sizeof(PCRE2_SIZE) * count; /* For lengths */
393
+
394
+ for (i = 0; i < count2; i += 2)
395
+ {
396
+ size += sizeof(PCRE2_UCHAR *) + CU2BYTES(1);
397
+ if (ovector[i+1] > ovector[i]) size += CU2BYTES(ovector[i+1] - ovector[i]);
398
+ }
399
+
400
+ memp = PRIV(memctl_malloc)(size, (pcre2_memctl *)match_data);
401
+ if (memp == NULL) return PCRE2_ERROR_NOMEMORY;
402
+
403
+ *listptr = listp = (PCRE2_UCHAR **)((char *)memp + sizeof(pcre2_memctl));
404
+ lensp = (PCRE2_SIZE *)((char *)listp + sizeof(PCRE2_UCHAR *) * (count + 1));
405
+
406
+ if (lengthsptr == NULL)
407
+ {
408
+ sp = (PCRE2_UCHAR *)lensp;
409
+ lensp = NULL;
410
+ }
411
+ else
412
+ {
413
+ *lengthsptr = lensp;
414
+ sp = (PCRE2_UCHAR *)((char *)lensp + sizeof(PCRE2_SIZE) * count);
415
+ }
416
+
417
+ for (i = 0; i < count2; i += 2)
418
+ {
419
+ size = (ovector[i+1] > ovector[i])? (ovector[i+1] - ovector[i]) : 0;
420
+
421
+ /* Size == 0 includes the case when the capture is unset. Avoid adding
422
+ PCRE2_UNSET to match_data->subject because it overflows, even though with
423
+ zero size calling memcpy() is harmless. */
424
+
425
+ if (size != 0) memcpy(sp, match_data->subject + ovector[i], CU2BYTES(size));
426
+ *listp++ = sp;
427
+ if (lensp != NULL) *lensp++ = size;
428
+ sp += size;
429
+ *sp++ = 0;
430
+ }
431
+
432
+ *listp = NULL;
433
+ return 0;
434
+ }
435
+
436
+
437
+
438
+ /*************************************************
439
+ * Free memory obtained by substring_list_get *
440
+ *************************************************/
441
+
442
+ /*
443
+ Argument: the result of a previous pcre2_substring_list_get()
444
+ Returns: nothing
445
+ */
446
+
447
+ PCRE2_EXP_DEFN void PCRE2_CALL_CONVENTION
448
+ pcre2_substring_list_free(PCRE2_UCHAR **list)
449
+ {
450
+ if (list != NULL)
451
+ {
452
+ pcre2_memctl *memctl = (pcre2_memctl *)((char *)list - sizeof(pcre2_memctl));
453
+ memctl->free(memctl, memctl->memory_data);
454
+ }
455
+ }
456
+
457
+
458
+
459
+ /*************************************************
460
+ * Find (multiple) entries for named string *
461
+ *************************************************/
462
+
463
+ /* This function scans the nametable for a given name, using binary chop. It
464
+ returns either two pointers to the entries in the table, or, if no pointers are
465
+ given, the number of a unique group with the given name. If duplicate names are
466
+ permitted, and the name is not unique, an error is generated.
467
+
468
+ Arguments:
469
+ code the compiled regex
470
+ stringname the name whose entries required
471
+ firstptr where to put the pointer to the first entry
472
+ lastptr where to put the pointer to the last entry
473
+
474
+ Returns: PCRE2_ERROR_NOSUBSTRING if the name is not found
475
+ otherwise, if firstptr and lastptr are NULL:
476
+ a group number for a unique substring
477
+ else PCRE2_ERROR_NOUNIQUESUBSTRING
478
+ otherwise:
479
+ the length of each entry, having set firstptr and lastptr
480
+ */
481
+
482
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
483
+ pcre2_substring_nametable_scan(const pcre2_code *code, PCRE2_SPTR stringname,
484
+ PCRE2_SPTR *firstptr, PCRE2_SPTR *lastptr)
485
+ {
486
+ uint16_t bot = 0;
487
+ uint16_t top = code->name_count;
488
+ uint16_t entrysize = code->name_entry_size;
489
+ PCRE2_SPTR nametable = (PCRE2_SPTR)((char *)code + sizeof(pcre2_real_code));
490
+
491
+ while (top > bot)
492
+ {
493
+ uint16_t mid = (top + bot) / 2;
494
+ PCRE2_SPTR entry = nametable + entrysize*mid;
495
+ int c = PRIV(strcmp)(stringname, entry + IMM2_SIZE);
496
+ if (c == 0)
497
+ {
498
+ PCRE2_SPTR first;
499
+ PCRE2_SPTR last;
500
+ PCRE2_SPTR lastentry;
501
+ lastentry = nametable + entrysize * (code->name_count - 1);
502
+ first = last = entry;
503
+ while (first > nametable)
504
+ {
505
+ if (PRIV(strcmp)(stringname, (first - entrysize + IMM2_SIZE)) != 0) break;
506
+ first -= entrysize;
507
+ }
508
+ while (last < lastentry)
509
+ {
510
+ if (PRIV(strcmp)(stringname, (last + entrysize + IMM2_SIZE)) != 0) break;
511
+ last += entrysize;
512
+ }
513
+ if (firstptr == NULL) return (first == last)?
514
+ (int)GET2(entry, 0) : PCRE2_ERROR_NOUNIQUESUBSTRING;
515
+ *firstptr = first;
516
+ *lastptr = last;
517
+ return entrysize;
518
+ }
519
+ if (c > 0) bot = mid + 1; else top = mid;
520
+ }
521
+
522
+ return PCRE2_ERROR_NOSUBSTRING;
523
+ }
524
+
525
+
526
+ /*************************************************
527
+ * Find number for named string *
528
+ *************************************************/
529
+
530
+ /* This function is a convenience wrapper for pcre2_substring_nametable_scan()
531
+ when it is known that names are unique. If there are duplicate names, it is not
532
+ defined which number is returned.
533
+
534
+ Arguments:
535
+ code the compiled regex
536
+ stringname the name whose number is required
537
+
538
+ Returns: the number of the named parenthesis, or a negative number
539
+ PCRE2_ERROR_NOSUBSTRING if not found
540
+ PCRE2_ERROR_NOUNIQUESUBSTRING if not unique
541
+ */
542
+
543
+ PCRE2_EXP_DEFN int PCRE2_CALL_CONVENTION
544
+ pcre2_substring_number_from_name(const pcre2_code *code,
545
+ PCRE2_SPTR stringname)
546
+ {
547
+ return pcre2_substring_nametable_scan(code, stringname, NULL, NULL);
548
+ }
549
+
550
+ /* End of pcre2_substring.c */