Hello, it seems to be in relation with the specific management of the OCL UMLEnvironment. We will fix this for the next version. OCL Ecore environment (Ecore or other meta models) don't suffer of this problem.
Regards Christophe -----Message d'origine----- De : [email protected] [mailto:[email protected]]de la part de [email protected] Envoye : vendredi 27 mars 2009 17:21 A : [email protected] Objet : [Topcased-users] Performing OCL-Checks on an UML-Model Hello Topcased-Users, I have a problem with the ocl-checking on an UML-Modell. I created an ocl-rule-file containig this constraints: MainModel : http://www.eclipse.org/uml2/2.1.0/UML context Class inv: self.getAllOperations()->size() = 0 Now I want this invariant to be performed on this uml-file: <?xml version="1.0" encoding="UTF-8"?> <uml:Model xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1"; xmlns:uml="http://www.eclipse.org/uml2/2.1.0/UML"; xmi:id="_qb8akM37EdqwVrslYOdUDA"> <packagedElement xmi:type="uml:Package" xmi:id="_w8IxIM37EdqwVrslYOdUDA" name="OCLTest"> <packagedElement xmi:type="uml:Class" xmi:id="_nVos8BrhEd6FZN6o2XCVkQ" name="Test"> <ownedAttribute xmi:id="_onBcUBrhEd6FZN6o2XCVkQ" name="prop1" type="_uSUyQBrhEd6FZN6o2XCVkQ"/> </packagedElement> <packagedElement xmi:type="uml:PrimitiveType" xmi:id="_uSUyQBrhEd6FZN6o2XCVkQ" name="Integer"/> </packagedElement> </uml:Model> It is a simple uml-model consisting of one class with one property. I right click on the model and choose the option "OCL Check...". In the upcoming OCL checker I try to add the ocl-file. But unfourtnately after clicking ok, I'm still with the ocl-checker whithout the ocl-file. The error log doesn't prompt anything. I tried both in the standalone TopCased-RCP and as a plugin for eclispe 3.4.1 (Ganymede). Topcased version is 2.4.0. My project's structure is as follows: OCLTest --> constraints --> rules.ocl --> Models --> OCLTest.uml --> OCLTest.umldi Do you have any suggestion how to solve this problem ? I'm really looking forward for your help. Kind regards Gregor Trefs _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
