Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(478)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DoubleState.java

Issue 113143004: Constant evaluation support (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Clean-up Created 7 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DartObjectImpl.java ('k') | editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DynamicState.java » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DoubleState.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DoubleState.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DoubleState.java
new file mode 100644
index 0000000000000000000000000000000000000000..f3dec83c53776bd94a91fa664ec4f475e0cc7fd8
--- /dev/null
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DoubleState.java
@@ -0,0 +1,361 @@
+/*
+ * Copyright (c) 2013, the Dart project authors.
+ *
+ * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
+ * in compliance with the License. You may obtain a copy of the License at
+ *
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the License for the specific language governing permissions and limitations under
+ * the License.
+ */
+package com.google.dart.engine.internal.object;
+
+import com.google.dart.engine.error.CompileTimeErrorCode;
+import com.google.dart.engine.utilities.general.ObjectUtilities;
+
+import java.math.BigInteger;
+
+/**
+ * Instances of the class {@code DoubleState} represent the state of an object representing a
+ * double.
+ */
+public class DoubleState extends NumState {
+ /**
+ * The value of this instance.
+ */
+ private Double value;
+
+ /**
+ * A state that can be used to represent a double whose value is not known.
+ */
+ public static final DoubleState UNKNOWN_VALUE = new DoubleState(null);
+
+ /**
+ * Initialize a newly created state to represent a double with the given value.
+ *
+ * @param value the value of this instance
+ */
+ public DoubleState(Double value) {
+ this.value = value;
+ }
+
+ @Override
+ public NumState add(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() + rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() + rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public StringState convertToString() {
+ if (value == null) {
+ return StringState.UNKNOWN_VALUE;
+ }
+ return new StringState(Double.toString(value));
+ }
+
+ @Override
+ public NumState divide(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() / rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() / rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public boolean equals(Object object) {
+ return object instanceof DoubleState
+ && ObjectUtilities.equals(value, ((DoubleState) object).value);
+ }
+
+ @Override
+ public BoolState equalEqual(InstanceState rightOperand) throws EvaluationException {
+ assertBoolNumStringOrNull(rightOperand);
+ if (value == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() == rightValue.doubleValue());
+ } else if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.equals(rightValue.doubleValue()));
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.FALSE_STATE;
+ }
+
+ @Override
+ public String getTypeName() {
+ return "double"; //$NON-NLS-0$
+ }
+
+ /**
+ * Return the value of this instance.
+ *
+ * @return the value of this instance
+ */
+ public Double getValue() {
+ return value;
+ }
+
+ @Override
+ public BoolState greaterThan(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() > rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() > rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public BoolState greaterThanOrEqual(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() >= rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() >= rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public int hashCode() {
+ return value == null ? 0 : value.hashCode();
+ }
+
+ @Override
+ public IntState integerDivide(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return IntState.UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return IntState.UNKNOWN_VALUE;
+ }
+ double result = value.doubleValue() / rightValue.doubleValue();
+ return new IntState(BigInteger.valueOf((long) result));
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return IntState.UNKNOWN_VALUE;
+ }
+ double result = value.doubleValue() / rightValue.doubleValue();
+ return new IntState(BigInteger.valueOf((long) result));
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return IntState.UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public boolean isBoolNumStringOrNull() {
+ return true;
+ }
+
+ @Override
+ public BoolState lessThan(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() < rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() < rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public BoolState lessThanOrEqual(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() <= rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ return BoolState.from(value.doubleValue() <= rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return BoolState.UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public NumState minus(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() - rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() - rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public NumState negated() throws EvaluationException {
+ if (value == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(-(value.doubleValue()));
+ }
+
+ @Override
+ public NumState remainder(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() % rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() % rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public NumState times(InstanceState rightOperand) throws EvaluationException {
+ assertNumOrNull(rightOperand);
+ if (value == null) {
+ return UNKNOWN_VALUE;
+ }
+ if (rightOperand instanceof IntState) {
+ BigInteger rightValue = ((IntState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() * rightValue.doubleValue());
+ } else if (rightOperand instanceof DoubleState) {
+ Double rightValue = ((DoubleState) rightOperand).getValue();
+ if (rightValue == null) {
+ return UNKNOWN_VALUE;
+ }
+ return new DoubleState(value.doubleValue() * rightValue.doubleValue());
+ } else if (rightOperand instanceof DynamicState || rightOperand instanceof NumState) {
+ return UNKNOWN_VALUE;
+ }
+ throw new EvaluationException(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION);
+ }
+
+ @Override
+ public String toString() {
+ return value == null ? "-unknown-" : Double.toString(value);
+ }
+}
« no previous file with comments | « editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DartObjectImpl.java ('k') | editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/object/DynamicState.java » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698