public class com.google.common.collect.testing.testers.CollectionRemoveAllTester extends com.google.common.collect.testing.AbstractCollectionTester
{
public void <init>()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
specialinvoke v.<com.google.common.collect.testing.AbstractCollectionTester: void <init>()>();
return;
}
public void testRemoveAll_emptyCollection()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.Object[] v;
java.util.Collection v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[0];
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertFalse(java.lang.String,boolean)>("removeAll(emptyCollection) should return false", v);
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectUnchanged()>();
return;
}
public void testRemoveAll_nonePresent()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.Object[] v;
java.util.Collection v;
java.lang.Object v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[1];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e3()>();
v[0] = v;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertFalse(java.lang.String,boolean)>("removeAll(disjointCollection) should return false", v);
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectUnchanged()>();
return;
}
public void testRemoveAll_allPresent()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.Object[] v, v;
java.util.Collection v;
java.lang.Object v, v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[1];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[0] = v;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertTrue(java.lang.String,boolean)>("removeAll(intersectingCollection) should return true", v);
v = newarray (java.lang.Object)[1];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[0] = v;
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectMissing(java.lang.Object[])>(v);
return;
}
public void testRemoveAll_somePresent()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.Object[] v, v;
java.util.Collection v;
java.lang.Object v, v, v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[2];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[0] = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e3()>();
v[1] = v;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertTrue(java.lang.String,boolean)>("removeAll(intersectingCollection) should return true", v);
v = newarray (java.lang.Object)[1];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[0] = v;
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectMissing(java.lang.Object[])>(v);
return;
}
public void testRemoveAllSomePresentConcurrentWithIteration()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.Object[] v;
java.util.Iterator v;
java.util.Collection v, v;
java.lang.Object v, v;
com.google.common.collect.testing.MinimalCollection v;
java.util.ConcurrentModificationException v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
label:
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = interfaceinvoke v.<java.util.Collection: java.util.Iterator iterator()>();
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[2];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[0] = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e3()>();
v[1] = v;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertTrue(boolean)>(v);
interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void fail(java.lang.String)>("Expected ConcurrentModificationException");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.util.ConcurrentModificationException from label to label with label;
}
public void testRemoveAll_somePresentLargeCollectionToRemove()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.Object[] v, v;
java.util.Collection v;
java.lang.Object v, v, v, v, v, v, v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[6];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[0] = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[1] = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[2] = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e3()>();
v[3] = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e3()>();
v[4] = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e3()>();
v[5] = v;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertTrue(java.lang.String,boolean)>("removeAll(largeIntersectingCollection) should return true", v);
v = newarray (java.lang.Object)[1];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[0] = v;
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectMissing(java.lang.Object[])>(v);
return;
}
public void testRemoveAll_unsupportedEmptyCollection()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.UnsupportedOperationException v;
java.lang.Object[] v;
java.util.Collection v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
label:
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[0];
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertFalse(java.lang.String,boolean)>("removeAll(emptyCollection) should return false or throw UnsupportedOperationException", v);
label:
goto label;
label:
v := @caughtexception;
label:
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectUnchanged()>();
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testRemoveAll_unsupportedNonePresent()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.UnsupportedOperationException v;
java.lang.Object[] v;
java.util.Collection v;
java.lang.Object v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
label:
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[1];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e3()>();
v[0] = v;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertFalse(java.lang.String,boolean)>("removeAll(disjointCollection) should return false or throw UnsupportedOperationException", v);
label:
goto label;
label:
v := @caughtexception;
label:
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectUnchanged()>();
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testRemoveAll_unsupportedPresent()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.UnsupportedOperationException v;
java.lang.Object[] v;
java.util.Collection v, v;
java.lang.Object v, v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
label:
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (java.lang.Object)[1];
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v[0] = v;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void fail(java.lang.String)>("removeAll(intersectingCollection) should throw UnsupportedOperationException");
label:
goto label;
label:
v := @caughtexception;
label:
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectUnchanged()>();
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.Collection: boolean contains(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertTrue(boolean)>(v);
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testRemoveAll_nullCollectionReferenceEmptySubject()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.NullPointerException v;
java.util.Collection v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
label:
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(null);
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.NullPointerException from label to label with label;
}
public void testRemoveAll_nullCollectionReferenceNonEmptySubject()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.NullPointerException v;
java.util.Collection v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
label:
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(null);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void fail(java.lang.String)>("removeAll(null) should throw NullPointerException");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.NullPointerException from label to label with label;
}
public void testRemoveAll_containsNullNo()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.Object[] v;
java.util.Collection v;
com.google.common.collect.testing.MinimalCollection v;
java.lang.NullPointerException v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
v = newarray (java.lang.Object)[1];
v[0] = null;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
label:
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertFalse(java.lang.String,boolean)>("removeAll(containsNull) should return false or throw", v);
label:
goto label;
label:
v := @caughtexception;
label:
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectUnchanged()>();
return;
catch java.lang.NullPointerException from label to label with label;
}
public void testRemoveAll_containsNullNoButAllowed()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.lang.Object[] v;
java.util.Collection v;
com.google.common.collect.testing.MinimalCollection v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
v = newarray (java.lang.Object)[1];
v[0] = null;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertFalse(java.lang.String,boolean)>("removeAll(containsNull) should return false", v);
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectUnchanged()>();
return;
}
public void testRemoveAll_containsNullYes()
{
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
java.util.Collection v;
java.util.Set v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void initCollectionWithNullElement()>();
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = staticinvoke <java.util.Collections: java.util.Set singleton(java.lang.Object)>(null);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertTrue(java.lang.String,boolean)>("removeAll(containsNull) should return true", v);
return;
}
public void testRemoveAll_containsWrongType()
{
com.google.common.collect.testing.WrongType[] v;
com.google.common.collect.testing.testers.CollectionRemoveAllTester v;
com.google.common.collect.testing.WrongType v;
java.util.Collection v;
com.google.common.collect.testing.MinimalCollection v;
java.lang.ClassCastException v;
boolean v;
v := @this: com.google.common.collect.testing.testers.CollectionRemoveAllTester;
label:
v = v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: java.util.Collection collection>;
v = newarray (com.google.common.collect.testing.WrongType)[1];
v = <com.google.common.collect.testing.WrongType: com.google.common.collect.testing.WrongType VALUE>;
v[0] = v;
v = staticinvoke <com.google.common.collect.testing.MinimalCollection: com.google.common.collect.testing.MinimalCollection of(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.Collection: boolean removeAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.testers.CollectionRemoveAllTester: void assertFalse(java.lang.String,boolean)>("removeAll(containsWrongType) should return false or throw", v);
label:
goto label;
label:
v := @caughtexception;
label:
virtualinvoke v.<com.google.common.collect.testing.testers.CollectionRemoveAllTester: void expectUnchanged()>();
return;
catch java.lang.ClassCastException from label to label with label;
}
}