public class com.google.common.collect.testing.testers.SetCreationTester extends com.google.common.collect.testing.testers.AbstractSetTester
{
public void <init>()
{
com.google.common.collect.testing.testers.SetCreationTester v;
v := @this: com.google.common.collect.testing.testers.SetCreationTester;
specialinvoke v.<com.google.common.collect.testing.testers.AbstractSetTester: void <init>()>();
return;
}
public void testCreateWithDuplicates_nullDuplicatesNotRejected()
{
com.google.common.collect.testing.testers.SetCreationTester v;
java.util.List v, v;
java.lang.Object[] v;
int v;
java.lang.Object v, v;
v := @this: com.google.common.collect.testing.testers.SetCreationTester;
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object[] createArrayWithNullElement()>();
v[0] = null;
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object getSubjectGenerator()>();
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.lang.Object create(java.lang.Object[])>(v);
v.<com.google.common.collect.testing.testers.SetCreationTester: java.util.Collection collection> = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: int getNumElements()>();
v = interfaceinvoke v.<java.util.List: java.util.List subList(int,int)>(1, v);
virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: void expectContents(java.util.Collection)>(v);
return;
}
public void testCreateWithDuplicates_nonNullDuplicatesNotRejected()
{
com.google.common.collect.testing.testers.SetCreationTester v;
java.lang.Object[] v;
java.util.List v, v;
int v;
java.lang.Object v, v, v;
v := @this: com.google.common.collect.testing.testers.SetCreationTester;
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object[] createSamplesArray()>();
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object e0()>();
v[1] = v;
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object getSubjectGenerator()>();
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.lang.Object create(java.lang.Object[])>(v);
v.<com.google.common.collect.testing.testers.SetCreationTester: java.util.Collection collection> = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: int getNumElements()>();
v = interfaceinvoke v.<java.util.List: java.util.List subList(int,int)>(1, v);
virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: void expectContents(java.util.Collection)>(v);
return;
}
public void testCreateWithDuplicates_nullDuplicatesRejected()
{
com.google.common.collect.testing.testers.SetCreationTester v;
java.lang.Object[] v;
java.lang.Object v, v;
java.lang.IllegalArgumentException v;
v := @this: com.google.common.collect.testing.testers.SetCreationTester;
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object[] createArrayWithNullElement()>();
v[0] = null;
label:
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object getSubjectGenerator()>();
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.lang.Object create(java.lang.Object[])>(v);
v.<com.google.common.collect.testing.testers.SetCreationTester: java.util.Collection collection> = v;
staticinvoke <com.google.common.collect.testing.testers.SetCreationTester: void fail(java.lang.String)>("Should reject duplicate null elements at creation");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.IllegalArgumentException from label to label with label;
}
public void testCreateWithDuplicates_nonNullDuplicatesRejected()
{
com.google.common.collect.testing.testers.SetCreationTester v;
java.lang.Object[] v;
java.lang.Object v, v, v;
java.lang.IllegalArgumentException v;
v := @this: com.google.common.collect.testing.testers.SetCreationTester;
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object[] createSamplesArray()>();
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object e0()>();
v[1] = v;
label:
v = virtualinvoke v.<com.google.common.collect.testing.testers.SetCreationTester: java.lang.Object getSubjectGenerator()>();
v = interfaceinvoke v.<com.google.common.collect.testing.OneSizeTestContainerGenerator: java.lang.Object create(java.lang.Object[])>(v);
v.<com.google.common.collect.testing.testers.SetCreationTester: java.util.Collection collection> = v;
staticinvoke <com.google.common.collect.testing.testers.SetCreationTester: void fail(java.lang.String)>("Should reject duplicate non-null elements at creation");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch java.lang.IllegalArgumentException from label to label with label;
}
}