eclipse-aascw / aas-core-codegen / 37152077800

90%

Build Type

push

github

Committed by web-flow

Commit Message

Allow lists, sets and tuples in return values (#834)

We now allow the sets at any depth in the return values of
the verification functions and of the methods, and test the lists and
the tuples as return values as well.

Python shares a returned list or set with the caller, while C++ copies
it. Hence, the type inference requires the returned lists and sets to be
fresh: a local set, a ``list(...)`` copy of a list without nested lists
or sets, a call result, or a tuple literal of them. We also check now
that the returned value is assignable to the return type.

.. code-block:: python

    @verification
    def unique_texts_of(texts: Sequence[str]) -> Set[str]:
        result: Set[str] = set()
        for text in texts:
            result.add(text)

        return result

We fix the generators where they missed the return values: the imports
of the sets in C++, Java and Python, the ``List`` and ``Optional``
imports in Java, ``int`` literals in Java tuple literals (``0L``), and
the types module in the TypeScript verification signatures
(``OurTypes``). C++ can now bind a set as the variable of ``any`` and
``all``, and does not refuse the sets in a returned tuple literal.

C++ does not move a local implicitly if it is an item of a returned
tuple, so the aliasing analysis marks the local sets occurring once in
a returned tuple literal to be moved: ``std::make_tuple(std::move(seen),
0)``.

Coverage Stats

70 of 73 new or added lines in 8 files covered. (95.89%)

1 existing line in 1 file now uncovered.

45236 of 50204 relevant lines covered (90.1%)

2.7 hits per line