Output in Imvertor respec-catalogus:
Inv KaartBGTrasterIsVerplicht: def: alleAchtergrondkaarten: set = self->collect (achtergrondkaart) and alleAchtergrondkaarten -> includes (bgtRaster)
De input in UML is:
Inv KaartBGTrasterIsVerplicht: def: alleAchtergrondkaarten: set = self->collect (achtergrondkaart) and alleAchtergrondkaarten -> includes (bgtRaster)
Imvertor pakt heel mooi de UML constraints op in natuurlijke taal en in ocl!
Er is een issue met de weergave van de
->
. Die wordt als een->
weegegeven.Voorbeeld: https://geonovum.github.io/imkl-werkomgeving/#detail_d71066e52399
Output in Imvertor respec-catalogus:
Inv KaartBGTrasterIsVerplicht: def: alleAchtergrondkaarten: set = self->collect (achtergrondkaart) and alleAchtergrondkaarten -> includes (bgtRaster)
De input in UML is:
Inv KaartBGTrasterIsVerplicht: def: alleAchtergrondkaarten: set = self->collect (achtergrondkaart) and alleAchtergrondkaarten -> includes (bgtRaster)
Is hier een oplossing voor?