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

ExplicitReturn

interface ExplicitReturn : Return

This encompasses all possible was to exit a block: 'return', 'break', 'continue'

Inheritors

ExplicitBlockReturn

ExplicitLoopReturn

ExplicitThrowReturn