asSet() RoyalandLoyal
Contexto Membership
invariant_Membership1->self.account->asSet()->size() > 0
Tengo que definir la multiplicidad 0..1 para que funcione lo que deberia generar si se usa multiplicidad 1..1 el asSet da error de tipo Genero
invariant8 = context _Membership [invariant_Membership1]
invariant_Membership1 self = (((oclVal (Set [Val self.account]) |->| asSet) |->| size)) |>| (oclInt 0)
Tiene que generar
invariant_Membership1 self = (ocl self |.| account |->| asSet |->| size) |>| (oclInt 0)