Class 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.
    See Also:
    do_verify()
    • Constructor Detail

    • Method Detail

      • getMethodNo

        public int getMethodNo()
        Returns the method number as supplied when instantiating.
      • invalidReturnTypeError

        public void invalidReturnTypeError​(Type returnedType,
                                           MethodGen m)
        Throws an exception indicating the returned type is not compatible with the return type of the given method.
        Parameters:
        returnedType - the type of the returned expression
        m - the method we are processing
        Throws:
        StructuralCodeConstraintException - always
        Since:
        6.0