Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
Let suppose I have this class diagram in UML:
How can I do, in OCL, to specify that an instance of A is not included in list_of_As recursively ? In other words, an instance of A may not be included in A.list_of_As and not be included in all list_of_As of all instances of A in A.list_of_As etc… ?
You can use the transitive closure operator, closure(), to get a list of A. Then, simply check for the non-existence of the element you don’t want to see in that list.