Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 349964 - [pivot] Make types value-independent and ensure values have types
Summary: [pivot] Make types value-independent and ensure values have types
Status: CLOSED FIXED
Alias: None
Product: OCL
Classification: Modeling
Component: Core (show other bugs)
Version: 3.2.0   Edit
Hardware: PC Windows Vista
: P3 normal (vote)
Target Milestone: M3   Edit
Assignee: OCL Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-06-21 12:49 EDT by Ed Willink CLA
Modified: 2013-05-20 11:37 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.