Search notes:

Java class java.io.File - isDirectory

public class isDirectory {

//  Call for example with
//
//      java isDirectory /not/a/directory
//      java isDirectory $(pwd)

  public static void main(String[] argv) {

    if (argv.length != 1) {

      System.out.println("Exactly one argument required");
      System.exit(-1);

    }

    java.io.File f=new java.io.File(argv[0]);

    if (f.isDirectory()) {
      System.out.println(f.toString() + " is a directory");
    }
    else {
      System.out.println(f.toString() + " is not a directory");
    }

  }

}
Github repository JavaClasses, path: /java/io/File/isDirectory.java

See also

Java classes

Index

Fatal error: Uncaught PDOException: SQLSTATE[HY000]: General error: 8 attempt to write a readonly database in /home/httpd/vhosts/renenyffenegger.ch/php/web-request-database.php:78 Stack trace: #0 /home/httpd/vhosts/renenyffenegger.ch/php/web-request-database.php(78): PDOStatement->execute(Array) #1 /home/httpd/vhosts/renenyffenegger.ch/php/web-request-database.php(30): insert_webrequest_('/notes/developm...', 1758199938, '216.73.216.150', 'Mozilla/5.0 App...', NULL) #2 /home/httpd/vhosts/renenyffenegger.ch/httpsdocs/notes/development/languages/Java/classes/java/io/File/isDirectory(65): insert_webrequest() #3 {main} thrown in /home/httpd/vhosts/renenyffenegger.ch/php/web-request-database.php on line 78