RealBaseType extends BaseType { @Override public boolean equals(Object other) { if (this == other) { return true; } if (!(other instanceof RealBaseType)) { return false; } if (!super.equals(other)) { return false; } RealBaseType that = (RealBaseType) other; return Objects.equals(minReal, that.getMinReal()) && Objects.equals(maxReal, that.getMaxReal()); } RealBaseType();  RealBaseType(Value enums);  RealBaseType(Double minReal, Double maxReal); Double getMinReal(); Double getMaxReal(); @Override boolean equals(Object other); @Override int hashCode(); @Override String toString();  }
@Test public void testEquals() { new EqualsTester() .addEqualityGroup(new RealBaseType(), new RealBaseType(null, null)) .addEqualityGroup(new RealBaseType(Atom.real(4.2)), new RealBaseType(Atom.real(4.2))) .addEqualityGroup(new RealBaseType(2.4, 4.2), new RealBaseType(2.4, 4.2)) .testEquals(); }