public void ExceptionTest(bool throwException)
{
try
{
InternalExceptionTest(throwException);
Test_try_finally03.Eval(!throwException);
}
catch (Exception E)
{
Test_try_finally03.Eval(hit);
Test_try_finally03.Eval(throwException);
Test_try_finally03.Eval(E is GenException <RefX1 <T> >);
}
}
public void InternalExceptionTest(bool throwException)
{
hit = false;
try
{
if (throwException)
{
throw new GenException <T>();
}
Test_try_finally03.Eval(!throwException);
}
finally
{
hit = true;
throw new GenException <RefX1 <T> >();
}
}
