src/main/java/com/android/tools/r8/ir/analysis/type/DoubleTypeLatticeElement.java

// Copyright (c) 2018, the R8 project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
package com.android.tools.r8.ir.analysis.type;

public class DoubleTypeLatticeElement extends WideTypeLatticeElement {
  private static final DoubleTypeLatticeElement INSTANCE = new DoubleTypeLatticeElement();

  static DoubleTypeLatticeElement getInstance() {
    return INSTANCE;
  }

  @Override
  public boolean isDouble() {
    return true;
  }

  @Override
  public String toString() {
    return "DOUBLE";
  }

  @Override
  public int hashCode() {
    return super.hashCode() * 5;
  }
}