arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check.model/Condition

Condition

sealed class Condition
Content copied to clipboard

Data type used to handle if and when without subject uniformly.

Properties

Link copied to clipboard
val body: Expression
Content copied to clipboard
Link copied to clipboard
val condition: Element?
Content copied to clipboard
Link copied to clipboard
val isElse: Boolean
Content copied to clipboard
Link copied to clipboard
val whole: Element
Content copied to clipboard

Inheritors

Link copied to clipboard
Link copied to clipboard