1 11 package org.eclipse.jdt.launching; 12 13 14 import org.eclipse.jdt.internal.launching.LaunchingPlugin; 15 16 26 public interface IVMInstallChangedListener { 27 28 32 public static final String PROPERTY_LIBRARY_LOCATIONS = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_LIBRARY_LOCATIONS"; 34 38 public static final String PROPERTY_NAME = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_NAME"; 40 44 public static final String PROPERTY_INSTALL_LOCATION = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_INSTALL_LOCATION"; 46 50 public static final String PROPERTY_JAVADOC_LOCATION = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_JAVADOC_LOCATION"; 52 58 public static final String PROPERTY_VM_ARGUMENTS = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_VM_ARGUMENTS"; 60 69 public void defaultVMInstallChanged(IVMInstall previous, IVMInstall current); 70 71 77 public void vmChanged(PropertyChangeEvent event); 78 79 84 public void vmAdded(IVMInstall vm); 85 86 91 public void vmRemoved(IVMInstall vm); 92 93 } 94 | Popular Tags |