pro.gravit.launchserver

Class StarterAgent

java.lang.Object

pro.gravit.launchserver.StarterAgent

public final class StarterAgent
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.instrument.Instrumentation	inst
static java.nio.file.Path	libraries

Constructor Summary

Constructors

Constructor and Description
StarterAgent()

Method Summary

Modifier and Type	Method and Description
static boolean	isAgentStarted()
static void	premain(java.lang.String agentArgument, java.lang.instrument.Instrumentation inst)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

inst

public static java.lang.instrument.Instrumentation inst

libraries

public static java.nio.file.Path libraries

Constructor Detail

StarterAgent

public StarterAgent()

Method Detail

isAgentStarted

public static boolean isAgentStarted()

premain

public static void premain(java.lang.String agentArgument,
                           java.lang.instrument.Instrumentation inst)