com.google.errorprone.refaster.AutoValue_PlaceholderUnificationVisitor_State 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.sun.tools.javac.util.List;
import javax.annotation.Generated;
import javax.annotation.Nullable;

@Generated("com.google.auto.value.processor.AutoValueProcessor")
final class AutoValue_PlaceholderUnificationVisitor_State extends PlaceholderUnificationVisitor.State {

  private final List seenParameters;

  private final Unifier unifier;

  private final R result;

  AutoValue_PlaceholderUnificationVisitor_State(
      List seenParameters,
      Unifier unifier,
      @Nullable R result) {
    if (seenParameters == null) {
      throw new NullPointerException("Null seenParameters");
    }
    this.seenParameters = seenParameters;
    if (unifier == null) {
      throw new NullPointerException("Null unifier");
    }
    this.unifier = unifier;
    this.result = result;
  }

  @Override
  public List seenParameters() {
    return seenParameters;
  }

  @Override
  public Unifier unifier() {
    return unifier;
  }

  @Nullable
  @Override
  public R result() {
    return result;
  }

  @Override
  public String toString() {
    return "State{"
         + "seenParameters=" + seenParameters + ", "
         + "unifier=" + unifier + ", "
         + "result=" + result
        + "}";
  }

  @Override
  public boolean equals(Object o) {
    if (o == this) {
      return true;
    }
    if (o instanceof PlaceholderUnificationVisitor.State) {
      PlaceholderUnificationVisitor.State that = (PlaceholderUnificationVisitor.State) o;
      return this.seenParameters.equals(that.seenParameters())
          && this.unifier.equals(that.unifier())
          && (this.result == null ? that.result() == null : this.result.equals(that.result()));
    }
    return false;
  }

  @Override
  public int hashCode() {
    int h$ = 1;
    h$ *= 1000003;
    h$ ^= seenParameters.hashCode();
    h$ *= 1000003;
    h$ ^= unifier.hashCode();
    h$ *= 1000003;
    h$ ^= (result == null) ? 0 : result.hashCode();
    return h$;
  }

}