Interface TypeMerger

  • All Known Implementing Classes:
    StandardTypeMerger

    public interface TypeMerger
    Interface for object which merges types for TypeAnalysis. By allowing multiple implementations, we allow creation of specialized type systems.
    Author:
    David Hovemeyer
    See Also:
    TypeAnalysis
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      org.apache.bcel.generic.Type mergeTypes​(org.apache.bcel.generic.Type a, org.apache.bcel.generic.Type b)
      Merge type Types.
    • Method Detail

      • mergeTypes

        org.apache.bcel.generic.Type mergeTypes​(org.apache.bcel.generic.Type a,
                                                org.apache.bcel.generic.Type b)
                                         throws DataflowAnalysisException
        Merge type Types.
        Parameters:
        a - a Type
        b - a Type
        Returns:
        the result of merging the two Types
        Throws:
        DataflowAnalysisException