Schnittstelle RemoteKernelServicePortal

Alle Superschnittstellen:
Remote

public interface RemoteKernelServicePortal extends Remote
Declares the methods provided by the KernelServicePortal via RMI.