Uses of Record Class
io.github.protasm.jvmud.execution.instance.MudlibSpec

Packages that use MudlibSpec

Package	Description
io.github.protasm.jvmud.execution.application	JVMud application lifetime, configuration, and worker supervision.
io.github.protasm.jvmud.execution.application.worker	Engine-side Java process launch, process supervision and bounded private worker control messages.
io.github.protasm.jvmud.execution.instance	Mudlib assembly and execution inside a worker JVM.

Uses of MudlibSpec in io.github.protasm.jvmud.execution.application

Methods in io.github.protasm.jvmud.execution.application with parameters of type MudlibSpec

Modifier and Type	Method	Description
MudlibStatus	JVMud.startMudlib(MudlibSpec spec, int playerPort, int adminPort)	Boots a host-supplied manifest and publishes its port pair only after both bindings succeed.

Uses of MudlibSpec in io.github.protasm.jvmud.execution.application.worker

Constructors in io.github.protasm.jvmud.execution.application.worker with parameters of type MudlibSpec

Modifier	Constructor	Description
	MudlibProcess(MudlibSpec spec, Path log, boolean trace)	Starts Java directly with per-worker JVM memory limits and requires readiness before returning.

Uses of MudlibSpec in io.github.protasm.jvmud.execution.instance

Methods in io.github.protasm.jvmud.execution.instance that return MudlibSpec

Modifier and Type	Method	Description
static MudlibSpec	MudlibSpec.fromConfig(Path configFile)	Resolves the conventional jvmud directory, or uses the manifest's parent as the root.