nestmates spec open issues

2017-10-25 Thread Karen Kinnear
David Holmes (many thanks) has filed bugs to track most of the open issues: 1. access checking failing due to lazy host resolution: https://bugs.openjdk.java.net/browse/JDK-8187768 Dan has updated the specification. In our prototyping we are st

Re: nestmates spec open issues

2017-10-25 Thread Remi Forax
> De: "Karen Kinnear" > À: "valhalla-spec-experts" > Envoyé: Mercredi 25 Octobre 2017 16:45:51 > Objet: nestmates spec open issues > ... > 2. Core reflection APIs [ https://bugs.openjdk.java.net/browse/JDK-8188075 | > https://bugs.openjdk.java.net/browse

Re: nestmates spec open issues

2017-10-25 Thread Brian Goetz
John Rose proposed: a) Class.getnestHost() - defaults to itself if there is a resolution error (or if there is no Nest attribute) b) Class.getNestMembers() -  returns full nest, fallback of self if any resolution errors including it lists a nestHost that     does not list it. For consisten

Re: nestmates spec open issues

2017-10-25 Thread John Rose
On Oct 25, 2017, at 8:39 AM, Brian Goetz wrote: > > John Rose proposed: >> a) Class.getnestHost() - defaults to itself if there is a resolution error > > (or if there is no Nest attribute) (yes) >> b) Class.getNestMembers() - returns full nest, fallback of self if any >> resolution errors in

Re: nestmates spec open issues

2017-10-25 Thread David Holmes
On 26/10/2017 2:51 AM, John Rose wrote: On Oct 25, 2017, at 8:39 AM, Brian Goetz wrote: John Rose proposed: a) Class.getnestHost() - defaults to itself if there is a resolution error (or if there is no Nest attribute) (yes) b) Class.getNestMembers() - returns full nest, fallback of sel

Re: nestmates spec open issues

2017-10-25 Thread Remi Forax
, > "Brian Goetz" > Cc: "valhalla-spec-experts" > Envoyé: Mercredi 25 Octobre 2017 23:52:31 > Objet: Re: nestmates spec open issues > On 26/10/2017 2:51 AM, John Rose wrote: >> On Oct 25, 2017, at 8:39 AM, Brian Goetz wrote: >>> >&g

Re: nestmates spec open issues

2017-10-25 Thread John Rose
On Oct 25, 2017, at 3:33 PM, Remi Forax wrote: > > getClasses() throws an exception but getAnnotations() skips unavailable > annotations. > > that said, i'm not against throwing in this case. I'm not against throwing either, but I think scrubbing (like annotations) is a little better, because

Re: nestmates spec open issues

2017-10-25 Thread John Rose
On Oct 25, 2017, at 8:07 PM, John Rose wrote: > > On Oct 25, 2017, at 3:33 PM, Remi Forax > wrote: >> >> getClasses() throws an exception but getAnnotations() skips unavailable >> annotations. >> >> that said, i'm not against throwing in this case. > > I'm not again

Re: nestmates spec open issues

2017-10-25 Thread David Holmes
On 26/10/2017 1:11 PM, John Rose wrote: On Oct 25, 2017, at 8:07 PM, John Rose wrote: On Oct 25, 2017, at 3:33 PM, Remi Forax mailto:fo...@univ-mlv.fr>> wrote: getClasses() throws an exception but getAnnotations() skips unavailable annotations. that said, i'm not against throwing in this c

Re: nestmates spec open issues

2017-10-25 Thread John Rose
On Oct 25, 2017, at 8:54 PM, David Holmes wrote: > > On 26/10/2017 1:11 PM, John Rose wrote: >> On Oct 25, 2017, at 8:07 PM, John Rose wrote: >>> >>> On Oct 25, 2017, at 3:33 PM, Remi Forax >> > wrote: getClasses() throws an exception but getAnnotations() sk

Re: nestmates spec open issues

2017-10-25 Thread David Holmes
One immediate follow-up ... On 26/10/2017 2:03 PM, John Rose wrote: On Oct 25, 2017, at 8:54 PM, David Holmes wrote: On 26/10/2017 1:11 PM, John Rose wrote: On Oct 25, 2017, at 8:07 PM, John Rose wrote: On Oct 25, 2017, at 3:33 PM, Remi Forax mailto:fo...@univ-mlv.fr>> wrote: getClasses

Re: nestmates spec open issues

2017-10-26 Thread John Rose
On Oct 25, 2017, at 11:11 PM, David Holmes wrote: > >> Please don't throw IAE that case. I don't want to bikeshed exception types, >> but I think we have a strong precedent for using ICCE when encountering >> a questionable classfile configuration (one that shouldn't have come out of >> javac).

Re: nestmates spec open issues

2017-10-26 Thread David Holmes
On 27/10/2017 12:02 PM, John Rose wrote: On Oct 25, 2017, at 11:11 PM, David Holmes > wrote: Please don't throw IAE that case.  I don't want to bikeshed exception types, but I think we have a strong precedent for using ICCE when encountering a questionable cla

Re: nestmates spec open issues

2017-10-30 Thread David Holmes
Hi John, On 26/10/2017 2:03 PM, John Rose wrote: On Oct 25, 2017, at 8:54 PM, David Holmes wrote: Though I still feel uncomfortable lying about the nest-host. I don't see what usecases would be served by doing that. Other than informational uses, I can't see a reason to actually identify the

Re: nestmates spec open issues

2017-10-30 Thread John Rose
On Oct 30, 2017, at 6:45 PM, David Holmes wrote: > > Hi John, > > On 26/10/2017 2:03 PM, John Rose wrote: >> On Oct 25, 2017, at 8:54 PM, David Holmes wrote: >>> Though I still feel uncomfortable lying about the nest-host. I don't see >>> what usecases would be served by doing that. Other than