01: /*******************************************************************************
02: * Copyright (c) 2005, 2006 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.pde.internal.core.itarget;
11:
12: public interface ITargetJRE extends ITargetObject {
13:
14: public final static int TYPE_DEFAULT = 0;
15: public final static int TYPE_NAMED = 1;
16: public final static int TYPE_EXECUTION_ENV = 2;
17:
18: public static final String P_TARGET_JRE = "targetJRE"; //$NON-NLS-1$
19:
20: /**
21: * Returns the JRE type (TYPE_DEFAULT or TYPE_NAMED or TYPE_EXECUTION_ENV)
22: *
23: * @return the int representing the predefined type of the JRE defined
24: */
25: public int getJREType();
26:
27: public String getJREName();
28:
29: public void setNamedJRE(String name);
30:
31: public void setExecutionEnvJRE(String name);
32:
33: public void setDefaultJRE();
34:
35: public String getCompatibleJRE();
36:
37: }
|