The GitHub Actions job "CodeQL" on commons-bcel.git/master has succeeded.
Run started by GitHub user garydgregory (triggered by garydgregory).

Head commit for run:
bee9377326ab54c97a9e40504b2c0eada8abc23b / Nicolas Baumann 
<[email protected]>
Add support for the RuntimeVisibleTypeAnnotations and 
RuntimeInvisibleTypeAnnotations attributes (#539)

* Add support for the RuntimeVisibleTypeAnnotations and 
RuntimeInvisibleTypeAnnotations attributes

Both attributes (JVMS 4.7.20) were returned as Unknown, so a caller had to parse
the raw bytes (target_type/target_info, type_path, annotation) to know about
annotations such as JSpecify's @Nullable, which are type annotations.

- Const: ATTR_RUNTIME_VISIBLE_TYPE_ANNOTATIONS, 
ATTR_RUNTIME_INVISIBLE_TYPE_ANNOTATIONS.
- TypeAnnotations (base class), RuntimeVisibleTypeAnnotations and
  RuntimeInvisibleTypeAnnotations, TypeAnnotationEntry (target type and info,
  type path, AnnotationEntry); read and dump round trip.
- Visitor.visitTypeAnnotations (default method), DescendingVisitor,
  EmptyVisitor, StringRepresentation.

Co-Authored-By: Claude Sonnet 5.5 <[email protected]>

* Deep copy of the type annotation attributes, traversal of their annotations, 
validation of TypeAnnotationEntry, Javadoc

- copy(ConstantPool) of RuntimeVisibleTypeAnnotations and 
RuntimeInvisibleTypeAnnotations
  copies the entries and binds them and the attribute to the given constant 
pool.
- DescendingVisitor.visitTypeAnnotations visits the AnnotationEntry of each 
entry.
- The TypeAnnotationEntry constructor rejects a type path which is not a 
sequence of
  pairs of bytes of at most 255 steps, and a target info whose size does not 
match
  its target type.
- Javadoc: empty type path, TARGET_CLASS_EXTENDS, scope of the attributes.

Co-Authored-By: Claude Sonnet 5.5 <[email protected]>

---------

Co-authored-by: Nicolas Baumann <[email protected]>
Co-authored-by: Claude Sonnet 5.5 <[email protected]>

Report URL: https://github.com/apache/commons-bcel/actions/runs/39853820143

With regards,
GitHub Actions via GitBox

Reply via email to