Interface TypeMerger

All Known Implementing Classes:
FindRefComparison.RefComparisonTypeMerger, StandardTypeMerger
public interface TypeMerger
Interface for object which merges types for TypeAnalysis. By allowing multiple implementations, we allow creation of specialized type systems.
See Also:

  • Method Summary

    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 Details

    • 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