org.jutil.io.fileset
Class BaseDirPredicate

java.lang.Object
  |
  +--org.jutil.predicate.AbstractPredicate
        |
        +--org.jutil.io.fileset.FilePredicate
              |
              +--org.jutil.io.fileset.BaseDirPredicate

All Implemented Interfaces:

CollectionOperator, Predicate

Direct Known Subclasses:

PatternPredicate

public abstract class BaseDirPredicate

extends FilePredicate

A class of FilePredicates that need a base directory in order to be used conveniently.

Field Summary
static java.lang.String	CVS_REVISION

 

Constructor Summary

BaseDirPredicate(java.io.File baseDir)           Initialize a new BaseDirPredicate with the given base directory.

 

Method Summary
java.io.File	getBaseDir()           Return the base directory of this BaseDirPredicate.

 

Methods inherited from class org.jutil.io.fileset.FilePredicate

eval, evalFile

 

Methods inherited from class org.jutil.predicate.AbstractPredicate

count, equals, exists, filter, forall, nbSubPredicates

 

Methods inherited from class java.lang.Object

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

 

Methods inherited from interface org.jutil.predicate.Predicate

getSubPredicates

 

Methods inherited from interface org.jutil.java.collections.CollectionOperator

isValidElement

 

Field Detail

CVS_REVISION

public static final java.lang.String CVS_REVISION

BaseDirPredicate

public BaseDirPredicate(java.io.File baseDir)

Initialize a new BaseDirPredicate with the given base directory.

Parameters:

baseDir - The base directory for the new BaseDirPredicate.

Specifications:

public behavior
requires baseDir != null;
requires baseDir.isDirectory();
ensures getBaseDir() == baseDir;

getBaseDir

public java.io.File getBaseDir()

Return the base directory of this BaseDirPredicate.

Specifications:

public behavior
ensures \result != null;
ensures \result .isDirectory();