public class com.google.common.collect.testing.testers.NavigableMapNavigationTester extends com.google.common.collect.testing.AbstractMapTester
{
private java.util.NavigableMap navigableMap;
private java.util.List entries;
private java.util.Map$Entry a;
private java.util.Map$Entry b;
private java.util.Map$Entry c;
public void <init>()
{
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
specialinvoke v.<com.google.common.collect.testing.AbstractMapTester: void <init>()>();
return;
}
public void setUp() throws java.lang.Exception
{
java.util.Map v;
int v, v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.Collection v;
java.util.NavigableMap 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;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
specialinvoke v.<com.google.common.collect.testing.AbstractMapTester: void setUp()>();
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map getMap()>();
v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap> = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object getSubjectGenerator()>();
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: 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.NavigableMapNavigationTester: java.util.List entries> = v;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Comparator comparator()>();
v = staticinvoke <com.google.common.collect.testing.Helpers: java.util.Comparator entryComparator(java.util.Comparator)>(v);
staticinvoke <java.util.Collections: void sort(java.util.List,java.util.Comparator)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: int size()>();
if v < 1 goto label;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(0);
v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a> = v;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: int size()>();
if v < 3 goto label;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(1);
v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b> = v;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
v = interfaceinvoke v.<java.util.List: java.lang.Object get(int)>(2);
v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c> = v;
label:
return;
}
private void resetWithHole()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.Map v;
java.util.Map$Entry[] v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = newarray (java.util.Map$Entry)[2];
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v[0] = v;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v[1] = v;
specialinvoke v.<com.google.common.collect.testing.AbstractMapTester: void resetMap(java.util.Map$Entry[])>(v);
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map getMap()>();
v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap> = v;
return;
}
public void testEmptyMapFirst()
{
java.util.Map$Entry v;
java.util.NavigableMap v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testEmptyMapPollFirst()
{
java.util.Map$Entry v;
java.util.NavigableMap v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry pollFirstEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testEmptyMapNearby()
{
java.util.Map$Entry v, v, v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap 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.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry lowerEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object lowerKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry floorEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object floorKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry ceilingEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object ceilingKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry higherEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object higherKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testEmptyMapLast()
{
java.util.Map$Entry v;
java.util.NavigableMap v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testEmptyMapPollLast()
{
java.util.Map$Entry v;
java.util.NavigableMap v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry pollLastEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testSingletonMapFirst()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testSingletonMapPollFirst()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v;
boolean v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry pollFirstEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: boolean isEmpty()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertTrue(boolean)>(v);
return;
}
public void testSingletonMapNearby()
{
java.util.Map$Entry v, v, v, v, v, v, v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v, v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry lowerEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object lowerKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry floorEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object floorKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry ceilingEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object ceilingKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry higherEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = virtualinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.lang.Object k0()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object higherKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertNull(java.lang.Object)>(v);
return;
}
public void testSingletonMapLast()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testSingletonMapPollLast()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v;
boolean v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry pollLastEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: boolean isEmpty()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertTrue(boolean)>(v);
return;
}
public void testFirst()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry firstEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollFirst()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.Set v;
java.util.NavigableMap v, v;
java.util.List v, v, v, v;
int v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry pollFirstEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
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.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: 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.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollFirstUnsupported()
{
java.lang.UnsupportedOperationException v;
java.util.NavigableMap v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
label:
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry pollFirstEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void fail()>();
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.UnsupportedOperationException from label to label with label;
}
public void testLower()
{
java.util.Map$Entry v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
specialinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry lowerEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object lowerKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry lowerEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object lowerKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry lowerEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object lowerKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testFloor()
{
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v, v, v, v, v;
java.util.Map$Entry v, v, v, 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.testers.NavigableMapNavigationTester;
specialinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry floorEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object floorKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry floorEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object floorKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry floorEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object floorKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testCeiling()
{
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v, v, v, v, v;
java.util.Map$Entry v, v, v, 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.testers.NavigableMapNavigationTester;
specialinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry ceilingEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object ceilingKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry ceilingEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object ceilingKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry ceilingEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object ceilingKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testHigher()
{
java.util.Map$Entry v, v, v, v, v, v, v, v, v, v, v, v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v, v, v, v, v;
java.lang.Object v, v, v, v, v, v, v, v, v, v, v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
specialinvoke v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: void resetWithHole()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry higherEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object higherKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry higherEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry b>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object higherKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry higherEntry(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.lang.Object higherKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(null, v);
return;
}
public void testLast()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry lastEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollLast()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.Set v;
java.util.NavigableMap v, v;
java.util.List v, v, v, v;
int v, v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry c>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry pollLastEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
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.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: 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.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testPollLastUnsupported()
{
java.lang.UnsupportedOperationException v;
java.util.NavigableMap v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
label:
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
interfaceinvoke v.<java.util.NavigableMap: java.util.Map$Entry pollLastEntry()>();
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: 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;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.Set v;
java.util.NavigableMap v, v;
java.util.ArrayList v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = new java.util.ArrayList;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = interfaceinvoke v.<java.util.NavigableMap: java.util.NavigableMap descendingMap()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.Set entrySet()>();
specialinvoke v.<java.util.ArrayList: void <init>(java.util.Collection)>(v);
staticinvoke <java.util.Collections: void reverse(java.util.List)>(v);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.List entries>;
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertEquals(java.lang.Object,java.lang.Object)>(v, v);
return;
}
public void testHeadMapExclusive()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v;
java.lang.Object v, v;
boolean v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.NavigableMap headMap(java.lang.Object,boolean)>(v, 0);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: boolean containsKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertFalse(boolean)>(v);
return;
}
public void testHeadMapInclusive()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v;
java.lang.Object v, v;
boolean v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.NavigableMap headMap(java.lang.Object,boolean)>(v, 1);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: boolean containsKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertTrue(boolean)>(v);
return;
}
public void testTailMapExclusive()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v;
java.lang.Object v, v;
boolean v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.NavigableMap tailMap(java.lang.Object,boolean)>(v, 0);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: boolean containsKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertFalse(boolean)>(v);
return;
}
public void testTailMapInclusive()
{
java.util.Map$Entry v, v;
com.google.common.collect.testing.testers.NavigableMapNavigationTester v;
java.util.NavigableMap v, v;
java.lang.Object v, v;
boolean v;
v := @this: com.google.common.collect.testing.testers.NavigableMapNavigationTester;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.NavigableMap navigableMap>;
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: java.util.NavigableMap tailMap(java.lang.Object,boolean)>(v, 1);
v = v.<com.google.common.collect.testing.testers.NavigableMapNavigationTester: java.util.Map$Entry a>;
v = interfaceinvoke v.<java.util.Map$Entry: java.lang.Object getKey()>();
v = interfaceinvoke v.<java.util.NavigableMap: boolean containsKey(java.lang.Object)>(v);
staticinvoke <com.google.common.collect.testing.testers.NavigableMapNavigationTester: void assertTrue(boolean)>(v);
return;
}
}