Constructor Detail

• TextDocument

  public TextDocument(java.io.File file)
               throws java.io.IOException

  Constructor for the TextDocument object

  Parameters:

  file - Description of Parameter

  Throws:

  java.io.IOException - Description of Exception

Method Detail

• Document

  public static Document Document(java.io.File f)
                           throws java.io.IOException

  Makes a document for a File.

  The document has a single field:

  • contents--containing the full contents of the file, as a Text field;

  Parameters:

  f - Description of Parameter

  Returns:

  Description of the Returned Value

  Throws:

  java.io.IOException - Description of Exception

• getContents

  public java.lang.String getContents()

  Returns:

  The contents value

  To Do:

  finish this method