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

Bug 312124

Summary: [Validation] Modules are not revalidated when declared properties of referenced modules change
Product: [Modeling] EMFT Reporter: Sebastian Zarnekow <sebastian.zarnekow>
Component: MWEAssignee: Project Inbox <emft-mwe-inbox>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3 Flags: sebastian.zarnekow: helios+
Version: 1.0   
Target Milestone: RC1   
Hardware: PC   
OS: Mac OS X - Carbon (unsup.)   
Whiteboard:

Description Sebastian Zarnekow CLA 2010-05-07 16:17:41 EDT 
module A

var optional = 'zonk'

...

module B

@A {
// use default of property 'optional'
}

Module B should be revalidated and marked with an error if the default of 'optional' is removed. 

Second use-case:

module A

var String zonk

...

module B

@A {
  zonk = 'foo'
}

Module B should be revalidated and marked with an error if the type of A.zonk is changed to boolean.
Comment 1 Sebastian Zarnekow CLA 2010-05-09 16:14:27 EDT 
Fixed in HEAD.