Package org.jrd.backend.data
Class VmManager
java.lang.Object
org.jrd.backend.data.VmManager
This class is used for creating/removing/updating information about available Java Virtual Machines.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate void
createFsVM
(List<File> cp, String name, boolean shouldBeSaved) createRemoteVM
(String hostname, int port) findVmFromPid
(String param) findVmFromPidNoException
(String param) private int
getVmInfoByID
(String vmId) private boolean
private void
void
boolean
private void
void
subscribeToVMChange
(ActionListener listener) void
Obtains list of Virtual Machines.
-
Field Details
-
vmInfoSet
-
actionListeners
-
changed
boolean changed
-
-
Constructor Details
-
VmManager
public VmManager()
-
-
Method Details
-
loadSavedFsVms
private void loadSavedFsVms() -
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
-
createFsVM
-
getNextAvailableFsVmPid
private int getNextAvailableFsVmPid() -
removeVm
-
findVmFromPid
-
findVmFromPidNoException
-
getVmInfoByID
-
getVmInfoSet
-
subscribeToVMChange
-
notifyListeners
public void notifyListeners() -
hasChanged
private boolean hasChanged() -
setChanged
private void setChanged() -
clearChanged
private void clearChanged()
-