kawa.standard

Class try_catch

java.lang.Object

kawa.standard.try_catch

public class try_catch
extends java.lang.Object

Utility method for try-catch.

Constructor Summary

Constructors

Constructor and Description
try_catch()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

try_catch

public try_catch()

Method Detail

rewrite

public static Expression rewrite(Pair try_part_pair,
                                 java.lang.Object clauses)