Re: RFR: JDK-8312203: Improve specification of Array.newInstance

2023-07-18 Thread Mandy Chung
On Tue, 18 Jul 2023 04:42:31 GMT, Joe Darcy wrote: > Change one overload of java.lang.reflect.Array.newInstance to have an > `@implSpec` of calling the other method. > > I choose not to use a snippet tag here is this code is semantically only one > line and doesn't need to be cut-and-pasted. >

Re: RFR: JDK-8312203: Improve specification of Array.newInstance

2023-07-18 Thread Brian Burkhalter
On Tue, 18 Jul 2023 04:42:31 GMT, Joe Darcy wrote: > Change one overload of java.lang.reflect.Array.newInstance to have an > `@implSpec` of calling the other method. > > I choose not to use a snippet tag here is this code is semantically only one > line and doesn't need to be cut-and-pasted. >

Re: RFR: JDK-8312203: Improve specification of Array.newInstance

2023-07-18 Thread Joe Darcy
On Tue, 18 Jul 2023 05:05:24 GMT, Chen Liang wrote: >> Change one overload of java.lang.reflect.Array.newInstance to have an >> `@implSpec` of calling the other method. >> >> I choose not to use a snippet tag here is this code is semantically only one >> line and doesn't need to be cut-and-pas

Re: RFR: JDK-8312203: Improve specification of Array.newInstance

2023-07-17 Thread Chen Liang
On Tue, 18 Jul 2023 04:42:31 GMT, Joe Darcy wrote: > Change one overload of java.lang.reflect.Array.newInstance to have an > `@implSpec` of calling the other method. > > I choose not to use a snippet tag here is this code is semantically only one > line and doesn't need to be cut-and-pasted. >

RFR: JDK-8312203: Improve specification of Array.newInstance

2023-07-17 Thread Joe Darcy
Change one overload of java.lang.reflect.Array.newInstance to have an `@implSpec` of calling the other method. I choose not to use a snippet tag here is this code is semantically only one line and doesn't need to be cut-and-pasted. As adding an `@implSpec` is technically a (small) specification