public interface CacheResourceConfigurationParser
/config/cache/resources
extension elements.Modifier and Type | Method and Description |
---|---|
java.net.URI |
getNamespace() |
java.util.Set<java.lang.Class<? extends ResourcePool>> |
getResourceTypes() |
javax.xml.transform.Source |
getXmlSchema() |
ResourcePool |
parseResourceConfiguration(org.w3c.dom.Element fragment) |
org.w3c.dom.Element |
unparseResourcePool(ResourcePool resourcePool) |
javax.xml.transform.Source getXmlSchema() throws java.io.IOException
java.io.IOException
java.net.URI getNamespace()
ResourcePool parseResourceConfiguration(org.w3c.dom.Element fragment)
org.w3c.dom.Element unparseResourcePool(ResourcePool resourcePool)
java.util.Set<java.lang.Class<? extends ResourcePool>> getResourceTypes()