ocl constraint with recursive class
For a little bit of context: a Class can have other Class as Requirement to be taken by a student. The Class is taken by a Student via a ClassGroup which can be ordered in time with its attribute sessionYear.
I want to put an OCL invariable constraint that will check if, for the sessionYear a ClassGroup, its Class Requierement were already taken before this sessionYear.
in other words: sessionYear for Requirement < sessionYear for Class
I tried a quite a few constaints and my closest attempt was this one:
context Etudiant inv C6: if ClassTaken->notEmpty then
classTaken->forAll(ct|ct.class.Requirement.OfferedGroup->collect(sessionYear)->forAll(sy| sy < cs.sessionYear))
else true endif
But the problem is, in the forAll(sy| sy->sy < cs.sessionYear), sy won't be the Student required ClassTaken for a ClassGroup, but rather a Bag with every instances of OfferedGroup that are Requirement for it.
I ended up doing this something like this:
context Student
inv C6: inscription->forAll(insc|ClassTaken.class.Requirement->forAll(prer|inscription->exists(preIns|preIns.ClassTaken.class = prer
and if preIns.ClassTaken = insc.ClassTaken then true
else preIns.ClassTaken.sessionYear < insc.ClassTaken.sessionYear endif)))
- How can I optimize this recursive method
- Create a list accumulating the results of calling a function repeatedly on an input value
- Function to clear allocated memory is not working
- PS recursive function to generate full path
- Python Function Losing List Element After Recursion?
- algorithm using recursive function
- How can I create all combinations of this object's keys/values in JavaScript?
- Different behaviour of recursion-based powerset in C and Python
- Why do I get a recursion error when the depth of the expected recursion should be way less than 999?
- Using JavaScript what's the quickest way to recursively remove properties and values from an object?
- Is there a way to achieve currying with a local variable
- In C++, how can we write a recursive function that returns a range?
- Understanding the Time Complexity Difference of Two Ways to Generate Subsets
- How to implement a recursive factorial function without using the multiplication operator?
- How to fully understand and implement a recursive factorial function?
- pgrep -P, but for grandchildren not just children
- Creating Internal Loops Dynamically
- Convert a python non-tail recursive function adding sub-folders info to a loop
- How to write a resillient object oriented method for SQL Update Table with retry in catch
- c# find max value recursive (fastest)
- Recursive regex pattern not matching all characters as expected (PHP differs from Perl implementation)
- Recursive functions in R to apply regex within nested parentheses
- Build a tree / run recursive query in Kusto Azure Data Explorer
- Python: Maximum recursion depth exceeded
- Retrieve last state of model inside model itself?
- Explanation of lists:fold function
- Importing file, recursive function and infinite loop in Lua
- Runtime Error Hangup(SIGHUP) for recursion solution to sum of series problem
- Finding "crossover" index with modified binary search algorithm in Python
- How to implement tree made from possible moves in game Othello (Reversi)