.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-05-09T18:20:02Z by OpenModelicaOpenModelica 1.25.0 using GenerateDoc.mos