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); }