public void testEquals () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c = new ListVarSet (uni, Arrays.asList (new Variable[] { vars[0], vars[3] })); HashVarSet c2 = new HashVarSet (c); assertTrue (c2.equals (c)); assertTrue (c.equals (c2)); }
public void testEquals () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c = new ListVarSet (uni, Arrays.asList (new Variable[] { vars[0], vars[3] })); HashVarSet c2 = new HashVarSet (c); assertTrue (c2.equals (c)); assertTrue (c.equals (c2)); }
public void testEqualsHashCode () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c1 = new ListVarSet (uni, Arrays.asList (vars)); ListVarSet c2 = new ListVarSet (uni, Arrays.asList (vars)); assertTrue(c1.equals (c2)); assertTrue(c2.equals (c1)); assertEquals (c1.hashCode(), c2.hashCode ()); }
public void testEqualsHashCode () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c1 = new ListVarSet (uni, Arrays.asList (vars)); ListVarSet c2 = new ListVarSet (uni, Arrays.asList (vars)); assertTrue(c1.equals (c2)); assertTrue(c2.equals (c1)); assertEquals (c1.hashCode(), c2.hashCode ()); }
public void testContains () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c = new ListVarSet (uni, Arrays.asList (new Variable[] { vars[0], vars[3] })); assertTrue (c.contains (vars[0])); assertTrue (!c.contains (vars[1])); assertTrue (!c.contains (vars[2])); assertTrue (c.contains (vars[3])); assertEquals (vars[0], c.get (0)); assertEquals (vars[3], c.get (1)); assertEquals (2, c.size ()); }
public void testContains () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c = new ListVarSet (uni, Arrays.asList (new Variable[] { vars[0], vars[3] })); assertTrue (c.contains (vars[0])); assertTrue (!c.contains (vars[1])); assertTrue (!c.contains (vars[2])); assertTrue (c.contains (vars[3])); assertEquals (vars[0], c.get (0)); assertEquals (vars[3], c.get (1)); assertEquals (2, c.size ()); }
public void testHashCodeByHashVarSet () { Variable[] vars = new Variable [2]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c1 = new ListVarSet (uni, Arrays.asList (vars)); HashVarSet c2 = new HashVarSet (vars); assertTrue (c1.equals (c2)); assertEquals (c1.hashCode (), c2.hashCode ()); }
public void testHashCodeByHashVarSet () { Variable[] vars = new Variable [2]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c1 = new ListVarSet (uni, Arrays.asList (vars)); HashVarSet c2 = new HashVarSet (vars); assertTrue (c1.equals (c2)); assertEquals (c1.hashCode (), c2.hashCode ()); }
public void testSerialization () throws IOException, ClassNotFoundException { Variable[] vars_orig = new Variable [4]; for (int i = 0; i < vars_orig.length; i++) { vars_orig[i] = new Variable(3); } Universe uni = vars_orig[0].getUniverse (); ListVarSet c_orig = new ListVarSet (uni, Arrays.asList (new Variable[] { vars_orig[0], vars_orig[3] })); ListVarSet c = (ListVarSet) TestSerializable.cloneViaSerialization (c_orig); Universe uni_new = c.get (0).getUniverse (); Variable[] vars = new Variable[] { uni_new.get (0), uni_new.get (1), uni_new.get (2), uni_new.get (3), }; assertTrue (c.contains (vars[0])); assertTrue (!c.contains (vars[1])); assertTrue (!c.contains (vars[2])); assertTrue (c.contains (vars[3])); assertEquals (vars[0], c.get (0)); assertEquals (vars[3], c.get (1)); assertEquals (2, c.size ()); }
public void testSerialization () throws IOException, ClassNotFoundException { Variable[] vars_orig = new Variable [4]; for (int i = 0; i < vars_orig.length; i++) { vars_orig[i] = new Variable(3); } Universe uni = vars_orig[0].getUniverse (); ListVarSet c_orig = new ListVarSet (uni, Arrays.asList (new Variable[] { vars_orig[0], vars_orig[3] })); ListVarSet c = (ListVarSet) TestSerializable.cloneViaSerialization (c_orig); Universe uni_new = c.get (0).getUniverse (); Variable[] vars = new Variable[] { uni_new.get (0), uni_new.get (1), uni_new.get (2), uni_new.get (3), }; assertTrue (c.contains (vars[0])); assertTrue (!c.contains (vars[1])); assertTrue (!c.contains (vars[2])); assertTrue (c.contains (vars[3])); assertEquals (vars[0], c.get (0)); assertEquals (vars[3], c.get (1)); assertEquals (2, c.size ()); }