public final class ProceduralLineageResult extends Object
ProceduralLineageAnalyzer.
This result deliberately does not masquerade as a mutated legacy
dataflow. Composed edges are observations only in every mode.
getAppliedAdditions() remains empty until call validity, type
compatibility, actual mutability, and execution context are exhaustively
proven. Every observation carries ShadowSummaryApplier.EdgeOrigin,
ShadowSummaryApplier.ApplicationGate.OBSERVATION_ONLY, and a stable
application-deferral reason.
| Modifier and Type | Method and Description |
|---|---|
Set<ShadowSummaryApplier.ComposedEdge> |
getAppliedAdditions()
Reserved future additive projection.
|
Set<ShadowSummaryApplier.ComposedEdge> |
getAugmentOnly()
Deprecated.
composed edges are not authorized to augment lineage.
This compatibility view is deliberately always empty.
|
List<String> |
getDiagnostics() |
Map<RoutineIdentity,Integer> |
getFixedPointIterations() |
ProceduralLineageOptions.Mode |
getMode() |
Set<ShadowSummaryApplier.ComposedEdge> |
getObservationOnly() |
Set<ShadowSummaryApplier.ComposedEdge> |
getObservedAdditions()
Isolated summary-composed edges; non-empty in SHADOW and ENHANCED.
|
Set<ShadowSummaryApplier.ComposedEdge> |
getReplacementEligible()
Reserved future view; currently always empty.
|
Map<RoutineIdentity,RoutineSummary> |
getSummaries() |
public ProceduralLineageOptions.Mode getMode()
public Set<ShadowSummaryApplier.ComposedEdge> getObservedAdditions()
public Set<ShadowSummaryApplier.ComposedEdge> getAppliedAdditions()
getObservedAdditions() into an authoritative model.public List<String> getDiagnostics()
public Map<RoutineIdentity,RoutineSummary> getSummaries()
public Map<RoutineIdentity,Integer> getFixedPointIterations()
public Set<ShadowSummaryApplier.ComposedEdge> getReplacementEligible()
public Set<ShadowSummaryApplier.ComposedEdge> getObservationOnly()
@Deprecated public Set<ShadowSummaryApplier.ComposedEdge> getAugmentOnly()