public class com.google.common.collect.testing.google.MultisetNavigationTester extends com.google.common.collect.testing.google.AbstractMultisetTester
{
private com.google.common.collect.SortedMultiset sortedMultiset;
private java.util.List entries;
private com.google.common.collect.Multiset$Entry a;
private com.google.common.collect.Multiset$Entry b;
private com.google.common.collect.Multiset$Entry c;
public void <init>()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
specialinvoke v.<com.google.common.collect.testing.google.AbstractMultisetTester: void <init>()>();
return;
}
static com.google.common.collect.SortedMultiset cast(com.google.common.collect.Multiset)
{
com.google.common.collect.Multiset v;
v := @parameter: com.google.common.collect.Multiset;
return v;
}
public void setUp() throws java.lang.Exception
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Collection v;
com.google.common.collect.Multiset$Entry v, v, v;
com.google.common.collect.testing.features.CollectionSize v;
java.util.List v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset v;
int v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v;
java.util.Comparator v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
specialinvoke v.<com.google.common.collect.testing.google.AbstractMultisetTester: void setUp()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset getMultiset()>();
v = staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset cast(com.google.common.collect.Multiset)>(v);
v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset> = v;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object getSubjectGenerator()>();
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object getSubjectGenerator()>();
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: com.google.common.collect.testing.features.CollectionSize getCollectionSize()>();
v = virtualinvoke v.<com.google.common.collect.testing.features.CollectionSize: int getNumElements()>();
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.util.Collection getSampleElements(int)>(v);
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries> = v;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Comparator comparator()>();
staticinvoke <java.util.Collections: void sort(java.util.List,java.util.Comparator)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: int size()>();
if v < 1 goto label;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(0);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(0);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: int count(java.lang.Object)>(v);
v = staticinvoke <com.google.common.collect.Multisets: com.google.common.collect.Multiset$Entry immutableEntry(java.lang.Object,int)>(v, v);
v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a> = v;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: int size()>();
if v < 3 goto label;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(1);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(1);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: int count(java.lang.Object)>(v);
v = staticinvoke <com.google.common.collect.Multisets: com.google.common.collect.Multiset$Entry immutableEntry(java.lang.Object,int)>(v, v);
v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b> = v;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(2);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(2);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: int count(java.lang.Object)>(v);
v = staticinvoke <com.google.common.collect.Multisets: com.google.common.collect.Multiset$Entry immutableEntry(java.lang.Object,int)>(v, v);
v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c> = v;
label:
return;
}
private void resetWithHole()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.lang.Object[] v;
com.google.common.collect.Multiset v;
java.util.ArrayList v;
int v, v;
com.google.common.collect.Multiset$Entry v, v, v, v;
java.util.List v, v;
java.lang.Object v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: int getCount()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = staticinvoke <java.util.Collections: java.util.List nCopies(int,java.lang.Object)>(v, v);
interfaceinvoke v.<java.util.List: boolean addAll(java.util.Collection)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: int getCount()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = staticinvoke <java.util.Collections: java.util.List nCopies(int,java.lang.Object)>(v, v);
interfaceinvoke v.<java.util.List: boolean addAll(java.util.Collection)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object getSubjectGenerator()>();
v = interfaceinvoke v.<java.util.List: java.lang.Object[] toArray()>();
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.lang.Object create(java.lang.Object[])>(v);
specialinvoke v.<com.google.common.collect.testing.google.AbstractMultisetTester: java.util.Collection resetContainer(java.util.Collection)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset getMultiset()>();
v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset> = v;
return;
}
public void testEmptyMultisetFirst()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
java.util.NavigableSet v;
com.google.common.collect.Multiset$Entry v;
java.util.NoSuchElementException v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
label:
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.NavigableSet elementSet()>();
interfaceinvoke v.<java.util.NavigableSet: java.lang.Object first()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void fail()>();
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.util.NoSuchElementException from label to label with label;
}
public void testEmptyMultisetPollFirst()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v;
com.google.common.collect.Multiset$Entry v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry pollFirstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testEmptyMultisetNearby()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.BoundType[] v;
com.google.common.collect.Multiset$Entry v, v;
com.google.common.collect.SortedMultiset v, v, v, v;
com.google.common.collect.BoundType v;
int v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = staticinvoke <com.google.common.collect.BoundType: com.google.common.collect.BoundType[] values()>();
v = lengthof v;
v = 0;
label:
if v >= v goto label;
v = v[v];
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
v = v + 1;
goto label;
label:
return;
}
public void testEmptyMultisetLast()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
java.lang.Object v;
java.util.NavigableSet v;
com.google.common.collect.Multiset$Entry v;
java.util.NoSuchElementException v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
label:
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.NavigableSet elementSet()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object last()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void fail()>();
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.util.NoSuchElementException from label to label with label;
}
public void testEmptyMultisetPollLast()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v;
com.google.common.collect.Multiset$Entry v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry pollLastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testSingletonMultisetFirst()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testSingletonMultisetPollFirst()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
com.google.common.collect.Multiset$Entry v, v;
boolean v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry pollFirstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: boolean isEmpty()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertTrue(boolean)>(v);
return;
}
public void testSingletonMultisetNearby()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v;
java.lang.Object v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object e0()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object e0()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object e0()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: java.lang.Object e0()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testSingletonMultisetLast()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testSingletonMultisetPollLast()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
com.google.common.collect.Multiset$Entry v, v;
boolean v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry pollLastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: boolean isEmpty()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertTrue(boolean)>(v);
return;
}
public void testFirst()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollFirst()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.util.Set v;
com.google.common.collect.Multiset$Entry v, v, v, v;
com.google.common.collect.SortedMultiset v, v;
java.util.List v, v;
com.google.common.collect.Multiset$Entry[] v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry pollFirstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = newarray (com.google.common.collect.Multiset$Entry)[2];
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v[0] = v;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v[1] = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollFirstUnsupported()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.lang.UnsupportedOperationException v;
com.google.common.collect.SortedMultiset v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
label:
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry pollFirstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void fail()>();
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testLower()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v;
java.lang.Object v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testFloor()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v;
java.lang.Object v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testCeiling()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v;
java.lang.Object v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testHigher()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v;
java.lang.Object v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
return;
}
public void testLast()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollLast()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.util.Set v;
com.google.common.collect.Multiset$Entry v, v, v, v;
com.google.common.collect.SortedMultiset v, v;
java.util.List v, v;
com.google.common.collect.Multiset$Entry[] v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry pollLastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = newarray (com.google.common.collect.Multiset$Entry)[2];
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v[0] = v;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v[1] = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollLastUnsupported()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.lang.UnsupportedOperationException v;
com.google.common.collect.SortedMultiset v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
label:
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.Multiset$Entry pollLastEntry()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void fail()>();
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testDescendingNavigation()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.util.Iterator v, v;
java.util.Set v, v;
java.util.ArrayList v, v;
com.google.common.collect.SortedMultiset v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = interfaceinvoke v.<java.util.Set: java.util.Iterator iterator()>();
staticinvoke <com.google.common.collect.Iterators: boolean addAll(java.util.Collection,java.util.Iterator)>(v, v);
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset descendingMultiset()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = interfaceinvoke v.<java.util.Set: java.util.Iterator iterator()>();
staticinvoke <com.google.common.collect.Iterators: boolean addAll(java.util.Collection,java.util.Iterator)>(v, v);
staticinvoke <java.util.Collections: void reverse(java.util.List)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
void expectAddFailure(com.google.common.collect.SortedMultiset, com.google.common.collect.Multiset$Entry)
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.Multiset$Entry v;
java.lang.IllegalArgumentException v, v, v;
com.google.common.collect.SortedMultiset v;
java.util.List v;
int v;
java.lang.Object v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v := @parameter: com.google.common.collect.SortedMultiset;
v := @parameter: com.google.common.collect.Multiset$Entry;
label:
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: int getCount()>();
interfaceinvoke v.<com.google.common.collect.SortedMultiset: int add(java.lang.Object,int)>(v, v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void fail(java.lang.String)>("Expected IllegalArgumentException");
label:
goto label;
label:
v := @caughtexception;
label:
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
interfaceinvoke v.<com.google.common.collect.SortedMultiset: boolean add(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void fail(java.lang.String)>("Expected IllegalArgumentException");
label:
goto label;
label:
v := @caughtexception;
label:
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = staticinvoke <java.util.Collections: java.util.List singletonList(java.lang.Object)>(v);
interfaceinvoke v.<com.google.common.collect.SortedMultiset: boolean addAll(java.util.Collection)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void fail(java.lang.String)>("Expected IllegalArgumentException");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.IllegalArgumentException from label to label with label;
catch java.lang.IllegalArgumentException from label to label with label;
catch java.lang.IllegalArgumentException from label to label with label;
}
void expectRemoveZero(com.google.common.collect.SortedMultiset, com.google.common.collect.Multiset$Entry)
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.util.NavigableSet v;
com.google.common.collect.Multiset$Entry v;
com.google.common.collect.SortedMultiset v;
int v, v;
java.lang.Object v, v, v;
boolean v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v := @parameter: com.google.common.collect.SortedMultiset;
v := @parameter: com.google.common.collect.Multiset$Entry;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: int getCount()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: int remove(java.lang.Object,int)>(v, v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(int,int)>(0, v);
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: boolean remove(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertFalse(boolean)>(v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.NavigableSet elementSet()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = interfaceinvoke v.<java.util.NavigableSet: boolean remove(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertFalse(boolean)>(v);
return;
}
void expectSetCountFailure(com.google.common.collect.SortedMultiset, com.google.common.collect.Multiset$Entry)
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.Multiset$Entry v;
java.lang.IllegalArgumentException v, v;
com.google.common.collect.SortedMultiset v;
int v, v, v;
java.lang.Object v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v := @parameter: com.google.common.collect.SortedMultiset;
v := @parameter: com.google.common.collect.Multiset$Entry;
label:
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: int count(java.lang.Object)>(v);
interfaceinvoke v.<com.google.common.collect.SortedMultiset: int setCount(java.lang.Object,int)>(v, v);
label:
goto label;
label:
v := @caughtexception;
label:
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: int count(java.lang.Object)>(v);
v = v + 1;
interfaceinvoke v.<com.google.common.collect.SortedMultiset: int setCount(java.lang.Object,int)>(v, v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void fail(java.lang.String)>("Expected IllegalArgumentException");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.IllegalArgumentException from label to label with label;
catch java.lang.IllegalArgumentException from label to label with label;
}
public void testAddOutOfTailBoundsOne()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
com.google.common.collect.BoundType v;
java.lang.Object v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testAddOutOfTailBoundsSeveral()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testAddOutOfHeadBoundsOne()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
com.google.common.collect.BoundType v;
java.lang.Object v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testAddOutOfHeadBoundsSeveral()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testRemoveOutOfTailBoundsOne()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
com.google.common.collect.BoundType v;
java.lang.Object v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testRemoveOutOfTailBoundsSeveral()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testRemoveOutOfHeadBoundsOne()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
com.google.common.collect.BoundType v;
java.lang.Object v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testRemoveOutOfHeadBoundsSeveral()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectRemoveZero(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testSetCountOutOfTailBoundsOne()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
com.google.common.collect.BoundType v;
java.lang.Object v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testSetCountOutOfTailBoundsSeveral()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testSetCountOutOfHeadBoundsOne()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v;
com.google.common.collect.BoundType v;
java.lang.Object v;
com.google.common.collect.Multiset$Entry v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testSetCountOutOfHeadBoundsSeveral()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectSetCountFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
return;
}
public void testAddWithConflictingBounds()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v, v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultisetSupportingAdd(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultisetSupportingAdd(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultisetSupportingAdd(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultisetSupportingAdd(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultisetSupportingAdd(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultisetSupportingAdd(com.google.common.collect.SortedMultiset)>(v);
return;
}
public void testConflictingBounds()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.Multiset$Entry v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.BoundType v, v, v, v, v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultiset(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultiset(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultiset(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultiset(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultiset(com.google.common.collect.SortedMultiset)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset subMultiset(java.lang.Object,com.google.common.collect.BoundType,java.lang.Object,com.google.common.collect.BoundType)>(v, v, v, v);
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testEmptyRangeSubMultiset(com.google.common.collect.SortedMultiset)>(v);
return;
}
public void testEmptyRangeSubMultiset(com.google.common.collect.SortedMultiset)
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.lang.Object[] v, v;
com.google.common.collect.SortedMultiset v;
int v, v, v, v;
boolean v, v, v, v;
java.util.Iterator v, v;
java.util.Set v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v := @parameter: com.google.common.collect.SortedMultiset;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: boolean isEmpty()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertTrue(boolean)>(v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: int size()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(int,int)>(0, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.lang.Object[] toArray()>();
v = lengthof v;
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(int,int)>(0, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = interfaceinvoke v.<java.util.Set: boolean isEmpty()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertTrue(boolean)>(v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Iterator iterator()>();
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertFalse(boolean)>(v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = interfaceinvoke v.<java.util.Set: int size()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(int,int)>(0, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = interfaceinvoke v.<java.util.Set: java.lang.Object[] toArray()>();
v = lengthof v;
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(int,int)>(0, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = interfaceinvoke v.<java.util.Set: java.util.Iterator iterator()>();
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertFalse(boolean)>(v);
return;
}
public void testEmptyRangeSubMultisetSupportingAdd(com.google.common.collect.SortedMultiset)
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.util.Iterator v;
com.google.common.collect.Multiset$Entry v, v, v;
com.google.common.collect.SortedMultiset v;
java.util.List v;
java.lang.Object v;
boolean v;
com.google.common.collect.Multiset$Entry[] v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v := @parameter: com.google.common.collect.SortedMultiset;
v = newarray (com.google.common.collect.Multiset$Entry)[3];
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry a>;
v[0] = v;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v[1] = v;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry c>;
v[2] = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
v = interfaceinvoke v.<java.util.List: java.util.Iterator iterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void expectAddFailure(com.google.common.collect.SortedMultiset,com.google.common.collect.Multiset$Entry)>(v, v);
goto label;
label:
return;
}
private static int totalSize(java.lang.Iterable)
{
java.util.Iterator v;
int v, v;
java.lang.Object v;
java.lang.Iterable v;
boolean v;
v := @parameter: java.lang.Iterable;
v = 0;
v = interfaceinvoke v.<java.lang.Iterable: java.util.Iterator iterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: int getCount()>();
v = v + v;
goto label;
label:
return v;
}
private void testSubMultisetEntrySet(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.util.Set v, v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
com.google.common.collect.SortedMultiset v, v, v;
java.util.List v, v, v;
int v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v := @parameter: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = 0;
label:
v = interfaceinvoke v.<java.util.List: int size()>();
if v >= v goto label;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: java.util.List expectedEntries(int,java.util.List)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.SortedMultiset subMultiset(com.google.common.collect.SortedMultiset,java.util.List,int)>(v, v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v + 1;
goto label;
label:
return;
}
private void testSubMultisetSize(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
java.util.Set v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
com.google.common.collect.SortedMultiset v, v, v;
java.util.List v, v;
int v, v, v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v := @parameter: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = 0;
label:
v = interfaceinvoke v.<java.util.List: int size()>();
if v >= v goto label;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: java.util.List expectedEntries(int,java.util.List)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.SortedMultiset subMultiset(com.google.common.collect.SortedMultiset,java.util.List,int)>(v, v, v);
v = staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: int totalSize(java.lang.Iterable)>(v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: int size()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(int,int)>(v, v);
v = v + 1;
goto label;
label:
return;
}
private void testSubMultisetDistinctElements(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
com.google.common.collect.SortedMultiset v, v, v;
int v, v, v, v, v, v;
java.util.Set v, v;
java.util.NavigableSet v;
java.util.List v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v := @parameter: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = 0;
label:
v = interfaceinvoke v.<java.util.List: int size()>();
if v >= v goto label;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: java.util.List expectedEntries(int,java.util.List)>(v, v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = virtualinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.SortedMultiset subMultiset(com.google.common.collect.SortedMultiset,java.util.List,int)>(v, v, v);
v = interfaceinvoke v.<java.util.List: int size()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = interfaceinvoke v.<java.util.Set: int size()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(int,int)>(v, v);
v = interfaceinvoke v.<java.util.List: int size()>();
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.NavigableSet elementSet()>();
v = interfaceinvoke v.<java.util.NavigableSet: int size()>();
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(int,int)>(v, v);
v = v + 1;
goto label;
label:
return;
}
public void testTailClosedEntrySet()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec TAIL_CLOSED>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetEntrySet(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testTailClosedSize()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec TAIL_CLOSED>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetSize(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testTailClosedDistinctElements()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec TAIL_CLOSED>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetDistinctElements(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testTailOpenEntrySet()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec TAIL_OPEN>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetEntrySet(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testTailOpenSize()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec TAIL_OPEN>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetSize(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testTailOpenDistinctElements()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec TAIL_OPEN>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetDistinctElements(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testHeadClosedEntrySet()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec HEAD_CLOSED>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetEntrySet(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testHeadClosedSize()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec HEAD_CLOSED>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetSize(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testHeadClosedDistinctElements()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec HEAD_CLOSED>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetDistinctElements(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testHeadOpenEntrySet()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec HEAD_OPEN>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetEntrySet(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testHeadOpenSize()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec HEAD_OPEN>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetSize(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testHeadOpenDistinctElements()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = <com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec: com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec HEAD_OPEN>;
specialinvoke v.<com.google.common.collect.testing.google.MultisetNavigationTester: void testSubMultisetDistinctElements(com.google.common.collect.testing.google.MultisetNavigationTester$SubMultisetSpec)>(v);
return;
}
public void testClearTailOpen()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Set v, v;
com.google.common.collect.Multiset$Entry v, v;
java.util.List v, v;
com.google.common.collect.BoundType v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
interfaceinvoke v.<com.google.common.collect.SortedMultiset: void clear()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testClearTailOpenEntrySet()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Set v, v, v;
com.google.common.collect.Multiset$Entry v, v;
java.util.List v, v;
com.google.common.collect.BoundType v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
interfaceinvoke v.<java.util.Set: void clear()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testClearTailClosed()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Set v, v;
com.google.common.collect.Multiset$Entry v, v;
java.util.List v, v;
com.google.common.collect.BoundType v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
interfaceinvoke v.<com.google.common.collect.SortedMultiset: void clear()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testClearTailClosedEntrySet()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Set v, v, v;
com.google.common.collect.Multiset$Entry v, v;
java.util.List v, v;
com.google.common.collect.BoundType v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
interfaceinvoke v.<java.util.Set: void clear()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testClearHeadOpen()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Set v, v;
com.google.common.collect.Multiset$Entry v, v;
java.util.List v, v;
com.google.common.collect.BoundType v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
interfaceinvoke v.<com.google.common.collect.SortedMultiset: void clear()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testClearHeadOpenEntrySet()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Set v, v, v;
com.google.common.collect.Multiset$Entry v, v;
java.util.List v, v;
com.google.common.collect.BoundType v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
interfaceinvoke v.<java.util.Set: void clear()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testClearHeadClosed()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Set v, v;
com.google.common.collect.Multiset$Entry v, v;
java.util.List v, v;
com.google.common.collect.BoundType v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
interfaceinvoke v.<com.google.common.collect.SortedMultiset: void clear()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testClearHeadClosedEntrySet()
{
com.google.common.collect.testing.google.MultisetNavigationTester v;
com.google.common.collect.SortedMultiset v, v, v, v, v;
java.util.Set v, v, v;
com.google.common.collect.Multiset$Entry v, v;
java.util.List v, v;
com.google.common.collect.BoundType v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.google.MultisetNavigationTester;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType OPEN>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset tailMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.Multiset$Entry b>;
v = interfaceinvoke v.<com.google.common.collect.Multiset$Entry: java.lang.Object getElement()>();
v = <com.google.common.collect.BoundType: com.google.common.collect.BoundType CLOSED>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: com.google.common.collect.SortedMultiset headMultiset(java.lang.Object,com.google.common.collect.BoundType)>(v, v);
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
interfaceinvoke v.<java.util.Set: void clear()>();
v = v.<com.google.common.collect.testing.google.MultisetNavigationTester: com.google.common.collect.SortedMultiset sortedMultiset>;
v = interfaceinvoke v.<com.google.common.collect.SortedMultiset: java.util.Set entrySet()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.google.MultisetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
}