public class com.google.common.testing.ClassSanityTesterTest$BadNulls extends java.lang.Object
{
public void <init>()
{
com.google.common.testing.ClassSanityTesterTest$BadNulls v;
v := @this: com.google.common.testing.ClassSanityTesterTest$BadNulls;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
public void failsToRejectNull(java.lang.String)
{
com.google.common.testing.ClassSanityTesterTest$BadNulls v;
java.lang.String v;
v := @this: com.google.common.testing.ClassSanityTesterTest$BadNulls;
v := @parameter: java.lang.String;
return;
}
}