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.FileNotFoundException
Copyright © 2000-2016 Apache Software Foundation. All Rights Reserved.