@API(status=INTERNAL,
since="5.0")
public interface ExtensionRegistry
ExtensionRegistry
holds all registered extensions (i.e.
instances of Extension
) for a given
Node
.Modifier and Type | Method and Description |
---|---|
default <E extends Extension> |
getExtensions(java.lang.Class<E> extensionType)
Get all
Extensions of the specified type that are present
in this registry or one of its ancestors. |
default <E extends Extension> |
getReversedExtensions(java.lang.Class<E> extensionType)
Get all
Extensions of the specified type that are present
in this registry or one of its ancestors, in reverse order. |
<E extends Extension> |
stream(java.lang.Class<E> extensionType)
Stream all
Extensions of the specified type that are present
in this registry or one of its ancestors. |
<E extends Extension> java.util.stream.Stream<E> stream(java.lang.Class<E> extensionType)
Extensions
of the specified type that are present
in this registry or one of its ancestors.extensionType
- the type of Extension
to streamgetReversedExtensions(Class)
,
getExtensions(Class)
default <E extends Extension> java.util.List<E> getExtensions(java.lang.Class<E> extensionType)
Extensions
of the specified type that are present
in this registry or one of its ancestors.extensionType
- the type of Extension
to getgetReversedExtensions(Class)
,
stream(Class)
default <E extends Extension> java.util.List<E> getReversedExtensions(java.lang.Class<E> extensionType)
Extensions
of the specified type that are present
in this registry or one of its ancestors, in reverse order.extensionType
- the type of Extension
to getgetExtensions(Class)
,
stream(Class)