Uses of Enum Class
org.ek9lang.compiler.phase5.ObligationKind
Packages that use ObligationKind
Package
Description
I - PRE Intermediate Representation generation checks.
-
Uses of ObligationKind in org.ek9lang.compiler.phase5
Subclasses with type arguments of type ObligationKind in org.ek9lang.compiler.phase5Modifier and TypeClassDescription(package private) enumThe taxonomy of contract/partiality obligations the census counts, from what already exists in the language and analysis (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md ยง2.2).Methods in org.ek9lang.compiler.phase5 that return ObligationKindModifier and TypeMethodDescriptionObligation.kind()Returns the value of thekindrecord component.static ObligationKindReturns the enum constant of this class with the specified name.static ObligationKind[]ObligationKind.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 ObligationKindModifierConstructorDescription(package private)Obligation(ObligationKind kind, DischargeReason discharge) Creates an instance of aObligationrecord class.