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 voidcreateFsVM(List<File> cp, String name, boolean shouldBeSaved) createRemoteVM(String hostname, int port) findVmFromPid(String param) findVmFromPidNoException(String param) private intgetVmInfoByID(String vmId) private booleanprivate voidvoidbooleanprivate voidvoidsubscribeToVMChange(ActionListener listener) voidObtains 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()
-