hydra.langs.scala.meta.Enumerator_Val Maven / Gradle / Ivy
package hydra.langs.scala.meta;
import java.io.Serializable;
public class Enumerator_Val implements Serializable {
public static final hydra.core.Name NAME = new hydra.core.Name("hydra/langs/scala/meta.Enumerator.Val");
public final hydra.langs.scala.meta.Pat pat;
public final hydra.langs.scala.meta.Data rhs;
public Enumerator_Val (hydra.langs.scala.meta.Pat pat, hydra.langs.scala.meta.Data rhs) {
this.pat = pat;
this.rhs = rhs;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Enumerator_Val)) {
return false;
}
Enumerator_Val o = (Enumerator_Val) (other);
return pat.equals(o.pat) && rhs.equals(o.rhs);
}
@Override
public int hashCode() {
return 2 * pat.hashCode() + 3 * rhs.hashCode();
}
public Enumerator_Val withPat(hydra.langs.scala.meta.Pat pat) {
return new Enumerator_Val(pat, rhs);
}
public Enumerator_Val withRhs(hydra.langs.scala.meta.Data rhs) {
return new Enumerator_Val(pat, rhs);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy