Top Description Fields Constructors
org.apache.bcel.verifier.exc

public Class StructuralCodeConstraintException

extends CodeConstraintException
Class Inheritance
Known Direct Subclasses
org.apache.bcel.verifier.exc.LinkingConstraintException
Instances of this class are thrown by BCEL's class file verifier "JustIce" when a class file to verify does not pass the verification pass 3 because of a violation of a structural constraint as described in the Java Virtual Machine Specification, 2nd edition, 4.8.2, pages 137-139. Note that the notion of a "structural" constraint is somewhat misleading. Structural constraints are constraints on relationships between Java virtual machine instructions. These are the constraints where data-flow analysis is needed to verify if they hold. The data flow analysis of pass 3 is called pass 3b in JustIce.

Field Summary

Modifier and TypeField and Description
private static final long
serialVersionUID

Hides org.apache.bcel.verifier.exc.CodeConstraintException.serialVersionUID.

Constructor Summary

AccessConstructor and Description
public
StructuralCodeConstraintException()

Constructs a new StructuralCodeConstraintException with null as its error message string.

public
StructuralCodeConstraintException(final String message)

Constructs a new StructuralCodeConstraintException with the specified error message.

Field Detail

serialVersionUIDback to summary
private static final long serialVersionUID

Hides org.apache.bcel.verifier.exc.CodeConstraintException.serialVersionUID.

Constructor Detail

StructuralCodeConstraintExceptionback to summary
public StructuralCodeConstraintException()

Constructs a new StructuralCodeConstraintException with null as its error message string.

StructuralCodeConstraintExceptionback to summary
public StructuralCodeConstraintException(final String message)

Constructs a new StructuralCodeConstraintException with the specified error message.