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

ExplicitLoopReturn

data class ExplicitLoopReturn(returnPoint: String?) : ExplicitReturn
Content copied to clipboard

'break' or 'continue' inside a loop

Constructors

ExplicitLoopReturn
Link copied to clipboard
fun ExplicitLoopReturn(returnPoint: String?)
Content copied to clipboard

Properties

returnPoint
Link copied to clipboard
val returnPoint: String?
Content copied to clipboard