|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PrimitiveMethodSummary | |
---|---|
joeq.Compiler.Analysis.Primitive |
Uses of PrimitiveMethodSummary in joeq.Compiler.Analysis.Primitive |
---|
Methods in joeq.Compiler.Analysis.Primitive that return PrimitiveMethodSummary | |
---|---|
PrimitiveMethodSummary |
PrimitiveMethodSummary.copy()
Return a deep copy of this analysis summary. |
static PrimitiveMethodSummary |
PrimitiveMethodSummary.fakeCloneMethodSummary(jq_FakeInstanceMethod method)
fake a method summary that simulates the effect of the inherited default clone(). |
static PrimitiveMethodSummary |
PrimitiveMethodSummary.fakeMethodSummary(jq_Method method)
|
PrimitiveMethodSummary |
PrimitiveMethodSummary.CallSite.getCaller()
|
PrimitiveMethodSummary |
PrimitiveMethodSummary.BuildMethodSummary.getSummary()
Returns the summary. |
static PrimitiveMethodSummary |
PrimitiveMethodSummary.getSummary(ControlFlowGraph cfg)
Get the method summary for the given CFG. |
static PrimitiveMethodSummary |
PrimitiveMethodSummary.getSummary(ControlFlowGraph cfg,
PrimitiveMethodSummary.CallSite cs)
Get the (context-sensitive) method summary for the given control flow graph when called from the given call site. |
static PrimitiveMethodSummary |
PrimitiveMethodSummary.getSummary(jq_Method m)
Get the method summary for the given method. |
Methods in joeq.Compiler.Analysis.Primitive with parameters of type PrimitiveMethodSummary | |
---|---|
static void |
PrimitiveMethodSummary.instantiate(PrimitiveMethodSummary caller,
ProgramLocation mc,
PrimitiveMethodSummary callee,
boolean removeCall)
Instantiate a copy of the callee summary into the caller. |
Constructors in joeq.Compiler.Analysis.Primitive with parameters of type PrimitiveMethodSummary | |
---|---|
PrimitiveMethodSummary.CallSite(PrimitiveMethodSummary caller,
ProgramLocation m)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |