public void writeUserException__(Ice.UserException ex, Ice.FormatType format)
{
BasicStream os__ = startWriteParams__(format);
os__.writeUserException(ex);
endWriteParams__(false);
}
public static void throwWrapper(System.Exception ex)
{
Ice.UserException userException = ex as Ice.UserException;
if (userException != null)
{
throw new LocalExceptionWrapper(new Ice.UnknownUserException(userException.ice_name()),
false);
}
Ice.LocalException localException = ex as Ice.LocalException;
if (localException != null)
{
if (ex is Ice.UnknownException ||
ex is Ice.ObjectNotExistException ||
ex is Ice.OperationNotExistException ||
ex is Ice.FacetNotExistException)
{
throw new LocalExceptionWrapper(localException, false);
}
throw new LocalExceptionWrapper(new Ice.UnknownLocalException(localException.ice_name()),
false);
}
throw new LocalExceptionWrapper(new Ice.UnknownException(ex.GetType().FullName), false);
}
