| java.util.Vector org.objectweb.jonas.server.JURLs
JURLs | public class JURLs extends Vector (Code) | | This implements an utility class that list the URLs of the jars to load at
the launch time of the JOnAS server.
author: Ludovic Bert author: Florent Benoit |
Constructor Summary | |
public | JURLs() Construct an empty JURLs. |
Method Summary | |
public void | add(File file) Add the specified file or directory to this JURLs. | public void | add(File file, String filter) Add the content of the specified directory to this JURLs, by using the
specified filter. | public void | add(File file, String filter, String prefix, String suffix) Add the content of the specified directory to this JURLs by using a file
filter and if the contained file not starts with the prefix and not ends
with the suffix. | public void | addDir(File file) Add the specified directory to this JURLs. | public void | addNotEndWith(File file, String suffix) Add the content of the specified directory to this JURLs if the contained
file not ends with the specified suffix. | public void | addNotStartWith(File file, String prefix) Add the content of the specified directory to this JURLs if the contained
file not starts with the specified prefix. | public void | merge(JURLs jurl) Merge the specified JURls to this JURLs. | public void | remove(File file) | public URL[] | toURLs() Return an array containing all the URLs of this JURLs. |
JURLs | public JURLs()(Code) | | Construct an empty JURLs.
|
add | public void add(File file) throws MalformedURLException(Code) | | Add the specified file or directory to this JURLs. Note that in the case
of a directory this method add only the content of this one.
Parameters: file - the specified file or directory to add to this JURLs. throws: MalformedURLException - to indicate that a malformed URL hasoccured. |
add | public void add(File file, String filter) throws MalformedURLException(Code) | | Add the content of the specified directory to this JURLs, by using the
specified filter.
Parameters: file - the directory to add to this JURLs. Parameters: filter - the filter to use to add the content of this directory,null if not use the filter. throws: MalformedURLException - to indicate that a malformed URL hasoccured. |
add | public void add(File file, String filter, String prefix, String suffix) throws MalformedURLException(Code) | | Add the content of the specified directory to this JURLs by using a file
filter and if the contained file not starts with the prefix and not ends
with the suffix.
Parameters: file - the directory to add to this JURLs. Parameters: filter - the filter to use to add the content of this directory,null if not use the filter. Parameters: prefix - the prefix to ignore, null if not use the prefix. Parameters: suffix - the suffix to ignore, null if not use the suffix. throws: MalformedURLException - to indicate that a malformed URL hasoccured. |
addDir | public void addDir(File file) throws MalformedURLException(Code) | | Add the specified directory to this JURLs. Note that this method add the
URL of the specified directory and not the content of this directory.
Parameters: file - the directory to add to this JURLs. throws: MalformedURLException - to indicate that a malformed URL hasoccured. |
addNotEndWith | public void addNotEndWith(File file, String suffix) throws MalformedURLException(Code) | | Add the content of the specified directory to this JURLs if the contained
file not ends with the specified suffix.
Parameters: file - the directory to add to this JURLs. Parameters: suffix - the suffix to ignore, null if not use the suffix. throws: MalformedURLException - to indicate that a malformed URL hasoccured. |
addNotStartWith | public void addNotStartWith(File file, String prefix) throws MalformedURLException(Code) | | Add the content of the specified directory to this JURLs if the contained
file not starts with the specified prefix.
Parameters: file - the directory to add to this JURLs. Parameters: prefix - the prefix to ignore, null if not use the prefix. throws: MalformedURLException - to indicate that a malformed URL hasoccured. |
merge | public void merge(JURLs jurl)(Code) | | Merge the specified JURls to this JURLs.
Parameters: jurl - the JURls to merge with this JURLs. |
toURLs | public URL[] toURLs()(Code) | | Return an array containing all the URLs of this JURLs.
an array containing all the URLs of this JURLs. |
|
|