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,425 @@
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-2022 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
+ /* This module is a wrapper that provides a POSIX API to the underlying PCRE2
43
+ functions. The functions are called pcre2_regcomp(), pcre2_regexec(), etc.
44
+ pcre2posix.h defines the POSIX names as macros for the corresonding pcre2_xxx
45
+ functions, so any program that includes it and uses the POSIX names will call
46
+ the PCRE2 implementations instead. */
47
+
48
+
49
+ #ifdef HAVE_CONFIG_H
50
+ #include "config.h"
51
+ #endif
52
+
53
+ #ifdef PCRE2POSIX_SHARED
54
+ #undef PCRE2_STATIC
55
+ #endif
56
+
57
+
58
+ /* Ensure that the PCRE2POSIX_EXP_xxx macros are set appropriately for
59
+ compiling these functions. This must come before including pcre2posix.h, where
60
+ they are set for an application (using these functions) if they have not
61
+ previously been set. */
62
+
63
+ #if defined(_WIN32) && (defined(PCRE2POSIX_SHARED) || !defined(PCRE2_STATIC))
64
+ # define PCRE2POSIX_EXP_DECL extern __declspec(dllexport)
65
+ # define PCRE2POSIX_EXP_DEFN __declspec(dllexport)
66
+ #endif
67
+
68
+ /* Older versions of MSVC lack snprintf(). This define allows for
69
+ warning/error-free compilation and testing with MSVC compilers back to at least
70
+ MSVC 10/2010. Except for VC6 (which is missing some fundamentals and fails). */
71
+
72
+ #if defined(_MSC_VER) && (_MSC_VER < 1900)
73
+ #define snprintf _snprintf
74
+ #define BROKEN_SNPRINTF
75
+ #endif
76
+
77
+
78
+ /* Compile-time error numbers start at this value. It should probably never be
79
+ changed. This #define is a copy of the one in pcre2_internal.h. */
80
+
81
+ #define COMPILE_ERROR_BASE 100
82
+
83
+
84
+ /* Standard C headers */
85
+
86
+ #include <ctype.h>
87
+ #include <limits.h>
88
+ #include <stddef.h>
89
+ #include <stdio.h>
90
+ #include <stdlib.h>
91
+ #include <string.h>
92
+
93
+ /* PCRE2 headers */
94
+
95
+ #include "pcre2.h"
96
+ #include "pcre2posix.h"
97
+
98
+ /* Table to translate PCRE2 compile time error codes into POSIX error codes.
99
+ Only a few PCRE2 errors with a value greater than 23 turn into special POSIX
100
+ codes: most go to REG_BADPAT. The second table lists, in pairs, those that
101
+ don't. */
102
+
103
+ static const int eint1[] = {
104
+ 0, /* No error */
105
+ REG_EESCAPE, /* \ at end of pattern */
106
+ REG_EESCAPE, /* \c at end of pattern */
107
+ REG_EESCAPE, /* unrecognized character follows \ */
108
+ REG_BADBR, /* numbers out of order in {} quantifier */
109
+ /* 5 */
110
+ REG_BADBR, /* number too big in {} quantifier */
111
+ REG_EBRACK, /* missing terminating ] for character class */
112
+ REG_ECTYPE, /* invalid escape sequence in character class */
113
+ REG_ERANGE, /* range out of order in character class */
114
+ REG_BADRPT, /* nothing to repeat */
115
+ /* 10 */
116
+ REG_ASSERT, /* internal error: unexpected repeat */
117
+ REG_BADPAT, /* unrecognized character after (? or (?- */
118
+ REG_BADPAT, /* POSIX named classes are supported only within a class */
119
+ REG_BADPAT, /* POSIX collating elements are not supported */
120
+ REG_EPAREN, /* missing ) */
121
+ /* 15 */
122
+ REG_ESUBREG, /* reference to non-existent subpattern */
123
+ REG_INVARG, /* pattern passed as NULL */
124
+ REG_INVARG, /* unknown compile-time option bit(s) */
125
+ REG_EPAREN, /* missing ) after (?# comment */
126
+ REG_ESIZE, /* parentheses nested too deeply */
127
+ /* 20 */
128
+ REG_ESIZE, /* regular expression too large */
129
+ REG_ESPACE, /* failed to get memory */
130
+ REG_EPAREN, /* unmatched closing parenthesis */
131
+ REG_ASSERT /* internal error: code overflow */
132
+ };
133
+
134
+ static const int eint2[] = {
135
+ 30, REG_ECTYPE, /* unknown POSIX class name */
136
+ 32, REG_INVARG, /* this version of PCRE2 does not have Unicode support */
137
+ 37, REG_EESCAPE, /* PCRE2 does not support \L, \l, \N{name}, \U, or \u */
138
+ 56, REG_INVARG, /* internal error: unknown newline setting */
139
+ 92, REG_INVARG, /* invalid option bits with PCRE2_LITERAL */
140
+ 99, REG_EESCAPE /* \K in lookaround */
141
+ };
142
+
143
+ /* Table of texts corresponding to POSIX error codes */
144
+
145
+ static const char *const pstring[] = {
146
+ "", /* Dummy for value 0 */
147
+ "internal error", /* REG_ASSERT */
148
+ "invalid repeat counts in {}", /* BADBR */
149
+ "pattern error", /* BADPAT */
150
+ "? * + invalid", /* BADRPT */
151
+ "unbalanced {}", /* EBRACE */
152
+ "unbalanced []", /* EBRACK */
153
+ "collation error - not relevant", /* ECOLLATE */
154
+ "bad class", /* ECTYPE */
155
+ "bad escape sequence", /* EESCAPE */
156
+ "empty expression", /* EMPTY */
157
+ "unbalanced ()", /* EPAREN */
158
+ "bad range inside []", /* ERANGE */
159
+ "expression too big", /* ESIZE */
160
+ "failed to get memory", /* ESPACE */
161
+ "bad back reference", /* ESUBREG */
162
+ "bad argument", /* INVARG */
163
+ "match failed" /* NOMATCH */
164
+ };
165
+
166
+ static int message_len(const char *message, int offset)
167
+ {
168
+ char buf[12];
169
+
170
+ /* 11 magic number comes from the format below */
171
+ return (int)strlen(message) + 11 + snprintf(buf, sizeof(buf), "%d", offset);
172
+ }
173
+
174
+ /*************************************************
175
+ * Translate error code to string *
176
+ *************************************************/
177
+
178
+ PCRE2POSIX_EXP_DEFN size_t PCRE2_CALL_CONVENTION
179
+ pcre2_regerror(int errcode, const regex_t *preg, char *errbuf,
180
+ size_t errbuf_size)
181
+ {
182
+ int ret;
183
+ const char *message;
184
+ size_t len = 0; /* keeps 0 if snprintf is used */
185
+
186
+ message = (errcode <= 0 || errcode >= (int)(sizeof(pstring)/sizeof(char *)))?
187
+ "unknown error code" : pstring[errcode];
188
+
189
+ if (preg != NULL && (int)preg->re_erroffset != -1)
190
+ {
191
+ /* no need to deal with UB in snprintf */
192
+ if (errbuf_size > INT_MAX) errbuf_size = INT_MAX;
193
+
194
+ /* there are 11 charactes between message and offset,
195
+ update message_len() if changed */
196
+ ret = snprintf(errbuf, errbuf_size, "%s at offset %d", message,
197
+ (int)preg->re_erroffset);
198
+ }
199
+ else
200
+ {
201
+ len = strlen(message);
202
+ if (errbuf_size != 0)
203
+ {
204
+ strncpy(errbuf, message, errbuf_size);
205
+ if (errbuf_size <= len) errbuf[errbuf_size - 1] = '\0';
206
+ }
207
+ ret = (int)len;
208
+ }
209
+
210
+ do {
211
+ if (ret < 0)
212
+ {
213
+ #ifdef BROKEN_SNPRINTF
214
+ /* _snprintf returns -1 on overflow and doesn't zero terminate */
215
+ if (!len)
216
+ {
217
+ if (ret == -1 && errbuf_size != 0) errbuf[errbuf_size - 1] = '\0';
218
+
219
+ ret = message_len(message, (int)preg->re_erroffset);
220
+ break;
221
+ }
222
+ #endif
223
+ /* snprintf failed, will use a 14 char long message if possible */
224
+ ret = 14;
225
+ if (errbuf_size != 0)
226
+ {
227
+ strncpy(errbuf, "internal error", errbuf_size);
228
+ if ((int)errbuf_size <= ret) errbuf[errbuf_size - 1] = '\0';
229
+ }
230
+ }
231
+ else if (ret == (int)errbuf_size && !len)
232
+ {
233
+ /* pre C99 snprintf returns used, so redo ret to fix that */
234
+
235
+ ret = message_len(message, (int)preg->re_erroffset);
236
+ }
237
+ } while (0);
238
+
239
+ return ret + 1;
240
+ }
241
+
242
+
243
+
244
+ /*************************************************
245
+ * Free store held by a regex *
246
+ *************************************************/
247
+
248
+ PCRE2POSIX_EXP_DEFN void PCRE2_CALL_CONVENTION
249
+ pcre2_regfree(regex_t *preg)
250
+ {
251
+ pcre2_match_data_free(preg->re_match_data);
252
+ pcre2_code_free(preg->re_pcre2_code);
253
+ }
254
+
255
+
256
+
257
+ /*************************************************
258
+ * Compile a regular expression *
259
+ *************************************************/
260
+
261
+ /*
262
+ Arguments:
263
+ preg points to a structure for recording the compiled expression
264
+ pattern the pattern to compile
265
+ cflags compilation flags
266
+
267
+ Returns: 0 on success
268
+ various non-zero codes on failure
269
+ */
270
+
271
+ PCRE2POSIX_EXP_DEFN int PCRE2_CALL_CONVENTION
272
+ pcre2_regcomp(regex_t *preg, const char *pattern, int cflags)
273
+ {
274
+ PCRE2_SIZE erroffset;
275
+ PCRE2_SIZE patlen;
276
+ int errorcode;
277
+ int options = 0;
278
+ int re_nsub = 0;
279
+
280
+ patlen = ((cflags & REG_PEND) != 0)? (PCRE2_SIZE)(preg->re_endp - pattern) :
281
+ PCRE2_ZERO_TERMINATED;
282
+
283
+ if ((cflags & REG_ICASE) != 0) options |= PCRE2_CASELESS;
284
+ if ((cflags & REG_NEWLINE) != 0) options |= PCRE2_MULTILINE;
285
+ if ((cflags & REG_DOTALL) != 0) options |= PCRE2_DOTALL;
286
+ if ((cflags & REG_NOSPEC) != 0) options |= PCRE2_LITERAL;
287
+ if ((cflags & REG_UTF) != 0) options |= PCRE2_UTF;
288
+ if ((cflags & REG_UCP) != 0) options |= PCRE2_UCP;
289
+ if ((cflags & REG_UNGREEDY) != 0) options |= PCRE2_UNGREEDY;
290
+
291
+ preg->re_cflags = cflags;
292
+ preg->re_pcre2_code = pcre2_compile((PCRE2_SPTR)pattern, patlen, options,
293
+ &errorcode, &erroffset, NULL);
294
+ preg->re_erroffset = erroffset;
295
+
296
+ if (preg->re_pcre2_code == NULL)
297
+ {
298
+ unsigned int i;
299
+
300
+ /* A negative value is a UTF error; otherwise all error codes are greater
301
+ than COMPILE_ERROR_BASE, but check, just in case. */
302
+
303
+ if (errorcode < COMPILE_ERROR_BASE) return REG_BADPAT;
304
+ errorcode -= COMPILE_ERROR_BASE;
305
+
306
+ if (errorcode < (int)(sizeof(eint1)/sizeof(const int)))
307
+ return eint1[errorcode];
308
+ for (i = 0; i < sizeof(eint2)/sizeof(const int); i += 2)
309
+ if (errorcode == eint2[i]) return eint2[i+1];
310
+ return REG_BADPAT;
311
+ }
312
+
313
+ (void)pcre2_pattern_info((const pcre2_code *)preg->re_pcre2_code,
314
+ PCRE2_INFO_CAPTURECOUNT, &re_nsub);
315
+ preg->re_nsub = (size_t)re_nsub;
316
+ preg->re_match_data = pcre2_match_data_create(re_nsub + 1, NULL);
317
+ preg->re_erroffset = (size_t)(-1); /* No meaning after successful compile */
318
+
319
+ if (preg->re_match_data == NULL)
320
+ {
321
+ /* LCOV_EXCL_START */
322
+ pcre2_code_free(preg->re_pcre2_code);
323
+ return REG_ESPACE;
324
+ /* LCOV_EXCL_STOP */
325
+ }
326
+
327
+ return 0;
328
+ }
329
+
330
+
331
+
332
+ /*************************************************
333
+ * Match a regular expression *
334
+ *************************************************/
335
+
336
+ /* A suitable match_data block, large enough to hold all possible captures, was
337
+ obtained when the pattern was compiled, to save having to allocate and free it
338
+ for each match. If REG_NOSUB was specified at compile time, the nmatch and
339
+ pmatch arguments are ignored, and the only result is yes/no/error. */
340
+
341
+ PCRE2POSIX_EXP_DEFN int PCRE2_CALL_CONVENTION
342
+ pcre2_regexec(const regex_t *preg, const char *string, size_t nmatch,
343
+ regmatch_t pmatch[], int eflags)
344
+ {
345
+ int rc, so, eo;
346
+ int options = 0;
347
+ pcre2_match_data *md = (pcre2_match_data *)preg->re_match_data;
348
+
349
+ if (string == NULL) return REG_INVARG;
350
+
351
+ if ((eflags & REG_NOTBOL) != 0) options |= PCRE2_NOTBOL;
352
+ if ((eflags & REG_NOTEOL) != 0) options |= PCRE2_NOTEOL;
353
+ if ((eflags & REG_NOTEMPTY) != 0) options |= PCRE2_NOTEMPTY;
354
+
355
+ /* When REG_NOSUB was specified, or if no vector has been passed in which to
356
+ put captured strings, ensure that nmatch is zero. This will stop any attempt to
357
+ write to pmatch. */
358
+
359
+ if ((preg->re_cflags & REG_NOSUB) != 0 || pmatch == NULL) nmatch = 0;
360
+
361
+ /* REG_STARTEND is a BSD extension, to allow for non-NUL-terminated strings.
362
+ The man page from OS X says "REG_STARTEND affects only the location of the
363
+ string, not how it is matched". That is why the "so" value is used to bump the
364
+ start location rather than being passed as a PCRE2 "starting offset". */
365
+
366
+ if ((eflags & REG_STARTEND) != 0)
367
+ {
368
+ if (pmatch == NULL) return REG_INVARG;
369
+ so = pmatch[0].rm_so;
370
+ eo = pmatch[0].rm_eo;
371
+ }
372
+ else
373
+ {
374
+ so = 0;
375
+ eo = (int)strlen(string);
376
+ }
377
+
378
+ rc = pcre2_match((const pcre2_code *)preg->re_pcre2_code,
379
+ (PCRE2_SPTR)string + so, (eo - so), 0, options, md, NULL);
380
+
381
+ /* Successful match */
382
+
383
+ if (rc >= 0)
384
+ {
385
+ size_t i;
386
+ PCRE2_SIZE *ovector = pcre2_get_ovector_pointer(md);
387
+ if ((size_t)rc > nmatch) rc = (int)nmatch;
388
+ for (i = 0; i < (size_t)rc; i++)
389
+ {
390
+ pmatch[i].rm_so = (ovector[i*2] == PCRE2_UNSET)? -1 :
391
+ (int)(ovector[i*2] + so);
392
+ pmatch[i].rm_eo = (ovector[i*2+1] == PCRE2_UNSET)? -1 :
393
+ (int)(ovector[i*2+1] + so);
394
+ }
395
+ for (; i < nmatch; i++) pmatch[i].rm_so = pmatch[i].rm_eo = -1;
396
+ return 0;
397
+ }
398
+
399
+ /* Unsuccessful match */
400
+
401
+ if (rc <= PCRE2_ERROR_UTF8_ERR1 && rc >= PCRE2_ERROR_UTF8_ERR21)
402
+ return REG_INVARG;
403
+
404
+ /* Most of these are events that won't occur during testing, so exclude them
405
+ from coverage. */
406
+
407
+ switch(rc)
408
+ {
409
+ case PCRE2_ERROR_HEAPLIMIT: return REG_ESPACE;
410
+ case PCRE2_ERROR_NOMATCH: return REG_NOMATCH;
411
+
412
+ /* LCOV_EXCL_START */
413
+ case PCRE2_ERROR_BADMODE: return REG_INVARG;
414
+ case PCRE2_ERROR_BADMAGIC: return REG_INVARG;
415
+ case PCRE2_ERROR_BADOPTION: return REG_INVARG;
416
+ case PCRE2_ERROR_BADUTFOFFSET: return REG_INVARG;
417
+ case PCRE2_ERROR_MATCHLIMIT: return REG_ESPACE;
418
+ case PCRE2_ERROR_NOMEMORY: return REG_ESPACE;
419
+ case PCRE2_ERROR_NULL: return REG_INVARG;
420
+ default: return REG_ASSERT;
421
+ /* LCOV_EXCL_STOP */
422
+ }
423
+ }
424
+
425
+ /* End of pcre2posix.c */
@@ -0,0 +1,187 @@
1
+ /*************************************************
2
+ * Perl-Compatible Regular Expressions *
3
+ *************************************************/
4
+
5
+ /* PCRE2 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. This is
7
+ the public header file to be #included by applications that call PCRE2 via the
8
+ POSIX wrapper interface.
9
+
10
+ Written by Philip Hazel
11
+ Original API code Copyright (c) 1997-2012 University of Cambridge
12
+ New API code Copyright (c) 2016-2023 University of Cambridge
13
+
14
+ -----------------------------------------------------------------------------
15
+ Redistribution and use in source and binary forms, with or without
16
+ modification, are permitted provided that the following conditions are met:
17
+
18
+ * Redistributions of source code must retain the above copyright notice,
19
+ this list of conditions and the following disclaimer.
20
+
21
+ * Redistributions in binary form must reproduce the above copyright
22
+ notice, this list of conditions and the following disclaimer in the
23
+ documentation and/or other materials provided with the distribution.
24
+
25
+ * Neither the name of the University of Cambridge nor the names of its
26
+ contributors may be used to endorse or promote products derived from
27
+ this software without specific prior written permission.
28
+
29
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
30
+ AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
31
+ IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
32
+ ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
33
+ LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
34
+ CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
35
+ SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
36
+ INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
37
+ CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
38
+ ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
39
+ POSSIBILITY OF SUCH DAMAGE.
40
+ -----------------------------------------------------------------------------
41
+ */
42
+
43
+ #ifndef PCRE2POSIX_H_IDEMPOTENT_GUARD
44
+ #define PCRE2POSIX_H_IDEMPOTENT_GUARD
45
+
46
+ /* Have to include stdlib.h in order to ensure that size_t is defined. */
47
+
48
+ #include <stdlib.h>
49
+
50
+ /* Allow for C++ users */
51
+
52
+ #ifdef __cplusplus
53
+ extern "C" {
54
+ #endif
55
+
56
+ /* Options, mostly defined by POSIX, but with some extras. */
57
+
58
+ #define REG_ICASE 0x0001 /* Maps to PCRE2_CASELESS */
59
+ #define REG_NEWLINE 0x0002 /* Maps to PCRE2_MULTILINE */
60
+ #define REG_NOTBOL 0x0004 /* Maps to PCRE2_NOTBOL */
61
+ #define REG_NOTEOL 0x0008 /* Maps to PCRE2_NOTEOL */
62
+ #define REG_DOTALL 0x0010 /* NOT defined by POSIX; maps to PCRE2_DOTALL */
63
+ #define REG_NOSUB 0x0020 /* Do not report what was matched */
64
+ #define REG_UTF 0x0040 /* NOT defined by POSIX; maps to PCRE2_UTF */
65
+ #define REG_STARTEND 0x0080 /* BSD feature: pass subject string by so,eo */
66
+ #define REG_NOTEMPTY 0x0100 /* NOT defined by POSIX; maps to PCRE2_NOTEMPTY */
67
+ #define REG_UNGREEDY 0x0200 /* NOT defined by POSIX; maps to PCRE2_UNGREEDY */
68
+ #define REG_UCP 0x0400 /* NOT defined by POSIX; maps to PCRE2_UCP */
69
+ #define REG_PEND 0x0800 /* GNU feature: pass end pattern by re_endp */
70
+ #define REG_NOSPEC 0x1000 /* Maps to PCRE2_LITERAL */
71
+
72
+ /* This is not used by PCRE2, but by defining it we make it easier
73
+ to slot PCRE2 into existing programs that make POSIX calls. */
74
+
75
+ #define REG_EXTENDED 0
76
+
77
+ /* Error values. Not all these are relevant or used by the wrapper. */
78
+
79
+ enum {
80
+ REG_ASSERT = 1, /* internal error ? */
81
+ REG_BADBR, /* invalid repeat counts in {} */
82
+ REG_BADPAT, /* pattern error */
83
+ REG_BADRPT, /* ? * + invalid */
84
+ REG_EBRACE, /* unbalanced {} */
85
+ REG_EBRACK, /* unbalanced [] */
86
+ REG_ECOLLATE, /* collation error - not relevant */
87
+ REG_ECTYPE, /* bad class */
88
+ REG_EESCAPE, /* bad escape sequence */
89
+ REG_EMPTY, /* empty expression */
90
+ REG_EPAREN, /* unbalanced () */
91
+ REG_ERANGE, /* bad range inside [] */
92
+ REG_ESIZE, /* expression too big */
93
+ REG_ESPACE, /* failed to get memory */
94
+ REG_ESUBREG, /* bad back reference */
95
+ REG_INVARG, /* bad argument */
96
+ REG_NOMATCH /* match failed */
97
+ };
98
+
99
+
100
+ /* The structure representing a compiled regular expression. It is also used
101
+ for passing the pattern end pointer when REG_PEND is set. */
102
+
103
+ typedef struct {
104
+ void *re_pcre2_code;
105
+ void *re_match_data;
106
+ const char *re_endp;
107
+ size_t re_nsub;
108
+ size_t re_erroffset;
109
+ int re_cflags;
110
+ } regex_t;
111
+
112
+ /* The structure in which a captured offset is returned. */
113
+
114
+ typedef int regoff_t;
115
+
116
+ typedef struct {
117
+ regoff_t rm_so;
118
+ regoff_t rm_eo;
119
+ } regmatch_t;
120
+
121
+ /* When compiling with the MSVC compiler, it is sometimes necessary to include
122
+ a "calling convention" before exported function names. (This is secondhand
123
+ information; I know nothing about MSVC myself). For example, something like
124
+
125
+ void __cdecl function(....)
126
+
127
+ might be needed. In order to make this easy, all the exported functions have
128
+ PCRE2_CALL_CONVENTION just before their names. It is rarely needed; if not
129
+ set, we ensure here that it has no effect. */
130
+
131
+ #ifndef PCRE2_CALL_CONVENTION
132
+ #define PCRE2_CALL_CONVENTION
133
+ #endif
134
+
135
+ #ifndef PCRE2_EXPORT
136
+ #define PCRE2_EXPORT
137
+ #endif
138
+
139
+ /* When an application links to a PCRE2 DLL in Windows, the symbols that are
140
+ imported have to be identified as such. When building PCRE2, the appropriate
141
+ export settings are needed, and are set in pcre2posix.c before including this
142
+ file. */
143
+
144
+ /* By default, we use the standard "extern" declarations. */
145
+
146
+ #ifndef PCRE2POSIX_EXP_DECL
147
+ # if defined(_WIN32) && defined(PCRE2POSIX_SHARED) && !defined(PCRE2_STATIC)
148
+ # define PCRE2POSIX_EXP_DECL extern __declspec(dllimport)
149
+ # define PCRE2POSIX_EXP_DEFN __declspec(dllimport)
150
+ # else
151
+ # define PCRE2POSIX_EXP_DECL extern PCRE2_EXPORT
152
+ # define PCRE2POSIX_EXP_DEFN
153
+ # endif
154
+ #endif
155
+
156
+ /* The functions. The actual code is in functions with pcre2_xxx names for
157
+ uniqueness. POSIX names are provided as macros for API compatibility with POSIX
158
+ regex functions. It's done this way to ensure to they are always linked from
159
+ the PCRE2 library and not by accident from elsewhere (regex_t differs in size
160
+ elsewhere). */
161
+
162
+ PCRE2POSIX_EXP_DECL int PCRE2_CALL_CONVENTION pcre2_regcomp(regex_t *, const char *, int);
163
+ PCRE2POSIX_EXP_DECL int PCRE2_CALL_CONVENTION pcre2_regexec(const regex_t *, const char *, size_t,
164
+ regmatch_t *, int);
165
+ PCRE2POSIX_EXP_DECL size_t PCRE2_CALL_CONVENTION pcre2_regerror(int, const regex_t *, char *, size_t);
166
+ PCRE2POSIX_EXP_DECL void PCRE2_CALL_CONVENTION pcre2_regfree(regex_t *);
167
+
168
+ #define regcomp pcre2_regcomp
169
+ #define regexec pcre2_regexec
170
+ #define regerror pcre2_regerror
171
+ #define regfree pcre2_regfree
172
+
173
+ /* Debian had a patch that used different names. These are now here to save
174
+ them having to maintain their own patch, but are not documented by PCRE2. */
175
+
176
+ #define PCRE2regcomp pcre2_regcomp
177
+ #define PCRE2regexec pcre2_regexec
178
+ #define PCRE2regerror pcre2_regerror
179
+ #define PCRE2regfree pcre2_regfree
180
+
181
+ #ifdef __cplusplus
182
+ } /* extern "C" */
183
+ #endif
184
+
185
+ #endif /* PCRE2POSIX_H_IDEMPOTENT_GUARD */
186
+
187
+ /* End of pcre2posix.h */