Commit Graph

  • 69b30026b5 Generic API: add introspection for array types Pierre-Marie de Rodat 2021-10-04 14:46:03 +00:00
  • affaa37312 Generic API: include *all* exposed types in polymorphic values Pierre-Marie de Rodat 2021-10-04 14:42:08 +00:00
  • 8e44b8ad2f Generic API: add introspection for enum types Pierre-Marie de Rodat 2021-10-04 13:40:46 +00:00
  • 9af7177bc6 Generic API: add introspection for node types Pierre-Marie de Rodat 2021-10-01 10:00:06 +00:00
  • 04eb97a0d1 Generic API: add basic support for types introspection Pierre-Marie de Rodat 2021-09-30 15:30:20 +00:00
  • fba3cf46bd Langkit_Support.Internal: split into child packages Pierre-Marie de Rodat 2021-04-21 09:41:42 -04:00
  • d2fde50f6b Generic API: consistently use Name_Type for code entities Pierre-Marie de Rodat 2021-04-21 08:56:47 -04:00
  • 94cfd01b2d Langkit_Support.Names: new package to deal with casing conventions Pierre-Marie de Rodat 2021-04-23 10:14:30 +02:00
  • d944583b2c langkit.lkt_lowering: add a wrapper for Expr.p_check_referenced_decl Pierre-Marie de Rodat 2021-10-12 13:44:27 +00:00
  • 5e6e76439d langkit.lkt_lowering: fix handling of built-in property calls Pierre-Marie de Rodat 2021-10-11 09:17:52 +00:00
  • 530133e90d langkit.lkt_lowering: fix a pasto in comment Pierre-Marie de Rodat 2021-10-11 09:00:05 +00:00
  • c52892e476 prelude.lkt: add the "join" String built-in primitive Pierre-Marie de Rodat 2021-10-11 08:55:46 +00:00
  • 43fc4600e2 Replace "string_repr" with "ascii_repr" Pierre-Marie de Rodat 2021-10-08 12:52:02 +00:00
  • 3888a13308 Properties: make String an opaque type Pierre-Marie de Rodat 2021-10-08 12:05:07 +00:00
  • a18561e486 Lkt: fix a memory leak in Decl_Short_Image Pierre-Marie de Rodat 2021-10-08 14:45:53 +00:00
  • 1ac5c6708d Lkt: minor reforatting Pierre-Marie de Rodat 2021-10-08 14:41:31 +00:00
  • d56dc495fd GDB helpers: fix the "next" command for memoized properties Pierre-Marie de Rodat 2021-10-08 12:05:27 +00:00
  • ae43d8bef1 Introduce a "join" builtin property for arrays of strings Pierre-Marie de Rodat 2021-10-07 21:09:16 +00:00
  • 0a9619bf83 Python API: fix unwrapping of arrays of structs Pierre-Marie de Rodat 2021-10-08 08:31:14 +00:00
  • 9858b931ef Rework the Super property DSL construct Pierre-Marie de Rodat 2021-10-06 14:07:06 +00:00
  • 15967b6905 Complete the documentation fix for the "is_ghost" node property Pierre-Marie de Rodat 2021-10-14 13:54:50 +00:00
  • 5894b7b822 Fix the documentation for the "is_ghost" node property Pierre-Marie de Rodat 2021-10-12 12:06:17 +02:00
  • 0e056f440d $.Implementation.Print: do not crash on null nodes Pierre-Marie de Rodat 2021-10-12 12:05:45 +02:00
  • 6e6041a02d ada_api/general: fix test doc and coding style Pierre-Marie de Rodat 2021-10-12 12:02:10 +02:00
  • 521618b05a lkt_coding_style.rst: fix/extend for parens Pierre-Marie de Rodat 2021-09-28 15:21:06 +02:00
  • 96537fe65f dsl_unparse + testsuite: reformat according to the new Lkt coding style Pierre-Marie de Rodat 2021-09-28 13:20:09 +00:00
  • 8eb6e10deb RA22-015: Add test for calls to non callable entities v22.0.0 lts-22 22.2 22.1 22.0 22-sustained Raphaël AMIARD 2021-09-27 15:58:26 +02:00
  • 3035409823 RA22-015: Use match rt. cast+then Raphaël AMIARD 2021-09-27 12:27:52 +02:00
  • f8264d9198 RA22-015: Fix resolution of calls to non statically resolvable fns Raphaël AMIARD 2021-09-27 15:57:04 +02:00
  • da65c32d82 RA22-015: Fix call decl/type resolution Raphaël AMIARD 2021-09-14 11:03:35 +02:00
  • 39925cd8dc RA22-015: Fix to_iterator's signature Raphaël AMIARD 2021-09-27 17:29:44 +02:00
  • 152ca4e491 RA22-015: Error when trying to call non callable entities Raphaël AMIARD 2021-09-27 15:35:43 +02:00
  • 83db168524 RA22-015: Remove dead branch Raphaël AMIARD 2021-09-29 11:36:50 +02:00
  • 50ed7ab4af RA22-015: Emit error on ambiguous type Raphaël AMIARD 2021-09-28 17:33:10 +02:00
  • 59cfc5d5b4 RA22-015: Fix dsl_unparse after recent changes. Romain Beguet 2021-09-29 18:04:16 +02:00
  • ec3f81c78b langkit.libmanage: always print errors to stdout Pierre-Marie de Rodat 2021-09-29 14:26:02 +02:00
  • 8dfa522fa6 Add user-level doc for lexical environments Pierre-Marie de Rodat 2021-09-24 15:52:20 +02:00
  • ce934c2159 DSL: rework target environment in set_initial_env Pierre-Marie de Rodat 2021-09-27 17:13:27 +02:00
  • 3058774a23 Lexical envs: turn env parents into simple lexical env values Pierre-Marie de Rodat 2021-09-27 16:47:06 +02:00
  • 2c9657239b $.Implementation: simplify the Add_Env helper Pierre-Marie de Rodat 2021-09-27 15:13:10 +02:00
  • af203f574f DSL: rework destination envs in add_to_env* Pierre-Marie de Rodat 2021-09-21 14:29:26 +00:00
  • b4f078ffd0 langkit.expressions.base.construct: minor typo fix Pierre-Marie de Rodat 2021-09-21 14:26:00 +00:00
  • 44cdfac413 grammar/opt_info: stabilize test output Pierre-Marie de Rodat 2021-09-21 14:15:17 +00:00
  • 1c3d7b6596 langkit.compiled_types.EnumType/EnumValue: add type hints Pierre-Marie de Rodat 2021-09-21 14:15:24 +02:00
  • 2c3cb7b5f0 DSL: minor error message improvements for struct field type mismatches Pierre-Marie de Rodat 2021-09-21 14:10:54 +02:00
  • 397febf909 Python API: move type annotations to the generated sources Pierre-Marie de Rodat 2021-09-24 17:18:35 +02:00
  • b6e37cb968 testsuite: enable lkt semantic checks according to new PropertyError support Laurent Thévenoux 2021-09-28 12:45:43 +00:00
  • 3abafc526d prelude.lkt: add PropertyError struct Laurent Thévenoux 2021-09-28 08:06:27 +00:00
  • 1f3de54197 prelude.lkt: simple coding style fix Laurent Thévenoux 2021-09-27 20:18:31 +00:00
  • 974bb7e174 langkit.common.bytes_repr: fix handling of quotes Pierre-Marie de Rodat 2021-09-28 13:51:50 +02:00
  • eb3f9255e0 Lkt: minor docstring reformatting in Expr.expr_type_impl Pierre-Marie de Rodat 2021-09-28 11:34:04 +02:00
  • 226bc4050b U914-006: emit error message on dependency not found Laurent Thévenoux 2021-09-16 14:17:45 +00:00
  • 042d578dd5 U920-002: avoid mismatched type error on root node Laurent Thévenoux 2021-09-20 08:08:43 +00:00
  • 3624c2b9d5 lkt/language/parser.py: raise an exception if Node has no type Laurent Thévenoux 2021-09-21 15:34:49 +00:00
  • 3c0438cfb0 Lkt: restore the "Lkt" short name Pierre-Marie de Rodat 2021-09-27 12:19:27 +00:00
  • f7749fcc6b Testsuite: use "ascii" for non-ASCII test outputs Pierre-Marie de Rodat 2021-09-27 10:46:40 +02:00
  • 4bdc2af641 Python API: turn Token type hints into Opt[Token] where appropriate Pierre-Marie de Rodat 2021-09-24 11:32:23 +02:00
  • cce3c1b499 Python API: no AnalysisUnit.get_from_provider without default provider Pierre-Marie de Rodat 2021-09-24 11:19:02 +02:00
  • 5dbf999964 Python API: remove support for Python2 Pierre-Marie de Rodat 2021-09-23 11:29:59 +00:00
  • ed8a12c302 Fix language name casings in manage.py scripts Pierre-Marie de Rodat 2021-09-23 15:57:10 +00:00
  • fe024ba19d U923-014: Add first LKT coding style document Raphaël AMIARD 2021-09-23 15:22:12 +02:00
  • fc8afa96c4 Reformat prelude.lkt a little Pierre-Marie de Rodat 2021-09-22 14:44:23 +00:00
  • fb254e6509 lkt_resolve.py: do not show slocs for declarations from the prelude Pierre-Marie de Rodat 2021-09-22 14:39:51 +00:00
  • 0d3b8a384f Lkt: make Decl.p_full_name public Pierre-Marie de Rodat 2021-09-22 14:38:37 +00:00
  • a10e3dd0a6 contrib/lkt_semantic: remove obsolete "test.py" file Pierre-Marie de Rodat 2021-09-22 14:18:02 +00:00
  • 61037a6c27 Rename contrib/lkt_semantic/implicit_instantiation_2 Pierre-Marie de Rodat 2021-09-22 14:17:09 +00:00
  • 7ded8f1b7f Lkt: auto-generate string literal for the prelude Pierre-Marie de Rodat 2021-09-22 14:01:44 +00:00
  • e23fd7a45b Lexical envs: fix a memory leak for Property_Error raised during lookup Pierre-Marie de Rodat 2021-09-23 09:47:27 +00:00
  • 49813f89eb U916-032: add as_int to BigInt method to LKT prelude Laurent Thévenoux 2021-09-20 08:41:33 +00:00
  • 8342df78e8 U916-032: declare env_orphan LexicalEnv method to LKT prelude Laurent Thévenoux 2021-09-20 08:30:23 +00:00
  • be8e7a134c U916-032: declare to_iterator Array method to LKT prelude Laurent Thévenoux 2021-09-17 14:46:38 +00:00
  • 8f228d5629 U916-032: add parents Node method to LKT prelude Laurent Thévenoux 2021-09-17 14:14:34 +00:00
  • 9a5f460585 U916-032: declare to_symbol String method to LKT prelude Laurent Thévenoux 2021-09-17 13:43:44 +00:00
  • 4fe0be58e1 U916-032: declare children_env Node method to LKT prelude Laurent Thévenoux 2021-09-17 13:26:40 +00:00
  • f4cf4623e9 U916-032: declare env_node LexicalEnv method to LKT prelude Laurent Thévenoux 2021-09-17 12:55:44 +00:00
  • 130b88cad4 U916-032: add LogicVar and Equation classes to LKT prelude Laurent Thévenoux 2021-09-17 12:45:42 +00:00
  • 766248953d U916-032: declare get_first LexicalEnv method to LKT prelude Laurent Thévenoux 2021-09-17 12:30:13 +00:00
  • b97aa1f803 U916-032: declare unit Node method to LKT prelude Laurent Thévenoux 2021-09-17 08:09:43 +00:00
  • 87633007e4 Fix documentation copyright year Laurent Thévenoux 2021-09-08 13:39:00 +00:00
  • e26e3f78dc doc: Apply stylechecks on kalint.py Laurent Thévenoux 2021-09-13 12:15:06 +00:00
  • 726a407289 U913-020: add parent and node_env Node's builtins to LKT prelude Laurent Thévenoux 2021-09-13 15:52:50 +00:00
  • a00254ab84 Update langkit tutorial Laurent Thévenoux 2021-09-08 08:30:22 +00:00
  • b1c18b016e U426-008: Add Node.First_Child/Last_Child in Ada API Raphaël AMIARD 2021-08-12 17:36:53 +02:00
  • d90f6f925e U426-008: add a warning on root_node.Children method Raphaël AMIARD 2021-08-11 18:41:43 +02:00
  • 01b5de688f Enforce strict sound envs for node synthetization Pierre-Marie de Rodat 2021-08-06 12:22:06 +02:00
  • c37a2c4b5e Remove the "unsound" flag for env actions Pierre-Marie de Rodat 2021-08-06 10:51:09 +02:00
  • 33fa7a1858 Remove the PLE unit root mechanism Pierre-Marie de Rodat 2021-08-06 10:56:43 +02:00
  • da9eb94c91 Property DSL: use default values for unbound dynamic vars in prop. calls Pierre-Marie de Rodat 2021-07-30 15:29:20 +02:00
  • 4a8c4ba79c Make it possible to post-process generated OCaml sources Pierre-Marie de Rodat 2021-07-30 14:09:11 +02:00
  • 4d92079254 Fix propagation of generated sources post processor to langkit.emitter Pierre-Marie de Rodat 2021-07-30 12:25:59 +02:00
  • 722abc154f pkg_generic_api_body_ada.mako: kill aliasing warnings Pierre-Marie de Rodat 2021-07-27 16:01:17 +02:00
  • b9fa7c103d ocaml_api/module_ocaml.mako: minor reformatting Pierre-Marie de Rodat 2021-07-27 16:00:53 +02:00
  • cb0c61af59 U712-008: Fix leak in Event_Handler Raphaël AMIARD 2021-07-26 15:35:17 +02:00
  • 8745e3348d U712-008: Add a warning about unit_requested_callback Raphaël AMIARD 2021-07-21 14:59:27 +02:00
  • 1ec4bc44af U712-008: Add shortcuts for some wwstrings operations Raphaël AMIARD 2021-07-22 12:34:26 +02:00
  • 75da48a022 U712-008: make callbacks take an in out Self parameter Raphaël AMIARD 2021-07-22 12:32:50 +02:00
  • 7ef11a4f15 U712-008: Add Event_Handler Raphaël AMIARD 2021-06-21 11:37:50 +02:00
  • 3a617496d0 lexical_envs/ref_empty_env: enhance the testcase Pierre-Marie de Rodat 2021-06-28 13:19:35 +00:00
  • ea6d99364d U512-020: Do not overwrite empty env's version number. Romain Beguet 2021-06-28 12:53:58 +02:00
  • 221c103144 $.Introspection: add enum value lookup by name Pierre-Marie de Rodat 2021-06-24 14:32:16 +00:00