.ModelicaCompliance.Redeclare.ConstrainingType.RedeclareConstrainingTypeClass

Information

Tests that it's possible to redeclare the constraining type of a class. Redeclaring X to extend A in E should be illegal, since A is not a subtype of the new constraining class B.

Contents

NameDescription
 A
 B
 C
 D
 E
Generated at 2025-11-02T19:21:14Z by OpenModelicaOpenModelica 1.25.5 using GenerateDoc.mos