public final class RoutineSummary extends Object
RoutineCallBinder populates those in slice B3, and only then are
summaries SCC-ready).
Base summaries are binding-independent: extraction analyzes ONE
definition's own text in an isolated analyzer instance — isolation blocks
cross-file leakage, and per-definition slicing (see
RoutineSummaryExtractor.extractAll(java.lang.String)) blocks same-unit callee
inlining, which a fresh analyzer alone does NOT prevent (§2.2 /
codex-r2 N2 / codex-B2-r1 finding 1).
| Modifier and Type | Class and Description |
|---|---|
static class |
RoutineSummary.Completeness
§2.6 summary-local coverage.
|
static class |
RoutineSummary.RawCallSite
One raw, unresolved call site observed in the body (B3 binds these).
|
| Constructor and Description |
|---|
RoutineSummary(RoutineIdentity identity,
Set<RoutineSummaryEdge> edges,
List<RoutineSummary.RawCallSite> calls,
List<CallSiteRef> callSites,
Map<String,List<String>> resultSetShapes,
RoutineSummary.Completeness completeness,
List<String> completenessReasons) |
RoutineSummary(RoutineIdentity identity,
Set<RoutineSummaryEdge> edges,
List<RoutineSummary.RawCallSite> calls,
RoutineSummary.Completeness completeness,
List<String> completenessReasons) |
| Modifier and Type | Method and Description |
|---|---|
List<RoutineSummary.RawCallSite> |
getCalls() |
List<CallSiteRef> |
getCallSites()
B3: call sites with local actual-binding information (empty pre-B3
construction paths; same sites as
getCalls() otherwise). |
RoutineSummary.Completeness |
getCompleteness() |
List<String> |
getCompletenessReasons() |
Set<RoutineSummaryEdge> |
getEdges() |
RoutineIdentity |
getIdentity()
Null when the definition could not be indexed (OPAQUE summaries).
|
Map<String,List<String>> |
getResultSetShapes()
B3: terminal result-set display name → its columns in projection
order, for positional INSERT…EXEC composition (§2.3 rule 3).
|
public RoutineSummary(RoutineIdentity identity, Set<RoutineSummaryEdge> edges, List<RoutineSummary.RawCallSite> calls, RoutineSummary.Completeness completeness, List<String> completenessReasons)
public RoutineSummary(RoutineIdentity identity, Set<RoutineSummaryEdge> edges, List<RoutineSummary.RawCallSite> calls, List<CallSiteRef> callSites, Map<String,List<String>> resultSetShapes, RoutineSummary.Completeness completeness, List<String> completenessReasons)
public RoutineIdentity getIdentity()
public Set<RoutineSummaryEdge> getEdges()
public List<RoutineSummary.RawCallSite> getCalls()
public List<CallSiteRef> getCallSites()
getCalls() otherwise).public Map<String,List<String>> getResultSetShapes()
public RoutineSummary.Completeness getCompleteness()
public List<String> getCompletenessReasons()