01: /*******************************************************************************
02: * Copyright (c) 2005 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.jdt.launching.environments;
11:
12: /**
13: * Manager for execution environments. The singleton manager is available
14: * via <code>JavaRuntime.getExecutionEnvironmentsManager()</code>.
15: * <p>
16: * Clients are not intended to implement this interface.
17: * </p>
18: * @since 3.2
19: */
20: public interface IExecutionEnvironmentsManager {
21:
22: /**
23: * Returns all registered execution environments.
24: *
25: * @return all registered execution environments
26: */
27: public IExecutionEnvironment[] getExecutionEnvironments();
28:
29: /**
30: * Returns the execution environment associated with the given
31: * identifier or <code>null</code> if none.
32: *
33: * @param id execution environment identifier
34: * @return execution environment or <code>null</code>
35: */
36: public IExecutionEnvironment getEnvironment(String id);
37:
38: }
|