diva.graph.schematic

Class GraphDocument.Factory

java.lang.Object

diva.graph.schematic.GraphDocument.Factory

All Implemented Interfaces:

DocumentFactory

Enclosing class:

GraphDocument

public static class GraphDocument.Factory
extends Object
implements DocumentFactory

GraphDocument.Factory is a factory for graph documents. We put this in an inner class of GraphDocument because this factory can only produce one kind of document.

Constructor Summary

Constructors

Constructor and Description
Factory()

Method Summary

Modifier and Type	Method and Description
Document	createDocument(Application app) Create an empty graph document
Document	createDocument(Application app, File file) Create a new graph that contains the given file path
Document	createDocument(Application app, URL url) Create a new graph that contains data at 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 graph document

Specified by:

createDocument in interface DocumentFactory

createDocument

public Document createDocument(Application app,
                               URL url)

Create a new graph that contains data at the given URL

Specified by:

createDocument in interface DocumentFactory

createDocument

public Document createDocument(Application app,
                               File file)

Create a new graph that contains the given file path

Specified by:

createDocument in interface DocumentFactory