Conditional catch

G_Z 05.05.2016 23:40

Вдогонку к ^break(true) предлагаю такое:

^try{
	…
}($exception.type eq '…'){
	$exception.handled(true)
	catch
}{
	finally
}

в качестве аналога

^try{
	…
}{
	^if($exception.type eq '…'){
		$exception.handled(true)
		catch
	}
}{
	finally
}

И с точным соответствием типу исключения:

^try{
	…
}[…]{
	$exception.handled(true)
	catch
}[…]{
	$exception.handled(true)
	catch
}{
	finally
}

в качестве аналога

^try{
	…
}{
	^switch[$exception.type]{
		^case[…]{
			$exception.handled(true)
			catch
		}
		^case[…]{
			$exception.handled(true)
			catch
		}
	}
}{
	finally
}

---