public abstract class AbstractStaticInvokeTypeFlow extends DirectInvokeTypeFlow
calleeactualParameters, actualReturn, isContextInsensitive, originalInvoke, receiverType, targetMethoddeclaredType, graphRef, id, inQueue, nextId, source, state, usedAsAParameter, usedAsAReceiver| Modifier | Constructor and Description |
|---|---|
protected |
AbstractStaticInvokeTypeFlow(BytecodePosition invokeLocation,
AnalysisType receiverType,
PointsToAnalysisMethod targetMethod,
TypeFlow<?>[] actualParameters,
ActualReturnTypeFlow actualReturn) |
protected |
AbstractStaticInvokeTypeFlow(PointsToAnalysis bb,
MethodFlowsGraph methodFlows,
AbstractStaticInvokeTypeFlow original) |
| Modifier and Type | Method and Description |
|---|---|
String |
toString() |
getCallees, isDirectInvokeactualParametersCount, canBeStaticallyBound, filterReceiverState, getActualParameter, getActualParameters, getActualReturn, getCalleesFlows, getOriginalInvoke, getPosition, getReceiver, getReceiverType, getResult, getTargetMethod, isContextInsensitive, isContextInsensitiveVirtualInvoke, linkCallee, linkReturn, markAsContextInsensitive, setActualReturn, setObserved, updateReceiver, updateReceiveraddInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, copy, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, updateprotected AbstractStaticInvokeTypeFlow(BytecodePosition invokeLocation,
AnalysisType receiverType,
PointsToAnalysisMethod targetMethod,
TypeFlow<?>[] actualParameters,
ActualReturnTypeFlow actualReturn)
protected AbstractStaticInvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, AbstractStaticInvokeTypeFlow original)