public class com.google.common.collect.testing.google.MultisetElementSetTester extends com.google.common.collect.testing.google.AbstractMultisetTester
{
public void <init>()
{
com.google.common.collect.testing.google.MultisetElementSetTester v;
v := @this: com.google.common.collect.testing.google.MultisetElementSetTester;
specialinvoke v.<com.google.common.collect.testing.google.AbstractMultisetTester: void <init>()>();
return;
}
public void testElementSetReflectsAddAbsent()
{
com.google.common.collect.testing.google.MultisetElementSetTester v;
com.google.common.collect.Multiset v, v;
java.util.Set v;
java.lang.Object v, v, v;
boolean v, v;
v := @this: com.google.common.collect.testing.google.MultisetElementSetTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: java.util.Set elementSet()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e3()>();
v = interfaceinvoke v.<java.util.Set: boolean contains(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertFalse(boolean)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e3()>();
interfaceinvoke v.<com.google.common.collect.Multiset: int add(java.lang.Object,int)>(v, 4);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e3()>();
v = interfaceinvoke v.<java.util.Set: boolean contains(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertTrue(boolean)>(v);
return;
}
public void testElementSetReflectsRemove()
{
com.google.common.collect.testing.google.MultisetElementSetTester v;
com.google.common.collect.Multiset v, v;
java.util.Set v, v;
java.lang.Object v, v, v;
boolean v, v;
v := @this: com.google.common.collect.testing.google.MultisetElementSetTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: java.util.Set elementSet()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.Set: boolean contains(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertTrue(boolean)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e0()>();
v = staticinvoke <java.util.Collections: java.util.Set singleton(java.lang.Object)>(v);
interfaceinvoke v.<com.google.common.collect.Multiset: boolean removeAll(java.util.Collection)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.Set: boolean contains(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertFalse(boolean)>(v);
return;
}
public void testElementSetRemovePropagatesToMultiset()
{
com.google.common.collect.testing.google.MultisetElementSetTester v;
com.google.common.collect.Multiset v, v, v, v;
java.util.Set v;
int v, v, v, v;
java.lang.Object v, v, v;
boolean v, v;
v := @this: com.google.common.collect.testing.google.MultisetElementSetTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: java.util.Set elementSet()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: int getNumElements()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
v = v - v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.Set: boolean remove(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertTrue(boolean)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: boolean contains(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertFalse(boolean)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int size()>();
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertEquals(int,int)>(v, v);
return;
}
public void testElementSetRemoveDuplicatePropagatesToMultiset()
{
com.google.common.collect.testing.google.MultisetElementSetTester v;
com.google.common.collect.Multiset v, v, v, v;
java.util.Set v;
int v, v, v, v;
java.lang.Object v, v;
boolean v;
v := @this: com.google.common.collect.testing.google.MultisetElementSetTester;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: void initThreeCopies()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: int getNumElements()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
v = v - v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: java.util.Set elementSet()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.Set: boolean remove(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertTrue(boolean)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
staticinvoke <com.google.common.collect.testing.Helpers: void assertEmpty(java.lang.Iterable)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int size()>();
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertEquals(int,int)>(v, v);
return;
}
public void testElementSetRemoveAbsent()
{
com.google.common.collect.testing.google.MultisetElementSetTester v;
com.google.common.collect.Multiset v;
java.util.Set v;
java.lang.Object v;
boolean v;
v := @this: com.google.common.collect.testing.google.MultisetElementSetTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: java.util.Set elementSet()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: java.lang.Object e3()>();
v = interfaceinvoke v.<java.util.Set: boolean remove(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetElementSetTester: void assertFalse(boolean)>(v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: void expectUnchanged()>();
return;
}
public void testElementSetClear()
{
com.google.common.collect.testing.google.MultisetElementSetTester v;
com.google.common.collect.Multiset v, v;
java.util.Set v;
v := @this: com.google.common.collect.testing.google.MultisetElementSetTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: java.util.Set elementSet()>();
interfaceinvoke v.<java.util.Set: void clear()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetElementSetTester: com.google.common.collect.Multiset getMultiset()>();
staticinvoke <com.google.common.collect.testing.Helpers: void assertEmpty(java.lang.Iterable)>(v);
return;
}
public static java.util.List getElementSetDuplicateInitializingMethods()
{
java.util.List v;
java.lang.reflect.Method v;
java.lang.reflect.Method[] v;
v = newarray (java.lang.reflect.Method)[1];
v = staticinvoke <com.google.common.collect.testing.Helpers: java.lang.reflect.Method getMethod(java.lang.Class,java.lang.String)>(class "Lcom/google/common/collect/testing/google/MultisetElementSetTester;", "testElementSetRemoveDuplicatePropagatesToMultiset");
v[0] = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
return v;
}
}