public class org.junit.platform.console.ConsoleLauncherToolProvider extends java.lang.Object implements java.util.spi.ToolProvider
{
public void <init>()
{
org.junit.platform.console.ConsoleLauncherToolProvider v;
v := @this: org.junit.platform.console.ConsoleLauncherToolProvider;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
public java.lang.String name()
{
org.junit.platform.console.ConsoleLauncherToolProvider v;
v := @this: org.junit.platform.console.ConsoleLauncherToolProvider;
return "junit";
}
public transient int run(java.io.PrintWriter, java.io.PrintWriter, java.lang.String[])
{
java.io.PrintWriter v, v;
org.junit.platform.console.ConsoleLauncherToolProvider v;
org.junit.platform.console.options.CommandResult v;
int v;
java.lang.String[] v;
v := @this: org.junit.platform.console.ConsoleLauncherToolProvider;
v := @parameter: java.io.PrintWriter;
v := @parameter: java.io.PrintWriter;
v := @parameter: java.lang.String[];
v = staticinvoke <org.junit.platform.console.ConsoleLauncher: org.junit.platform.console.options.CommandResult run(java.io.PrintWriter,java.io.PrintWriter,java.lang.String[])>(v, v, v);
v = virtualinvoke v.<org.junit.platform.console.options.CommandResult: int getExitCode()>();
return v;
}
}