edu.stanford.protege.webprotege.frame.AutoValue_PlainClassFrame Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of webprotege-entity-frames Show documentation

Data structures for dealing with entity frames

The newest version!

package edu.stanford.protege.webprotege.frame;

import com.fasterxml.jackson.annotation.JsonProperty;
import com.google.common.collect.ImmutableSet;
import javax.annotation.Nonnull;
import javax.annotation.processing.Generated;
import org.semanticweb.owlapi.model.OWLClass;

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

  private final OWLClass subject;

  private final ImmutableSet parents;

  private final ImmutableSet propertyValues;

  AutoValue_PlainClassFrame(
      OWLClass subject,
      ImmutableSet parents,
      ImmutableSet propertyValues) {
    if (subject == null) {
      throw new NullPointerException("Null subject");
    }
    this.subject = subject;
    if (parents == null) {
      throw new NullPointerException("Null parents");
    }
    this.parents = parents;
    if (propertyValues == null) {
      throw new NullPointerException("Null propertyValues");
    }
    this.propertyValues = propertyValues;
  }

  @Nonnull
  @JsonProperty("subject")
  @Override
  public OWLClass getSubject() {
    return subject;
  }

  @JsonProperty("parents")
  @Nonnull
  @Override
  public ImmutableSet getParents() {
    return parents;
  }

  @Nonnull
  @Override
  public ImmutableSet getPropertyValues() {
    return propertyValues;
  }

  @Override
  public String toString() {
    return "PlainClassFrame{"
        + "subject=" + subject + ", "
        + "parents=" + parents + ", "
        + "propertyValues=" + propertyValues
        + "}";
  }

  @Override
  public boolean equals(Object o) {
    if (o == this) {
      return true;
    }
    if (o instanceof PlainClassFrame) {
      PlainClassFrame that = (PlainClassFrame) o;
      return this.subject.equals(that.getSubject())
          && this.parents.equals(that.getParents())
          && this.propertyValues.equals(that.getPropertyValues());
    }
    return false;
  }

  @Override
  public int hashCode() {
    int h$ = 1;
    h$ *= 1000003;
    h$ ^= subject.hashCode();
    h$ *= 1000003;
    h$ ^= parents.hashCode();
    h$ *= 1000003;
    h$ ^= propertyValues.hashCode();
    return h$;
  }

}