|OCL query creation fails when using UML profile [message #1715211]
||Fri, 20 November 2015 09:36
| Jens Bürger
Registered: October 2012
I have UML models using UML profiles, for example a state machine and annotations at transitions. I want to evaluate OCL conditions programmatically using the pivot implementation.
As discussed in this thread, this should work and indeed does actually work in the OCL Xtext console.
But programmatically, evaluating "ordinary" queries like
does work fine, but as soon as the profile element is involved, even creation of the query fails:
Query (for example):
Beginning of the stack trace:
org.eclipse.ocl.pivot.utilities.SemanticException: The 'UML::StateMachine' constraint is invalid: 'Transition.allInstances().extension_ensureRole->excluding(null).role'
1: Unresolved Property 'Set(UML::Transition[*|1])::extension_ensureRole'
So, this is the same error as we had in the abovementioned thread bevor the fix to the OCL implementation.
I am using Eclipse Mars .1 and the OCL pivot implementation (1.0.1.v20150907-1007) .
Eclipse project containing source code, test model and UML profile is attached.
(Size: 11.90KB, Downloaded 72 times)
Powered by FUDForum
. Page generated in 0.01581 seconds