[type-annos-observers] Comments and questions on JSR 308 draft from January 23, 2013

[Alex Buckley]

On 3/31/2013 10:47 AM, Michael Ernst wrote:
> The new JLS 13.1 (from enhanced-metadata) uses "marked" without defining
> it.  The current JLS 13.1 uses "marked as synthetic".  It would be helpful
> to me if the new 13.1 was more explicit, and/or defined the term, and/or
> gave a cross-reference from the word "marked" to where its definition
> appears.  (JVMS 4.7.22 does not use the terminology "marked".)

My intent was that the logical terms "implicitly declared" and "not
explicitly or implicitly declared" would appear in JLS 13.1 and then
again in JVMS 4.1/4.5/4.6/4.7.22 where the ClassFile conveniently offers
ACC_SYNTHETIC/ACC_MANDATED to physically reify those terms. But on
reflection, there's nothing wrong with JLS 13.1 saying "marked _as
synthetic_" and "marked _as mandated_". Thanks.

Alex