src/jdk/nashorn/internal/objects/NativeNumber.java

Wed, 26 Jun 2013 15:40:52 +0200

author
hannesw
date
Wed, 26 Jun 2013 15:40:52 +0200
changeset 380
80c66d3fd872
parent 133
5759f600fcf7
child 414
ec84ba68ad39
permissions
-rw-r--r--

8019157: Avoid calling ScriptObject.setProto() if possible
Reviewed-by: jlaskey, sundar

jlaskey@3 1 /*
jlaskey@7 2 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
jlaskey@3 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
jlaskey@3 4 *
jlaskey@3 5 * This code is free software; you can redistribute it and/or modify it
jlaskey@3 6 * under the terms of the GNU General Public License version 2 only, as
jlaskey@3 7 * published by the Free Software Foundation. Oracle designates this
jlaskey@3 8 * particular file as subject to the "Classpath" exception as provided
jlaskey@3 9 * by Oracle in the LICENSE file that accompanied this code.
jlaskey@3 10 *
jlaskey@3 11 * This code is distributed in the hope that it will be useful, but WITHOUT
jlaskey@3 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
jlaskey@3 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
jlaskey@3 14 * version 2 for more details (a copy is included in the LICENSE file that
jlaskey@3 15 * accompanied this code).
jlaskey@3 16 *
jlaskey@3 17 * You should have received a copy of the GNU General Public License version
jlaskey@3 18 * 2 along with this work; if not, write to the Free Software Foundation,
jlaskey@3 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
jlaskey@3 20 *
jlaskey@3 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
jlaskey@3 22 * or visit www.oracle.com if you need additional information or have any
jlaskey@3 23 * questions.
jlaskey@3 24 */
jlaskey@3 25
jlaskey@3 26 package jdk.nashorn.internal.objects;
jlaskey@3 27
jlaskey@3 28 import static jdk.nashorn.internal.runtime.ECMAErrors.rangeError;
jlaskey@3 29 import static jdk.nashorn.internal.runtime.ECMAErrors.typeError;
jlaskey@3 30 import static jdk.nashorn.internal.runtime.JSType.isRepresentableAsInt;
jlaskey@3 31 import static jdk.nashorn.internal.runtime.JSType.isRepresentableAsLong;
jlaskey@3 32 import static jdk.nashorn.internal.runtime.ScriptRuntime.UNDEFINED;
sundar@133 33 import static jdk.nashorn.internal.lookup.Lookup.MH;
jlaskey@3 34
jlaskey@3 35 import java.lang.invoke.MethodHandle;
jlaskey@3 36 import java.lang.invoke.MethodHandles;
jlaskey@3 37 import java.text.NumberFormat;
jlaskey@3 38 import java.util.Locale;
attila@90 39 import jdk.internal.dynalink.linker.GuardedInvocation;
attila@90 40 import jdk.internal.dynalink.linker.LinkRequest;
jlaskey@3 41 import jdk.nashorn.internal.objects.annotations.Attribute;
jlaskey@3 42 import jdk.nashorn.internal.objects.annotations.Constructor;
jlaskey@3 43 import jdk.nashorn.internal.objects.annotations.Function;
jlaskey@3 44 import jdk.nashorn.internal.objects.annotations.Property;
jlaskey@3 45 import jdk.nashorn.internal.objects.annotations.ScriptClass;
jlaskey@3 46 import jdk.nashorn.internal.objects.annotations.Where;
jlaskey@3 47 import jdk.nashorn.internal.runtime.JSType;
hannesw@380 48 import jdk.nashorn.internal.runtime.PropertyMap;
jlaskey@3 49 import jdk.nashorn.internal.runtime.ScriptObject;
jlaskey@3 50 import jdk.nashorn.internal.runtime.ScriptRuntime;
sundar@133 51 import jdk.nashorn.internal.lookup.MethodHandleFactory;
jlaskey@3 52 import jdk.nashorn.internal.runtime.linker.PrimitiveLookup;
jlaskey@3 53
jlaskey@3 54 /**
jlaskey@3 55 * ECMA 15.7 Number Objects.
jlaskey@3 56 *
jlaskey@3 57 */
jlaskey@3 58 @ScriptClass("Number")
jlaskey@3 59 public final class NativeNumber extends ScriptObject {
jlaskey@3 60
hannesw@42 61 static final MethodHandle WRAPFILTER = findWrapFilter();
jlaskey@3 62
jlaskey@3 63 /** ECMA 15.7.3.2 largest positive finite value */
jlaskey@3 64 @Property(attributes = Attribute.NON_ENUMERABLE_CONSTANT, where = Where.CONSTRUCTOR)
jlaskey@3 65 public static final double MAX_VALUE = Double.MAX_VALUE;
jlaskey@3 66
jlaskey@3 67 /** ECMA 15.7.3.3 smallest positive finite value */
jlaskey@3 68 @Property(attributes = Attribute.NON_ENUMERABLE_CONSTANT, where = Where.CONSTRUCTOR)
jlaskey@3 69 public static final double MIN_VALUE = Double.MIN_VALUE;
jlaskey@3 70
jlaskey@3 71 /** ECMA 15.7.3.4 NaN */
jlaskey@3 72 @Property(attributes = Attribute.NON_ENUMERABLE_CONSTANT, where = Where.CONSTRUCTOR)
jlaskey@3 73 public static final double NaN = Double.NaN;
jlaskey@3 74
jlaskey@3 75 /** ECMA 15.7.3.5 negative infinity */
jlaskey@3 76 @Property(attributes = Attribute.NON_ENUMERABLE_CONSTANT, where = Where.CONSTRUCTOR)
jlaskey@3 77 public static final double NEGATIVE_INFINITY = Double.NEGATIVE_INFINITY;
jlaskey@3 78
jlaskey@3 79 /** ECMA 15.7.3.5 positive infinity */
jlaskey@3 80 @Property(attributes = Attribute.NON_ENUMERABLE_CONSTANT, where = Where.CONSTRUCTOR)
jlaskey@3 81 public static final double POSITIVE_INFINITY = Double.POSITIVE_INFINITY;
jlaskey@3 82
jlaskey@3 83 private final double value;
jlaskey@3 84 private final boolean isInt;
jlaskey@3 85 private final boolean isLong;
jlaskey@3 86
hannesw@380 87 // initialized by nasgen
hannesw@380 88 private static PropertyMap $nasgenmap$;
hannesw@380 89
jlaskey@3 90 NativeNumber(final double value) {
jlaskey@3 91 this(value, Global.instance().getNumberPrototype());
jlaskey@3 92 }
jlaskey@3 93
jlaskey@3 94 private NativeNumber(final double value, final ScriptObject proto) {
hannesw@380 95 super(proto, $nasgenmap$);
jlaskey@3 96 this.value = value;
jlaskey@3 97 this.isInt = isRepresentableAsInt(value);
jlaskey@3 98 this.isLong = isRepresentableAsLong(value);
jlaskey@3 99 }
jlaskey@3 100
jlaskey@3 101 @Override
jlaskey@3 102 public String safeToString() {
jlaskey@3 103 return "[Number " + toString() + "]";
jlaskey@3 104 }
jlaskey@3 105
jlaskey@3 106 @Override
jlaskey@3 107 public String toString() {
jlaskey@3 108 return Double.toString(getValue());
jlaskey@3 109 }
jlaskey@3 110
jlaskey@3 111 /**
jlaskey@3 112 * Get the value of this Number
jlaskey@3 113 * @return a {@code double} representing the Number value
jlaskey@3 114 */
jlaskey@3 115 public double getValue() {
jlaskey@3 116 return doubleValue();
jlaskey@3 117 }
jlaskey@3 118
jlaskey@3 119 /**
jlaskey@3 120 * Get the value of this Number
jlaskey@3 121 * @return a {@code double} representing the Number value
jlaskey@3 122 */
jlaskey@3 123 public double doubleValue() {
jlaskey@3 124 return value;
jlaskey@3 125 }
jlaskey@3 126
jlaskey@3 127 /**
jlaskey@3 128 * Get the value of this Number as a {@code int}
jlaskey@3 129 * @return an {@code int} representing the Number value
jlaskey@3 130 * @throws ClassCastException If number is not representable as an {@code int}
jlaskey@3 131 */
jlaskey@3 132 public int intValue() throws ClassCastException {
jlaskey@3 133 if (isInt) {
jlaskey@3 134 return (int)value;
jlaskey@3 135 }
jlaskey@3 136 throw new ClassCastException();
jlaskey@3 137 }
jlaskey@3 138
jlaskey@3 139 /**
jlaskey@3 140 * Get the value of this Number as a {@code long}
jlaskey@3 141 * @return a {@code long} representing the Number value
jlaskey@3 142 * @throws ClassCastException If number is not representable as an {@code long}
jlaskey@3 143 */
jlaskey@3 144 public long longValue() throws ClassCastException {
jlaskey@3 145 if (isLong) {
jlaskey@3 146 return (long)value;
jlaskey@3 147 }
jlaskey@3 148 throw new ClassCastException();
jlaskey@3 149 }
jlaskey@3 150
jlaskey@3 151 @Override
jlaskey@3 152 public String getClassName() {
jlaskey@3 153 return "Number";
jlaskey@3 154 }
jlaskey@3 155
jlaskey@3 156 /**
jlaskey@3 157 * ECMA 15.7.2 - The Number constructor
jlaskey@3 158 *
jlaskey@3 159 * @param newObj is this Number instantiated with the new operator
jlaskey@3 160 * @param self self reference
jlaskey@3 161 * @param args value of number
jlaskey@3 162 * @return the Number instance (internally represented as a {@code NativeNumber})
jlaskey@3 163 */
jlaskey@3 164 @Constructor(arity = 1)
jlaskey@3 165 public static Object constructor(final boolean newObj, final Object self, final Object... args) {
jlaskey@3 166 final double num = (args.length > 0) ? JSType.toNumber(args[0]) : 0.0;
jlaskey@3 167
jlaskey@3 168 if (newObj) {
jlaskey@3 169 final ScriptObject proto =
jlaskey@3 170 (self instanceof ScriptObject) ?
jlaskey@3 171 ((ScriptObject)self).getProto() :
jlaskey@3 172 Global.instance().getNumberPrototype();
jlaskey@3 173
jlaskey@3 174 return new NativeNumber(num, proto);
jlaskey@3 175 }
jlaskey@3 176
jlaskey@3 177 return num;
jlaskey@3 178 }
jlaskey@3 179
jlaskey@3 180 /**
jlaskey@3 181 * ECMA 15.7.4.5 Number.prototype.toFixed (fractionDigits)
jlaskey@3 182 *
jlaskey@3 183 * @param self self reference
jlaskey@3 184 * @param fractionDigits how many digits should be after the decimal point, 0 if undefined
jlaskey@3 185 *
jlaskey@3 186 * @return number in decimal fixed point notation
jlaskey@3 187 */
jlaskey@3 188 @Function(attributes = Attribute.NOT_ENUMERABLE)
jlaskey@3 189 public static Object toFixed(final Object self, final Object fractionDigits) {
jlaskey@3 190 final int f = JSType.toInteger(fractionDigits);
jlaskey@3 191 if (f < 0 || f > 20) {
lagergren@112 192 throw rangeError("invalid.fraction.digits", "toFixed");
jlaskey@3 193 }
jlaskey@3 194
jlaskey@3 195 final double x = getNumberValue(self);
jlaskey@3 196 if (Double.isNaN(x)) {
jlaskey@3 197 return "NaN";
jlaskey@3 198 }
jlaskey@3 199
jlaskey@3 200 if (Math.abs(x) >= 1e21) {
jlaskey@3 201 return JSType.toString(x);
jlaskey@3 202 }
jlaskey@3 203
jlaskey@3 204 final NumberFormat format = NumberFormat.getNumberInstance(Locale.US);
jlaskey@3 205 format.setMinimumFractionDigits(f);
jlaskey@3 206 format.setMaximumFractionDigits(f);
jlaskey@3 207 format.setGroupingUsed(false);
jlaskey@3 208
jlaskey@3 209 return format.format(x);
jlaskey@3 210 }
jlaskey@3 211
jlaskey@3 212 /**
jlaskey@3 213 * ECMA 15.7.4.6 Number.prototype.toExponential (fractionDigits)
jlaskey@3 214 *
jlaskey@3 215 * @param self self reference
jlaskey@3 216 * @param fractionDigits how many digital should be after the significand's decimal point. If undefined, use as many as necessary to uniquely specify number.
jlaskey@3 217 *
jlaskey@3 218 * @return number in decimal exponential notation
jlaskey@3 219 */
jlaskey@3 220 @Function(attributes = Attribute.NOT_ENUMERABLE)
jlaskey@3 221 public static Object toExponential(final Object self, final Object fractionDigits) {
jlaskey@3 222 final double x = getNumberValue(self);
jlaskey@3 223 final boolean trimZeros = fractionDigits == UNDEFINED;
jlaskey@3 224 final int f = trimZeros ? 16 : JSType.toInteger(fractionDigits);
jlaskey@3 225
jlaskey@3 226 if (Double.isNaN(x)) {
jlaskey@3 227 return "NaN";
jlaskey@3 228 } else if (Double.isInfinite(x)) {
jlaskey@3 229 return x > 0? "Infinity" : "-Infinity";
jlaskey@3 230 }
jlaskey@3 231
jlaskey@3 232 if (fractionDigits != UNDEFINED && (f < 0 || f > 20)) {
lagergren@112 233 throw rangeError("invalid.fraction.digits", "toExponential");
jlaskey@3 234 }
jlaskey@3 235
jlaskey@3 236 final String res = String.format(Locale.US, "%1." + f + "e", x);
jlaskey@3 237 return fixExponent(res, trimZeros);
jlaskey@3 238 }
jlaskey@3 239
jlaskey@3 240 /**
jlaskey@3 241 * ECMA 15.7.4.7 Number.prototype.toPrecision (precision)
jlaskey@3 242 *
jlaskey@3 243 * @param self self reference
jlaskey@3 244 * @param precision use {@code precision - 1} digits after the significand's decimal point or call {@link NativeDate#toString} if undefined
jlaskey@3 245 *
jlaskey@3 246 * @return number in decimal exponentiation notation or decimal fixed notation depending on {@code precision}
jlaskey@3 247 */
jlaskey@3 248 @Function(attributes = Attribute.NOT_ENUMERABLE)
jlaskey@3 249 public static Object toPrecision(final Object self, final Object precision) {
jlaskey@3 250 final double x = getNumberValue(self);
jlaskey@3 251 if (precision == UNDEFINED) {
jlaskey@3 252 return JSType.toString(x);
jlaskey@3 253 }
jlaskey@3 254
jlaskey@3 255 final int p = JSType.toInteger(precision);
jlaskey@3 256 if (Double.isNaN(x)) {
jlaskey@3 257 return "NaN";
jlaskey@3 258 } else if (Double.isInfinite(x)) {
jlaskey@3 259 return x > 0? "Infinity" : "-Infinity";
jlaskey@3 260 }
jlaskey@3 261
jlaskey@3 262 if (p < 1 || p > 21) {
lagergren@112 263 throw rangeError("invalid.precision");
jlaskey@3 264 }
jlaskey@3 265
jlaskey@3 266 // workaround for http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6469160
jlaskey@3 267 if (x == 0.0 && p <= 1) {
jlaskey@3 268 return "0";
jlaskey@3 269 }
jlaskey@3 270
jlaskey@3 271 return fixExponent(String.format(Locale.US, "%." + p + "g", x), false);
jlaskey@3 272 }
jlaskey@3 273
jlaskey@3 274 /**
jlaskey@3 275 * ECMA 15.7.4.2 Number.prototype.toString ( [ radix ] )
jlaskey@3 276 *
jlaskey@3 277 * @param self self reference
jlaskey@3 278 * @param radix radix to use for string conversion
jlaskey@3 279 * @return string representation of this Number in the given radix
jlaskey@3 280 */
jlaskey@3 281 @Function(attributes = Attribute.NOT_ENUMERABLE)
jlaskey@3 282 public static Object toString(final Object self, final Object radix) {
jlaskey@3 283 if (radix != UNDEFINED) {
jlaskey@3 284 final int intRadix = JSType.toInteger(radix);
jlaskey@3 285 if (intRadix != 10) {
jlaskey@3 286 if (intRadix < 2 || intRadix > 36) {
lagergren@112 287 throw rangeError("invalid.radix");
jlaskey@3 288 }
jlaskey@3 289 return JSType.toString(getNumberValue(self), intRadix);
jlaskey@3 290 }
jlaskey@3 291 }
jlaskey@3 292
jlaskey@3 293 return JSType.toString(getNumberValue(self));
jlaskey@3 294 }
jlaskey@3 295
jlaskey@3 296 /**
jlaskey@3 297 * ECMA 15.7.4.3 Number.prototype.toLocaleString()
jlaskey@3 298 *
jlaskey@3 299 * @param self self reference
jlaskey@3 300 * @return localized string for this Number
jlaskey@3 301 */
jlaskey@3 302 @Function(attributes = Attribute.NOT_ENUMERABLE)
jlaskey@3 303 public static Object toLocaleString(final Object self) {
jlaskey@3 304 return JSType.toString(getNumberValue(self));
jlaskey@3 305 }
jlaskey@3 306
jlaskey@3 307
jlaskey@3 308 /**
jlaskey@3 309 * ECMA 15.7.4.4 Number.prototype.valueOf ( )
jlaskey@3 310 *
jlaskey@3 311 * @param self self reference
jlaskey@3 312 * @return boxed number value for this Number
jlaskey@3 313 */
jlaskey@3 314 @Function(attributes = Attribute.NOT_ENUMERABLE)
jlaskey@3 315 public static Object valueOf(final Object self) {
jlaskey@3 316 return getNumberValue(self);
jlaskey@3 317 }
jlaskey@3 318
jlaskey@3 319 /**
jlaskey@3 320 * Lookup the appropriate method for an invoke dynamic call.
hannesw@51 321 * @param request The link request
jlaskey@3 322 * @param receiver receiver of call
jlaskey@3 323 * @return Link to be invoked at call site.
jlaskey@3 324 */
hannesw@51 325 public static GuardedInvocation lookupPrimitive(final LinkRequest request, final Object receiver) {
hannesw@51 326 return PrimitiveLookup.lookupPrimitive(request, Number.class, new NativeNumber(((Number)receiver).doubleValue()), WRAPFILTER);
jlaskey@3 327 }
jlaskey@3 328
jlaskey@3 329 @SuppressWarnings("unused")
jlaskey@3 330 private static NativeNumber wrapFilter(final Object receiver) {
jlaskey@3 331 return new NativeNumber(((Number)receiver).doubleValue());
jlaskey@3 332 }
jlaskey@3 333
jlaskey@3 334 private static double getNumberValue(final Object self) {
jlaskey@3 335 if (self instanceof Number) {
jlaskey@3 336 return ((Number)self).doubleValue();
jlaskey@3 337 } else if (self instanceof NativeNumber) {
jlaskey@3 338 return ((NativeNumber)self).getValue();
jlaskey@3 339 } else if (self != null && self == Global.instance().getNumberPrototype()) {
jlaskey@3 340 return 0.0;
jlaskey@3 341 } else {
lagergren@112 342 throw typeError("not.a.number", ScriptRuntime.safeToString(self));
jlaskey@3 343 }
jlaskey@3 344 }
jlaskey@3 345
jlaskey@3 346 // Exponent of Java "e" or "E" formatter is always 2 digits and zero
jlaskey@3 347 // padded if needed (e+01, e+00, e+12 etc.) JS expects exponent to contain
jlaskey@3 348 // exact number of digits e+1, e+0, e+12 etc. Fix the exponent here.
jlaskey@3 349 //
jlaskey@3 350 // Additionally, if trimZeros is true, this cuts trailing zeros in the
jlaskey@3 351 // fraction part for calls to toExponential() with undefined fractionDigits
jlaskey@3 352 // argument.
jlaskey@3 353 private static String fixExponent(final String str, final boolean trimZeros) {
jlaskey@3 354 final int index = str.indexOf('e');
jlaskey@3 355 if (index < 1) {
jlaskey@3 356 // no exponent, do nothing..
jlaskey@3 357 return str;
jlaskey@3 358 }
jlaskey@3 359
jlaskey@3 360 // check if character after e+ or e- is 0
jlaskey@3 361 final int expPadding = str.charAt(index + 2) == '0' ? 3 : 2;
jlaskey@3 362 // check if there are any trailing zeroes we should remove
jlaskey@3 363
jlaskey@3 364 int fractionOffset = index;
jlaskey@3 365 if (trimZeros) {
jlaskey@3 366 assert fractionOffset > 0;
jlaskey@3 367 char c = str.charAt(fractionOffset - 1);
jlaskey@3 368 while (fractionOffset > 1 && (c == '0' || c == '.')) {
jlaskey@3 369 c = str.charAt(--fractionOffset - 1);
jlaskey@3 370 }
jlaskey@3 371
jlaskey@3 372 }
jlaskey@3 373 // if anything needs to be done compose a new string
jlaskey@3 374 if (fractionOffset < index || expPadding == 3) {
jlaskey@3 375 return str.substring(0, fractionOffset)
jlaskey@3 376 + str.substring(index, index + 2)
jlaskey@3 377 + str.substring(index + expPadding);
jlaskey@3 378 }
jlaskey@3 379 return str;
jlaskey@3 380 }
jlaskey@3 381
jlaskey@3 382 private static MethodHandle findWrapFilter() {
jlaskey@3 383 try {
jlaskey@3 384 return MethodHandles.lookup().findStatic(NativeNumber.class, "wrapFilter", MH.type(NativeNumber.class, Object.class));
jlaskey@3 385 } catch (final NoSuchMethodException | IllegalAccessException e) {
sundar@37 386 throw new MethodHandleFactory.LookupException(e);
jlaskey@3 387 }
jlaskey@3 388 }
jlaskey@3 389 }

mercurial