Introduction to OCL Invariants freethemalloc
Jan 07, 2020· There are multiple ways to check for the current status of data in OCL and we learned it in the last article, INTRODUCTION TO OCL. Let''s check if all users in our Online Shop has a username. >forAll(user:User | <> '''') Can we check this predicate without navigating with onlineshop controller? of course!