Class GenericTypeBinder

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.types.GenericTypeBinder

public class GenericTypeBinder
extends Object

FIXME - this class has multiple ways of implementing the same thing - definitely feels redundant!

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<String, JavaTypeInstance>	nameToBoundType

Constructor Summary

Constructors

Modifier	Constructor	Description
private	GenericTypeBinder(Map<String, JavaTypeInstance> nameToBoundType)

Method Summary

Modifier and Type	Method	Description
(package private) static GenericTypeBinder	bind(List<FormalTypeParameter> methodFormalTypeParameters, ClassSignature classSignature, List<JavaTypeInstance> args, JavaGenericRefTypeInstance boundInstance, List<JavaTypeInstance> boundArgs)
static GenericTypeBinder	buildIdentityBindings(JavaGenericRefTypeInstance unbound)
static GenericTypeBinder	create(List<FormalTypeParameter>... ftps)
GenericTypeBinder	createAssignmentRhsBindings(GenericTypeBinder rhsBinder)
static GenericTypeBinder	createEmpty()
private static void	doBind(Map<String, JavaTypeInstance> boundNames, JavaGenericBaseInstance unbound, JavaTypeInstance maybeBound)
static GenericTypeBinder	extractBaseBindings(JavaGenericBaseInstance unbound, JavaTypeInstance maybeBound)
static GenericTypeBinder	extractBindings(JavaGenericBaseInstance unbound, JavaTypeInstance maybeBound)
(package private) JavaTypeInstance	getBindingFor(FormalTypeParameter formalTypeParameter)
JavaTypeInstance	getBindingFor(JavaTypeInstance maybeUnbound)
private static boolean	isBetterBinding(JavaTypeInstance isBetter, JavaTypeInstance than)
GenericTypeBinder	mergeWith(GenericTypeBinder other, boolean mergeToCommonClass)
void	removeBinding(JavaGenericPlaceholderTypeInstance type)
void	suggestBindingFor(String name, JavaTypeInstance binding)
void	suggestOnlyNullBinding(JavaGenericPlaceholderTypeInstance type)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

nameToBoundType

private final Map<String, JavaTypeInstance> nameToBoundType

Constructor Details

GenericTypeBinder

private GenericTypeBinder(Map<String, JavaTypeInstance> nameToBoundType)

Method Details

createEmpty

public static GenericTypeBinder createEmpty()

create

public static GenericTypeBinder create(List<FormalTypeParameter>... ftps)

bind

static GenericTypeBinder bind(List<FormalTypeParameter> methodFormalTypeParameters,
 ClassSignature classSignature,
 List<JavaTypeInstance> args,
 JavaGenericRefTypeInstance boundInstance,
 List<JavaTypeInstance> boundArgs)

buildIdentityBindings

public static GenericTypeBinder buildIdentityBindings(JavaGenericRefTypeInstance unbound)

extractBaseBindings

public static GenericTypeBinder extractBaseBindings(JavaGenericBaseInstance unbound,
 JavaTypeInstance maybeBound)

extractBindings

public static GenericTypeBinder extractBindings(JavaGenericBaseInstance unbound,
 JavaTypeInstance maybeBound)

doBind

private static void doBind(Map<String, JavaTypeInstance> boundNames,
 JavaGenericBaseInstance unbound,
 JavaTypeInstance maybeBound)

removeBinding

public void removeBinding(JavaGenericPlaceholderTypeInstance type)

getBindingFor

JavaTypeInstance getBindingFor(FormalTypeParameter formalTypeParameter)

getBindingFor

public JavaTypeInstance getBindingFor(JavaTypeInstance maybeUnbound)

isBetterBinding

private static boolean isBetterBinding(JavaTypeInstance isBetter,
 JavaTypeInstance than)

suggestOnlyNullBinding

public void suggestOnlyNullBinding(JavaGenericPlaceholderTypeInstance type)

suggestBindingFor

public void suggestBindingFor(String name,
 JavaTypeInstance binding)

mergeWith

public GenericTypeBinder mergeWith(GenericTypeBinder other,
 boolean mergeToCommonClass)

createAssignmentRhsBindings

public GenericTypeBinder createAssignmentRhsBindings(GenericTypeBinder rhsBinder)