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

Constructors

Constructor and Description
Factory()

Method Summary

Modifier and Type	Method and Description
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

Factory

public 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