2015-05-03 22:32:37 +03:00
|
|
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
|
|
/* vim: set ts=8 sts=2 et sw=2 tw=80: */
|
2012-05-06 05:15:11 +04:00
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
|
|
|
* You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
|
|
|
|
/**
|
2016-07-16 05:35:13 +03:00
|
|
|
* A set of structs for tracking exceptions that need to be thrown to JS:
|
|
|
|
* ErrorResult and IgnoredErrorResult.
|
2015-11-21 00:29:41 +03:00
|
|
|
*
|
2016-07-16 05:35:13 +03:00
|
|
|
* Conceptually, these structs represent either success or an exception in the
|
2015-11-21 00:29:41 +03:00
|
|
|
* process of being thrown. This means that a failing ErrorResult _must_ be
|
|
|
|
* handled in one of the following ways before coming off the stack:
|
|
|
|
*
|
|
|
|
* 1) Suppressed via SuppressException().
|
|
|
|
* 2) Converted to a pure nsresult return value via StealNSResult().
|
|
|
|
* 3) Converted to an actual pending exception on a JSContext via
|
|
|
|
* MaybeSetPendingException.
|
|
|
|
* 4) Converted to an exception JS::Value (probably to then reject a Promise
|
|
|
|
* with) via dom::ToJSValue.
|
2016-07-16 05:35:13 +03:00
|
|
|
*
|
|
|
|
* An IgnoredErrorResult will automatically do the first of those four things.
|
2012-05-06 05:15:11 +04:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef mozilla_ErrorResult_h
|
|
|
|
#define mozilla_ErrorResult_h
|
|
|
|
|
2012-11-07 03:23:14 +04:00
|
|
|
#include <stdarg.h>
|
|
|
|
|
2015-09-29 23:39:33 +03:00
|
|
|
#include "js/GCAnnotations.h"
|
2013-04-30 18:04:52 +04:00
|
|
|
#include "js/Value.h"
|
2012-05-06 05:15:11 +04:00
|
|
|
#include "nscore.h"
|
2013-07-31 12:12:46 +04:00
|
|
|
#include "nsStringGlue.h"
|
2012-08-24 08:08:08 +04:00
|
|
|
#include "mozilla/Assertions.h"
|
2015-04-07 05:22:03 +03:00
|
|
|
#include "mozilla/Move.h"
|
2015-09-15 21:47:04 +03:00
|
|
|
#include "nsTArray.h"
|
2016-07-16 05:35:13 +03:00
|
|
|
#include "nsISupportsImpl.h"
|
2015-04-07 04:36:55 +03:00
|
|
|
|
2015-04-07 04:36:55 +03:00
|
|
|
namespace IPC {
|
|
|
|
class Message;
|
|
|
|
template <typename> struct ParamTraits;
|
2015-07-13 18:25:42 +03:00
|
|
|
} // namespace IPC
|
2016-04-21 07:09:15 +03:00
|
|
|
class PickleIterator;
|
2015-04-07 04:36:55 +03:00
|
|
|
|
2012-05-06 05:15:11 +04:00
|
|
|
namespace mozilla {
|
|
|
|
|
2012-11-07 03:23:14 +04:00
|
|
|
namespace dom {
|
|
|
|
|
|
|
|
enum ErrNum {
|
2015-02-04 14:46:26 +03:00
|
|
|
#define MSG_DEF(_name, _argc, _exn, _str) \
|
2012-11-07 03:23:14 +04:00
|
|
|
_name,
|
|
|
|
#include "mozilla/dom/Errors.msg"
|
|
|
|
#undef MSG_DEF
|
|
|
|
Err_Limit
|
|
|
|
};
|
|
|
|
|
2015-10-05 19:38:14 +03:00
|
|
|
// Debug-only compile-time table of the number of arguments of each error, for use in static_assert.
|
|
|
|
#if defined(DEBUG) && (defined(__clang__) || defined(__GNUC__))
|
|
|
|
uint16_t constexpr ErrorFormatNumArgs[] = {
|
|
|
|
#define MSG_DEF(_name, _argc, _exn, _str) \
|
|
|
|
_argc,
|
|
|
|
#include "mozilla/dom/Errors.msg"
|
|
|
|
#undef MSG_DEF
|
|
|
|
};
|
|
|
|
#endif
|
|
|
|
|
2015-09-15 21:47:04 +03:00
|
|
|
uint16_t
|
|
|
|
GetErrorArgCount(const ErrNum aErrorNumber);
|
|
|
|
|
2016-07-21 01:06:48 +03:00
|
|
|
namespace binding_detail {
|
|
|
|
void ThrowErrorMessage(JSContext* aCx, const unsigned aErrorNumber, ...);
|
|
|
|
} // namespace binding_detail
|
|
|
|
|
|
|
|
template<typename... Ts>
|
|
|
|
inline bool
|
|
|
|
ThrowErrorMessage(JSContext* aCx, const ErrNum aErrorNumber, Ts&&... aArgs)
|
|
|
|
{
|
|
|
|
binding_detail::ThrowErrorMessage(aCx, static_cast<const unsigned>(aErrorNumber),
|
|
|
|
mozilla::Forward<Ts>(aArgs)...);
|
|
|
|
return false;
|
|
|
|
}
|
2013-08-22 10:34:48 +04:00
|
|
|
|
2015-09-15 21:47:04 +03:00
|
|
|
struct StringArrayAppender
|
|
|
|
{
|
|
|
|
static void Append(nsTArray<nsString>& aArgs, uint16_t aCount)
|
|
|
|
{
|
|
|
|
MOZ_RELEASE_ASSERT(aCount == 0, "Must give at least as many string arguments as are required by the ErrNum.");
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename... Ts>
|
2015-11-20 21:36:46 +03:00
|
|
|
static void Append(nsTArray<nsString>& aArgs, uint16_t aCount, const nsAString& aFirst, Ts&&... aOtherArgs)
|
2015-09-15 21:47:04 +03:00
|
|
|
{
|
|
|
|
if (aCount == 0) {
|
|
|
|
MOZ_ASSERT(false, "There should not be more string arguments provided than are required by the ErrNum.");
|
|
|
|
return;
|
|
|
|
}
|
2015-11-20 21:36:46 +03:00
|
|
|
aArgs.AppendElement(aFirst);
|
|
|
|
Append(aArgs, aCount - 1, Forward<Ts>(aOtherArgs)...);
|
2015-09-15 21:47:04 +03:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2012-11-07 03:23:14 +04:00
|
|
|
} // namespace dom
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
class ErrorResult;
|
2017-01-18 07:52:13 +03:00
|
|
|
class OOMReporter;
|
2016-07-16 05:35:13 +03:00
|
|
|
|
|
|
|
namespace binding_danger {
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Templated implementation class for various ErrorResult-like things. The
|
|
|
|
* instantiations differ only in terms of their cleanup policies (used in the
|
|
|
|
* destructor), which they can specify via the template argument. Note that
|
|
|
|
* this means it's safe to reinterpret_cast between the instantiations unless
|
|
|
|
* you plan to invoke the destructor through such a cast pointer.
|
|
|
|
*
|
|
|
|
* A cleanup policy consists of two booleans: whether to assert that we've been
|
|
|
|
* reported or suppressed, and whether to then go ahead and suppress the
|
|
|
|
* exception.
|
|
|
|
*/
|
|
|
|
template<typename CleanupPolicy>
|
|
|
|
class TErrorResult {
|
2012-05-06 05:15:11 +04:00
|
|
|
public:
|
2016-07-16 05:35:13 +03:00
|
|
|
TErrorResult()
|
2015-10-09 23:48:10 +03:00
|
|
|
: mResult(NS_OK)
|
2013-02-19 20:54:40 +04:00
|
|
|
#ifdef DEBUG
|
2015-10-09 23:48:10 +03:00
|
|
|
, mMightHaveUnreportedJSException(false)
|
2015-10-09 23:48:10 +03:00
|
|
|
, mUnionState(HasNothing)
|
2013-02-19 20:54:40 +04:00
|
|
|
#endif
|
2015-10-09 23:48:10 +03:00
|
|
|
{
|
2012-05-06 05:15:11 +04:00
|
|
|
}
|
2013-02-19 20:54:40 +04:00
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
~TErrorResult() {
|
|
|
|
AssertInOwningThread();
|
|
|
|
|
|
|
|
if (CleanupPolicy::assertHandled) {
|
|
|
|
// Consumers should have called one of MaybeSetPendingException
|
|
|
|
// (possibly via ToJSValue), StealNSResult, and SuppressException
|
|
|
|
AssertReportedOrSuppressed();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (CleanupPolicy::suppress) {
|
|
|
|
SuppressException();
|
|
|
|
}
|
|
|
|
|
|
|
|
// And now assert that we're in a good final state.
|
|
|
|
AssertReportedOrSuppressed();
|
2012-11-07 03:23:14 +04:00
|
|
|
}
|
2012-05-06 05:15:11 +04:00
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
TErrorResult(TErrorResult&& aRHS)
|
2015-10-09 23:48:10 +03:00
|
|
|
// Initialize mResult and whatever else we need to default-initialize, so
|
|
|
|
// the ClearUnionData call in our operator= will do the right thing
|
|
|
|
// (nothing).
|
2016-07-16 05:35:13 +03:00
|
|
|
: TErrorResult()
|
2015-04-07 05:22:03 +03:00
|
|
|
{
|
|
|
|
*this = Move(aRHS);
|
|
|
|
}
|
2016-07-16 05:35:13 +03:00
|
|
|
TErrorResult& operator=(TErrorResult&& aRHS);
|
2015-04-07 05:22:03 +03:00
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
explicit TErrorResult(nsresult aRv)
|
|
|
|
: TErrorResult()
|
2015-04-16 22:00:15 +03:00
|
|
|
{
|
|
|
|
AssignErrorCode(aRv);
|
|
|
|
}
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
operator ErrorResult&();
|
2017-01-18 07:52:13 +03:00
|
|
|
operator OOMReporter&();
|
2016-07-16 05:35:13 +03:00
|
|
|
|
2017-02-28 22:41:25 +03:00
|
|
|
void MOZ_MUST_RETURN_FROM_CALLER Throw(nsresult rv) {
|
2012-05-06 05:15:11 +04:00
|
|
|
MOZ_ASSERT(NS_FAILED(rv), "Please don't try throwing success");
|
2015-04-16 22:00:15 +03:00
|
|
|
AssignErrorCode(rv);
|
2012-05-06 05:15:11 +04:00
|
|
|
}
|
|
|
|
|
2017-02-28 22:41:25 +03:00
|
|
|
// This method acts identically to the `Throw` method, however, it does not
|
|
|
|
// have the MOZ_MUST_RETURN_FROM_CALLER static analysis annotation. It is
|
|
|
|
// intended to be used in situations when additional work needs to be
|
|
|
|
// performed in the calling function after the Throw method is called.
|
|
|
|
//
|
|
|
|
// In general you should prefer using `Throw`, and returning after an error,
|
|
|
|
// for example:
|
|
|
|
//
|
|
|
|
// if (condition) {
|
|
|
|
// aRv.Throw(NS_ERROR_FAILURE);
|
|
|
|
// return;
|
|
|
|
// }
|
|
|
|
//
|
|
|
|
// or
|
|
|
|
//
|
|
|
|
// if (condition) {
|
|
|
|
// aRv.Throw(NS_ERROR_FAILURE);
|
|
|
|
// }
|
|
|
|
// return;
|
|
|
|
//
|
|
|
|
// However, if you need to do some other work after throwing, such as:
|
|
|
|
//
|
|
|
|
// if (condition) {
|
|
|
|
// aRv.ThrowWithCustomCleanup(NS_ERROR_FAILURE);
|
|
|
|
// }
|
|
|
|
// // Do some important clean-up work which couldn't happen earlier.
|
|
|
|
// // We want to do this clean-up work in both the success and failure cases.
|
|
|
|
// CleanUpImportantState();
|
|
|
|
// return;
|
|
|
|
//
|
|
|
|
// Then you'll need to use ThrowWithCustomCleanup to get around the static
|
|
|
|
// analysis, which would complain that you are doing work after the call to
|
|
|
|
// `Throw()`.
|
|
|
|
void ThrowWithCustomCleanup(nsresult rv) {
|
|
|
|
Throw(rv);
|
|
|
|
}
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
// Duplicate our current state on the given TErrorResult object. Any
|
|
|
|
// existing errors or messages on the target will be suppressed before
|
|
|
|
// cloning. Our own error state remains unchanged.
|
|
|
|
void CloneTo(TErrorResult& aRv) const;
|
2015-11-18 22:07:58 +03:00
|
|
|
|
2015-04-27 05:38:17 +03:00
|
|
|
// Use SuppressException when you want to suppress any exception that might be
|
2016-07-16 05:35:13 +03:00
|
|
|
// on the TErrorResult. After this call, the TErrorResult will be back a "no
|
2015-04-27 05:38:17 +03:00
|
|
|
// exception thrown" state.
|
|
|
|
void SuppressException();
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
// Use StealNSResult() when you want to safely convert the TErrorResult to
|
|
|
|
// an nsresult that you will then return to a caller. This will
|
2015-04-27 05:38:17 +03:00
|
|
|
// SuppressException(), since there will no longer be a way to report it.
|
|
|
|
nsresult StealNSResult() {
|
|
|
|
nsresult rv = ErrorCode();
|
|
|
|
SuppressException();
|
2017-02-11 07:06:34 +03:00
|
|
|
// Don't propagate out our internal error codes that have special meaning.
|
2017-02-15 08:02:36 +03:00
|
|
|
if (rv == NS_ERROR_INTERNAL_ERRORRESULT_TYPEERROR ||
|
|
|
|
rv == NS_ERROR_INTERNAL_ERRORRESULT_RANGEERROR ||
|
2017-02-15 08:02:35 +03:00
|
|
|
rv == NS_ERROR_INTERNAL_ERRORRESULT_JS_EXCEPTION ||
|
|
|
|
rv == NS_ERROR_INTERNAL_ERRORRESULT_DOMEXCEPTION) {
|
2017-02-11 07:06:34 +03:00
|
|
|
// What to pick here?
|
|
|
|
return NS_ERROR_DOM_INVALID_STATE_ERR;
|
|
|
|
}
|
|
|
|
|
2015-04-27 05:38:17 +03:00
|
|
|
return rv;
|
|
|
|
}
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
// Use MaybeSetPendingException to convert a TErrorResult to a pending
|
2015-11-21 00:29:40 +03:00
|
|
|
// exception on the given JSContext. This is the normal "throw an exception"
|
|
|
|
// codepath.
|
|
|
|
//
|
2016-07-16 05:35:13 +03:00
|
|
|
// The return value is false if the TErrorResult represents success, true
|
2015-11-21 00:29:40 +03:00
|
|
|
// otherwise. This does mean that in JSAPI method implementations you can't
|
|
|
|
// just use this as |return rv.MaybeSetPendingException(cx)| (though you could
|
|
|
|
// |return !rv.MaybeSetPendingException(cx)|), but in practice pretty much any
|
|
|
|
// consumer would want to do some more work on the success codepath. So
|
|
|
|
// instead the way you use this is:
|
|
|
|
//
|
|
|
|
// if (rv.MaybeSetPendingException(cx)) {
|
|
|
|
// bail out here
|
|
|
|
// }
|
|
|
|
// go on to do something useful
|
|
|
|
//
|
|
|
|
// The success path is inline, since it should be the common case and we don't
|
|
|
|
// want to pay the price of a function call in some of the consumers of this
|
|
|
|
// method in the common case.
|
|
|
|
//
|
|
|
|
// Note that a true return value does NOT mean there is now a pending
|
|
|
|
// exception on aCx, due to uncatchable exceptions. It should still be
|
|
|
|
// considered equivalent to a JSAPI failure in terms of what callers should do
|
|
|
|
// after true is returned.
|
2015-11-21 00:29:41 +03:00
|
|
|
//
|
2016-07-16 05:35:13 +03:00
|
|
|
// After this call, the TErrorResult will no longer return true from Failed(),
|
2015-11-21 00:29:41 +03:00
|
|
|
// since the exception will have moved to the JSContext.
|
2017-02-15 03:17:02 +03:00
|
|
|
MOZ_MUST_USE
|
2015-11-21 00:29:40 +03:00
|
|
|
bool MaybeSetPendingException(JSContext* cx)
|
|
|
|
{
|
2015-11-21 00:29:41 +03:00
|
|
|
WouldReportJSException();
|
2015-11-21 00:29:40 +03:00
|
|
|
if (!Failed()) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
SetPendingException(cx);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2016-02-24 18:38:31 +03:00
|
|
|
// Use StealExceptionFromJSContext to convert a pending exception on a
|
2016-07-16 05:35:13 +03:00
|
|
|
// JSContext to a TErrorResult. This function must be called only when a
|
2016-02-24 18:38:31 +03:00
|
|
|
// JSAPI operation failed. It assumes that lack of pending exception on the
|
|
|
|
// JSContext means an uncatchable exception was thrown.
|
|
|
|
//
|
|
|
|
// Codepaths that might call this method must call MightThrowJSException even
|
|
|
|
// if the relevant JSAPI calls do not fail.
|
|
|
|
//
|
|
|
|
// When this function returns, JS_IsExceptionPending(cx) will definitely be
|
|
|
|
// false.
|
|
|
|
void StealExceptionFromJSContext(JSContext* cx);
|
|
|
|
|
2015-10-05 19:38:14 +03:00
|
|
|
template<dom::ErrNum errorNumber, typename... Ts>
|
2015-11-20 21:36:46 +03:00
|
|
|
void ThrowTypeError(Ts&&... messageArgs)
|
2015-09-15 21:47:04 +03:00
|
|
|
{
|
2017-02-15 08:02:36 +03:00
|
|
|
ThrowErrorWithMessage<errorNumber>(NS_ERROR_INTERNAL_ERRORRESULT_TYPEERROR,
|
2015-11-20 21:36:46 +03:00
|
|
|
Forward<Ts>(messageArgs)...);
|
2015-09-15 21:47:04 +03:00
|
|
|
}
|
|
|
|
|
2015-10-05 19:38:14 +03:00
|
|
|
template<dom::ErrNum errorNumber, typename... Ts>
|
2015-11-20 21:36:46 +03:00
|
|
|
void ThrowRangeError(Ts&&... messageArgs)
|
2015-09-15 21:47:04 +03:00
|
|
|
{
|
2017-02-15 08:02:36 +03:00
|
|
|
ThrowErrorWithMessage<errorNumber>(NS_ERROR_INTERNAL_ERRORRESULT_RANGEERROR,
|
2015-11-20 21:36:46 +03:00
|
|
|
Forward<Ts>(messageArgs)...);
|
2015-09-15 21:47:04 +03:00
|
|
|
}
|
|
|
|
|
2017-02-15 08:02:36 +03:00
|
|
|
bool IsErrorWithMessage() const
|
|
|
|
{
|
|
|
|
return ErrorCode() == NS_ERROR_INTERNAL_ERRORRESULT_TYPEERROR ||
|
|
|
|
ErrorCode() == NS_ERROR_INTERNAL_ERRORRESULT_RANGEERROR;
|
|
|
|
}
|
2012-11-07 03:23:14 +04:00
|
|
|
|
2013-02-19 20:54:40 +04:00
|
|
|
// Facilities for throwing a preexisting JS exception value via this
|
2016-07-16 05:35:13 +03:00
|
|
|
// TErrorResult. The contract is that any code which might end up calling
|
2016-02-24 18:38:31 +03:00
|
|
|
// ThrowJSException() or StealExceptionFromJSContext() must call
|
|
|
|
// MightThrowJSException() even if no exception is being thrown. Code that
|
2016-07-16 05:35:13 +03:00
|
|
|
// conditionally calls ToJSValue on this TErrorResult only if Failed() must
|
|
|
|
// first call WouldReportJSException even if this TErrorResult has not failed.
|
2014-03-05 17:32:27 +04:00
|
|
|
//
|
|
|
|
// The exn argument to ThrowJSException can be in any compartment. It does
|
|
|
|
// not have to be in the compartment of cx. If someone later uses it, they
|
|
|
|
// will wrap it into whatever compartment they're working in, as needed.
|
2013-04-11 22:31:06 +04:00
|
|
|
void ThrowJSException(JSContext* cx, JS::Handle<JS::Value> exn);
|
2017-02-15 08:02:35 +03:00
|
|
|
bool IsJSException() const
|
|
|
|
{
|
|
|
|
return ErrorCode() == NS_ERROR_INTERNAL_ERRORRESULT_JS_EXCEPTION;
|
|
|
|
}
|
2013-06-12 05:41:21 +04:00
|
|
|
|
2015-10-09 23:48:10 +03:00
|
|
|
// Facilities for throwing a DOMException. If an empty message string is
|
|
|
|
// passed to ThrowDOMException, the default message string for the given
|
|
|
|
// nsresult will be used. The passed-in string must be UTF-8. The nsresult
|
|
|
|
// passed in must be one we create DOMExceptions for; otherwise you may get an
|
|
|
|
// XPConnect Exception.
|
|
|
|
void ThrowDOMException(nsresult rv, const nsACString& message = EmptyCString());
|
2017-02-15 08:02:35 +03:00
|
|
|
bool IsDOMException() const
|
|
|
|
{
|
|
|
|
return ErrorCode() == NS_ERROR_INTERNAL_ERRORRESULT_DOMEXCEPTION;
|
|
|
|
}
|
2015-10-09 23:48:10 +03:00
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
// Flag on the TErrorResult that whatever needs throwing has been
|
2015-11-10 04:47:05 +03:00
|
|
|
// thrown on the JSContext already and we should not mess with it.
|
2016-03-10 12:50:56 +03:00
|
|
|
// If nothing was thrown, this becomes an uncatchable exception.
|
|
|
|
void NoteJSContextException(JSContext* aCx);
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
// Check whether the TErrorResult says to just throw whatever is on
|
2015-11-10 04:47:05 +03:00
|
|
|
// the JSContext already.
|
|
|
|
bool IsJSContextException() {
|
2017-02-15 08:02:35 +03:00
|
|
|
return ErrorCode() == NS_ERROR_INTERNAL_ERRORRESULT_EXCEPTION_ON_JSCONTEXT;
|
2015-11-10 04:47:05 +03:00
|
|
|
}
|
|
|
|
|
2015-02-21 07:58:36 +03:00
|
|
|
// Support for uncatchable exceptions.
|
2017-02-28 22:41:25 +03:00
|
|
|
void MOZ_MUST_RETURN_FROM_CALLER ThrowUncatchableException() {
|
2015-02-21 07:58:36 +03:00
|
|
|
Throw(NS_ERROR_UNCATCHABLE_EXCEPTION);
|
|
|
|
}
|
|
|
|
bool IsUncatchableException() const {
|
|
|
|
return ErrorCode() == NS_ERROR_UNCATCHABLE_EXCEPTION;
|
|
|
|
}
|
|
|
|
|
2013-02-19 20:54:40 +04:00
|
|
|
void MOZ_ALWAYS_INLINE MightThrowJSException()
|
|
|
|
{
|
|
|
|
#ifdef DEBUG
|
|
|
|
mMightHaveUnreportedJSException = true;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
void MOZ_ALWAYS_INLINE WouldReportJSException()
|
|
|
|
{
|
|
|
|
#ifdef DEBUG
|
|
|
|
mMightHaveUnreportedJSException = false;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2012-05-06 05:15:11 +04:00
|
|
|
// In the future, we can add overloads of Throw that take more
|
|
|
|
// interesting things, like strings or DOM exception types or
|
|
|
|
// something if desired.
|
|
|
|
|
|
|
|
// Backwards-compat to make conversion simpler. We don't call
|
|
|
|
// Throw() here because people can easily pass success codes to
|
|
|
|
// this.
|
|
|
|
void operator=(nsresult rv) {
|
2015-04-16 22:00:15 +03:00
|
|
|
AssignErrorCode(rv);
|
2012-05-06 05:15:11 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
bool Failed() const {
|
|
|
|
return NS_FAILED(mResult);
|
|
|
|
}
|
|
|
|
|
2015-04-27 16:18:52 +03:00
|
|
|
bool ErrorCodeIs(nsresult rv) const {
|
|
|
|
return mResult == rv;
|
|
|
|
}
|
|
|
|
|
2015-04-27 16:18:52 +03:00
|
|
|
// For use in logging ONLY.
|
|
|
|
uint32_t ErrorCodeAsInt() const {
|
|
|
|
return static_cast<uint32_t>(ErrorCode());
|
|
|
|
}
|
|
|
|
|
|
|
|
protected:
|
|
|
|
nsresult ErrorCode() const {
|
|
|
|
return mResult;
|
|
|
|
}
|
|
|
|
|
2012-05-06 05:15:11 +04:00
|
|
|
private:
|
2015-10-09 23:48:10 +03:00
|
|
|
#ifdef DEBUG
|
|
|
|
enum UnionState {
|
|
|
|
HasMessage,
|
|
|
|
HasDOMExceptionInfo,
|
|
|
|
HasJSException,
|
|
|
|
HasNothing
|
|
|
|
};
|
|
|
|
#endif // DEBUG
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
friend struct IPC::ParamTraits<TErrorResult>;
|
2015-04-16 22:00:15 +03:00
|
|
|
friend struct IPC::ParamTraits<ErrorResult>;
|
|
|
|
void SerializeMessage(IPC::Message* aMsg) const;
|
2016-04-21 07:09:15 +03:00
|
|
|
bool DeserializeMessage(const IPC::Message* aMsg, PickleIterator* aIter);
|
2015-04-16 22:00:15 +03:00
|
|
|
|
2015-10-09 23:48:10 +03:00
|
|
|
void SerializeDOMExceptionInfo(IPC::Message* aMsg) const;
|
2016-04-21 07:09:15 +03:00
|
|
|
bool DeserializeDOMExceptionInfo(const IPC::Message* aMsg, PickleIterator* aIter);
|
2015-10-09 23:48:10 +03:00
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
// Helper method that creates a new Message for this TErrorResult,
|
2015-09-15 21:47:04 +03:00
|
|
|
// and returns the arguments array from that Message.
|
|
|
|
nsTArray<nsString>& CreateErrorMessageHelper(const dom::ErrNum errorNumber, nsresult errorType);
|
|
|
|
|
2015-10-05 19:38:14 +03:00
|
|
|
template<dom::ErrNum errorNumber, typename... Ts>
|
2015-11-20 21:36:46 +03:00
|
|
|
void ThrowErrorWithMessage(nsresult errorType, Ts&&... messageArgs)
|
2015-09-15 21:47:04 +03:00
|
|
|
{
|
2015-10-05 19:38:14 +03:00
|
|
|
#if defined(DEBUG) && (defined(__clang__) || defined(__GNUC__))
|
|
|
|
static_assert(dom::ErrorFormatNumArgs[errorNumber] == sizeof...(messageArgs),
|
|
|
|
"Pass in the right number of arguments");
|
|
|
|
#endif
|
|
|
|
|
2015-10-09 23:48:10 +03:00
|
|
|
ClearUnionData();
|
|
|
|
|
2015-09-15 21:47:04 +03:00
|
|
|
nsTArray<nsString>& messageArgsArray = CreateErrorMessageHelper(errorNumber, errorType);
|
|
|
|
uint16_t argCount = dom::GetErrorArgCount(errorNumber);
|
2015-11-20 21:36:46 +03:00
|
|
|
dom::StringArrayAppender::Append(messageArgsArray, argCount,
|
|
|
|
Forward<Ts>(messageArgs)...);
|
2015-09-15 21:47:04 +03:00
|
|
|
#ifdef DEBUG
|
2015-10-09 23:48:10 +03:00
|
|
|
mUnionState = HasMessage;
|
|
|
|
#endif // DEBUG
|
2015-09-15 21:47:04 +03:00
|
|
|
}
|
2015-04-16 22:00:15 +03:00
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
MOZ_ALWAYS_INLINE void AssertInOwningThread() const {
|
|
|
|
#ifdef DEBUG
|
2016-07-16 05:35:13 +03:00
|
|
|
NS_ASSERT_OWNINGTHREAD(TErrorResult);
|
2016-07-16 05:35:13 +03:00
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2015-04-16 22:00:15 +03:00
|
|
|
void AssignErrorCode(nsresult aRv) {
|
2017-02-15 08:02:36 +03:00
|
|
|
MOZ_ASSERT(aRv != NS_ERROR_INTERNAL_ERRORRESULT_TYPEERROR,
|
|
|
|
"Use ThrowTypeError()");
|
|
|
|
MOZ_ASSERT(aRv != NS_ERROR_INTERNAL_ERRORRESULT_RANGEERROR,
|
|
|
|
"Use ThrowRangeError()");
|
2015-04-16 22:00:15 +03:00
|
|
|
MOZ_ASSERT(!IsErrorWithMessage(), "Don't overwrite errors with message");
|
2017-02-15 08:02:35 +03:00
|
|
|
MOZ_ASSERT(aRv != NS_ERROR_INTERNAL_ERRORRESULT_JS_EXCEPTION,
|
|
|
|
"Use ThrowJSException()");
|
2015-04-16 22:00:15 +03:00
|
|
|
MOZ_ASSERT(!IsJSException(), "Don't overwrite JS exceptions");
|
2017-02-15 08:02:35 +03:00
|
|
|
MOZ_ASSERT(aRv != NS_ERROR_INTERNAL_ERRORRESULT_DOMEXCEPTION,
|
|
|
|
"Use ThrowDOMException()");
|
2015-10-09 23:48:10 +03:00
|
|
|
MOZ_ASSERT(!IsDOMException(), "Don't overwrite DOM exceptions");
|
2015-07-10 05:51:28 +03:00
|
|
|
MOZ_ASSERT(aRv != NS_ERROR_XPC_NOT_ENOUGH_ARGS, "May need to bring back ThrowNotEnoughArgsError");
|
2017-02-15 08:02:35 +03:00
|
|
|
MOZ_ASSERT(aRv != NS_ERROR_INTERNAL_ERRORRESULT_EXCEPTION_ON_JSCONTEXT,
|
2015-11-10 04:47:05 +03:00
|
|
|
"Use NoteJSContextException");
|
2017-02-15 08:02:36 +03:00
|
|
|
mResult = aRv;
|
2015-04-16 22:00:15 +03:00
|
|
|
}
|
|
|
|
|
2015-04-27 05:38:17 +03:00
|
|
|
void ClearMessage();
|
2015-10-09 23:48:10 +03:00
|
|
|
void ClearDOMExceptionInfo();
|
|
|
|
|
|
|
|
// ClearUnionData will try to clear the data in our
|
|
|
|
// mMessage/mJSException/mDOMExceptionInfo union. After this the union may be
|
|
|
|
// in an uninitialized state (e.g. mMessage or mDOMExceptionInfo may be
|
|
|
|
// pointing to deleted memory) and the caller must either reinitialize it or
|
|
|
|
// change mResult to something that will not involve us touching the union
|
|
|
|
// anymore.
|
2015-10-09 23:48:10 +03:00
|
|
|
void ClearUnionData();
|
|
|
|
|
2015-11-21 00:29:40 +03:00
|
|
|
// Implementation of MaybeSetPendingException for the case when we're a
|
|
|
|
// failure result.
|
|
|
|
void SetPendingException(JSContext* cx);
|
|
|
|
|
2015-11-21 00:29:41 +03:00
|
|
|
// Methods for setting various specific kinds of pending exceptions.
|
|
|
|
void SetPendingExceptionWithMessage(JSContext* cx);
|
|
|
|
void SetPendingJSException(JSContext* cx);
|
|
|
|
void SetPendingDOMException(JSContext* cx);
|
|
|
|
void SetPendingGenericErrorException(JSContext* cx);
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
MOZ_ALWAYS_INLINE void AssertReportedOrSuppressed()
|
|
|
|
{
|
|
|
|
MOZ_ASSERT(!Failed());
|
|
|
|
MOZ_ASSERT(!mMightHaveUnreportedJSException);
|
|
|
|
MOZ_ASSERT(mUnionState == HasNothing);
|
|
|
|
}
|
2015-11-21 00:29:41 +03:00
|
|
|
|
2015-10-09 23:48:10 +03:00
|
|
|
// Special values of mResult:
|
2017-02-15 08:02:36 +03:00
|
|
|
// NS_ERROR_INTERNAL_ERRORRESULT_TYPEERROR -- ThrowTypeError() called on us.
|
|
|
|
// NS_ERROR_INTERNAL_ERRORRESULT_RANGEERROR -- ThrowRangeError() called on us.
|
2017-02-15 08:02:35 +03:00
|
|
|
// NS_ERROR_INTERNAL_ERRORRESULT_JS_EXCEPTION -- ThrowJSException() called
|
|
|
|
// on us.
|
2015-10-09 23:48:10 +03:00
|
|
|
// NS_ERROR_UNCATCHABLE_EXCEPTION -- ThrowUncatchableException called on us.
|
2017-02-15 08:02:35 +03:00
|
|
|
// NS_ERROR_INTERNAL_ERRORRESULT_DOMEXCEPTION -- ThrowDOMException() called
|
|
|
|
// on us.
|
2012-05-06 05:15:11 +04:00
|
|
|
nsresult mResult;
|
2015-10-09 23:48:10 +03:00
|
|
|
|
2012-11-07 03:23:14 +04:00
|
|
|
struct Message;
|
2015-10-09 23:48:10 +03:00
|
|
|
struct DOMExceptionInfo;
|
|
|
|
// mMessage is set by ThrowErrorWithMessage and reported (and deallocated) by
|
2015-11-21 00:29:41 +03:00
|
|
|
// SetPendingExceptionWithMessage.
|
2015-10-09 23:48:10 +03:00
|
|
|
// mJSException is set (and rooted) by ThrowJSException and reported
|
2015-11-21 00:29:41 +03:00
|
|
|
// (and unrooted) by SetPendingJSException.
|
2015-10-09 23:48:10 +03:00
|
|
|
// mDOMExceptionInfo is set by ThrowDOMException and reported
|
2015-11-21 00:29:41 +03:00
|
|
|
// (and deallocated) by SetPendingDOMException.
|
2013-02-19 20:54:40 +04:00
|
|
|
union {
|
2015-02-04 14:46:26 +03:00
|
|
|
Message* mMessage; // valid when IsErrorWithMessage()
|
2013-02-19 20:54:40 +04:00
|
|
|
JS::Value mJSException; // valid when IsJSException()
|
2015-10-09 23:48:10 +03:00
|
|
|
DOMExceptionInfo* mDOMExceptionInfo; // valid when IsDOMException()
|
2013-02-19 20:54:40 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
|
|
|
// Used to keep track of codepaths that might throw JS exceptions,
|
|
|
|
// for assertion purposes.
|
|
|
|
bool mMightHaveUnreportedJSException;
|
2015-10-09 23:48:10 +03:00
|
|
|
|
|
|
|
// Used to keep track of what's stored in our union right now. Note
|
|
|
|
// that this may be set to HasNothing even if our mResult suggests
|
|
|
|
// we should have something, if we have already cleaned up the
|
|
|
|
// something.
|
|
|
|
UnionState mUnionState;
|
2016-07-16 05:35:13 +03:00
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
// The thread that created this TErrorResult
|
2016-07-16 05:35:13 +03:00
|
|
|
NS_DECL_OWNINGTHREAD;
|
2013-02-19 20:54:40 +04:00
|
|
|
#endif
|
2012-05-15 22:23:29 +04:00
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
// Not to be implemented, to make sure people always pass this by
|
|
|
|
// reference, not by value.
|
|
|
|
TErrorResult(const TErrorResult&) = delete;
|
|
|
|
void operator=(const TErrorResult&) = delete;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct JustAssertCleanupPolicy {
|
|
|
|
static const bool assertHandled = true;
|
|
|
|
static const bool suppress = false;
|
|
|
|
};
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
struct AssertAndSuppressCleanupPolicy {
|
|
|
|
static const bool assertHandled = true;
|
|
|
|
static const bool suppress = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct JustSuppressCleanupPolicy {
|
|
|
|
static const bool assertHandled = false;
|
|
|
|
static const bool suppress = true;
|
|
|
|
};
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
} // namespace binding_danger
|
|
|
|
|
|
|
|
// A class people should normally use on the stack when they plan to actually
|
|
|
|
// do something with the exception.
|
2016-07-16 05:35:13 +03:00
|
|
|
class ErrorResult :
|
|
|
|
public binding_danger::TErrorResult<binding_danger::AssertAndSuppressCleanupPolicy>
|
2016-07-16 05:35:13 +03:00
|
|
|
{
|
2016-07-16 05:35:13 +03:00
|
|
|
typedef binding_danger::TErrorResult<binding_danger::AssertAndSuppressCleanupPolicy> BaseErrorResult;
|
2016-07-16 05:35:13 +03:00
|
|
|
|
|
|
|
public:
|
|
|
|
ErrorResult()
|
|
|
|
: BaseErrorResult()
|
|
|
|
{}
|
|
|
|
|
|
|
|
ErrorResult(ErrorResult&& aRHS)
|
|
|
|
: BaseErrorResult(Move(aRHS))
|
|
|
|
{}
|
|
|
|
|
|
|
|
explicit ErrorResult(nsresult aRv)
|
|
|
|
: BaseErrorResult(aRv)
|
|
|
|
{}
|
|
|
|
|
|
|
|
void operator=(nsresult rv)
|
|
|
|
{
|
|
|
|
BaseErrorResult::operator=(rv);
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorResult& operator=(ErrorResult&& aRHS)
|
|
|
|
{
|
|
|
|
BaseErrorResult::operator=(Move(aRHS));
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2012-05-15 22:23:29 +04:00
|
|
|
// Not to be implemented, to make sure people always pass this by
|
|
|
|
// reference, not by value.
|
2015-01-07 02:35:02 +03:00
|
|
|
ErrorResult(const ErrorResult&) = delete;
|
2015-04-07 05:20:35 +03:00
|
|
|
void operator=(const ErrorResult&) = delete;
|
2012-05-06 05:15:11 +04:00
|
|
|
};
|
|
|
|
|
2016-07-16 05:35:13 +03:00
|
|
|
template<typename CleanupPolicy>
|
|
|
|
binding_danger::TErrorResult<CleanupPolicy>::operator ErrorResult&()
|
|
|
|
{
|
|
|
|
return *static_cast<ErrorResult*>(
|
2016-07-16 05:35:13 +03:00
|
|
|
reinterpret_cast<TErrorResult<AssertAndSuppressCleanupPolicy>*>(this));
|
2016-07-16 05:35:13 +03:00
|
|
|
}
|
|
|
|
|
2015-12-01 06:04:09 +03:00
|
|
|
// A class for use when an ErrorResult should just automatically be ignored.
|
2016-07-16 05:35:13 +03:00
|
|
|
// This doesn't inherit from ErrorResult so we don't make two separate calls to
|
|
|
|
// SuppressException.
|
|
|
|
class IgnoredErrorResult :
|
|
|
|
public binding_danger::TErrorResult<binding_danger::JustSuppressCleanupPolicy>
|
2015-12-01 06:04:09 +03:00
|
|
|
{
|
|
|
|
};
|
|
|
|
|
2017-01-18 07:52:13 +03:00
|
|
|
namespace dom {
|
|
|
|
namespace binding_detail {
|
|
|
|
class FastErrorResult :
|
|
|
|
public mozilla::binding_danger::TErrorResult<
|
|
|
|
mozilla::binding_danger::JustAssertCleanupPolicy>
|
|
|
|
{
|
|
|
|
};
|
|
|
|
} // namespace binding_detail
|
|
|
|
} // namespace dom
|
|
|
|
|
|
|
|
// This part is a bit annoying. We want an OOMReporter class that has the
|
|
|
|
// following properties:
|
|
|
|
//
|
|
|
|
// 1) Can be cast to from any ErrorResult-like type.
|
|
|
|
// 2) Has a fast destructor (because we want to use it from bindings).
|
|
|
|
// 3) Won't be randomly instantiated by non-binding code (because the fast
|
|
|
|
// destructor is not so safe.
|
|
|
|
// 4) Doesn't look ugly on the callee side (e.g. isn't in the binding_detail or
|
|
|
|
// binding_danger namespace).
|
|
|
|
//
|
|
|
|
// We do this by having two classes: The class callees should use, which has the
|
|
|
|
// things we want and a private constructor, and a friend subclass in the
|
|
|
|
// binding_danger namespace that can be used to construct it.
|
|
|
|
namespace binding_danger {
|
|
|
|
class OOMReporterInstantiator;
|
|
|
|
} // namespace binding_danger
|
|
|
|
|
|
|
|
class OOMReporter : private dom::binding_detail::FastErrorResult
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
void ReportOOM()
|
|
|
|
{
|
|
|
|
Throw(NS_ERROR_OUT_OF_MEMORY);
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
// OOMReporterInstantiator is a friend so it can call our constructor and
|
|
|
|
// MaybeSetPendingException.
|
|
|
|
friend class binding_danger::OOMReporterInstantiator;
|
|
|
|
|
|
|
|
// TErrorResult is a friend so its |operator OOMReporter&()| can work.
|
|
|
|
template<typename CleanupPolicy>
|
|
|
|
friend class binding_danger::TErrorResult;
|
|
|
|
|
|
|
|
OOMReporter()
|
|
|
|
: dom::binding_detail::FastErrorResult()
|
|
|
|
{
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
namespace binding_danger {
|
|
|
|
class OOMReporterInstantiator : public OOMReporter
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
OOMReporterInstantiator()
|
|
|
|
: OOMReporter()
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
// We want to be able to call MaybeSetPendingException from codegen. The one
|
|
|
|
// on OOMReporter is not callable directly, because it comes from a private
|
|
|
|
// superclass. But we're a friend, so _we_ can call it.
|
|
|
|
bool MaybeSetPendingException(JSContext* cx)
|
|
|
|
{
|
|
|
|
return OOMReporter::MaybeSetPendingException(cx);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
} // namespace binding_danger
|
|
|
|
|
|
|
|
template<typename CleanupPolicy>
|
|
|
|
binding_danger::TErrorResult<CleanupPolicy>::operator OOMReporter&()
|
|
|
|
{
|
|
|
|
return *static_cast<OOMReporter*>(
|
|
|
|
reinterpret_cast<TErrorResult<JustAssertCleanupPolicy>*>(this));
|
|
|
|
}
|
|
|
|
|
2013-07-31 12:12:46 +04:00
|
|
|
/******************************************************************************
|
|
|
|
** Macros for checking results
|
|
|
|
******************************************************************************/
|
|
|
|
|
|
|
|
#define ENSURE_SUCCESS(res, ret) \
|
|
|
|
do { \
|
|
|
|
if (res.Failed()) { \
|
|
|
|
nsCString msg; \
|
|
|
|
msg.AppendPrintf("ENSURE_SUCCESS(%s, %s) failed with " \
|
2015-04-27 16:18:52 +03:00
|
|
|
"result 0x%X", #res, #ret, res.ErrorCodeAsInt()); \
|
2013-07-31 12:12:46 +04:00
|
|
|
NS_WARNING(msg.get()); \
|
|
|
|
return ret; \
|
|
|
|
} \
|
|
|
|
} while(0)
|
|
|
|
|
|
|
|
#define ENSURE_SUCCESS_VOID(res) \
|
|
|
|
do { \
|
|
|
|
if (res.Failed()) { \
|
|
|
|
nsCString msg; \
|
|
|
|
msg.AppendPrintf("ENSURE_SUCCESS_VOID(%s) failed with " \
|
2015-04-27 16:18:52 +03:00
|
|
|
"result 0x%X", #res, res.ErrorCodeAsInt()); \
|
2013-07-31 12:12:46 +04:00
|
|
|
NS_WARNING(msg.get()); \
|
|
|
|
return; \
|
|
|
|
} \
|
|
|
|
} while(0)
|
|
|
|
|
2012-05-06 05:15:11 +04:00
|
|
|
} // namespace mozilla
|
|
|
|
|
|
|
|
#endif /* mozilla_ErrorResult_h */
|