Commit Graph

  • 10220dd901 Generic API: add generic/specific converters for analysis unit types Pierre-Marie de Rodat 2022-02-02 10:27:16 +00:00
  • 1afb7ae868 Generic_API: rename Create_* builtin constructors to From_* Pierre-Marie de Rodat 2022-02-02 09:24:26 +00:00
  • f947dc4ac5 Generic API: make Name_Map tagged Pierre-Marie de Rodat 2022-02-01 13:25:24 +00:00
  • 9b07265741 Langkit_Support.Diagnostic: add a helper to deal with exceptions Pierre-Marie de Rodat 2022-02-01 09:31:52 +00:00
  • 5821135745 Generic API: add a convenience function to iterate on struct members Pierre-Marie de Rodat 2022-02-01 08:57:37 +00:00
  • d211a85495 Generic API: add a convenience function to iterate on enum values Pierre-Marie de Rodat 2022-02-01 08:52:55 +00:00
  • 6eb03ed2a2 Generic API: add convenience functions to iterate on types Pierre-Marie de Rodat 2022-02-01 08:47:21 +00:00
  • 08eed4580b Generic API: rename Language_For to Language Pierre-Marie de Rodat 2022-01-31 17:10:25 +00:00
  • fdacac7eab Ada/Generic API: add the token to unit backlink Pierre-Marie de Rodat 2022-01-31 16:59:57 +00:00
  • 1d791bbbb9 Add "py.typed" files in Python packages Pierre-Marie de Rodat 2022-02-01 14:06:51 +00:00
  • 493d81ffcd Generic API: add a Lk_Node.Print primitive Pierre-Marie de Rodat 2022-01-27 17:01:42 +00:00
  • be1093e0f5 Generic API: add a Lk_Node.Is_Incomplete primitive Pierre-Marie de Rodat 2022-01-27 16:45:46 +00:00
  • 0b92f5e4a2 Generic API: add Is_Token_Node/Is_List_Node for node type instrospection Pierre-Marie de Rodat 2022-01-27 16:05:24 +00:00
  • 49bba86fff Generic API: add a Lk_Unit.Text primitive Pierre-Marie de Rodat 2022-01-27 15:22:25 +00:00
  • b9660854dc Generic API: make Lk_Token.Next/.Previous return Lk_Token (not 'Class) Pierre-Marie de Rodat 2022-01-27 14:29:22 +00:00
  • 56d67d995d Generic API: add a Lk_Node.Sloc_Range primitive Pierre-Marie de Rodat 2022-01-27 14:28:26 +00:00
  • 7bf888cf55 Generic API: add a Lk_Node.Text primitive Pierre-Marie de Rodat 2022-01-27 14:24:24 +00:00
  • a4d296d36e Name: check casing & stricten the camel-with-underscores convention Pierre-Marie de Rodat 2022-01-24 13:42:42 +00:00
  • 747b167901 GeneratedException: use mere strings for package names Pierre-Marie de Rodat 2022-01-25 14:27:37 +00:00
  • 1345038052 CompileCtx: consider that short name has lower case Pierre-Marie de Rodat 2022-01-25 14:21:52 +00:00
  • 6612c103b0 langkit.emitter: use mere strings for package names Pierre-Marie de Rodat 2022-01-25 11:02:52 +00:00
  • 2604186e04 Stricten casing conventions for Name objects in the codebase Pierre-Marie de Rodat 2022-01-24 13:34:08 +00:00
  • 1078a31f3a AbstractNodeData.original_name: switch from Name to str Pierre-Marie de Rodat 2022-01-24 17:12:42 +00:00
  • bc91641fab langkit.compile_context: switch ADA_SPEC/BODY to a proper Python enum Pierre-Marie de Rodat 2022-01-24 15:12:50 +00:00
  • c02e56a618 langkit.emitter: add type hints Pierre-Marie de Rodat 2022-01-24 15:06:43 +00:00
  • a4e00cdb4f AbstractVariable: keep the source name as a string Pierre-Marie de Rodat 2022-01-24 14:14:05 +00:00
  • ec6922ec18 AbstractVariable: add type hints Pierre-Marie de Rodat 2022-01-24 14:03:26 +00:00
  • ab1d3c0632 AbstractExpression.prepare: provide a diagnostic context Pierre-Marie de Rodat 2022-01-24 13:39:50 +00:00
  • 61855a6bbd Generic API: add maps from names to enum/struct types, enum values, etc. Pierre-Marie de Rodat 2022-01-11 15:25:41 +00:00
  • 4264c525c0 Generic API: introduce the notion of type category Pierre-Marie de Rodat 2022-01-18 15:20:19 +00:00
  • bb3f86da22 Generic API: switch the Any_Argument_Index type to a Natural subtype Pierre-Marie de Rodat 2022-01-18 14:39:38 +00:00
  • d209bcb0cf RA22-015: Move NamedTypeDecl checks to check_legality Raphaël AMIARD 2021-12-15 16:32:51 +01:00
  • cd7f55d5f2 RA22-015: Simplify grammar rules semantic checks Raphaël AMIARD 2021-12-15 15:33:51 +01:00
  • 1c24a846d2 RA22-015: Simplify exception legality checking Raphaël AMIARD 2021-12-14 16:07:23 +01:00
  • 2b20f2091c RA22-015: Rework semantic checking architecture Raphaël AMIARD 2021-12-14 13:43:27 +01:00
  • 2423ffb7da RA22-015: Minor comment fixes Raphaël AMIARD 2021-12-14 13:52:21 +01:00
  • 0b201a52da RA22-015: Fix module imports Raphaël AMIARD 2021-12-14 17:10:45 +01:00
  • df03cd2ee2 RA22-015: Only check @invalid under a special flag in lkt_toolbox Raphaël AMIARD 2021-12-14 13:42:20 +01:00
  • 799ac84ac8 Remove useless recursions in parsers handling Pierre-Marie de Rodat 2022-01-13 16:48:52 +00:00
  • 0cc4372696 Lkt lowering: fix location of Defer parsers Pierre-Marie de Rodat 2022-01-13 17:43:38 +00:00
  • 847bc682e4 fixup! Generic API: add a note about Language_Id arguments Pierre-Marie de Rodat 2022-01-13 15:15:58 +00:00
  • bcef5f5143 fixup! Generic API: add a Debug_Name overload for Enum_Value_Ref Pierre-Marie de Rodat 2022-01-13 15:13:27 +00:00
  • 557d82aa9c fixup! Generic API: add a shortcut to evaluate node members Pierre-Marie de Rodat 2022-01-13 15:13:06 +00:00
  • cb97fc45d5 Generic API: add a note about Language_Id arguments Pierre-Marie de Rodat 2022-01-13 10:08:50 +00:00
  • 132165c85a Generic API: add a Debug_Name overload for Enum_Value_Ref Pierre-Marie de Rodat 2022-01-12 16:34:02 +00:00
  • dfdbdcc94c Generic API: make Debug_Name work on No_Struct_Member_Ref Pierre-Marie de Rodat 2022-01-12 16:33:25 +00:00
  • 367eaaeea1 Generic API: add a shortcut to evaluate node members Pierre-Marie de Rodat 2022-01-11 13:59:09 +00:00
  • dbc624299c Generic API: add Hash functions for analysis types Pierre-Marie de Rodat 2022-01-10 14:57:52 +00:00
  • 29072171f1 Update copyright notices for 2022 Pierre-Marie de Rodat 2022-01-14 16:02:42 +00:00
  • b480d5a5ac Lkt: add validation for explicit generic instantiations Pierre-Marie de Rodat 2021-12-01 16:35:51 +00:00
  • ca07868ee0 Lkt: introduce a helper to create internal errors Pierre-Marie de Rodat 2021-12-01 16:36:40 +00:00
  • 05ba267f3a python_api/setup_py.mako: use version number/build date from the context Pierre-Marie de Rodat 2021-12-14 09:09:01 +00:00
  • f060cee2b6 Testsuite: update baselines for big integer literals Pierre-Marie de Rodat 2021-12-13 17:14:02 +01:00
  • 9946241ffe BigIntLiteral.Expr: fix the __repr__ overriding Pierre-Marie de Rodat 2021-11-30 15:01:46 +00:00
  • 0d913b032e langkit.dsl_unparse: remove unecessary parens around int/bool literals Pierre-Marie de Rodat 2021-11-30 13:10:28 +00:00
  • 8e79967855 Lkt: add support for Int to BigInt conversions Pierre-Marie de Rodat 2021-11-30 10:49:05 +00:00
  • 8037409c51 Lkt: add a dedicated literal for big integers Pierre-Marie de Rodat 2021-11-30 10:42:20 +00:00
  • 5e24b656d3 properties/big_integer: check actual BigInt literals Pierre-Marie de Rodat 2021-11-30 10:32:01 +00:00
  • edbbb71e2e langkit.expressions.BigIntegerLiteral: add a TODO Pierre-Marie de Rodat 2021-11-30 10:31:08 +00:00
  • 0521a6de67 Lkt: make ASTList derive from RootNode Pierre-Marie de Rodat 2021-12-01 07:48:19 +00:00
  • 78d65d5f38 Lkt: fix base type computation for instantiated generic types Pierre-Marie de Rodat 2021-12-01 08:53:14 +00:00
  • f7336175c7 Lkt: add support for the ".find" construct Pierre-Marie de Rodat 2021-12-01 13:34:17 +00:00
  • 0a0eeb1dc3 $.Common: protect against new GNAT warnings Pierre-Marie de Rodat 2021-12-13 10:58:02 +01:00
  • cf763e04cb Revert the previous commit (spurious "unused binding" warning) Pierre-Marie de Rodat 2021-12-08 11:04:54 +00:00
  • cdb0fd649b Fix spurious "unused binding" warning despite usage in Predicate expr. Pierre-Marie de Rodat 2021-12-08 09:58:28 +00:00
  • f541e60450 langkit_support/array_image: new testcase Pierre-Marie de Rodat 2021-12-02 15:45:37 +00:00
  • 7a7d8655e2 SB20-024: add Langkit_Support.Images.Array_Image Raphaël AMIARD 2019-11-20 15:39:35 +01:00
  • 6608574cf4 langkit_support/vectors_cut: new testcase Pierre-Marie de Rodat 2021-12-02 14:35:59 +00:00
  • a515b84419 SB20-024: add cut to vector Raphaël AMIARD 2019-06-20 10:53:17 +02:00
  • a6b7fd0e5b Functional lists: small refactoring and add missing comments Pierre-Marie de Rodat 2021-12-02 14:29:05 +00:00
  • 1f0e04cf6d SB20-024: add functional lists Raphaël AMIARD 2019-06-19 17:20:47 +02:00
  • ae6fd43ee8 SB20-024: make bump_ptr pools generic on page size Raphaël AMIARD 2019-11-20 15:25:39 +01:00
  • 3c994441b5 Minor: add missing subprogram box Raphaël AMIARD 2019-11-20 15:37:42 +01:00
  • 3840cf78a5 Generic API: add generic/specific context type converters Pierre-Marie de Rodat 2021-11-26 09:13:25 +00:00
  • 0e7dafea83 Generic API: add introspection for property argument default values Pierre-Marie de Rodat 2021-11-26 07:13:03 +00:00
  • 59e8ae941b Generic API: add support for node member evaluation Pierre-Marie de Rodat 2021-11-25 15:33:04 +00:00
  • 9396a3dd2d Generic API: add the API to process iterator values Pierre-Marie de Rodat 2021-11-25 13:49:58 +00:00
  • 4672f45e10 Generic API: add introspection primitives for iterator types Pierre-Marie de Rodat 2021-11-25 13:32:44 +00:00
  • f3c508d4b7 Generic API: include iterators types in the introspection API Pierre-Marie de Rodat 2021-11-25 11:54:37 +00:00
  • 153be4d1f7 Fix code generation for iterators on big integers Pierre-Marie de Rodat 2021-11-25 11:36:54 +00:00
  • 59b37b6322 Refactor tests for basic iterator uses in public APIs Pierre-Marie de Rodat 2021-11-25 10:59:15 +00:00
  • 8a50c9789c ada_api/generic_api: minor pasto fix Pierre-Marie de Rodat 2021-11-24 16:46:49 +00:00
  • acd9999074 Generic API: fix introspection of token array item/struct fields Pierre-Marie de Rodat 2021-11-24 10:24:14 +00:00
  • 9368d6ed76 Generic API: fix the handling of arrays of big integers Pierre-Marie de Rodat 2021-11-23 15:23:17 +00:00
  • 485dad3062 Generic API: simplify code generation wrt. language IDs Pierre-Marie de Rodat 2021-11-23 14:23:08 +00:00
  • c773188d25 Generic API: refactor introspection value public/internal conversions Pierre-Marie de Rodat 2021-11-23 14:14:03 +00:00
  • 9dbf8b1433 Lkt: complete typing of "if" expressions Pierre-Marie de Rodat 2021-11-30 14:21:39 +00:00
  • 521f9e8e22 README.md: update testing instructions wrt. libpythonlang/liblktlang Pierre-Marie de Rodat 2021-12-06 09:55:16 +01:00
  • 8717856ad6 langkit_support/diagnostics_output: fix compilation warning Pierre-Marie de Rodat 2021-12-02 12:12:08 +00:00
  • 41045da6b9 Lexical envs: minor reformatting Pierre-Marie de Rodat 2021-11-29 14:24:07 +00:00
  • 01e6960a23 langkit.expressions.collections.Join: override __repr__ Pierre-Marie de Rodat 2021-11-29 14:22:33 +00:00
  • e142abe1d2 Testsuite: enable all warnings+errors for langkit_support tests Pierre-Marie de Rodat 2021-11-26 15:47:48 +00:00
  • e72e0636fe manage.py: make it possible to build only libpythonlang or liblktlang Pierre-Marie de Rodat 2021-11-30 10:27:59 +00:00
  • 515442b4d3 UA29-022: Fix bug in diagnostics.output Raphaël AMIARD 2021-11-26 14:29:36 +00:00
  • b68cac7252 Fix ambiguous naming scheme for precomputed symbols in generated code Pierre-Marie de Rodat 2021-12-01 15:09:57 +00:00
  • bacc2f402e Move the @with_lexer annotation validation to Lkt Pierre-Marie de Rodat 2021-11-29 21:51:29 +00:00
  • 0226ea9dde Move the "exactly one main grammar rule" check to Lkt Pierre-Marie de Rodat 2021-11-26 17:17:29 +00:00
  • dc23507415 Move the "only grammar rules in grammar decls" check to Lkt Pierre-Marie de Rodat 2021-11-26 14:38:31 +00:00
  • 2a9a88ad96 langkit.compiled_context: check semantics before Lkt types lowering Pierre-Marie de Rodat 2021-11-29 18:12:55 +00:00
  • 10a61b0265 grammar/invalid_lkt: remove extra errors Pierre-Marie de Rodat 2021-11-29 18:10:16 +00:00