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

Bug 367681

Summary:	[pivot] Constructued Collection tupe problem
Product:	[Modeling] OCL	Reporter:	Ed Willink <ed>
Component:	Core	Assignee:	OCL Inbox <mdt-ocl-inbox>
Status:	CLOSED INVALID	QA Contact:
Severity:	normal
Priority:	P3
Version:	4.0.0
Target Milestone:	---
Hardware:	PC
OS:	Windows Vista
Whiteboard:

Description Ed Willink

2011-12-31 10:38:26 EST

context Operation
def: returnType : Type = Set(type.oclType())

fails to parse. (This is a simplification of the more generic collection type constructor).

Comment 1 Ed Willink

2012-01-01 09:39:07 EST

Java supports e.g. ArrayList<String> but not ArrayList<"a".getClass()>.

OCL similarly supports Set(String) but not Set('a'.oclType()).

Use of type-valued expressions for type-literals would be a significant language enhancement that needs a very substantial motivation.

Comment 2 Ed Willink

2013-05-20 11:37:32 EDT

CLOSED after a year in the RESOLVED state.