Wednesday, April 8, 2015

StaticCodeInstructionOperandConstraintException

com.sun.org.apache.bcel.internal.verifier.exc.StaticCodeInstructionOperandConstraintException

StaticCodeInstructionOperandConstraintException is described in the javadoc comments as:

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 static constraint as described in the Java Virtual Machine Specification, Second edition, 4.8.1, pages 133-137. The static constraints checking part of pass 3 is called pass 3a in JustIce. Static constraints on the operands of instructions in the code array are checked late in pass 3a and are described on page 134-137 in the Java Virtual Machine Specification, Second Edition.
version: $Id: StaticCodeInstructionOperandConstraintException.java,v 1.1.1.1 2001/10/29 20:00:33 jvanzyl Exp $ author: Enver Haase

Where is this exception thrown?

Following, is a list of exception messages cross-referenced to the source code responsible for throwing them. Click on the method link to view the code and see how the exception is thrown.

How is this exception thrown?

The following sub-sections identify where this exception is thrown, and how (or why) the code is throwing the exception.

Any source code quoted in this section is subject to the Java Research License unless stated otherwise.

com.sun.org.apache.bcel.internal.verifier.statics.Pass3aVerifier.pass3StaticInstructionOperandsChecks()

/**
  * These are the checks for the satisfaction of constraints which are described in the
  * Java Virtual Machine Specification, Second Edition as Static Constraints on
  * the operands of instructions of Java Virtual Machine Code (chapter 4.8.1).
  * BCEL parses the code array to create an InstructionList and therefore has to check
  * some of these constraints. Additional checks are also implemented here.
  *
  * @throws StaticCodeConstraintException if the verification fails.
  */
private void pass3StaticInstructionOperandsChecks() {
    ConstantPoolGen cpg = new ConstantPoolGen(Repository.lookupClass(myOwner.getClassName()).getConstantPool());
    InstOperandConstraintVisitor v = new InstOperandConstraintVisitor(cpg);
    InstructionHandle ih = instructionList.getStart();
    while (ih != null) {
        Instruction i = ih.getInstruction();
        if (i instanceof JsrInstruction) {
            InstructionHandle target = ((JsrInstruction) i).getTarget();
            if (target == instructionList.getStart()) {
                throw new StaticCodeInstructionOperandConstraintException('Due to JustIce's clear definition of subroutines, no JSR or JSR_W may have a top-level instruction (such as the very first instruction, which is targeted by instruction '' + ih + '' as its target.');
            }
            if (!(target.getInstruction() instanceof ASTORE)) {
                throw new StaticCodeInstructionOperandConstraintException('Due to JustIce's clear definition of subroutines, no JSR or JSR_W may target anything else than an ASTORE instruction. Instruction '' + ih + '' targets '' + target + ''.');
            }
        }
        ih.accept(v);
        ih = ih.getNext();
    }
}

Source: "Java SE Downloads: Java SE 6 JDK Source Code", at: http://www.oracle.com/technetwork/java/javase/downloads/index.html

No comments:

Post a Comment