public class com.google.common.collect.testing.testers.NavigableSetNavigationTester extends com.google.common.collect.testing.testers.AbstractSetTester
{
private java.util.NavigableSet navigableSet;
private java.util.List values;
private java.lang.Object a;
private java.lang.Object b;
private java.lang.Object c;
public void <init>()
{
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
specialinvoke v.<com.google.common.collect.testing.testers.AbstractSetTester: void <init>()>();
return;
}
public void setUp() throws java.lang.Exception
{
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
int v, v, v;
java.util.Collection v;
java.util.Set v;
java.util.NavigableSet v;
com.google.common.collect.testing.features.CollectionSize v;
java.util.List v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v;
java.util.Comparator v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
specialinvoke v.<com.google.common.collect.testing.testers.AbstractSetTester: void setUp()>();
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.Set getSet()>();
v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet> = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object getSubjectGenerator()>();
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: 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.testers.NavigableSetNavigationTester: java.util.List values> = v;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: 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.testers.NavigableSetNavigationTester: java.util.List values>;
v = interfaceinvoke v.<java.util.List: int size()>();
if v < 1 goto label;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(0);
v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a> = v;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = interfaceinvoke v.<java.util.List: int size()>();
if v < 3 goto label;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(1);
v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b> = v;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(2);
v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c> = v;
label:
return;
}
protected void resetWithHole()
{
java.lang.Object[] v;
java.util.Set v;
java.lang.Object v, v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object getSubjectGenerator()>();
v = newarray (java.lang.Object)[2];
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v[0] = v;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v[1] = v;
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.lang.Object create(java.lang.Object[])>(v);
specialinvoke v.<com.google.common.collect.testing.testers.AbstractSetTester: java.util.Collection resetContainer(java.util.Collection)>(v);
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.Set getSet()>();
v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet> = v;
return;
}
public void testEmptySetPollFirst()
{
java.lang.Object v;
java.util.NavigableSet v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object pollFirst()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testEmptySetNearby()
{
java.util.NavigableSet v, v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object lower(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object floor(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object ceiling(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object higher(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testEmptySetPollLast()
{
java.lang.Object v;
java.util.NavigableSet v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object pollLast()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testSingletonSetPollFirst()
{
java.lang.Object v, v;
java.util.NavigableSet v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
boolean v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object pollFirst()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: boolean isEmpty()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertTrue(boolean)>(v);
return;
}
public void testSingletonSetNearby()
{
java.util.NavigableSet v, v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object lower(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object floor(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object ceiling(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object higher(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testSingletonSetPollLast()
{
java.lang.Object v, v;
java.util.NavigableSet v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
boolean v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object pollLast()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: boolean isEmpty()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertTrue(boolean)>(v);
return;
}
public void testPollFirst()
{
java.util.NavigableSet v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.util.List v, v, v, v;
int v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object pollFirst()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = interfaceinvoke v.<java.util.List: int size()>();
v = interfaceinvoke v.<java.util.List: java.util.List subList(int,int)>(1, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollFirstUnsupported()
{
java.lang.UnsupportedOperationException v;
java.util.NavigableSet v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
label:
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
interfaceinvoke v.<java.util.NavigableSet: java.lang.Object pollFirst()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void fail()>();
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testLowerHole()
{
java.util.NavigableSet v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object lower(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object lower(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object lower(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testFloorHole()
{
java.util.NavigableSet v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object floor(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object floor(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object floor(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testCeilingHole()
{
java.util.NavigableSet v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object ceiling(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object ceiling(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object ceiling(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testHigherHole()
{
java.util.NavigableSet v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object higher(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object higher(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object higher(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
return;
}
public void testLower()
{
java.util.NavigableSet v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object lower(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object lower(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object lower(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testFloor()
{
java.util.NavigableSet v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object floor(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object floor(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object floor(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testCeiling()
{
java.util.NavigableSet v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object ceiling(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object ceiling(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object ceiling(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testHigher()
{
java.util.NavigableSet v, v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.lang.Object v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object a>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object higher(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object b>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object higher(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object higher(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
return;
}
public void testPollLast()
{
java.util.NavigableSet v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.util.List v, v, v, v;
int v, v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object c>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: java.lang.Object pollLast()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
v = interfaceinvoke v.<java.util.List: int size()>();
v = v - 1;
v = interfaceinvoke v.<java.util.List: java.util.List subList(int,int)>(0, v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.List copyToList(java.lang.Iterable)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollLastUnsupported()
{
java.lang.UnsupportedOperationException v;
java.util.NavigableSet v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
label:
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
interfaceinvoke v.<java.util.NavigableSet: java.lang.Object pollLast()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void fail()>();
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testDescendingNavigation()
{
java.util.List v;
java.util.Iterator v;
java.lang.Object v;
java.util.NavigableSet v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
boolean v;
java.util.ArrayList v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>()>();
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = interfaceinvoke v.<java.util.NavigableSet: java.util.Iterator descendingIterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
interfaceinvoke v.<java.util.List: boolean add(java.lang.Object)>(v);
goto label;
label:
staticinvoke <java.util.Collections: void reverse(java.util.List)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.List values>;
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testEmptySubSet()
{
java.lang.Object v, v;
java.util.NavigableSet v, v;
com.google.common.collect.testing.testers.NavigableSetNavigationTester v;
java.util.TreeSet v;
v := @this: com.google.common.collect.testing.testers.NavigableSetNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.util.NavigableSet navigableSet>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableSetNavigationTester: java.lang.Object e0()>();
v = interfaceinvoke v.<java.util.NavigableSet: java.util.NavigableSet subSet(java.lang.Object,boolean,java.lang.Object,boolean)>(v, 0, v, 0);
v = new java.util.TreeSet;
specialinvoke v.<java.util.TreeSet: void <init>()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableSetNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public static java.lang.reflect.Method[] getHoleMethods()
{
java.lang.reflect.Method v, v, v, v;
java.lang.reflect.Method[] v;
v = newarray (java.lang.reflect.Method)[4];
v = staticinvoke <com.google.common.collect.testing.Helpers: java.lang.reflect.Method getMethod(java.lang.Class,java.lang.String)>(class "Lcom/google/common/collect/testing/testers/NavigableSetNavigationTester;", "testLowerHole");
v[0] = v;
v = staticinvoke <com.google.common.collect.testing.Helpers: java.lang.reflect.Method getMethod(java.lang.Class,java.lang.String)>(class "Lcom/google/common/collect/testing/testers/NavigableSetNavigationTester;", "testFloorHole");
v[1] = v;
v = staticinvoke <com.google.common.collect.testing.Helpers: java.lang.reflect.Method getMethod(java.lang.Class,java.lang.String)>(class "Lcom/google/common/collect/testing/testers/NavigableSetNavigationTester;", "testCeilingHole");
v[2] = v;
v = staticinvoke <com.google.common.collect.testing.Helpers: java.lang.reflect.Method getMethod(java.lang.Class,java.lang.String)>(class "Lcom/google/common/collect/testing/testers/NavigableSetNavigationTester;", "testHigherHole");
v[3] = v;
return v;
}
}