diva.gui.tutorial
Class TextDocument.Factory

java.lang.Object
  extended by 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