All Downloads are FREE. Search and download functionalities are using the official Maven repository.

edu.stanford.protege.webprotege.criteria.AutoValue_DateIsAfterCriteria Maven / Gradle / Ivy

There is a newer version: 0.9.2
Show newest version
package edu.stanford.protege.webprotege.criteria;

import com.fasterxml.jackson.annotation.JsonProperty;
import javax.annotation.processing.Generated;

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

  private final int year;

  private final int month;

  private final int day;

  AutoValue_DateIsAfterCriteria(
      int year,
      int month,
      int day) {
    this.year = year;
    this.month = month;
    this.day = day;
  }

  @JsonProperty("year")
  @Override
  public int getYear() {
    return year;
  }

  @JsonProperty("month")
  @Override
  public int getMonth() {
    return month;
  }

  @JsonProperty("day")
  @Override
  public int getDay() {
    return day;
  }

  @Override
  public String toString() {
    return "DateIsAfterCriteria{"
        + "year=" + year + ", "
        + "month=" + month + ", "
        + "day=" + day
        + "}";
  }

  @Override
  public boolean equals(Object o) {
    if (o == this) {
      return true;
    }
    if (o instanceof DateIsAfterCriteria) {
      DateIsAfterCriteria that = (DateIsAfterCriteria) o;
      return this.year == that.getYear()
          && this.month == that.getMonth()
          && this.day == that.getDay();
    }
    return false;
  }

  @Override
  public int hashCode() {
    int h$ = 1;
    h$ *= 1000003;
    h$ ^= year;
    h$ *= 1000003;
    h$ ^= month;
    h$ *= 1000003;
    h$ ^= day;
    return h$;
  }

}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy