blob: 0f47d33b1b872612b0648e03720f6af6d394b90e [file] [log] [blame]
/*
* Copyright (C) 2016 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
* THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
* BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
* THE POSSIBILITY OF SUCH DAMAGE.
*/
#pragma once
#include "IDLTypes.h"
#include "JSDOMConvertBase.h"
#include "JSDOMExceptionHandling.h"
#include <JavaScriptCore/JSCJSValueInlines.h>
#include <JavaScriptCore/PureNaN.h>
namespace WebCore {
// The following functions convert values to integers as per the WebIDL specification.
// The conversion fails if the value cannot be converted to a number or, if EnforceRange is specified,
// the value is outside the range of the destination integer type.
template<typename T> T convertToInteger(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int8_t convertToInteger<int8_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint8_t convertToInteger<uint8_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int16_t convertToInteger<int16_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint16_t convertToInteger<uint16_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int32_t convertToInteger<int32_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint32_t convertToInteger<uint32_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int64_t convertToInteger<int64_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint64_t convertToInteger<uint64_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<typename T> T convertToIntegerEnforceRange(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int8_t convertToIntegerEnforceRange<int8_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint8_t convertToIntegerEnforceRange<uint8_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int16_t convertToIntegerEnforceRange<int16_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint16_t convertToIntegerEnforceRange<uint16_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int32_t convertToIntegerEnforceRange<int32_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint32_t convertToIntegerEnforceRange<uint32_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int64_t convertToIntegerEnforceRange<int64_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint64_t convertToIntegerEnforceRange<uint64_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<typename T> T convertToIntegerClamp(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int8_t convertToIntegerClamp<int8_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint8_t convertToIntegerClamp<uint8_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int16_t convertToIntegerClamp<int16_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint16_t convertToIntegerClamp<uint16_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int32_t convertToIntegerClamp<int32_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint32_t convertToIntegerClamp<uint32_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT int64_t convertToIntegerClamp<int64_t>(JSC::JSGlobalObject&, JSC::JSValue);
template<> WEBCORE_EXPORT uint64_t convertToIntegerClamp<uint64_t>(JSC::JSGlobalObject&, JSC::JSValue);
// MARK: -
// MARK: Integer types
template<> struct Converter<IDLByte> : DefaultConverter<IDLByte> {
static int8_t convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToInteger<int8_t>(lexicalGlobalObject, value);
}
};
template<> struct JSConverter<IDLByte> {
using Type = typename IDLByte::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLOctet> : DefaultConverter<IDLOctet> {
static uint8_t convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToInteger<uint8_t>(lexicalGlobalObject, value);
}
};
template<> struct JSConverter<IDLOctet> {
using Type = typename IDLOctet::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLShort> : DefaultConverter<IDLShort> {
static int16_t convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToInteger<int16_t>(lexicalGlobalObject, value);
}
};
template<> struct JSConverter<IDLShort> {
using Type = typename IDLShort::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLUnsignedShort> : DefaultConverter<IDLUnsignedShort> {
static uint16_t convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToInteger<uint16_t>(lexicalGlobalObject, value);
}
};
template<> struct JSConverter<IDLUnsignedShort> {
using Type = typename IDLUnsignedShort::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLLong> : DefaultConverter<IDLLong> {
static inline int32_t convert(JSC::JSGlobalObject&, JSC::ThrowScope&, double number)
{
return JSC::toInt32(number);
}
static int32_t convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToInteger<int32_t>(lexicalGlobalObject, value);
}
};
template<> struct JSConverter<IDLLong> {
using Type = typename IDLLong::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLUnsignedLong> : DefaultConverter<IDLUnsignedLong> {
static uint32_t convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToInteger<uint32_t>(lexicalGlobalObject, value);
}
};
template<> struct JSConverter<IDLUnsignedLong> {
using Type = typename IDLUnsignedLong::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLLongLong> : DefaultConverter<IDLLongLong> {
static int64_t convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToInteger<int64_t>(lexicalGlobalObject, value);
}
};
template<> struct JSConverter<IDLLongLong> {
using Type = typename IDLLongLong::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLUnsignedLongLong> : DefaultConverter<IDLUnsignedLongLong> {
static uint64_t convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToInteger<uint64_t>(lexicalGlobalObject, value);
}
};
template<> struct JSConverter<IDLUnsignedLongLong> {
using Type = typename IDLUnsignedLongLong::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
// MARK: -
// MARK: Annotated Integer types
template<typename T> struct Converter<IDLClampAdaptor<T>> : DefaultConverter<IDLClampAdaptor<T>> {
using ReturnType = typename IDLClampAdaptor<T>::ImplementationType;
static ReturnType convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToIntegerClamp<ReturnType>(lexicalGlobalObject, value);
}
};
template<typename T> struct JSConverter<IDLClampAdaptor<T>> {
using Type = typename IDLClampAdaptor<T>::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSConverter<T>::convert(value);
}
};
template<typename T> struct Converter<IDLEnforceRangeAdaptor<T>> : DefaultConverter<IDLEnforceRangeAdaptor<T>> {
using ReturnType = typename IDLEnforceRangeAdaptor<T>::ImplementationType;
static ReturnType convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return convertToIntegerEnforceRange<ReturnType>(lexicalGlobalObject, value);
}
};
template<typename T> struct JSConverter<IDLEnforceRangeAdaptor<T>> {
using Type = typename IDLEnforceRangeAdaptor<T>::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSConverter<T>::convert(value);
}
};
// MARK: -
// MARK: Floating point types
template<> struct Converter<IDLFloat> : DefaultConverter<IDLFloat> {
static inline float convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::ThrowScope& scope, double number)
{
if (UNLIKELY(!std::isfinite(number)))
throwNonFiniteTypeError(lexicalGlobalObject, scope);
return static_cast<float>(number);
}
static float convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
JSC::VM& vm = JSC::getVM(&lexicalGlobalObject);
auto scope = DECLARE_THROW_SCOPE(vm);
double number = value.toNumber(&lexicalGlobalObject);
if (UNLIKELY(!std::isfinite(number)))
throwNonFiniteTypeError(lexicalGlobalObject, scope);
return static_cast<float>(number);
}
};
template<> struct JSConverter<IDLFloat> {
using Type = typename IDLFloat::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLUnrestrictedFloat> : DefaultConverter<IDLUnrestrictedFloat> {
static inline float convert(JSC::JSGlobalObject&, JSC::ThrowScope&, double number)
{
return static_cast<float>(number);
}
static float convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return static_cast<float>(value.toNumber(&lexicalGlobalObject));
}
};
template<> struct JSConverter<IDLUnrestrictedFloat> {
using Type = typename IDLUnrestrictedFloat::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLDouble> : DefaultConverter<IDLDouble> {
static inline double convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::ThrowScope& scope, double number)
{
if (UNLIKELY(!std::isfinite(number)))
throwNonFiniteTypeError(lexicalGlobalObject, scope);
return number;
}
static double convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
JSC::VM& vm = JSC::getVM(&lexicalGlobalObject);
auto scope = DECLARE_THROW_SCOPE(vm);
double number = value.toNumber(&lexicalGlobalObject);
if (UNLIKELY(!std::isfinite(number)))
throwNonFiniteTypeError(lexicalGlobalObject, scope);
return number;
}
};
template<> struct JSConverter<IDLDouble> {
using Type = typename IDLDouble::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
ASSERT(!std::isnan(value));
return JSC::jsNumber(value);
}
};
template<> struct Converter<IDLUnrestrictedDouble> : DefaultConverter<IDLUnrestrictedDouble> {
static inline double convert(JSC::JSGlobalObject&, JSC::ThrowScope&, double number)
{
return number;
}
static double convert(JSC::JSGlobalObject& lexicalGlobalObject, JSC::JSValue value)
{
return value.toNumber(&lexicalGlobalObject);
}
};
template<> struct JSConverter<IDLUnrestrictedDouble> {
using Type = typename IDLUnrestrictedDouble::ImplementationType;
static constexpr bool needsState = false;
static constexpr bool needsGlobalObject = false;
static JSC::JSValue convert(Type value)
{
return JSC::jsNumber(JSC::purifyNaN(value));
}
// Add overload for MediaTime.
static JSC::JSValue convert(const MediaTime& value)
{
return JSC::jsNumber(JSC::purifyNaN(value.toDouble()));
}
};
} // namespace WebCore