proguard.analysis.datastructure.callgraph

Class SymbolicCall

java.lang.Object

proguard.analysis.datastructure.callgraph.Call

proguard.analysis.datastructure.callgraph.SymbolicCall

public class SymbolicCall
extends Call

A call whose target Method is not available in our ClassPool.

Field Summary

Fields inherited from class proguard.analysis.datastructure.callgraph.Call

caller, controlFlowDependent, invocationOpcode, runtimeTypeDependent, throwsNullptr

Constructor Summary

Constructors

Constructor and Description
SymbolicCall(CodeLocation caller, MethodSignature target, int throwsNullptr, byte invocationOpcode, boolean controlFlowDependent, boolean runtimeTypeDependent)
SymbolicCall(CodeLocation caller, MethodSignature target, Value instance, java.util.List<Value> arguments, Value returnValue, int throwsNullptr, byte invocationOpcode)
SymbolicCall(CodeLocation caller, MethodSignature target, Value instance, java.util.List<Value> arguments, Value returnValue, int throwsNullptr, byte invocationOpcode, boolean controlFlowDependent, boolean runtimeTypeDependent)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
MethodSignature	getTarget() The MethodSignature of the method that is being called.
int	hashCode()

Methods inherited from class proguard.analysis.datastructure.callgraph.Call

clearValues, getArgument, getArgumentCount, getInstance, getReturnValue, isCertainlyCalled, setArguments, setInstance, setReturnValue, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SymbolicCall

public SymbolicCall(CodeLocation caller,
                    MethodSignature target,
                    Value instance,
                    java.util.List<Value> arguments,
                    Value returnValue,
                    int throwsNullptr,
                    byte invocationOpcode)

SymbolicCall

public SymbolicCall(CodeLocation caller,
                    MethodSignature target,
                    Value instance,
                    java.util.List<Value> arguments,
                    Value returnValue,
                    int throwsNullptr,
                    byte invocationOpcode,
                    boolean controlFlowDependent,
                    boolean runtimeTypeDependent)

SymbolicCall

public SymbolicCall(CodeLocation caller,
                    MethodSignature target,
                    int throwsNullptr,
                    byte invocationOpcode,
                    boolean controlFlowDependent,
                    boolean runtimeTypeDependent)

Method Detail

getTarget

public MethodSignature getTarget()

Description copied from class: Call

The MethodSignature of the method that is being called.

Specified by:

getTarget in class Call

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Call

hashCode

public int hashCode()

Overrides:

hashCode in class Call