Class VmManager


  • public class VmManager
    extends java.lang.Object
    This class is used for creating/removing/updating information about available Java Virtual Machines.
    • Field Detail

      • vmInfoSet

        private java.util.HashSet<VmInfo> vmInfoSet
      • actionListeners

        java.util.Set<java.awt.event.ActionListener> actionListeners
      • changed

        boolean changed
    • Constructor Detail

      • VmManager

        public VmManager()
    • Method Detail

      • updateLocalVMs

        public void updateLocalVMs()
        Obtains list of Virtual Machines. This list is then compared to vmInfoSet. Old Vms are removed and new are added.
      • createRemoteVM

        public void createRemoteVM​(java.lang.String hostname,
                                   int port)
      • findVmFromPID

        public VmInfo findVmFromPID​(java.lang.String param)
      • getVmInfoByID

        public VmInfo getVmInfoByID​(java.lang.String VmId)
      • getVmInfoSet

        public java.util.HashSet<VmInfo> getVmInfoSet()
      • subscribeToVMChange

        public void subscribeToVMChange​(java.awt.event.ActionListener listener)
      • notifyListeners

        public void notifyListeners()
      • hasChanged

        private boolean hasChanged()
      • setChanged

        private void setChanged()
      • clearChanged

        private void clearChanged()