Commit Graph

  • fa1a4feaaf TB18-010: Fix rebindings propagation in referenced envs. Romain Beguet 2021-04-22 14:42:41 +02:00
  • 654a533f72 Lexical envs: cache empty envs in dynamic env getters Pierre-Marie de Rodat 2021-06-21 14:16:05 +02:00
  • f01175e139 Consistently use Version_Number to represent... version numbers Pierre-Marie de Rodat 2021-06-18 17:26:01 +02:00
  • b69d65b8b1 Lexical envs: fix a typo Pierre-Marie de Rodat 2021-06-18 17:00:01 +02:00
  • 5d25878f31 Update names in type matchers after recent GDB improvements Pierre-Marie de Rodat 2021-06-18 12:06:16 +02:00
  • e347838ec4 Make it possible for language specs to define new exceptions... Pierre-Marie de Rodat 2021-06-22 11:13:37 +02:00
  • eece521206 Add type hints for GeneratedException Pierre-Marie de Rodat 2021-06-21 17:43:16 +02:00
  • cfb2a6527b Langkit_Support.Slocs: fix a typo Pierre-Marie de Rodat 2021-06-15 14:36:55 +02:00
  • 1685f11cec Use the newly added ocaml keyworkds to systematically escape field names Daniel Mercier 2021-05-18 12:55:18 +02:00
  • 1de67953e9 Remove recursive modules from OCaml bindings Daniel Mercier 2021-05-18 11:47:24 +02:00
  • 386a9578e7 Add an empty ocamlformat file so that ocamlformat can be called Daniel Mercier 2021-05-18 11:46:46 +02:00
  • 8483dc46d8 [U601-021]: Don't use Append_Vector, for compat with old compilers Raphaël AMIARD 2021-06-15 17:33:09 +02:00
  • 4d94ccb2dc U419-021: Link debug strings to the lifetime of units Raphaël AMIARD 2021-04-21 15:21:06 +02:00
  • 498a84714f U419-021: remove wrong call to destroy in ResetLogicVar expr Raphaël AMIARD 2021-04-19 16:29:03 +02:00
  • 8560869f4c RA22-015: remove leftout test.py file Raphaël AMIARD 2021-04-16 12:09:19 +02:00
  • 4805973f09 Enhance API documentation for unit providers/get_from_provider Pierre-Marie de Rodat 2021-05-06 17:24:31 +02:00
  • f61bc510d7 [U601-021] Use Append_Vector for Ada 2022 compatibility Raphaël AMIARD 2021-06-04 11:33:12 +02:00
  • 8ce47bfa73 Update to GNAT CE 2021 Raphaël AMIARD 2021-06-04 11:47:47 +02:00
  • cbd7542e6b Forbid reparsing for internal units from public APIs Pierre-Marie de Rodat 2021-05-04 10:05:25 +02:00
  • 1d5af55be5 Make it possible to bypass file readers to parse internal units Pierre-Marie de Rodat 2021-05-03 18:19:23 +02:00
  • 73673609a7 $.Implementation: minor reformatting Pierre-Marie de Rodat 2021-05-03 12:29:27 +02:00
  • 6636a5435a Langkit_Support.File_Readers: file reading errors in Direct_Read Pierre-Marie de Rodat 2021-05-03 16:47:03 +02:00
  • b7ab023143 misc/file_reader: minor reformatting Pierre-Marie de Rodat 2021-05-03 16:36:56 +02:00
  • 4f37c4a333 RA22-015: Fix comment unparsing for collections ops and "then" exprs. Romain Beguet 2021-04-28 16:40:47 +02:00
  • 3f179d8246 RA22-015: Remove unwanted macro in testcase. Romain Beguet 2021-05-03 11:58:29 +02:00
  • af8ae1b8bc langkit_support/slocs: extend testcase Pierre-Marie de Rodat 2021-04-29 14:34:46 +02:00
  • 7a6dc79979 manage.py: add --gargs handling, accidentally missing so far Pierre-Marie de Rodat 2021-04-29 08:49:29 +02:00
  • 80cb2dc9a1 pkg_implementation_body_ada.mako: add missing env cleanup on reparsing Pierre-Marie de Rodat 2021-04-28 12:15:45 +02:00
  • 7d4c1c8122 Lexical envs: fix handling of empty envs in Remove Pierre-Marie de Rodat 2021-04-28 12:31:31 +02:00
  • 0fa11f2617 U324-040: fix memory leak in lexical env get Raphaël AMIARD 2021-04-27 17:20:06 +02:00
  • e2c7970241 Make DynamicLexicalEnv not have any parent. Romain Beguet 2020-12-15 12:41:10 +01:00
  • 60491e7433 [SB05-065]: allow to pass 0 files to python App Raphaël AMIARD 2021-04-27 11:40:40 +02:00
  • ae864b6bce [SB05-065]: extend Langkit.Diagnostics.Output Raphaël AMIARD 2021-04-27 11:38:59 +02:00
  • 72e83fa806 Minor: correct box Raphaël AMIARD 2021-04-27 11:31:48 +02:00
  • a03eaf3b8e Start implementing a generic API for all Langkit-generated libraries Pierre-Marie de Rodat 2021-04-19 17:59:39 +02:00
  • 19f5c22c54 $.Analysis: make Get_Child return null nodes for out-of-bounds access Pierre-Marie de Rodat 2021-04-19 18:03:29 +02:00
  • 5529f91d51 Update several docstrings Pierre-Marie de Rodat 2021-04-19 17:48:12 +02:00
  • 87c9dee474 $.Implementation: add a Fetch_Sibling overload for bare nodes Pierre-Marie de Rodat 2021-04-19 16:15:44 +02:00
  • 6765daf36d $.Implementation: remove Analysis_Contex_Type's Released field Pierre-Marie de Rodat 2021-04-19 12:14:30 +02:00
  • 8b5145da5b $.Introspection: fix First/Last_Kind for derivations of concrete nodes Pierre-Marie de Rodat 2021-04-20 11:45:39 +02:00
  • 0562940bb8 $.Introspection: fix order in node derivations and First_Kind/Last_Kind Pierre-Marie de Rodat 2021-04-15 17:38:37 +02:00
  • 66781ceafc Make Next_Sibling/Previous_Sibling properties work on root nodes Pierre-Marie de Rodat 2021-04-15 10:56:28 +02:00
  • 0fd8d9887a Langkit_Support.Slocs: add Value (string parsing) functions Pierre-Marie de Rodat 2021-04-14 18:04:16 +02:00
  • 25fdeaa234 U324-040: small bit of factorization in lexical_envs Raphaël AMIARD 2021-04-07 16:05:21 +02:00
  • 52af5d36d8 U324-040: Document Lexical_Envs traces Raphaël AMIARD 2021-04-07 16:11:41 +02:00
  • 0e3f8c80a1 U324-040: Get rid of unused and useless compile time constant Raphaël AMIARD 2021-03-30 11:24:33 +02:00
  • 780f498b14 U324-040: Fix results of nested identical Env.Get requests Raphaël AMIARD 2021-03-30 12:52:28 +02:00
  • f57845b629 U324-040: Don't cache sub-requests when there is a loop in the env graph Raphaël AMIARD 2021-03-30 13:07:44 +02:00
  • a8f5d4960e U324-040: Add lex env minimal trace Raphaël AMIARD 2021-02-09 10:41:57 +01:00
  • 94bf1d66ad U324-040: Improve traces Raphaël AMIARD 2021-03-30 13:09:09 +02:00
  • 6b5f66649f U324-040: Introduce toplevel caching mode Raphaël AMIARD 2021-01-20 16:04:30 +01:00
  • 62b57ee6e1 U329-012, U225-013: Increase default logic resolution timeout Raphaël AMIARD 2021-04-14 14:15:10 +02:00
  • 82384c3ba8 $.Introspection: add First_Kind_For/Last_Kind_For Pierre-Marie de Rodat 2021-04-13 08:26:31 -04:00
  • 5d83c8b292 C/Python API: expose the file reader abstraction Pierre-Marie de Rodat 2021-03-31 11:22:20 -04:00
  • 88df2e3608 Introduce the file reader abstraction Pierre-Marie de Rodat 2021-03-26 11:59:25 -04:00
  • 7829013867 pkg_public_converters_spec_ada.mako: fix obsolete comment Pierre-Marie de Rodat 2021-04-01 15:06:08 +02:00
  • fa1d080721 Lexer: refactor the fetching of source buffers Pierre-Marie de Rodat 2021-04-01 15:00:07 +02:00
  • dae383a899 Langkit_Support.Token_Data_Handlers: fix for non-1 buffer lower bounds Pierre-Marie de Rodat 2021-03-30 16:32:36 +02:00
  • b0c14bc12a Langkit_Support.Diagnostics.Append: make the Sloc_Range arg optional Pierre-Marie de Rodat 2021-03-30 16:31:47 +02:00
  • 0eaea0d6a5 langkit.expressions.analysis_units: remove obsolete empty unit Pierre-Marie de Rodat 2021-04-02 11:19:03 +02:00
  • 29e50adfd0 Add a "with_self" optional argument to the ".parents" builtin property Pierre-Marie de Rodat 2021-04-02 10:11:38 +02:00
  • 2f31221e82 langkit.expressions.astnodes: refactor and add type hints Pierre-Marie de Rodat 2021-04-02 10:07:01 +02:00
  • 333f22cae2 langkit.compiled_types: enhance ref-counting in builtin props comment Pierre-Marie de Rodat 2021-04-01 17:53:27 +02:00
  • 02991cc2b0 Python API: fix bindings when assertions are disabled Pierre-Marie de Rodat 2021-03-26 09:14:52 -04:00
  • 80d6e2cbe1 grammar/stack_overflow: fix for Python2 Pierre-Marie de Rodat 2021-03-24 11:59:42 -04:00
  • 3bc9a9e731 Extend parsers to use the call depth restriction mechanism Pierre-Marie de Rodat 2021-03-18 11:49:06 -04:00
  • 5f40485d3f pkg_implementation_body_ada.mako: add missing comment box Pierre-Marie de Rodat 2021-03-18 12:03:45 -04:00
  • 5b7eed71f6 CompileCtx.create_all_passes: add missing :param: doc Pierre-Marie de Rodat 2019-09-05 10:16:28 +02:00
  • e3ccea9811 SB05-065: Make Register_Destroyable_Gen accessible to extensions Raphaël AMIARD 2021-03-15 16:26:07 +01:00
  • 71eadc0701 SB05-065: Expose symbol table in public Ada API Raphaël AMIARD 2021-03-03 11:39:23 +01:00
  • 024d02ff7b Update ocaml valgrind suppression file after the upgrade to ocaml 4.11.1 Daniel Mercier 2021-02-26 15:11:25 +01:00
  • 2020210a8a Switch Pervasives to Stdlib after upgrade to ocaml 4.11.1 Daniel Mercier 2021-02-19 15:57:51 +01:00
  • 0603161dbb $.Lexical_Envs_Impl: use rebindings version info to check if stale Pierre-Marie de Rodat 2021-02-19 08:43:50 -05:00
  • d2d8add766 $.Introspection: use Text_Type instead of String for entity names Pierre-Marie de Rodat 2021-02-05 10:12:29 +01:00
  • 8564bff96d $.Introspection: add prefixes to member names ("f_", "p_") Pierre-Marie de Rodat 2021-02-03 17:08:43 +01:00
  • 5f4b9e7096 grammar/case_insensitivity: new testcase Pierre-Marie de Rodat 2021-02-03 17:42:20 +01:00
  • fc0a2be14a OCaml API: fix stub handling of iterator types Pierre-Marie de Rodat 2021-02-05 12:32:26 +01:00
  • 866d19523f Update mypy to 0.800 Pierre-Marie de Rodat 2021-02-03 04:47:36 -05:00
  • 22c337094d Python API: reject uses of nodes with stale rebindings Pierre-Marie de Rodat 2021-01-25 15:28:32 +01:00
  • cd1c297db6 Ada API: reject uses of nodes with stale rebindings Pierre-Marie de Rodat 2021-01-25 12:50:30 +01:00
  • 6496fb84e3 Refactor safety checks for nodes Pierre-Marie de Rodat 2021-01-22 08:17:12 -05:00
  • b0376d6fad $.Implementation: minor reformatting Pierre-Marie de Rodat 2021-01-22 07:59:01 -05:00
  • 685f2e5a72 Tie the lifetime of env rebinding records to their analysis context's Pierre-Marie de Rodat 2021-01-22 06:02:39 -05:00
  • 1f8933db77 Remove System.Address conversions for env rebindings Pierre-Marie de Rodat 2021-01-22 04:19:39 -05:00
  • 7c352c396a Make version numbers available from the C and Python APIs Pierre-Marie de Rodat 2021-01-27 16:24:37 +01:00
  • 9213e956a2 Testsuite: make it possible to check errors in build_and_run Pierre-Marie de Rodat 2021-01-29 17:36:29 +01:00
  • 19ff60bed0 dsl_unparse.py: support class definitions that don't start at column 1 Pierre-Marie de Rodat 2021-01-29 17:34:06 +01:00
  • aa5413ef79 Add version numbers tuning for language specs Pierre-Marie de Rodat 2021-01-27 15:49:52 +01:00
  • 64f40bc5b3 Add Mypy type hints to CompileCtx's constructor Pierre-Marie de Rodat 2021-01-20 12:15:38 +01:00
  • f8d81786f5 langkit.documentation: fix type hints for the doc database Pierre-Marie de Rodat 2021-01-20 11:56:15 +01:00
  • d5d6195c22 U127-008: Log symbolic backtrace in PLE_Errors trace. Romain Beguet 2021-01-29 13:15:30 +01:00
  • 1f3c1266c7 Introduce the Super() DSL construct Pierre-Marie de Rodat 2021-01-21 09:30:09 -05:00
  • bd1c80e6ba Add Mypy type hints to FieldAccess Pierre-Marie de Rodat 2021-01-20 17:33:23 +01:00
  • e2381d881b langkit.expression.base: avoid the confusion on Any Pierre-Marie de Rodat 2021-01-21 09:47:14 -05:00
  • 4c1391dd5f Introduce a language spec-wide option to enable case insensitivity Pierre-Marie de Rodat 2021-01-20 10:28:04 +01:00
  • 50b4d439e3 Move Symbolization_Result from $.Common to Langkit_Support.Symbols Pierre-Marie de Rodat 2021-01-20 09:55:28 +01:00
  • 6dc4aa78ca langkit.lexer.regexp: turn parsing class methods into regular methods Pierre-Marie de Rodat 2021-01-19 17:31:39 +01:00
  • b6cfd1ffaa Langkit_Support.Text: add a fast To_Lower impl for mostly ASCII wwchars Pierre-Marie de Rodat 2021-01-19 17:01:14 +01:00
  • b49fa96b54 langkit.lexer.*: add Mypy type hints Pierre-Marie de Rodat 2021-01-19 12:21:04 +01:00
  • b32ae90dcf Fix Python3 specificities introduced in the new testcases Pierre-Marie de Rodat 2021-01-20 16:23:57 +01:00