That's cool - I was not aware of that feature. On Aug 8, 2011, at 8:39 AM, Chris Bartlett wrote:
> Is there any reason why the DefaultProperty annotation is not > annotated itself with java.lang.annotation.Documented? > > Doing so means that users will be able to see what WTK (or other) > classes are have the DefaultProperty annotation and its value by > looking at the Javadoc for that class. > > Are there any other Pivot annotations which would also benefit from this? > > Index: DefaultProperty.java > =================================================================== > --- DefaultProperty.java (revision 1153814) > +++ DefaultProperty.java (working copy) > @@ -16,6 +16,7 @@ > */ > package org.apache.pivot.beans; > > +import java.lang.annotation.Documented; > import java.lang.annotation.ElementType; > import java.lang.annotation.Inherited; > import java.lang.annotation.Retention; > @@ -26,6 +27,7 @@ > * Specifies a property to which child elements will be added or set when an > * explicit property is not given. > */ > +@Documented > @Inherited > @Retention(RetentionPolicy.RUNTIME) > @Target(ElementType.TYPE)
