Class AgentsManager

java.lang.Object
org.jrd.frontend.frame.main.AgentsManager

public final class AgentsManager extends Object
  • Field Details

  • Constructor Details

    • AgentsManager

      private AgentsManager()
  • Method Details

    • hide

      public void hide()
    • showFor

      public static void showFor(JFrame parent, VmManager vmManager)
    • dettach

      private void dettach()
    • setKnownAgents

      private void setKnownAgents(boolean handshake)
    • setVmManager

      private void setVmManager(VmManager vmManager)