public class com.google.common.collect.testing.google.MultisetAddTester extends com.google.common.collect.testing.google.AbstractMultisetTester
{
public void <init>()
{
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
specialinvoke v.<com.google.common.collect.testing.google.AbstractMultisetTester: void <init>()>();
return;
}
public void testAddUnsupported()
{
java.lang.UnsupportedOperationException v;
com.google.common.collect.Multiset v;
java.lang.Object v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
label:
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
interfaceinvoke v.<com.google.common.collect.Multiset: boolean add(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void fail(java.lang.String)>("Expected UnsupportedOperationException");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testAddMeansAddOne()
{
com.google.common.collect.Multiset v, v, v;
int v, v, v;
java.lang.Object v, v, v;
boolean v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: boolean add(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertTrue(boolean)>(v);
v = v + 1;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(int,int)>(v, v);
return;
}
public void testAddOccurrencesZero()
{
com.google.common.collect.Multiset v, v;
int v, v;
java.lang.Object v, v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int add(java.lang.Object,int)>(v, 0);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(java.lang.String,int,int)>("old count", v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: void expectUnchanged()>();
return;
}
public void testAddOccurrences()
{
com.google.common.collect.Multiset v, v, v;
int v, v, v, v;
java.lang.Object v, v, v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int add(java.lang.Object,int)>(v, 2);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(java.lang.String,int,int)>("old count", v, v);
v = v + 2;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(java.lang.String,int,int)>("old count", v, v);
return;
}
public void testAddSeveralTimes()
{
com.google.common.collect.Multiset v, v, v, v, v;
int v, v, v, v, v, v;
boolean v;
java.lang.Object v, v, v, v, v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int add(java.lang.Object,int)>(v, 2);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(int,int)>(v, v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: boolean add(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertTrue(boolean)>(v);
v = v + 3;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int add(java.lang.Object,int)>(v, 1);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(int,int)>(v, v);
v = v + 4;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(int,int)>(v, v);
return;
}
public void testAddOccurrences_unsupported()
{
java.lang.UnsupportedOperationException v;
com.google.common.collect.Multiset v;
java.lang.Object v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
label:
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
interfaceinvoke v.<com.google.common.collect.Multiset: int add(java.lang.Object,int)>(v, 2);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void fail(java.lang.String)>("unsupported multiset.add(E, int) didn\'t throw exception");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testAddOccurrencesNegative()
{
com.google.common.collect.Multiset v;
int v;
java.lang.Object v;
java.lang.IllegalArgumentException v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
label:
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e0()>();
v = (int) -1;
interfaceinvoke v.<com.google.common.collect.Multiset: int add(java.lang.Object,int)>(v, v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void fail(java.lang.String)>("multiset.add(E, -1) didn\'t throw an exception");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.IllegalArgumentException from label to label with label;
}
public void testAddTooMany()
{
com.google.common.collect.Multiset v, v, v, v;
java.lang.IllegalArgumentException v;
int v, v;
java.lang.Object v, v, v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
interfaceinvoke v.<com.google.common.collect.Multiset: int add(java.lang.Object,int)>(v, 2147483647);
label:
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
interfaceinvoke v.<com.google.common.collect.Multiset: boolean add(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void fail()>();
label:
goto label;
label:
v := @caughtexception;
label:
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int count(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(int,int)>(2147483647, v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: int size()>();
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertEquals(int,int)>(2147483647, v);
return;
catch java.lang.IllegalArgumentException from label to label with label;
}
public void testAddAll_emptySet()
{
com.google.common.collect.Multiset v;
java.util.Set v;
boolean v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = staticinvoke <java.util.Collections: java.util.Set emptySet()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset: boolean addAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertFalse(boolean)>(v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: void expectUnchanged()>();
return;
}
public void testAddAll_emptyMultiset()
{
java.lang.Object[] v;
com.google.common.collect.Multiset v;
java.lang.Object v, v;
boolean v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object getSubjectGenerator()>();
v = newarray (java.lang.Object)[0];
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.lang.Object create(java.lang.Object[])>(v);
v = interfaceinvoke v.<com.google.common.collect.Multiset: boolean addAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertFalse(boolean)>(v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: void expectUnchanged()>();
return;
}
public void testAddAll_nonEmptyList()
{
java.lang.Object[] v, v;
com.google.common.collect.Multiset v;
java.util.List v;
java.lang.Object v, v, v, v, v, v;
boolean v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = newarray (java.lang.Object)[3];
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v[0] = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e4()>();
v[1] = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v[2] = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
v = interfaceinvoke v.<com.google.common.collect.Multiset: boolean addAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertTrue(boolean)>(v);
v = newarray (java.lang.Object)[3];
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v[0] = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e4()>();
v[1] = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v[2] = v;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: void expectAdded(java.lang.Object[])>(v);
return;
}
public void testAddAll_nonEmptyMultiset()
{
java.lang.Object[] v, v;
com.google.common.collect.Multiset v;
java.lang.Object v, v, v, v, v, v, v, v;
boolean v;
com.google.common.collect.testing.google.MultisetAddTester v;
v := @this: com.google.common.collect.testing.google.MultisetAddTester;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: com.google.common.collect.Multiset getMultiset()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object getSubjectGenerator()>();
v = newarray (java.lang.Object)[3];
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v[0] = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e4()>();
v[1] = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v[2] = v;
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.lang.Object create(java.lang.Object[])>(v);
v = interfaceinvoke v.<com.google.common.collect.Multiset: boolean addAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetAddTester: void assertTrue(boolean)>(v);
v = newarray (java.lang.Object)[3];
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v[0] = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e4()>();
v[1] = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: java.lang.Object e3()>();
v[2] = v;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetAddTester: void expectAdded(java.lang.Object[])>(v);
return;
}
}