Class try_catch

java.lang.Object

kawa.standard.try_catch

public class try_catch
extends Object

Utility method for try-catch.

Constructor Summary

Constructors

Constructor	Description
try_catch()

Method Summary

Modifier and Type	Method	Description
static Expression	rewrite(Pair try_part_pair, Object clauses)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

try_catch

public try_catch()

Method Details

rewrite

public static Expression rewrite(Pair try_part_pair,
 Object clauses)