public interface ExecutionEnvironmentConfiguration
Modifier and Type | Method and Description |
---|---|
ExecutionEnvironment |
getFullSpecification() |
String |
getProfileName() |
boolean |
isCustomProfile() |
void |
overrideProfileConfiguration(String profileName,
String configurationOrigin)
Sets the effective profile configuration.
|
void |
setFullSpecificationForCustomProfile(List<SystemCapability> systemCapabilities) |
void |
setProfileConfiguration(String profileName,
String configurationOrigin)
Sets the effective profile configuration, unless the method
overrideProfileConfiguration(String, String) has been called on this instance. |
void overrideProfileConfiguration(String profileName, String configurationOrigin)
void setProfileConfiguration(String profileName, String configurationOrigin)
overrideProfileConfiguration(String, String)
has been called on this instance.String getProfileName()
boolean isCustomProfile()
void setFullSpecificationForCustomProfile(List<SystemCapability> systemCapabilities)
ExecutionEnvironment getFullSpecification()
Copyright © 2008-2013 Eclipse Foundation. All Rights Reserved.