public class SymbolicCall extends Call
caller, controlFlowDependent, instruction, runtimeTypeDependent, throwsNullptr
Constructor and Description |
---|
SymbolicCall(CodeLocation caller,
MethodSignature target,
int throwsNullptr,
Instruction instruction,
boolean controlFlowDependent,
boolean runtimeTypeDependent) |
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() |
boolean |
hasIncompleteTarget()
Check if this call's target is fully known or only parts of it (e.g.
|
clearValues, getArgument, getArgumentCount, getInstance, getJvmArgumentSize, getReturnValue, isCertainlyCalled, isStatic, setArguments, setInstance, setReturnValue, targetMethodAccept, toSimpleString, toString
public SymbolicCall(CodeLocation caller, MethodSignature target, int throwsNullptr, Instruction instruction, boolean controlFlowDependent, boolean runtimeTypeDependent)
public MethodSignature getTarget()
Call
MethodSignature
of the method that is being called.public boolean hasIncompleteTarget()
Call
hasIncompleteTarget
in class Call