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

ExplicitReturn

interface ExplicitReturn : Return
Content copied to clipboard

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

Inheritors

ExplicitBlockReturn
Link copied to clipboard
ExplicitLoopReturn
Link copied to clipboard
ExplicitThrowReturn
Link copied to clipboard