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

Bug 368717

Summary:	Update validation rules for initial values in an annotation record
Product:	z_Archived	Reporter:	Paul Harmon <pharmon>
Component:	EDT	Assignee:	Project Inbox <edt.compiler-inbox>
Status:	NEW ---	QA Contact:
Severity:	normal
Priority:	P3	CC:	svihovec
Version:	unspecified
Target Milestone:	---
Hardware:	PC
OS:	Windows XP
Whiteboard:

Description Paul Harmon

2012-01-16 10:16:12 EST

Currently, validation does not allow the following:

ExternalType ET1 type javaobject
   static etField1 int;
end

record rec1 type annotation

   annField1 fieldRef = ET1.etField1;  //Valation error here

end


The Validation error says that fieldref and int are not compatible. This needs to be changed to allow for proper inititial values of annotation record fields. Clearly, the rules for annotation field assignment compatibility needs to be different than the rules for initialization of regular record fields.

Comment 1 Matt Heitz

2013-01-03 14:43:24 EST

Setting the target milestone to Future for bugs that won't be addressed in 0.8.2.