|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use PrimitiveMethodSummary.CallSite | |
|---|---|
| joeq.Compiler.Analysis.Primitive | |
| Uses of PrimitiveMethodSummary.CallSite in joeq.Compiler.Analysis.Primitive |
|---|
| Methods in joeq.Compiler.Analysis.Primitive with parameters of type PrimitiveMethodSummary.CallSite | |
|---|---|
boolean |
PrimitiveMethodSummary.CallSite.equals(PrimitiveMethodSummary.CallSite that)
|
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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||