当前页面:
在线文档首页 >
JBOSS Portal 2.2 API 英文版文档
Explode - JBOSS Portal 2.2 API 英文版文档
org.jboss.portal.common.ant
Class Explode
java.lang.Object
Task
org.jboss.portal.common.ant.Explode
- public class Explode
- extends Task
Ant task that explode an archive.
- See Also:
- Serialized Form
Field Summary |
static java.util.Set |
extensions
Unzipped extensions. |
Method Summary |
void |
execute()
|
static void |
explode(Explode explode,
java.lang.String name,
java.util.zip.ZipInputStream zip,
java.io.File todir,
java.lang.String exclude)
Explode a zip stream into a directory. |
void |
explode(java.io.File file,
java.io.File todir)
|
void |
setExclude(java.lang.String exclude)
|
void |
setFile(java.io.File file)
|
void |
setName(java.lang.String name)
|
void |
setTodir(java.io.File todir)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
extensions
public static java.util.Set extensions
- Unzipped extensions.
Explode
public Explode()
setExclude
public void setExclude(java.lang.String exclude)
setFile
public void setFile(java.io.File file)
setTodir
public void setTodir(java.io.File todir)
setName
public void setName(java.lang.String name)
execute
public void execute()
throws BuildException
- Throws:
BuildException
explode
public void explode(java.io.File file,
java.io.File todir)
throws BuildException,
DirException
- Throws:
BuildException
DirException
explode
public static void explode(Explode explode,
java.lang.String name,
java.util.zip.ZipInputStream zip,
java.io.File todir,
java.lang.String exclude)
throws BuildException,
DirException
- Explode a zip stream into a directory.
- Parameters:
explode
- used to logname
- the name of the created directoryzip
- the zip stream will not be closedtodir
- the parent directory
- Throws:
BuildException
DirException