|
JPF 1.5.1 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.apache.tools.ant.ProjectComponent
org.apache.tools.ant.Task
org.apache.tools.ant.taskdefs.MatchingTask
org.java.plugin.tools.ant.BaseJpfTask
public abstract class BaseJpfTask
Base class for some JPF related ant tasks.
| Field Summary |
|---|
| Fields inherited from class org.apache.tools.ant.taskdefs.MatchingTask |
|---|
fileset |
| Fields inherited from class org.apache.tools.ant.Task |
|---|
description, location, target, taskName, taskType, wrapper |
| Fields inherited from class org.apache.tools.ant.ProjectComponent |
|---|
project |
| Constructor Summary | |
|---|---|
BaseJpfTask()
|
|
| Method Summary | |
|---|---|
void |
addFileset(org.apache.tools.ant.types.FileSet set)
|
protected java.util.Set<java.lang.String> |
getBlackList()
|
protected java.io.File[] |
getIncludedFiles()
|
protected java.net.URL |
getManifestURL(java.io.File file)
|
protected PathResolver |
getPathResolver()
|
protected PluginRegistry |
getRegistry()
|
protected boolean |
getVerbose()
|
protected java.util.Set<java.lang.String> |
getWhiteList()
|
protected void |
initRegistry(boolean usePathResolver)
|
protected boolean |
isManifestAccepted(java.net.URL manifestUrl)
|
protected java.util.Set<java.lang.String> |
loadList(java.io.File file)
|
void |
setBaseDir(java.io.File aBaseDir)
|
void |
setBlackList(java.io.File file)
|
void |
setVerbose(boolean aVerbose)
|
void |
setWhiteList(java.io.File file)
|
| Methods inherited from class org.apache.tools.ant.taskdefs.MatchingTask |
|---|
add, addAnd, addContains, addContainsRegexp, addCustom, addDate, addDepend, addDepth, addDifferent, addFilename, addMajority, addModified, addNone, addNot, addOr, addPresent, addSelector, addSize, addType, appendSelector, createExclude, createExcludesFile, createInclude, createIncludesFile, createPatternSet, getDirectoryScanner, getImplicitFileSet, getSelectors, hasSelectors, selectorCount, selectorElements, setCaseSensitive, setDefaultexcludes, setExcludes, setExcludesfile, setFollowSymlinks, setIncludes, setIncludesfile, setProject, XsetIgnore, XsetItems |
| Methods inherited from class org.apache.tools.ant.Task |
|---|
execute, getDescription, getLocation, getOwningTarget, getRuntimeConfigurableWrapper, getTaskName, getTaskType, getWrapper, handleErrorFlush, handleErrorOutput, handleFlush, handleInput, handleOutput, init, isInvalid, log, log, maybeConfigure, perform, reconfigure, setDescription, setLocation, setOwningTarget, setRuntimeConfigurableWrapper, setTaskName, setTaskType |
| Methods inherited from class org.apache.tools.ant.ProjectComponent |
|---|
getProject |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public BaseJpfTask()
| Method Detail |
|---|
public void addFileset(org.apache.tools.ant.types.FileSet set)
set - the set of files to be registered as manifestspublic final void setBaseDir(java.io.File aBaseDir)
aBaseDir - base directory for manifest filespublic final void setVerbose(boolean aVerbose)
aVerbose - true if detailed integrity check report
required
public final void setWhiteList(java.io.File file)
throws java.io.IOException
file - while list file
java.io.IOException - if list reading failed
public final void setBlackList(java.io.File file)
throws java.io.IOException
file - black list file
java.io.IOException - if list reading failed
protected java.util.Set<java.lang.String> loadList(java.io.File file)
throws java.io.IOException
java.io.IOExceptionprotected final boolean getVerbose()
protected final PathResolver getPathResolver()
protected final PluginRegistry getRegistry()
protected java.util.Set<java.lang.String> getWhiteList()
protected java.util.Set<java.lang.String> getBlackList()
protected final void initRegistry(boolean usePathResolver)
protected java.io.File[] getIncludedFiles()
protected java.net.URL getManifestURL(java.io.File file)
throws java.net.MalformedURLException
java.net.MalformedURLException
protected boolean isManifestAccepted(java.net.URL manifestUrl)
throws ManifestProcessingException
ManifestProcessingException
|
JPF 1.5.1 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||