Class Pass3bVerifier

java.lang.Object

org.apache.bcel.verifier.PassVerifier

org.apache.bcel.verifier.structurals.Pass3bVerifier

public final class Pass3bVerifier
extends PassVerifier

This PassVerifier verifies a method of class file according to pass 3, so-called structural verification as described in The Java Virtual Machine Specification, 2nd edition. More detailed information is to be found at the do_verify() method's documentation.

The system property org.apache.bcel.verifier.maxFrameSlots bounds the size of the pass 3b data flow analysis, measured in frame slots: (max_locals + max_stack) * instruction count of the method under verification. Methods above the bound are rejected instead of analyzed. The default is 100,000,000; a value of zero or less disables the bound.

See Also:

• do_verify()

Constructor Summary

Constructors

Constructor	Description
Pass3bVerifier(Verifier myOwner, int methodNo)	This class should only be instantiated by a Verifier.

Method Summary

Modifier and Type	Method	Description
VerificationResult	do_verify()	Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition.
int	getMethodNo()	Gets the method number as supplied when instantiating.
void	invalidReturnTypeError(Type returnedType, MethodGen m)	Always throws StructuralCodeConstraintException because the returned type is incompatible with the method return type.

Methods inherited from class PassVerifier

addMessage, getMessages, getMessagesList, verify

Modifier and Type	Method	Description
void	addMessage(String message)	This method adds a (warning) message to the message pool of this PassVerifier.
String[]	getMessages()	Gets the (warning) messages that this PassVerifier accumulated during verification.
List<String>	getMessagesList()	Gets the (warning) messages that this PassVerifier accumulated during verification.
VerificationResult	verify()	This method runs a verification pass conforming to the Java Virtual Machine Specification, 2nd edition, on a class file.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Pass3bVerifier

public Pass3bVerifier(Verifier myOwner,
 int methodNo)

This class should only be instantiated by a Verifier.

Parameters:

myOwner - The verifier that owns this Pass3bVerifier.

methodNo - The method number.

See Also:

• Verifier

Method Details

do_verify

public VerificationResult do_verify()

Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition. Later versions will use LocalVariablesInfo objects to verify if the verifier-inferred types and the class file's debug information (LocalVariables attributes) match [TODO].

Specified by:

do_verify in class PassVerifier

Returns:

The VerificationResult.

See Also:

• LocalVariablesInfo
• Pass2Verifier.getLocalVariablesInfo(int)

getMethodNo

public int getMethodNo()

Gets the method number as supplied when instantiating.

Returns:

The method number.

invalidReturnTypeError

public void invalidReturnTypeError(Type returnedType,
 MethodGen m)

Always throws StructuralCodeConstraintException because the returned type is incompatible with the method return type.

Parameters:

returnedType - The type of the returned expression.

m - The method we are processing.

Throws:

StructuralCodeConstraintException - Thrown unconditionally.

Since:

6.0