diva.whiteboard

Class SketchDocument

java.lang.Object

diva.gui.AbstractDocument

diva.gui.MultipageDocument

diva.whiteboard.SketchDocument

All Implemented Interfaces:

Document

public class SketchDocument
extends MultipageDocument

A class representing sketch-structured documents. This class can read files to construct instances of sketch models, and write sketch models out to a file. A sketch document contains multiple pages each of which contains a sketch model. Currently, when a sketch document is written out to a file, the page titles are lost. This needs to be fixed through SketchParser and SketchWriter. Since these two classes operates on iterators of sketch models, they do not have page title information. They may need to be modified to read and write pages instead.

Version:

$Revision: 1.27 $

Author:

Heloise Hse (hwawen@eecs.berkeley.edu)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SketchDocument.Factory SketchDocument.Factory is a factory for sketch documents.

Field Summary

Fields

Modifier and Type	Field and Description
static int	COUNT

Constructor Summary

Constructors

Constructor and Description
SketchDocument(Application a) Construct an untitled sketch document that is owned by the given application.
SketchDocument(Application a, String title) Construct a sketch document with the given title that is owned by the given application.

Method Summary

Methods inherited from class diva.gui.MultipageDocument

close, getMultipageModel, getTitle, open, save, saveAs, saveAs

Methods inherited from class diva.gui.AbstractDocument

addPropertyChangeListener, getApplication, getEditSupport, getFile, getShortTitle, getUndoManager, getURL, isDirty, isEditable, isWritable, removePropertyChangeListener, setDirty, setEditable, setFile, setURL, setWritable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

COUNT

public static int COUNT

Constructor Detail

SketchDocument

public SketchDocument(Application a)

Construct an untitled sketch document that is owned by the given application.

SketchDocument

public SketchDocument(Application a,
                      String title)

Construct a sketch document with the given title that is owned by the given application.