// Copyright (c) 2017, 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;

import com.android.tools.r8.graph.AppInfoWithSubtyping;
import com.android.tools.r8.graph.DexType;

public class ClassTypeLatticeElement extends TypeLatticeElement {
  final DexType classType;

  public ClassTypeLatticeElement(DexType classType, boolean isNullable) {
    super(isNullable);
    assert classType.isClassType();
    this.classType = classType;
  }

  public DexType getClassType() {
    return classType;
  }

  @Override
  TypeLatticeElement asNullable() {
    return isNullable() ? this : new ClassTypeLatticeElement(classType, true);
  }

  @Override
  public TypeLatticeElement arrayGet(AppInfoWithSubtyping appInfo) {
    return objectType(appInfo, true);
  }

  @Override
  public TypeLatticeElement checkCast(AppInfoWithSubtyping appInfo, DexType castType) {
    if (classType.isSubtypeOf(castType, appInfo)) {
      return this;
    }
    return fromDexType(castType, isNullable());
  }

  @Override
  public String toString() {
    return isNullableString() + classType.toString();
  }

  @Override
  public boolean equals(Object o) {
    if (!super.equals(o)) {
      return false;
    }
    ClassTypeLatticeElement other = (ClassTypeLatticeElement) o;
    return classType == other.classType;
  }

  @Override
  public int hashCode() {
    int result = super.hashCode();
    result = 31 * result + classType.hashCode();
    return result;
  }
}