diva.gui.tutorial
Class TextDocument.Factory

java.lang.Object
  |
  +--diva.gui.tutorial.TextDocument.Factory
All Implemented Interfaces:
DocumentFactory
Enclosing class:
TextDocument

public static class TextDocument.Factory
extends java.lang.Object
implements DocumentFactory

TextDocument.Factory is a factory for Text Documents


Constructor Summary
TextDocument.Factory()
           
 
Method Summary
 Document createDocument(Application app)
          Create an empty document.
 Document createDocument(Application app, java.io.File file)
          Create a new document that contains data from the given file.
 Document createDocument(Application app, java.net.URL url)
          Create a new document that contains data from the given URL.
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TextDocument.Factory

public TextDocument.Factory()
Method Detail

createDocument

public Document createDocument(Application app)
Create an empty document.
Specified by:
createDocument in interface DocumentFactory

createDocument

public Document createDocument(Application app,
                               java.net.URL url)
Create a new document that contains data from the given URL.
Specified by:
createDocument in interface DocumentFactory

createDocument

public Document createDocument(Application app,
                               java.io.File file)
Create a new document that contains data from the given file.
Specified by:
createDocument in interface DocumentFactory


Contact 
©2002-2018 U.C. Regents