[qvto-dev] QVT13-69 List and Dict Class/DataType confusion

[Ed Willink <ed@xxxxxxxxxxxxx>]

Hi

Adolfo questions the more explicit prohibition of instance creation in the rephrasing of:

QVT 1.2 8.2.1.12 Helper:

However it is illegal to create or update object instances within a helper operation except for pre-defined types like sets, tuples, and for intermediate properties.

by

QVT 1.3 proposal:

A helper may modify but not create Class instances. A helper may modify mutable DataType values such as List or Dict.
A helper or query may create mutable DataType values such as List or Dict or immutable DataType values such as Tuple, Set or String

I think that the new words are clearer but equivalent.

The prohibition ensures that all object creation is internally visible to 'resolve' which considers only mappings and not helpers.

Anyone agree/disagree?

    REgards

        Ed Willink