Class MethodPrototype

java.lang.Object

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

All Implemented Interfaces:

TypeUsageCollectable

public class MethodPrototype
extends Object
implements TypeUsageCollectable

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	MethodPrototype.HiddenReason
static class	MethodPrototype.ParameterLValue

Field Summary

Fields

Modifier and Type	Field	Description
private final List<JavaTypeInstance>	args
private final ClassFile	classFile
private MethodPrototype	descriptorProto
private final List<JavaTypeInstance>	exceptionTypes
private String	fixedName
private final List<FormalTypeParameter>	formalTypeParameters
private final Set<Integer>	hidden
private boolean	innerOuterThis
private final boolean	instanceMethod
private final String	name
private final String	originalDescriptor
private List<MethodPrototype.ParameterLValue>	parameterLValues
private JavaTypeInstance	result
private final List<Slot>	syntheticArgs
private final List<Slot>	syntheticCaptureArgs
private final boolean	varargs
private final VariableNamer	variableNamer

Constructor Summary

Constructors

Constructor	Description
MethodPrototype(DCCommonState state, ClassFile classFile, JavaTypeInstance classType, String name, boolean instanceMethod, Method.MethodConstructor constructorFlag, List<FormalTypeParameter> formalTypeParameters, List<JavaTypeInstance> args, JavaTypeInstance result, List<JavaTypeInstance> exceptionTypes, boolean varargs, VariableNamer variableNamer, boolean synthetic, String originalDescriptor)

Method Summary

Modifier and Type	Method	Description
Map<Slot,SSAIdent>	collectInitialSlotUsage(SSAIdentifierFactory<Slot,?> ssaIdentifierFactory)
void	collectTypeUsages(TypeUsageCollector collector)
List<LocalVariable>	computeParameters(Method.MethodConstructor constructorFlag, Map<Integer,Ident> slotToIdentMap)
void	dumpAppropriatelyCastedArgumentString(Expression expression, Dumper d)
void	dumpDeclarationSignature(Dumper d, String methName, Method.MethodConstructor isConstructor, MethodPrototypeAnnotationsHelper annotationsHelper, List<AnnotationTableTypeEntry> returnTypeAnnotations)
boolean	equalsGeneric(MethodPrototype other)
boolean	equalsGeneric(MethodPrototype other, GenericTypeBinder genericTypeBinder)
boolean	equalsMatch(MethodPrototype other)
Expression	getAppropriatelyCastedArgument(Expression expression, int argidx)
List<JavaTypeInstance>	getArgs()
JavaTypeInstance	getClassType()
String	getComparableString()
List<LocalVariable>	getComputedParameters()
List<JavaTypeInstance>	getExceptionTypes()
List<JavaTypeInstance>	getExplicitGenericUsage(GenericTypeBinder binder)
String	getFixedName()
Map<String, FormalTypeParameter>	getFormalParameterMap()
String	getName()
String	getOriginalDescriptor()
OverloadMethodSet	getOverloadMethodSet()
List<MethodPrototype.ParameterLValue>	getParameterLValues()
private JavaTypeInstance	getResultBoundAccordingly(JavaTypeInstance result, JavaGenericRefTypeInstance boundInstance, List<Expression> invokingArgs)
private JavaTypeInstance	getResultBoundAccordinglyInner(JavaTypeInstance result, JavaGenericRefTypeInstance boundInstance, List<Expression> invokingArgs)
JavaTypeInstance	getReturnType()
JavaTypeInstance	getReturnType(JavaTypeInstance thisTypeInstance, List<Expression> invokingArgs)
List<JavaTypeInstance>	getSignatureBoundArgs()
List<JavaTypeInstance>	getSignatureBoundExceptions()
private List<JavaTypeInstance>	getSignatureBoundTypes(List<JavaTypeInstance> types)
GenericTypeBinder	getTypeBinderFor(List<Expression> invokingArgs)
GenericTypeBinder	getTypeBinderForTypes(List<JavaTypeInstance> invokingArgTypes)
int	getVisibleArgCount()
boolean	hasFormalTypeParameters()
boolean	hasNameBeenFixed()
void	hide(int idx)
private static boolean	isGenericArg(JavaTypeInstance arg)
boolean	isHiddenArg(int x)
boolean	isInnerOuterThis()
boolean	isInstanceMethod()
boolean	isVarArgs()
boolean	parametersComputed()
private static boolean	satisfies(List<JavaTypeInstance> haystack, int start, List<JavaTypeInstance> args)
private static boolean	satisfiesSlots(List<Slot> haystack, int start, List<JavaTypeInstance> args)
void	setDescriptorProto(MethodPrototype descriptorProto)
void	setFixedName(String name)
void	setInnerOuterThis()
void	setMethodScopedSyntheticConstructorParameters(NavigableMap<Integer, JavaTypeInstance> missing)
void	setNonMethodScopedSyntheticConstructorParameters(Method.MethodConstructor constructorFlag, DecompilerComments comments, Map<Integer, JavaTypeInstance> synthetics)
void	tightenArgs(Expression object, List<Expression> expressions)
String	toString()
void	unbreakEnumConstructor()

Methods inherited from class Object

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

Field Details

descriptorProto

private MethodPrototype descriptorProto

originalDescriptor

private final String originalDescriptor

formalTypeParameters

private final List<FormalTypeParameter> formalTypeParameters

args

private final List<JavaTypeInstance> args

exceptionTypes

private final List<JavaTypeInstance> exceptionTypes

hidden

private final Set<Integer> hidden

innerOuterThis

private boolean innerOuterThis

result

private JavaTypeInstance result

variableNamer

private final VariableNamer variableNamer

instanceMethod

private final boolean instanceMethod

varargs

