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, toStringpublic SymbolicCall(CodeLocation caller, MethodSignature target, int throwsNullptr, Instruction instruction, boolean controlFlowDependent, boolean runtimeTypeDependent)
public MethodSignature getTarget()
CallMethodSignature of the method that is being called.public boolean hasIncompleteTarget()
CallhasIncompleteTarget in class Call