package ojs_filetree

  1. Overview
  2. Docs
Using filetrees in ojs_base applications, common part

Install 

dune-project
 Dependency

zoggy.frama.io Readme Edit opam file Versions (3)

Authors

  1. Z
    Zoggy <zoggy@bat8.org>

Maintainers

  1. Z
    zoggy@bat8.org

Sources

ojs-base-0.9.0.tar.bz2
md5=d1280f8b88bd6e03f62084c63027cf47
sha512=ff933d51b7a64a4d7356442284f0d992de746523fb28217d01c7d4ca0f461920b9f05d2f22ae4ba51f5a819c6b923e64b600150164ae58439b86e186d284b2ee

doc/ojs_filetree.server/Ojs_filetree_server/Find/index.html

Module Ojs_filetree_server.FindSource

Finding files.

  • author Didier Remy
  • version 0.1

@cgname File.Find

Sourcetype filter =
  1. | Maxdepth of int
  2. | Type of Unix.file_kind
  3. | Follow
  4. | Regexp of Str.regexp
  5. | Atime of interval
  6. | Predicate of string -> bool
Sourceand interval =
  1. | Le of int
  2. | Eq of int
  3. | Ge of int
Sourcetype mode =
  1. | Ignore
  2. | Stderr
  3. | Failure
  4. | Custom of (Unix.error * string * string) -> unit
Sourceval find : mode -> string list -> filter list -> (string -> unit) -> unit
Sourceval find_list : mode -> string list -> filter list -> string list