edu.umd.cs.findbugs.ba.type
Interface TypeMerger

All Known Implementing Classes:
StandardTypeMerger

public interface TypeMerger

Interface for an object that merges types for dataflow analysis.

Author:
David Hovemeyer

Method Summary
 Type mergeTypes(Type a, Type b)
          Merge two types.
 

Method Detail

mergeTypes

Type mergeTypes(Type a,
                Type b)
                throws java.lang.ClassNotFoundException
Merge two types. The merged type is one which any value of either of the given types can be assigned to.

Parameters:
a - a Type
b - another Type
Returns:
the Type resulting from merging a and b
Throws:
java.lang.ClassNotFoundException