Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 324054

Summary:	Inconsistent debug/non-debug execution
Product:	[Modeling] QVTo	Reporter:	Ed Willink <ed>
Component:	Engine	Assignee:	Project Inbox <mmt-qvt.operational-inbox>
Status:	RESOLVED FIXED	QA Contact:
Severity:	major
Priority:	P3	CC:	Angel.Roman, serg.boyko2011
Version:	unspecified
Target Milestone:	---
Hardware:	PC
OS:	Windows Vista
Whiteboard:

Description Ed Willink

2010-08-31 01:28:09 EDT

In Bug 323878 a problem with incorrect oclIsKindOf execution was reported. The attached repro was not initially reproducible, until the extra information that the repro required execution in Debug mode.

https://bugs.eclipse.org/bugs/attachment.cgi?id=177685 is therefore an execellent, simple repro demonstrating correct execution when the provided launch configuration is Run but incorrect when ruin as Debug.

Some investiogation shows that the heavily overloaded 'Family' is not an issue; the problem persists when names are changed. The dyanamic/static concern is not an issue, since EMF has a dynamicIsInstance for exactly this contingency.

Tracing constructions of XMLResource(URI) reveals that when:

'Run': Family.ecore is read then Family.xmi is read into the ResourceSet that contains Family.ecore, so there is only one Family meta-model.

'Debug': Family.ecore is read into one ResourceSet then Family.xmi is read into a different ResourceSet causing Family.ecore to be read again, giving two copies of the Family meta-model.

Comment 1 Sergey Boyko

2013-04-30 05:53:34 EDT

Inconsistency between debug and non-debug evaluation was corrected by means of Bug 395353. For this item a couple of debugger tests were added to 'org.eclipse.m2m.tests.qvt.oml.ui' plug-in (package 'org.eclipse.m2m.internal.tests.qvt.oml.debugger').

Example from attachment was also included as junit test for debugger evaluation.

Pushed to master for Kepler M7.

Commit ID: fe659277fa06827af3f16823a620c04a1b6768cc