/******************************************************************************* * Copyright (c) 2000, 2009 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ package org.eclipse.jdt.internal.compiler.ast; import org.eclipse.jdt.internal.compiler.ASTVisitor; import org.eclipse.jdt.internal.compiler.impl.*; import org.eclipse.jdt.internal.compiler.codegen.*; import org.eclipse.jdt.internal.compiler.lookup.*; import org.eclipse.jdt.internal.compiler.util.FloatUtil; public class DoubleLiteral extends NumberLiteral { double value; public DoubleLiteral(char[] token, int s, int e) { super(token, s, e); } public void computeConstant() { Double computedValue; try { computedValue = Double.valueOf(String.valueOf(this.source)); } catch (NumberFormatException e) { // hex floating point literal // being rejected by 1.4 libraries where Double.valueOf(...) doesn't handle hex decimal floats try { double v = FloatUtil.valueOfHexDoubleLiteral(this.source); if (v == Double.POSITIVE_INFINITY) { // error: the number is too large to represent return; } if (Double.isNaN(v)) { // error: the number is too small to represent return; } this.value = v; this.constant = DoubleConstant.fromValue(v); } catch (NumberFormatException e1) { // if the computation of the constant fails } return; } final double doubleValue = computedValue.doubleValue(); if (doubleValue > Double.MAX_VALUE) { // error: the number is too large to represent return; } if (doubleValue < Double.MIN_VALUE) { // see 1F6IGUU // a true 0 only has '0' and '.' in mantissa // 1.0e-5000d is non-zero, but underflows to 0 boolean isHexaDecimal = false; label : for (int i = 0; i < this.source.length; i++) { //it is welled formated so just test against '0' and potential . D d switch (this.source[i]) { case '0' : case '.' : break; case 'x' : case 'X' : isHexaDecimal = true; break; case 'e' : case 'E' : case 'f' : case 'F' : case 'd' : case 'D' : if (isHexaDecimal) { return; } // starting the exponent - mantissa is all zero // no exponent - mantissa is all zero break label; case 'p' : case 'P' : break label; default : // error: the number is too small to represent return; } } } this.value = doubleValue; this.constant = DoubleConstant.fromValue(this.value); } /** * Code generation for the double literak * * @param currentScope org.eclipse.jdt.internal.compiler.lookup.BlockScope * @param codeStream org.eclipse.jdt.internal.compiler.codegen.CodeStream * @param valueRequired boolean */ public void generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) { int pc = codeStream.position; if (valueRequired) { codeStream.generateConstant(this.constant, this.implicitConversion); } codeStream.recordPositionsFrom(pc, this.sourceStart); } public TypeBinding literalType(BlockScope scope) { return TypeBinding.DOUBLE; } public void traverse(ASTVisitor visitor, BlockScope scope) { visitor.visit(this, scope); visitor.endVisit(this, scope); } }