public final class ResourcePaths extends Object
| Modifier and Type | Method and Description |
|---|---|
static Set<String> |
filterExtension(Set<String> resources)
Filters away every resource in the given set that has an extension.
|
static String |
getExtension(String resource)
Gets the extension of a resource if any.
|
static boolean |
isDirectory(String resourcePath)
Checks if the given resource path obtained from
ServletContext.getResourcePaths(String) represents a
directory. |
static boolean |
isExtensionless(String resourcePath)
Checks if given resource path is extensionless.
|
static String |
stripExtension(String resource)
Strips the extension from a resource if any.
|
static String |
stripPrefixPath(String prefix,
String resource)
Strips the given prefix path from the given resource path if any.
|
static String |
stripTrailingSlash(String resource)
Strips the trailing slash(es) from the given resource path if any.
|
public static boolean isDirectory(String resourcePath)
ServletContext.getResourcePaths(String) represents a
directory.resourcePath - the resource path to checkpublic static String stripPrefixPath(String prefix, String resource)
prefix - The prefix to be stripped.resource - The resource to strip the prefix from.public static String stripTrailingSlash(String resource)
resource - The resource to strip the trailing slash from.public static String stripExtension(String resource)
resource - The resource to strip the extension from.public static String getExtension(String resource)
resource - The resource to get the extension from.public static boolean isExtensionless(String resourcePath)
resourcePath - The resource path to check.true if the resource path is extensionless, false otherwise.Copyright © 2012–2018 OmniFaces. All rights reserved.