KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > jdt > launching > IVMInstallChangedListener


1 /*******************************************************************************
2  * Copyright (c) 2000, 2005 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/

11 package org.eclipse.jdt.launching;
12
13  
14 import org.eclipse.jdt.internal.launching.LaunchingPlugin;
15
16 /**
17  * A VM install changed listener is notified when
18  * the workspace default VM install changes, or when an attribute of
19  * a specific VM install changes.
20  * Listeners register with <code>JavaRuntime</code>.
21  * <p>
22  * Clients may implement this interface.
23  * </p>
24  * @since 2.0
25  */

26 public interface IVMInstallChangedListener {
27     
28     /**
29      * Property constant indicating the library locations associated
30      * with a VM install have changed.
31      */

32     public static final String JavaDoc PROPERTY_LIBRARY_LOCATIONS = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_LIBRARY_LOCATIONS"; //$NON-NLS-1$
33

34     /**
35      * Property constant indicating the name associated
36      * with a VM install has changed.
37      */

38     public static final String JavaDoc PROPERTY_NAME = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_NAME"; //$NON-NLS-1$
39

40     /**
41      * Property constant indicating the install location of
42      * a VM install has changed.
43      */

44     public static final String JavaDoc PROPERTY_INSTALL_LOCATION = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_INSTALL_LOCATION"; //$NON-NLS-1$
45

46     /**
47      * Property constant indicating the Javadoc location associated
48      * with a VM install has changed.
49      */

50     public static final String JavaDoc PROPERTY_JAVADOC_LOCATION = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_JAVADOC_LOCATION"; //$NON-NLS-1$
51

52     /**
53      * Property constant indicating the VM arguments associated
54      * with a VM install has changed.
55      *
56      * @since 3.2
57      */

58     public static final String JavaDoc PROPERTY_VM_ARGUMENTS = LaunchingPlugin.getUniqueIdentifier() + ".PROPERTY_VM_ARGUMENTS"; //$NON-NLS-1$
59

60     /**
61      * Notification that the workspace default VM install
62      * has changed.
63      *
64      * @param previous the VM install that was previously assigned
65      * to the workspace, possibly <code>null</code>
66      * @param current the VM install that is currently assigned to the
67      * workspace, possibly <code>null</code>
68      */

69     public void defaultVMInstallChanged(IVMInstall previous, IVMInstall current);
70     
71     /**
72      * Notification that a property of a VM install has changed.
73      *
74      * @param event event describing the change. The VM that has changed
75      * is the source object associated with the event.
76      */

77     public void vmChanged(PropertyChangeEvent event);
78     
79     /**
80      * Notification that a VM has been created.
81      *
82      * @param vm the vm that has been created
83      */

84     public void vmAdded(IVMInstall vm);
85     
86     /**
87      * Notification that a VM has been disposed.
88      *
89      * @param vm the vm that has been disposed
90      */

91     public void vmRemoved(IVMInstall vm);
92     
93 }
94
Popular Tags