org.apache.bcel.verifier.exc

Class StructuralCodeConstraintException

Known Direct Subclasses:
LinkingConstraintException

public class StructuralCodeConstraintException
extends CodeConstraintException

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.
Version:
$Id: StructuralCodeConstraintException.java,v 1.1.1.1 2001/10/29 20:00:34 jvanzyl Exp $
Author:
Enver Haase

Constructor Summary

StructuralCodeConstraintException()
Constructs a new StructuralCodeConstraintException with null as its error message string.
StructuralCodeConstraintException(String message)
Constructs a new StructuralCodeConstraintException with the specified error message.

Method Summary

Methods inherited from class org.apache.bcel.verifier.exc.VerifierConstraintViolatedException

extendMessage, getMessage

Constructor Details

StructuralCodeConstraintException

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

StructuralCodeConstraintException

public StructuralCodeConstraintException(String message)
Constructs a new StructuralCodeConstraintException with the specified error message.