public static final class ShadowSummaryApplier.ShadowResult extends Object
| Modifier and Type | Method and Description |
|---|---|
Set<ShadowSummaryApplier.ComposedEdge> |
getAdditions() |
List<String> |
getDiagnostics() |
Map<RoutineIdentity,Integer> |
getFixedPointIterations()
Number of synchronous fixed-point rounds run for each routine's
SCC; zero means no summary evaluation (LEGACY).
|
Map<RoutineIdentity,RoutineSummary> |
getSummaries() |
public Set<ShadowSummaryApplier.ComposedEdge> getAdditions()
public List<String> getDiagnostics()
public Map<RoutineIdentity,RoutineSummary> getSummaries()
public Map<RoutineIdentity,Integer> getFixedPointIterations()