public interface ExtensionIndex
Modifier and Type | Method and Description |
---|---|
void |
addDeployedExtension(org.jboss.modules.ModuleIdentifier identifier,
ExtensionInfo extensionInfo)
Adds an extension that has been deployed to the server
|
org.jboss.modules.ModuleIdentifier |
findExtension(String name,
String minSpecVersion,
String minImplVersion,
String requiredVendorId)
Find an extension, returning
null if no matching extension is available. |
boolean |
removeDeployedExtension(String name,
org.jboss.modules.ModuleIdentifier identifier)
Removes extension information that has been deployed to the server
|
org.jboss.modules.ModuleIdentifier findExtension(String name, String minSpecVersion, String minImplVersion, String requiredVendorId)
null
if no matching extension is available.name
- the extension nameminSpecVersion
- the minimum spec version to match, or null
to match anyminImplVersion
- the minimum implementation version to match, or null
to match anyrequiredVendorId
- the vendor ID to require, or null
to match anyvoid addDeployedExtension(org.jboss.modules.ModuleIdentifier identifier, ExtensionInfo extensionInfo)
identifier
- The module identifier of the extensionextensionInfo
- The extension databoolean removeDeployedExtension(String name, org.jboss.modules.ModuleIdentifier identifier)
name
- The extension nameidentifier
- The extension IdentifierCopyright © 2023 JBoss by Red Hat. All rights reserved.