Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Synchronization issues betwee CompleteOCL editor and model editor
Synchronization issues betwee CompleteOCL editor and model editor [message #1016082] Mon, 04 March 2013 21:38
Matt Eby is currently offline Matt EbyFriend
Messages: 1
Registered: February 2013
Junior Member
I'm encountering a situation where the CompleteOCL editor and validation process are not working nicely together. I couldn't find this addressed anywhere else on forum but if I missed it I apologize in advance...

A uml model (with loaded ocl resource) is open and the ocl is also open in a CompleteOCL editor. If the ocl is modified it does not get synchronized properly in uml model.

The following constraint highlights the issue:

import uml : 'http://www.eclipse.org/uml2/4.0.0/UML#/'

context uml::Class
	
	def: alwaysFail1() : Boolean =  
		self->alwaysFail2()
		
	def: alwaysFail2() : Boolean =  
		false
		
	inv alwaysFail:
		self.alwaysFail1()


Steps to reproduce:

  1. Open a UML Model
  2. Load CompleteOCL resource (with above constraint)
  3. Open OCL in CompleteOCL editor
  4. Validate a class in UML Model (constraint evaluates to false as expected)
  5. Edit OCL and save (for example add a space after "false")
  6. Validate a class in UML Model (constraint evaluates to OclInvalid)


This does not seem limited to the UML editor... I original encountered this in a generated DSL editor.

My install info:

Version: Juno Service Release 1
Build id: 20120920-0800
Previous Topic:Debugging with MDT/OCL
Next Topic:[OCLinEcore] Invalid way of specifying cardinality
Goto Forum:
  


Current Time: Wed Nov 26 09:06:10 GMT 2014

Powered by FUDForum. Page generated in 0.20664 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software