@Test public void testEquals() { Model mo = new DefaultModel(); VM v = mo.newVM(); Root s = new Root(v); Assert.assertTrue(s.equals(s)); Assert.assertTrue(new Root(v).equals(s)); Assert.assertEquals(s.hashCode(), new Root(v).hashCode()); Assert.assertFalse(new Root(mo.newVM()).equals(s)); }
@Override public boolean equals(Object o) { if (this == o) { return true; } if (o == null || getClass() != o.getClass()) { return false; } Root root = (Root) o; return Objects.equals(vm, root.vm); }
Root implements SatConstraint { @Override public boolean equals(Object o) { if (this == o) { return true; } if (o == null || getClass() != o.getClass()) { return false; } Root root = (Root) o; return Objects.equals(vm, root.vm); } }
Root implements SatConstraint { @Override public boolean equals(Object o) { if (this == o) { return true; } if (o == null || getClass() != o.getClass()) { return false; } Root root = (Root) o; return Objects.equals(vm, root.vm); } Root(VM vm); }
Root implements SatConstraint { @Override public boolean equals(Object o) { if (this == o) { return true; } if (o == null || getClass() != o.getClass()) { return false; } Root root = (Root) o; return Objects.equals(vm, root.vm); } Root(VM vm); @Override String toString(); @Override Collection<VM> getInvolvedVMs(); @Override boolean setContinuous(boolean b); @Override RootChecker getChecker(); @Override boolean equals(Object o); @Override int hashCode(); @Override boolean isContinuous(); static List<Root> newRoots(Collection<VM> vms); }
Root implements SatConstraint { @Override public boolean equals(Object o) { if (this == o) { return true; } if (o == null || getClass() != o.getClass()) { return false; } Root root = (Root) o; return Objects.equals(vm, root.vm); } Root(VM vm); @Override String toString(); @Override Collection<VM> getInvolvedVMs(); @Override boolean setContinuous(boolean b); @Override RootChecker getChecker(); @Override boolean equals(Object o); @Override int hashCode(); @Override boolean isContinuous(); static List<Root> newRoots(Collection<VM> vms);  }