org.jmlspecs.ant.tasks
Class FileSetWrapper.Visitor

java.lang.Object
  org.jmlspecs.ant.tasks.FileSetWrapper.Visitor

Direct Known Subclasses:

AbstractFileSetTask.FileSetVisitor.AbstractFileSetTask$FileSetVisitor$1

Enclosing class:

FileSetWrapper

public abstract class FileSetWrapper.Visitor

extends Object

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Model Field Summary

 

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

 

Ghost Field Summary

 

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

 

Constructor Summary

FileSetWrapper.Visitor()

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

Method Summary
abstract  void	visit(File file)           Perform an action on the given file.
void	visit(org.apache.tools.ant.Project project)           Perform the action defined in visit(File) on all files in the fileset of this Visitor for the given project.

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

FileSetWrapper.Visitor

public FileSetWrapper.Visitor()

visit

public abstract void visit(File file)
                    throws Exception

Perform an action on the given file.

Parameters:

file - The file to perform the action on.

Throws:

Exception

Specifications:

public behavior
requires file != null;
assignable \not_specified;

visit

public void visit(org.apache.tools.ant.Project project)
           throws Exception

Perform the action defined in visit(File) on all files in the fileset of this Visitor for the given project.

Parameters:

project - The project

Throws:

Exception

Specifications:

public behavior
requires project != null;
assignable \not_specified;