org.jutil.io.fileset
Class FileSetPredicateSupport

java.lang.Object
  |
  +--org.jutil.io.fileset.FileSetPredicateSupport

class FileSetPredicateSupport

extends java.lang.Object

A class that can be used when implementing a FileSetPredicate.

Constructor Summary

FileSetPredicateSupport(Predicate predicate)           Initialize a new FileSetPredicateSupport with the given predicate

 

Method Summary
Predicate	getPredicate()           Return the predicate encapsulated by this FileSetPredicate.
java.util.List	getSubPredicates()
int	nbSubPredicates()

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

FileSetPredicateSupport

public FileSetPredicateSupport(Predicate predicate)

Initialize a new FileSetPredicateSupport with the given predicate

Parameters:

predicate - The predicate encapsulated by the new FileSetPredicateSupport

Specifications:

public behavior
requires predicate != null;
ensures getPredicate() == predicate;

getPredicate

public Predicate getPredicate()

Return the predicate encapsulated by this FileSetPredicate.

Specifications:

public behavior
ensures \result != null;

getSubPredicates

public java.util.List getSubPredicates()

Specifications:

public behavior
ensures \result .contains(getPredicate());
ensures \result .size() == 1;

nbSubPredicates

public int nbSubPredicates()

Specifications:

public behavior
ensures \result == 1;