search

dresden-ocl / dresdenocl

Dresden OCL provides a set of tools to parse and evaluate OCL constraints on various models like UML, EMF and Java. Furthermore Dresden OCL provides tools for Java/AspectJ and SQL code generation.
www.dresden-ocl.org
GNU Lesser General Public License v3.0
22 stars 11 forks source link

Check result type of closure iterator #17

Open lschuetze opened 11 years ago

lschuetze commented 11 years ago

OCL 2.3 states that if the source collection of a closure iterator expression is ordered, the result is in depth first preorder.

lschuetze commented 11 years ago

Document within the manual that Dresden OCL supports bfs instead for performance reasons.

Revise the implementation and check it for uncessary contains checks. Maybe also issue a request for the OCL RTF to support bfs instead of dfs.