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

SubjectCondition

class SubjectCondition(check: WhenCondition?, isElse: Boolean, body: Expression, whole: Element) : Condition
Content copied to clipboard

Properties

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