Branch: Tag:

2018-11-22

2018-11-22 15:34:20 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler: Added support for Pike.Annotations.Inherited.

This attribute has the same semantics as the attribute
of the same name in Java.

501:       /* The set of annotations for this inherit (if any).    * -  * For inherit #0 these are set directly via annotations -  * on the class. +  * For inherit #0 these are set either directly via +  * annotations on the class, or via inherit of classes +  * that have annotations that are annotated as @Inherited.    *    * For inherits at level 1 these are set from the annotations    * on the corresponding inherit declaration, together with -  * the original annotations. +  * the original annotations that haven't been annotated as +  * @Inherited.    *    * For inherits at higher levels they are copied verbatim from their    * previous program.