eclipse-aascw / aas-core-codegen / 36609585606

90%

Build Type

push

github

Committed by web-flow

Commit Message

Transpile annotated assignments (#795)

We transpile the declarations of the local variables with type
annotations, so that a variable can be declared wider than its initial
value, *e.g.*, as an optional initialized with ``None``:

    found: Optional[Child_a] = None
    for parent in parents:
        if isinstance(parent, Child_a):
            found = parent
            break

The annotations cover the primitive types, our types including
the named unions, and ``Optional``, ``List``, ``Sequence`` and ``Tuple``
of them. We refuse inline ``Union[...]`` and explain that only
the named unions are accepted, as the targets need a named type for
a union. As mypy, we do not narrow a declared variable by its initial
value, only by the subsequent assignments.

``None`` is now a literal, allowed as the value of an assignment, as
an optional argument and as the value returned from a function
returning an optional. An assignment of ``None`` no longer marks
the variable as non-null.

An instance of a class can be assigned to a named union, variable or
property, and the targets wrap it into the most specific root, *e.g.*,
``Aas.ParentOrItem.FromParent(...)`` in C#.

The type inference records the declared type of a variable on
the assignment target, and the return type of the function on
the return statement, so that the targets unwrap a narrowed optional
only when the function returns a non-optional.

The common meta-model ``annotated_assignments`` covers the feature.

Coverage Stats

414 of 459 new or added lines in 14 files covered. (90.2%)

1 existing line in 1 file now uncovered.

43126 of 48507 relevant lines covered (88.91%)

2.67 hits per line