invariant_totalPointEarning RoyalandLoyal
context ProgramPartner
inv invariant_totalPointsEarning2 :
(self.deliveredServices->collect( i_Service : Service | i_Service.transactions )->select( i_Transaction : Transaction | i_Transaction.oclIsTypeOf(Earning) )->collect( i_Transaction : Transaction | i_Transaction.points )->sum()) < 10000
inv invariant_totalPointsEarning :
(self.deliveredServices->collect( i_Service : Service | i_Service.transactions )->select( i_Transaction : Transaction | i_Transaction.oclIsTypeOf(Earning) )->collect( i_Transaction : Transaction | i_Transaction.points )->sum()) < 10000
GENERATE : null | /home/user/Escritorio/proyectoGrado/git/trabajofinal/runtime-EclipseApplication
null
GENERATE : null | /home/user/Escritorio/proyectoGrado/git/trabajofinal/runtime-EclipseApplication
null