edu.umd.cs.findbugs.ba.type2
Interface TypeMerger
- All Known Implementing Classes:
- StandardTypeMerger
public interface TypeMerger
Interface for an object that merges types for dataflow analysis.
- Author:
- David Hovemeyer
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 Typeb
- another Type
- Returns:
- the Type resulting from merging a and b
- Throws:
java.lang.ClassNotFoundException