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

13/10/2016 - 21:38 von Heiner Kücker | Report spam
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/J...NO_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...tion+bound

https://www.google.de/url?sa=t&...qgeM-JPdlw

https://www.google.de/url?sa=t&...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¯QjCNESdEMTut2sVzfbGctMVUSGPTXj5g&sig2øJX8xUARXDQO6dzd8yGRQ&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
 

Lesen sie die antworten

#1 Heiner Kücker
13/10/2016 - 21:41 | Warnen spam
Am Donnerstag, 13. Oktober 2016 21:39:06 UTC+2 schrieb Heiner Kücker:
Im Netz findet man auch einige getrackte Bugs in diesem Umfeld.



https://www.google.de/search?q=java...annotation

Danke
Heiner

Ähnliche fragen