private final boolean varargs

name

private final String name

fixedName

private String fixedName

classFile

private final ClassFile classFile

syntheticArgs

private final List<Slot> syntheticArgs

syntheticCaptureArgs

private final List<Slot> syntheticCaptureArgs

parameterLValues

private List<MethodPrototype.ParameterLValue> parameterLValues

Constructor Details

MethodPrototype

public MethodPrototype(DCCommonState state,
 ClassFile classFile,
 JavaTypeInstance classType,
 String name,
 boolean instanceMethod,
 Method.MethodConstructor constructorFlag,
 List<FormalTypeParameter> formalTypeParameters,
 List<JavaTypeInstance> args,
 JavaTypeInstance result,
 List<JavaTypeInstance> exceptionTypes,
 boolean varargs,
 VariableNamer variableNamer,
 boolean synthetic,
 String originalDescriptor)

Method Details

getOverloadMethodSet

public OverloadMethodSet getOverloadMethodSet()

unbreakEnumConstructor

public void unbreakEnumConstructor()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

hide

public void hide(int idx)

getFormalParameterMap

public Map<String, FormalTypeParameter> getFormalParameterMap()

setDescriptorProto

public void setDescriptorProto(MethodPrototype descriptorProto)

setInnerOuterThis

public void setInnerOuterThis()

isHiddenArg

public boolean isHiddenArg(int x)

isInnerOuterThis

public boolean isInnerOuterThis()

dumpDeclarationSignature

public void dumpDeclarationSignature(Dumper d,
 String methName,
 Method.MethodConstructor isConstructor,
 MethodPrototypeAnnotationsHelper annotationsHelper,
 List<AnnotationTableTypeEntry> returnTypeAnnotations)

parametersComputed

public boolean parametersComputed()

getParameterLValues

public List<MethodPrototype.ParameterLValue> getParameterLValues()

getComputedParameters

public List<LocalVariable> getComputedParameters()

setNonMethodScopedSyntheticConstructorParameters

public void setNonMethodScopedSyntheticConstructorParameters(Method.MethodConstructor constructorFlag,
 DecompilerComments comments,
 Map<Integer, JavaTypeInstance> synthetics)

collectInitialSlotUsage

public Map<Slot,SSAIdent> collectInitialSlotUsage(SSAIdentifierFactory<Slot,?> ssaIdentifierFactory)

computeParameters

public List<LocalVariable> computeParameters(Method.MethodConstructor constructorFlag,
 Map<Integer,Ident> slotToIdentMap)

getReturnType

public JavaTypeInstance getReturnType()

getName

public String getName()

getFixedName

public String getFixedName()

hasNameBeenFixed

public boolean hasNameBeenFixed()

setFixedName

public void setFixedName(String name)

hasFormalTypeParameters

public boolean hasFormalTypeParameters()

getExplicitGenericUsage

public List<JavaTypeInstance> getExplicitGenericUsage(GenericTypeBinder binder)

getClassType

public JavaTypeInstance getClassType()

getReturnType

public JavaTypeInstance getReturnType(JavaTypeInstance thisTypeInstance,
 List<Expression> invokingArgs)

getArgs

public List<JavaTypeInstance> getArgs()

getSignatureBoundArgs

public List<JavaTypeInstance> getSignatureBoundArgs()

getExceptionTypes

public List<JavaTypeInstance> getExceptionTypes()

getSignatureBoundExceptions

public List<JavaTypeInstance> getSignatureBoundExceptions()

getSignatureBoundTypes

private List<JavaTypeInstance> getSignatureBoundTypes(List<JavaTypeInstance> types)

getVisibleArgCount

public int getVisibleArgCount()

isInstanceMethod

public boolean isInstanceMethod()

getAppropriatelyCastedArgument

public Expression getAppropriatelyCastedArgument(Expression expression,
 int argidx)

dumpAppropriatelyCastedArgumentString

public void dumpAppropriatelyCastedArgumentString(Expression expression,
 Dumper d)

tightenArgs

public void tightenArgs(Expression object,
 List<Expression> expressions)

isGenericArg

private static boolean isGenericArg(JavaTypeInstance arg)

getComparableString

public String getComparableString()

toString

public String toString()

Overrides:

toString in class Object

equalsGeneric

public boolean equalsGeneric(MethodPrototype other)

equalsGeneric

public boolean equalsGeneric(MethodPrototype other,
 GenericTypeBinder genericTypeBinder)

getTypeBinderForTypes

public GenericTypeBinder getTypeBinderForTypes(List<JavaTypeInstance> invokingArgTypes)

getTypeBinderFor

public GenericTypeBinder getTypeBinderFor(List<Expression> invokingArgs)

getResultBoundAccordingly

private JavaTypeInstance getResultBoundAccordingly(JavaTypeInstance result,
 JavaGenericRefTypeInstance boundInstance,
 List<Expression> invokingArgs)

getResultBoundAccordinglyInner

private JavaTypeInstance getResultBoundAccordinglyInner(JavaTypeInstance result,
 JavaGenericRefTypeInstance boundInstance,
 List<Expression> invokingArgs)

isVarArgs

public boolean isVarArgs()

equalsMatch

public boolean equalsMatch(MethodPrototype other)

setMethodScopedSyntheticConstructorParameters

public void setMethodScopedSyntheticConstructorParameters(NavigableMap<Integer, JavaTypeInstance> missing)

satisfies

private static boolean satisfies(List<JavaTypeInstance> haystack,
 int start,
 List<JavaTypeInstance> args)

satisfiesSlots

private static boolean satisfiesSlots(List<Slot> haystack,
 int start,
 List<JavaTypeInstance> args)

getOriginalDescriptor

public String getOriginalDescriptor()