![JAR search and dependency download from the Maven repository](/logo.png)
de.rwth.swc.coffee4j.engine.conflict.DiagnosisSet Maven / Gradle / Ivy
package de.rwth.swc.coffee4j.engine.conflict;
import de.rwth.swc.coffee4j.engine.util.Preconditions;
import java.util.List;
import java.util.Objects;
public class DiagnosisSet {
private final List diagnosisElements;
public DiagnosisSet(List diagnosisElements) {
Preconditions.notNull(diagnosisElements);
Preconditions.check(diagnosisElements.size() > 0);
this.diagnosisElements = diagnosisElements;
}
public List getDiagnosisElements() {
return diagnosisElements;
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
DiagnosisSet that = (DiagnosisSet) o;
return diagnosisElements.equals(that.diagnosisElements);
}
@Override
public int hashCode() {
return Objects.hash(diagnosisElements);
}
@Override
public String toString() {
return "DiagnosisSet{" +
"diagnosisElements=" + diagnosisElements +
'}';
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy