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

Bug 349964

Summary: [pivot] Make types value-independent and ensure values have types
Product: [Modeling] OCL Reporter: Ed Willink <ed>
Component: CoreAssignee: OCL Inbox <mdt-ocl-inbox>
Status: CLOSED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: 3.2.0   
Target Milestone: M3   
Hardware: PC   
OS: Windows Vista   
Whiteboard:

Description Ed Willink CLA 2011-06-21 12:49:07 EDT 
The Pivot Model currently has types dependent on values and values dependent on types, but for the most part values compute their types according to the TypeManager passed in getType(...) except that tuples are harder and cache the type, so only some values are 'interchangeable' between type managers. 

The CodeGen needs a lightweight evaluation type for each value, so a restructuring is desirable.

Bottom layer: StandardLibrary type system interfaces
Next layer: Value system interfaces

Next layer: Evaluation type implementations
Next layer: Evaluation value implementations

Or

Next layer: Pivot type implementations

Or

Next layer: Ecore type implementations

Goal: Value.getType() is a final method returning the final type field.
Comment 1 Ed Willink CLA 2011-11-07 17:19:01 EST 
Pushed to master
Comment 2 Ed Willink CLA 2013-05-20 11:37:12 EDT 
CLOSED after a year in the RESOLVED state.