Re: Expected behavior for annotation property with duplicate value definition

2021-05-05 Thread David Holmes
Hi Rafael, On 5/05/2021 8:02 pm, Rafael Winterhalter wrote: Hi David, yes, of course. However, the JVM already yields exceptions upon illegal constructs, most of the time a class would fail to load through verification. Yes but verification enforces JVMS rules not JLS rules. There are many

Re: Expected behavior for annotation property with duplicate value definition

2021-05-05 Thread Rafael Winterhalter
Hi David, yes, of course. However, the JVM already yields exceptions upon illegal constructs, most of the time a class would fail to load through verification. For annotations, there is a whole tree of exceptions such as AnnotationTypeMismatchException but this one scenario with two values for a si

Re: Expected behavior for annotation property with duplicate value definition

2021-05-05 Thread David Holmes
Hi Rafael, On 5/05/2021 6:53 pm, Rafael Winterhalter wrote: Hello, I was wondering if the current OpenJDK behavior should yield an exception or if it is accidental and if so, if it should be altered to avoid surprising behavior. If an annotation: @interface Sample { String v(); } is added

Expected behavior for annotation property with duplicate value definition

2021-05-05 Thread Rafael Winterhalter
Hello, I was wondering if the current OpenJDK behavior should yield an exception or if it is accidental and if so, if it should be altered to avoid surprising behavior. If an annotation: @interface Sample { String v(); } is added to a member where the property 'v' is assigned a value twice, th