Modifier and type | Field and description |
---|---|
public static val java.lang.String | EXTENSION_POINT_SARL_RUNTIME_ENVIRONMENT
Name of the extension points for the SRE provider factories. |
Modifier and type | Action and description |
---|---|
static java.util.List<E> | getSREInstallsFromExtension
Replies the fragments that are defined as extensions in the given Eclipse plugin. |
static java.util.stream.Stream<T> | getSREInstallStreamFromExtension
Replies the fragments that are defined as extensions in the given Eclipse plugin. |
public static val EXTENSION_POINT_SARL_RUNTIME_ENVIRONMENT : java.lang.String = "sreInstallations"
def getSREInstallsFromExtension : java.util.List<E>
def getSREInstallStreamFromExtension : java.util.stream.Stream<T>