Uses of Enum Class
org.ek9lang.compiler.phase5.DischargeReason

Packages that use DischargeReason

Package	Description
org.ek9lang.compiler.phase5	I - PRE Intermediate Representation generation checks.

Uses of DischargeReason in org.ek9lang.compiler.phase5

Subclasses with type arguments of type DischargeReason in org.ek9lang.compiler.phase5

Modifier and Type	Class	Description
(package private) enum	DischargeReason	Why an obligation is considered discharged (proven safe) by an existing analysis, or DischargeReason.UNDISCHARGED when no analysis proves it — the discharge-detection order of docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §2.3.

Methods in org.ek9lang.compiler.phase5 that return DischargeReason

Modifier and Type	Method	Description
DischargeReason	Obligation.discharge()	Returns the value of the discharge record component.
static DischargeReason	DischargeReason.valueOf(String name)	Returns the enum constant of this class with the specified name.
static DischargeReason[]	DischargeReason.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Constructors in org.ek9lang.compiler.phase5 with parameters of type DischargeReason

Modifier	Constructor	Description
(package private)	Obligation(ObligationKind kind, DischargeReason discharge)	Creates an instance of a Obligation record class.