Class FindRefComparison.RefComparisonTypeMerger

    • Method Detail

      • isReferenceType

        protected boolean isReferenceType​(byte type)
        Description copied from class: StandardTypeMerger
        Determine if the given typecode refers to a reference type. This implementation just checks that the type code is T_OBJECT, T_ARRAY, T_NULL, or T_EXCEPTION. Subclasses should override this if they have defined new object types with different type codes.
        Overrides:
        isReferenceType in class StandardTypeMerger
      • mergeReferenceTypes

        protected org.apache.bcel.generic.ReferenceType mergeReferenceTypes​(org.apache.bcel.generic.ReferenceType aRef,
                                                                            org.apache.bcel.generic.ReferenceType bRef)
                                                                     throws DataflowAnalysisException
        Description copied from class: StandardTypeMerger
        Default implementation of merging reference types. This just returns the first common superclass, which is compliant with the JVM Spec. Subclasses may override this method in order to implement extended type rules.
        Overrides:
        mergeReferenceTypes in class StandardTypeMerger
        Parameters:
        aRef - a ReferenceType
        bRef - a ReferenceType
        Returns:
        the merged Type
        Throws:
        DataflowAnalysisException
      • isExtendedStringType

        private boolean isExtendedStringType​(byte type)