Commit Graph

172 Commits

Author SHA1 Message Date
QuentinOchem
3db9adbb8e added transformation to set SPARK mode 2022-03-09 15:25:41 -05:00
QuentinOchem
dc2c8444d9 Fixed "access_to_out" transformation and function pointers. 2022-03-08 16:22:29 -05:00
QuentinOchem
ca6f93f075 Merge pull request #39 from AdaCore/wrap_init
fixed variable and constant wrapping - now using renames
2022-03-07 10:31:41 -05:00
QuentinOchem
0038546d8e fixed variable and constant wrapping - now using renames 2022-03-04 14:49:43 -05:00
QuentinOchem
9a51da29c7 added support for null component records in variants 2022-03-04 14:19:24 -05:00
QuentinOchem
890a701e7a Union support (#36)
* added support for unchecked_unions, V208-021
2022-02-16 12:29:18 -05:00
QuentinOchem
c5cde6ffcc Added unchecked union support (#35)
* added support for unchecked_unions, V208-021
2022-02-14 14:06:39 -05:00
QuentinOchem
4f5d2c3391 fixed full name in return type local 2021-11-30 09: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
6701e8ec5d implemented transformation from address to in-mode array 2021-05-13 12:11:17 -04:00
QuentinOchem
d53fcaf588 Added test for TA05-016. 2021-01-13 09:30:20 -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
QuentinOchem
cbbbc430bc Added test for properties returning arrays (T930-056). 2020-10-05 09:18:21 -04:00
QuentinOchem
421a567784 added tutorial tests (and fixed c_strings) 2020-09-29 15:51:59 -04:00
QuentinOchem
074297778a Further cleanup and documentation for expressions.
One of these cleanup turned out to be the behavior of allocators in the
context of calls that are generating all values, e.g. in:
   child (new (something ())).all ()
Turns out there's no reason to forbid this, the natural semantic is that a
new object will be created for all child of the current it.
2020-09-27 15:43:36 -04:00
QuentinOchem
087d442ce0 making progress with expression cleanup and documentation 2020-09-26 22:08:33 -04:00
QuentinOchem
6c2d5d8b9c further documentation and cleanup in expressions 2020-09-25 22:42:29 -04:00
QuentinOchem
c3f1b696a3 finalized documentation and cleanuip of commands 2020-09-25 14:09:51 -04:00
QuentinOchem
0bea20b6cc finalized documentation of runtime spec and corresponding cleanups 2020-09-23 22:05:22 -04:00
QuentinOchem
ba4b69c275 Simplified implementation and semantics of node kind predicates.
Writing a node kind predicate of e.g. the form Entity (<some expression>) used
to push an instrinsic call if "Entity" matched the kind of the langkit node,
said call checking the expression. The confusing consequence is that, even
if something like "match Entity" could match, it was stack a call and not
the value of the object, while "match Entity ()" would execute the call
and return the value. It turns out that entities already provide ways
to check their value against an expression, so stacking the object instead
of an instrinsic call already works for both cases.
2020-09-22 12:48:26 -04:00