Commit Graph

387 Commits

Author SHA1 Message Date
QuentinOchem
c24ed44e14 fixed bindings to arrays of accesses 2021-11-23 16:40:43 -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
Tom Tromey
9ee7f95189 Fix typos in README.md
This fixes a couple of typos in README.md, and slightly rewords one
sentence to be more correct.
2021-01-13 09:29:40 -05:00
Tom Tromey
9b178e0b77 Fix 'build' in lang_template/Makefile
"make" in lang_template/ fails, because the invocation of manage.py is
wrong.  The "make" command there must come first, and
--no-langkit-support does not appear to be a valid option.
2021-01-13 09:29:40 -05:00
QuentinOchem
f283d83d2e Fixed bugs with function prefixing filters.
In Handle_Filter, we were switching non Match_None match modes to
Match_Has, while forgetting to keep the previous value otherwise, resulting
in uninitialized data. Now fixed.

In Push_Call_Result of a W_Function, the iteration decision was dismissed
and not transmitted to the parent frame. Moved the transmission after
poping the calling frame.

Tests and fixes TA02-001.
2020-10-09 12:12:26 +02:00
QuentinOchem
589c21d05c Added comments for array property test (T930-056) 2020-10-05 09:18:21 -04:00