com.jgraph.editor
Interface JGraphEditorFile

All Superinterfaces:

MutableTreeNode, TreeNode

All Known Implementing Classes:

JGraphpadFile

public interface JGraphEditorFile

extends MutableTreeNode

Defines the basic requirements for a file in a JGraph editor document model. A file contains an arbitrary set of children. The properties of document model elements shoudl be changed via the document model in order to update all attached listeners.

Method Summary

String	getFilename() Returns the filename.
boolean	isModified() Returns true if the file was modified since the last save.
boolean	isNew() Returns true if the file has never been saved since its creation.
void	setFilename(String filename) Sets the filename.
void	setModified(boolean modified) Sets the modified state.
void	setNew(boolean isNew) Sets the isNew state.

Methods inherited from interface javax.swing.tree.MutableTreeNode

insert, remove, remove, removeFromParent, setParent, setUserObject

Methods inherited from interface javax.swing.tree.TreeNode

children, getAllowsChildren, getChildAt, getChildCount, getIndex, getParent, isLeaf

Method Detail

setModified

public void setModified(boolean modified)

Sets the modified state.

Parameters:

modified - The modified state to set.

isModified

public boolean isModified()

Returns true if the file was modified since the last save.

Returns:

Returns the modified state.

setNew

public void setNew(boolean isNew)

Sets the isNew state.

Parameters:

isNew - The isNew state to set.

isNew

public boolean isNew()

Returns true if the file has never been saved since its creation.

Returns:

Returns the isNew state.

setFilename

public void setFilename(String filename)

Sets the filename.

Parameters:

filename - The filename to set.

getFilename

public String getFilename()

Returns the filename.

Returns:

Returns the filename.