[BCEL-101] verifier raises ....AssertionViolatedException when done against Java5 files with generics/annotations

• Type: Bug
• Status: Closed
• Priority: Blocker
• Resolution: Fixed
• Affects Version/s: 5.2
• Fix Version/s: 6.0
• Component/s: Main
• External issue URL: https://issues.apache.org/bugzilla/show_bug.cgi?id=41974
• External issue ID: 41974
• Assignee: Apache Commons Developers
• Reporter: Erik Bengtson
• Created: 28/Mar/07 11:48
• Updated: 14/Jul/16 12:48
• Resolved: 01/Apr/07 07:55

Description

Running the verifier against the class:

package org.jpox.samples.jpa.company;

import java.util.Collection;
import java.util.HashSet;

import javax.persistence.Entity;
import javax.persistence.Id;

@Entity
public class GenericsPerson
{
public String id;
Collection<Person> persons = new HashSet<Person>();

@Id
public String getId()

{ return id; }

public void setId(String id)

{ this.id = id; }

public void setPersons(Collection<Person> perss)

{ this.persons = perss; }

public Collection<Person> getPersons()

{ return persons; }

}

Gives this error output:

JustIce by Enver Haase, (C) 2001-2002.
<http://bcel.sourceforge.net>
<http://jakarta.apache.org/bcel>

Now verifying: org.jpox.samples.jpa.company.GenericsPerson

Pass 1:
VERIFIED_OK
Passed verification.

Exception in thread "main"
org.apache.bcel.verifier.exc.AssertionViolatedException: INTERNAL ERROR: Please
adapt 'class org.apache.bcel.verifier.statics.StringRepresentation' to deal with
objects of class 'class org.apache.bcel.classfile.RuntimeVisibleAnnotations'.
at
org.apache.bcel.verifier.statics.StringRepresentation.toString(StringRepresentation.java:98)
at org.apache.bcel.verifier.statics.Pass2Verifier.tostring(Pass2Verifier.java:1442)
at org.apache.bcel.verifier.statics.Pass2Verifier.access$0(Pass2Verifier.java:1441)
at
org.apache.bcel.verifier.statics.Pass2Verifier$CPESSC_Visitor.visitJavaClass(Pass2Verifier.java:387)
at org.apache.bcel.classfile.JavaClass.accept(JavaClass.java:213)
at
org.apache.bcel.classfile.DescendingVisitor.visitJavaClass(DescendingVisitor.java:94)
at org.apache.bcel.classfile.JavaClass.accept(JavaClass.java:213)
at org.apache.bcel.classfile.DescendingVisitor.visit(DescendingVisitor.java:88)
at
org.apache.bcel.verifier.statics.Pass2Verifier$CPESSC_Visitor.<init>(Pass2Verifier.java:357)
at
org.apache.bcel.verifier.statics.Pass2Verifier$CPESSC_Visitor.<init>(Pass2Verifier.java:337)
at
org.apache.bcel.verifier.statics.Pass2Verifier.constant_pool_entries_satisfy_static_constraints(Pass2Verifier.java:298)
at org.apache.bcel.verifier.statics.Pass2Verifier.do_verify(Pass2Verifier.java:159)
at org.apache.bcel.verifier.PassVerifier.verify(PassVerifier.java:71)
at org.apache.bcel.verifier.Verifier.doPass2(Verifier.java:75)
at org.apache.bcel.verifier.Verifier.main(Verifier.java:217)