// Get the message that corresponds to a platform error number. internal static String GetErrnoMessage(Errno errno) { // Try getting a message from the underlying platform. String str = FileMethods.GetErrnoMessage(errno); if (str != null) { return(str); } // Use the default I/O exception string. return(_("Exception_IO")); }