QVT13 — QVTo: Inadequate helper/query distinction

The Helper class in the AS syntax supports both helpers and queries.

These two concepts have important distinctions that are poorly differentiated in 8.2.1.12, where as a minimum the two italicized terms 'helper' and 'query' should be used when defining the semantics of each.

Presumably a 'query' cannot modify anything (other than the log file) anywhere.

Presumably a 'helper' can modify anything anywhere, except of course sets and tuples that are always immutable.

The current wording suggests that a 'helper' can modify sets and tuples but cannot modify objects or create objects. Surely a 'helper' cannot modify sets or tuples but can create or update objects?

Inadequate helper/query distinction

The Helper class in the AS syntax supports both helpers and queries.

These two concepts have important distinctions that are poorly differentiated in 8.2.1.12, where as a minimum the two italicized terms 'helper' and 'query' should be used when defining the semantics of each.

Presumably a 'query' cannot modify anything (other than the log file) anywhere.

Presumably a 'helper' can modify anything anywhere, except of course sets and tuples that are always immutable.

The current wording suggests that a 'helper' can modify sets and tuples but cannot modify objects or create objects. Surely a 'helper' cannot modify sets or tuples but can create or update objects?