Class OverloadMethodSet

java.lang.Object

org.benf.cfr.reader.entities.classfilehelpers.OverloadMethodSet

public class OverloadMethodSet
extends Object

These are the possibilities we could be hitting when we call an overloaded method. We must be sure that parameter casting rewrites don't move a call from using one method to using another.

These are "vaguely" compatible - i.e. we shouldn't be comparing (int, int) with (Integer, String) as an explicit cast could never call the wrong one.

HOWEVER - we should be comparing a vararg method, as

a,b (int int) could be confused with a,[]{b,c}

Constructor Summary

Constructors

Constructor	Description
OverloadMethodSet(ClassFile classFile, MethodPrototype actualPrototype, List<MethodPrototype> allPrototypes)

Method Summary

Modifier and Type	Method	Description
boolean	callsCorrectEntireMethod(List<Expression> args, GenericTypeBinder gtb)
boolean	callsCorrectMethod(Expression newArg, int idx, GenericTypeBinder gtb)
JavaTypeInstance	getArgType(int idx, JavaTypeInstance used)
List<JavaTypeInstance>	getPossibleArgTypes(int idx, JavaTypeInstance used)
int	size()
OverloadMethodSet	specialiseTo(JavaGenericRefTypeInstance type)

Methods inherited from class Object

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

Constructor Details

OverloadMethodSet

public OverloadMethodSet(ClassFile classFile,
 MethodPrototype actualPrototype,
 List<MethodPrototype> allPrototypes)

Method Details

specialiseTo

public OverloadMethodSet specialiseTo(JavaGenericRefTypeInstance type)

getArgType

public JavaTypeInstance getArgType(int idx,
 JavaTypeInstance used)

getPossibleArgTypes

public List<JavaTypeInstance> getPossibleArgTypes(int idx,
 JavaTypeInstance used)

callsCorrectEntireMethod

public boolean callsCorrectEntireMethod(List<Expression> args,
 GenericTypeBinder gtb)

size

public int size()

callsCorrectMethod

public boolean callsCorrectMethod(Expression newArg,
 int idx,
 GenericTypeBinder gtb)