Closed tombrus closed 1 year ago
I have the following repository rule:
attr set<node<X>> allX := this.modules.allX;
this is correct dclare code but generates incorrect java code:
public Iterable<SNode> translate(SModule e) { return DclareUtil.<DModule,Set<SNode>>getAttributeValue(Module_BASE.ATTR_X_0, e); }
The type of e is SModule where a DModule is expected. The following cast should be inserted since e can always be cast here:
e
SModule
DModule
public Iterable<SNode> translate(SModule e) { return DclareUtil.<DModule,Set<SNode>>getAttributeValue(Module_BASE.ATTR_X_0, (DModule) e); }
fixed
I have the following repository rule:
this is correct dclare code but generates incorrect java code:
The type of
e
isSModule
where aDModule
is expected. The following cast should be inserted sincee
can always be cast here: