com.google.errorprone.refaster.AutoValue_UForAll Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of error_prone_core Show documentation

There is a newer version: 2.28.0

package com.google.errorprone.refaster;

import com.google.common.collect.ImmutableList;
import javax.annotation.Generated;

@Generated("com.google.auto.value.processor.AutoValueProcessor")
final class AutoValue_UForAll extends UForAll {

  private final ImmutableList typeVars;

  private final UType quantifiedType;

  AutoValue_UForAll(
      ImmutableList typeVars,
      UType quantifiedType) {
    if (typeVars == null) {
      throw new NullPointerException("Null typeVars");
    }
    this.typeVars = typeVars;
    if (quantifiedType == null) {
      throw new NullPointerException("Null quantifiedType");
    }
    this.quantifiedType = quantifiedType;
  }

  @Override
  public ImmutableList getTypeVars() {
    return typeVars;
  }

  @Override
  public UType getQuantifiedType() {
    return quantifiedType;
  }

  @Override
  public String toString() {
    return "UForAll{"
         + "typeVars=" + typeVars + ", "
         + "quantifiedType=" + quantifiedType
        + "}";
  }

  @Override
  public boolean equals(Object o) {
    if (o == this) {
      return true;
    }
    if (o instanceof UForAll) {
      UForAll that = (UForAll) o;
      return this.typeVars.equals(that.getTypeVars())
          && this.quantifiedType.equals(that.getQuantifiedType());
    }
    return false;
  }

  @Override
  public int hashCode() {
    int h$ = 1;
    h$ *= 1000003;
    h$ ^= typeVars.hashCode();
    h$ *= 1000003;
    h$ ^= quantifiedType.hashCode();
    return h$;
  }

}