Fix context matching `class::xy` for sub-classes (inherited)

Question

Fix context matching `class::xy` for sub-classes (inherited)

Closed this issue 2 years ago · 2 comments

Make context class::xy match sub-classes. Currently, all matching (for constraint generation) is an exact match for the specific class specified in the context.

Answer 1 · 2022-12-15T10:27:14.000Z

See corresponding test case: https://github.com/Echtzeitsysteme/gips-tests/tree/main/gipsl.all.build.inheritedtypecontext

Answer 2 · 2022-12-16T11:11:33.000Z

Duplicate of #71.