public class org.glassfish.main.jul.formatter.HandlerId extends java.lang.Object
{
private final java.lang.String name;
private void <init>(java.lang.String)
{
org.glassfish.main.jul.formatter.HandlerId v;
java.lang.String v;
v := @this: org.glassfish.main.jul.formatter.HandlerId;
v := @parameter: java.lang.String;
specialinvoke v.<java.lang.Object: void <init>()>();
v.<org.glassfish.main.jul.formatter.HandlerId: java.lang.String name> = v;
return;
}
public java.lang.String getName()
{
org.glassfish.main.jul.formatter.HandlerId v;
java.lang.String v;
v := @this: org.glassfish.main.jul.formatter.HandlerId;
v = v.<org.glassfish.main.jul.formatter.HandlerId: java.lang.String name>;
return v;
}
public java.lang.String getPropertyPrefix()
{
org.glassfish.main.jul.formatter.HandlerId v;
java.lang.String v;
v := @this: org.glassfish.main.jul.formatter.HandlerId;
v = v.<org.glassfish.main.jul.formatter.HandlerId: java.lang.String name>;
return v;
}
public java.lang.String toString()
{
org.glassfish.main.jul.formatter.HandlerId v;
java.lang.String v;
v := @this: org.glassfish.main.jul.formatter.HandlerId;
v = virtualinvoke v.<org.glassfish.main.jul.formatter.HandlerId: java.lang.String getName()>();
return v;
}
public static org.glassfish.main.jul.formatter.HandlerId forHandlerClass(java.lang.Class)
{
org.glassfish.main.jul.formatter.HandlerId v;
java.lang.Class v;
java.lang.String v;
v := @parameter: java.lang.Class;
v = new org.glassfish.main.jul.formatter.HandlerId;
v = virtualinvoke v.<java.lang.Class: java.lang.String getName()>();
specialinvoke v.<org.glassfish.main.jul.formatter.HandlerId: void <init>(java.lang.String)>(v);
return v;
}
}