Class ConstructObligations

java.lang.Object

org.ek9lang.compiler.phase5.ConstructObligations

final class ConstructObligations
extends Object

The per-construct obligation rollup accumulated during the phase-5 walk of one callable body, then squirrelled as OBLIGATIONS_TOTAL/DISCHARGED/UNDISCHARGED at construct exit (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §2.1/§2.4). One instance lives on the ObligationCensus scope stack per callable, so a nested dynamic function's obligations never leak into the enclosing callable's tally.

Constructor Summary

Constructors

Constructor	Description
ConstructObligations()

Method Summary

Modifier and Type	Method	Description
(package private) void	add(Obligation obligation)
(package private) int	discharged()
(package private) int	total()
(package private) int	undischarged()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ConstructObligations

ConstructObligations()

Method Details

add

void add(Obligation obligation)

total

int total()

discharged

int discharged()

undischarged

int undischarged()