Overview  Package   Class  Use  Deprecated  Index
Home >> All >> edu >> ucsb >> ccs >> jcontractor >> [ extras overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

edu.ucsb.ccs.jcontractor.extras
Class ClassFileFilter  

java.lang.Object
  edu.ucsb.ccs.jcontractor.extras.ClassFileFilter

All Implemented Interfaces:

java.io.FileFilter

---

class ClassFileFilter

extends java.lang.Object

implements java.io.FileFilter

File filter to find Java class files.

---

Constructor Summary
(package private)	ClassFileFilter()

 

Method Summary
protected  boolean	accept_Postcondition(java.io.File path, boolean RESULT)
protected  boolean	accept_Precondition(java.io.File path)
boolean	accept(java.io.File path)           Determine if a file matches the filter criteria.

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

ClassFileFilter

ClassFileFilter()

Method Detail

accept

public boolean accept(java.io.File path)

Determine if a file matches the filter criteria. This filter finds Java class files, so the only files that match are non-directories whose names end with ".class".

Specified by:

accept in interface java.io.FileFilter

---

accept_Precondition

protected boolean accept_Precondition(java.io.File path)

---

accept_Postcondition

protected boolean accept_Postcondition(java.io.File path,
                                       boolean RESULT)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> edu >> ucsb >> ccs >> jcontractor >> [ extras overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---