javafilter.java

java 完全探索的随书源码

import java.io.*;

// This class implements a filename filter that only allows
// files that end with .java

public class JavaFilter extends Object implements FilenameFilter
{
     public JavaFilter()
     {
     }

     public boolean accept(File dir, String name)
     {
      // Only return true for accept if the file ends with .java
       return name.endsWith(".java");
     }
}