Uses of Class
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.CallSite

Packages that use MethodSummary.CallSite

joeq.Compiler.Analysis.FlowInsensitive

Uses of MethodSummary.CallSite in joeq.Compiler.Analysis.FlowInsensitive

Methods in joeq.Compiler.Analysis.FlowInsensitive with parameters of type MethodSummary.CallSite

boolean	MethodSummary.CallSite.equals(MethodSummary.CallSite that)
static MethodSummary	MethodSummary.getSummary(ControlFlowGraph cfg, MethodSummary.CallSite cs) Get the (context-sensitive) method summary for the given control flow graph when called from the given call site.