public class MirrorsGetTask
extends org.apache.tools.ant.Task
Constructor and Description |
---|
MirrorsGetTask() |
Modifier and Type | Method and Description |
---|---|
protected void |
copyFile(java.io.File sourceFile,
java.io.File targetFile) |
protected void |
doExecute() |
protected void |
downloadFile(java.net.URL sourceURL,
java.io.File targetFile) |
void |
execute() |
protected java.lang.String |
getPlatformIndependentPath(java.lang.String path) |
protected boolean |
isValidMD5(java.io.File file,
java.net.URL url) |
protected boolean |
isValidZip(java.io.File file) |
protected boolean |
isZipFileName(java.lang.String fileName) |
void |
setDest(java.io.File dest) |
void |
setForce(boolean force) |
void |
setIgnoreErrors(boolean ignoreErrors) |
void |
setSrc(java.lang.String src) |
void |
setTryLocalNetwork(boolean tryLocalNetwork) |
void |
setVerbose(boolean verbose) |
protected int |
toFile(java.net.URL url,
java.io.File file) |
protected int |
toOutputStream(java.net.URL url,
java.io.OutputStream outputStream) |
protected java.lang.String |
toString(java.net.URL url) |
bindToOwner, getOwningTarget, getRuntimeConfigurableWrapper, getTaskName, getTaskType, getWrapper, handleErrorFlush, handleErrorOutput, handleFlush, handleInput, handleOutput, init, isInvalid, log, log, log, log, maybeConfigure, perform, reconfigure, setOwningTarget, setRuntimeConfigurableWrapper, setTaskName, setTaskType
public void execute() throws org.apache.tools.ant.BuildException
execute
in class org.apache.tools.ant.Task
org.apache.tools.ant.BuildException
public void setDest(java.io.File dest)
public void setForce(boolean force)
public void setIgnoreErrors(boolean ignoreErrors)
public void setSrc(java.lang.String src)
public void setTryLocalNetwork(boolean tryLocalNetwork)
public void setVerbose(boolean verbose)
protected void copyFile(java.io.File sourceFile, java.io.File targetFile) throws java.io.IOException
java.io.IOException
protected void doExecute() throws java.io.IOException
java.io.IOException
protected void downloadFile(java.net.URL sourceURL, java.io.File targetFile) throws java.io.IOException
java.io.IOException
protected java.lang.String getPlatformIndependentPath(java.lang.String path)
protected boolean isValidMD5(java.io.File file, java.net.URL url) throws java.io.IOException
java.io.IOException
protected boolean isValidZip(java.io.File file) throws java.io.IOException
java.io.IOException
protected boolean isZipFileName(java.lang.String fileName)
protected int toFile(java.net.URL url, java.io.File file) throws java.io.IOException
java.io.IOException
protected int toOutputStream(java.net.URL url, java.io.OutputStream outputStream) throws java.io.IOException
java.io.IOException
protected java.lang.String toString(java.net.URL url) throws java.io.IOException
java.io.IOException