Package org.jrd.backend.data
Class VmManager
- java.lang.Object
-
- org.jrd.backend.data.VmManager
-
public class VmManager extends Object
This class is used for creating/removing/updating information about available Java Virtual Machines.
-
-
Constructor Summary
Constructors Constructor Description VmManager()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description VmInfo
createFsVM(List<File> cp, String name)
VmInfo
createRemoteVM(String hostname, int port)
VmInfo
findVmFromPID(String param)
VmInfo
getVmInfoByID(String VmId)
HashSet<VmInfo>
getVmInfoSet()
void
notifyListeners()
void
subscribeToVMChange(ActionListener listener)
void
updateLocalVMs()
Obtains list of Virtual Machines.
-
-
-
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.
-
subscribeToVMChange
public void subscribeToVMChange(ActionListener listener)
-
notifyListeners
public void notifyListeners()
-
-