public class FileDocument
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
static Document |
Document(java.io.File f)
Makes a document for a File.
|
public static Document Document(java.io.File f) throws java.io.FileNotFoundException
The document has three fields:
path--containing the pathname of the file, as a stored,
untokenized field;
modified--containing the last modified date of the file as
a field as created by DateTools; and
contents--containing the full contents of the file, as a
Reader field;java.io.FileNotFoundExceptionCopyright © 2000-2016 Apache Software Foundation. All Rights Reserved.