Package it.unive.lisa.program.cfg.statement.call

Interface Summary

Interface	Description
CanRemoveReceiver	Marker for Calls whose first parameter can be removed.
ResolvedCall	Marker for Calls that have already been resolved, and that thus know what are their targets.

Class Summary

Class	Description
Call	A call to another cfg.
CallWithResult	A call that evaluate its result directly.
CFGCall	A call to one or more of the CFGs under analysis.
MultiCall	A call to one or more CodeMembers under analysis, implemented through a sequence of calls.
NamedParameterExpression	An expression that can be used to for by-name parameter passing to Calls.
NativeCall	A call to one or more NativeCFGs under analysis.
OpenCall	A call to a CFG that is not under analysis.
TruncatedParamsCall	A call that wraps another one that has been created through CanRemoveReceiver.removeFirstParameter().
UnresolvedCall	A call that happens inside the program to analyze.

Enum Summary

Enum	Description
Call.CallType	Possible types of a call, identifying the type of targets (instance or static) it can have.