public void verifyErrMsg(Type errType, string errMsg, Func f)
{
try
{
f.call(this);
}
catch (Err.Val e)
{
if (verbose)
{
System.Console.WriteLine(" verifyErrMsg: " + e);
}
if (e.err().@typeof() != errType)
{
fail(e.err().@typeof() + " thrown, expected " + errType);
}
verifyCount++;
verifyEq(errMsg, e.m_err.msg());
return;
}
catch (System.Exception e)
{
if (verbose)
{
System.Console.WriteLine(" verifyErrMsg: " + e);
}
Err err = Fan.Sys.Err.make(e);
if (err.@typeof() != errType)
{
fail(e.GetType() + " thrown, expected " + errType);
}
verifyCount++;
verifyEq(errMsg, err.msg());
return;
}
fail("No err thrown, expected " + errType);
}