CIF to CIF eliminate component definition/instantiation crashes for CompInstWrapType
While working on #222 (closed), I discovered that the following CIF file crashes the transformation in the development version:
group def Y():
group def Q():
end
end
y: Y();
group def X1(y.Q p):
group def X():
group def T():
end
end
end
java.lang.RuntimeException: Invalid comp def type.
at org.eclipse.escet.cif.cif2cif.ElimComponentDefInst.walkCompInstWrapType(ElimComponentDefInst.java:587)
at org.eclipse.escet.cif.metamodel.java.CifWalker.walkCifType(CifWalker.java:946)
at org.eclipse.escet.cif.metamodel.java.CifWalker.walkComponentParameter(CifWalker.java:1617)
at org.eclipse.escet.cif.metamodel.java.CifWalker.walkParameter(CifWalker.java:5024)
at org.eclipse.escet.cif.metamodel.java.CifWalker.walkComponentDef(CifWalker.java:1394)
at org.eclipse.escet.cif.metamodel.java.CifWalker.walkSpecification(CifWalker.java:5986)
at org.eclipse.escet.cif.cif2cif.ElimComponentDefInst.transform(ElimComponentDefInst.java:171)
at org.eclipse.escet.cif.typechecker.CifTypeChecker.transRoot(CifTypeChecker.java:209)
at org.eclipse.escet.cif.typechecker.CifTypeChecker.transRoot(CifTypeChecker.java:1)
at org.eclipse.escet.common.typechecker.TypeChecker.typeCheck(TypeChecker.java:201)
at org.eclipse.escet.common.typechecker.EcoreTypeChecker.typeCheck(EcoreTypeChecker.java:40)
at org.eclipse.escet.common.typechecker.EcoreTypeChecker.typeCheck(EcoreTypeChecker.java:1)
at org.eclipse.escet.setext.texteditorbase.GenericTextEditor.validateInternal(GenericTextEditor.java:579)
at org.eclipse.escet.setext.texteditorbase.GenericTextEditor.validate(GenericTextEditor.java:414)
at org.eclipse.escet.setext.texteditorbase.GenericTextEditor$DelayedValidate.run(GenericTextEditor.java:773)