Bug bei Typ-Annotationen auf Klassen-Typ-Parameter-Bounds

X-Received	by 10.107.11.153 with SMTP id 25mr2306264iol.16.1476387539935; Thu, 13 Oct 2016 12:38:59 -0700 (PDT)
X-Received	by 10.157.20.6 with SMTP id h6mr1044422oth.18.1476387539901; Thu, 13 Oct 2016 12:38:59 -0700 (PDT)
Path	csiph.com!weretis.net!feeder6.news.weretis.net!news.glorb.com!o19no1131344ito.0!news-out.google.com!w143ni2043itb.0!nntp.google.com!l13no1130977itl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups	de.comp.lang.java
Date	Thu, 13 Oct 2016 12:38:59 -0700 (PDT)
Complaints-To	groups-abuse@google.com
Injection-Info	glegroupsg2000goo.googlegroups.com; posting-host=92.228.113.215; posting-account=VmIUsgkAAABUMV5-gaSlvHjNMDcqojz2
NNTP-Posting-Host	92.228.113.215
User-Agent	G2/1.0
MIME-Version	1.0
Message-ID	<29aa9447-09ed-48cd-87e4-0d9dcec26843@googlegroups.com> (permalink)
Subject	Bug bei Typ-Annotationen auf Klassen-Typ-Parameter-Bounds
From	Heiner Kücker <mail@heinerkuecker.de>
Injection-Date	Thu, 13 Oct 2016 19:38:59 +0000
Content-Type	text/plain; charset=UTF-8
Content-Transfer-Encoding	quoted-printable
Xref	csiph.com de.comp.lang.java:13056

Show key headers only | View raw

Hallo,

ich habe mich relativ umfangreich damit befasst, einen Prüfer für Java8-Programme zu entwickeln.

In diesem Rahmen habe ich mich mit den Typ-Annotationen (JSR 308) beschäftigt.

Ich finde die Typ-Annotationen (JSR 308) zwar nicht besonders gut, aber die gehören zu Java8 nun mal dazu.

Unter anderem kann man die Typ-Annotationen an Typ-Parametern und deren Bounds notieren.

public class TestTypeAnnotationOnClassTypeparamBound<
	@TypeAnno00 T_EXT_INTERSECTION extends
		@TypeAnno01 List<
			@TypeAnno02 String > &
		@TypeAnno03 Iterable<
			@TypeAnno04 String > &
		@TypeAnno05 Serializable 
	>
{
}

Bei T_EXT_INTERSECTION handelt es sich um einen


Ich habe dazu mal einen Unit-Test gemacht (JUnit4):

TypeAnnotationOnClassTypeparamWildcard1OverReflectionTest

http://control-and-command.de/zip/JAVA8_TYPE_ANNO_BUG.zip

Weder mit dem Eclipse-Compiler noch mit dem jdk1.8.0_102 javac funktioniert dieser Test.

Scheinbar haben die Compiler-Anbieter keine Tests hierzu.

Die Typ-Annotationen waren neben den Haupt-Java8-Themen wie Lambdas, Streams und default-Methoden in Interfaces nur eine Nebensache.

Andererseits sind es nur Meta-Daten, die geparst, im Byte-Code vermerkt und wieder abgefragt werden müssen, nichts kompliziertes wie Optimierung oder Typ-Inferenz.

Im Netz findet man auch einige getrackte Bugs in diesem Umfeld.

https://www.google.de/search?q=java+bug+type+annotation+on+class+type+parameter+intersection+bound

https://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=3&cad=rja&uact=8&ved=0ahUKEwiQrrK8w9jPAhWDjSwKHQ3LAscQFggxMAI&url=https%3A%2F%2Fbugs.eclipse.org%2Fbugs%2Fshow_bug.cgi%3Fid%3D462083&usg=AFQjCNEEkF0KsnBbdp2WcaYyVGHx7cLj9Q&sig2=KqkPYovFkv5VqgeM-JPdlw

https://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=8&cad=rja&uact=8&ved=0ahUKEwiZ0dD_w9jPAhXBDiwKHf69CNQQFghWMAc&url=http%3A%2F%2Ftypes.cs.washington.edu%2Fchecker-framework%2Fcurrent%2Fchangelog.txt&usg=AFQjCNESdEMTut2sVzfbGctMVUSGPTXj5g&sig2=F8JX8xUARXDQO6dzd8yGRQ&bvm=bv.135475266,d.bGghttps://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=8&cad=rja&uact=8&ved=0ahUKEwiZ0dD_w9jPAhXBDiwKHf69CNQQFghWMAc&url=http%3A%2F%2Ftypes.cs.washington.edu%2Fchecker-framework%2Fcurrent%2Fchangelog.txt&usg=AFQjCNESdEMTut2sVzfbGctMVUSGPTXj5g&sig2=F8JX8xUARXDQO6dzd8yGRQ&bvm=bv.135475266,d.bGg


Meine Frage ist nun, wo ich einen entsprechenden Bug einstellen sollte,
Oracle, Open JDK oder Eclipse, und ob sich dies überhaupt lohnt?

Danke
Heiner

Back to de.comp.lang.java | Previous | Next — Next in thread | Find similar

Thread

Bug bei Typ-Annotationen auf Klassen-Typ-Parameter-Bounds Heiner Kücker <mail@heinerkuecker.de> - 2016-10-13 12:38 -0700
  Re: Bug bei Typ-Annotationen auf Klassen-Typ-Parameter-Bounds Heiner Kücker <mail@heinerkuecker.de> - 2016-10-13 12:41 -0700
  Re: Bug bei Typ-Annotationen auf Klassen-Typ-Parameter-Bounds Heiner Kücker <mail@heinerkuecker.de> - 2016-10-13 12:43 -0700

csiph-web