QuentinOchem
48161c5507
extended error message with path information
2022-01-06 13:57:34 -05:00
QuentinOchem
3a38f7bada
extended error message with path information
2022-01-06 13:56:45 -05:00
QuentinOchem
f14978c0ed
fixed full name in return type local
2021-11-29 16:12:20 -05:00
QuentinOchem
3589e5af78
improved block generation to remove empty ones
2021-11-29 15:21:17 -05:00
QuentinOchem
e1338bf6b1
fixed bindings to arrays of accesses
2021-11-23 16:49:03 -05:00
QuentinOchem
911c4b46b9
fixed access to subprogram with local types
2021-11-23 16:28:15 -05:00
QuentinOchem
b37a164d22
added full qualification of local variables
2021-11-23 10:37:59 -05:00
QuentinOchem
182884f6c3
Fixed issues identified with new fdump-ada-specs generator.
2021-11-23 09:49:01 -05:00
QuentinOchem
39d91c76a1
fix following changes in fdump-ada-spec
2021-11-13 16:02:42 +01:00
QuentinOchem
30e53c6017
fixed compilation error and libadalang behavior change
2021-11-09 10:41:42 +01:00
QuentinOchem
f4bfa0068d
fixed compilation error
2021-11-09 10:41:42 +01:00
QuentinOchem
dd1bf1b382
updated to latest langkit interface
2021-09-08 17:30:30 +02:00
QuentinOchem
6701e8ec5d
implemented transformation from address to in-mode array
2021-05-13 12:11:17 -04:00
QuentinOchem
f2c35e8376
added new transformation
2021-05-11 15:00:16 -04:00
QuentinOchem
079187bbb7
added support for changing types when transforming access parameters
2021-05-02 19:24:44 -04:00
QuentinOchem
25c31ec4e5
updated field name following langit changes
2021-04-15 13:56:30 -04:00
QuentinOchem
8fcba507c1
updated property name following langkit changes
2021-04-15 13:54:05 -04:00
QuentinOchem
9d4140598d
updated to latest version of langkit
2021-04-13 16:00:51 -04:00
Raphaël AMIARD
4ed276aee6
U118-054: Adapt to langkit's introspection API changes
2021-03-03 10:08:09 -05:00
QuentinOchem
31fb7f4268
fixed compilation errors and warnings
2021-01-13 10:00:06 -05:00
QuentinOchem
d53fcaf588
Added test for TA05-016.
2021-01-13 09:30:20 -05:00
QuentinOchem
1d1545f43a
Added defensive code in properties.
...
When entering a property evaluation, the type of node should already be
correct has the property object has been pushed. However, under this ticket,
it appears that it wasn't. It's useful to have a proper diagnostic instead
of a crash.
Part of TA05-016
2021-01-13 09:30:20 -05:00
QuentinOchem
30853df9c2
Fixed fold expression evaluation and error message.
...
The fold expression evaluated missed pushing the new implicit it, which
resulted sometimes in unexpected error down the line.
With this change, we're now getting proper error when e.g. the selector
of a property is wrong. That error message has been fixed to provide more
information of the type found.
Part of TA05-016
2021-01-13 09:30:20 -05:00
QuentinOchem
f215ec84c6
Added Type_Name in W_ objects specifications.
...
This allows to provide human readable information on expected types.
Part of TA05-016.
2021-01-13 09:30:20 -05:00
Raphaël AMIARD
c522539134
SA28-035: Adapt to Libadalang/Langkit API changes
2021-01-13 09:30:00 -05:00
