Commit Graph

8 Commits

Author SHA1 Message Date
Remi SEGARD
e97200a407 Java bindings: improve generation of array types 2024-04-29 13:06:05 +00:00
Pierre-Marie de Rodat
1ffd449060 langkit.dsl_unparse: rework empty lines emitted for properties 2023-12-13 13:55:11 +00:00
Pierre-Marie de Rodat
f4e0349e71 Testsuite: switch as many tests as possible to types_from_lkt=True 2023-12-13 13:55:10 +00:00
Pierre-Marie de Rodat
f75832df8a langkit.dsl_unparse: minor style tweaks 2023-12-13 13:55:06 +00:00
Pierre-Marie de Rodat
58c90019ed Lkt: use Entity[N] to designate the entity type for the N node type
With the current low-tech approach to typing/validity checking for Lkt,
it is not possible to infer whether N designates a bare node type or an
entity type. Introduce a different syntax for entity types to avoid this
problem.
2023-12-13 13:36:31 +00:00
Pierre-Marie de Rodat
766efeb552 Lkt: add optional expr type information for raise expressions
Upcoming work to implement typing/validation in Langkit directly, will
require typing to be possible bottom-up, like the one done during
abstract to resolved expression today. This requires each expression to
be typable independently of its parent, so raise expression need to have
type information attached. To achieve that, extend their syntax to
allow:

   raise[T] PropertyError("error message")

This syntax addition will be easy to revert once the time is right to
make typing more powerful again. In the meantime, make it optional at
the parser level so that existing Lkt tests do not need to be updated.
2023-10-10 13:41:52 +00:00
Hugo Guerrier
6f3561050e Remove the 'EXCEPTION_' prefix from the ExceptionKind enum values
Preliminary work for GNATcheck internal errors support in JGNATcheck.
2023-09-07 10:11:59 +00:00
Pierre-Marie de Rodat
a771d5bfbb Java JNI: fix crash on property exception for result that needs wrapping 2023-08-03 11:18:57 +00:00