|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
A document is basically a window inside the application containing a single view of user data. In a tabbed mdi-container, the document could be shown on a single tab-pane.
The components that display multiple documents are subclasses of the
MDIComponent base class. MDI stands for
Multiple-Document-Interface. All these documents are derived from this base
interface.
| Field Summary | |
static int |
GLUE_LEFTBOTTOM
Some documents can be special, for example a toolbox document, a navigator document and such. |
static int |
GLUE_LEFTCENTEREXTEND
Some documents can be special, for example a toolbox document, a navigator document and such. |
static int |
GLUE_LEFTTOP
Some documents can be special, for example a toolbox document, a navigator document and such. |
static int |
GLUE_RIGHTBOTTOM
Some documents can be special, for example a toolbox document, a navigator document and such. |
static int |
GLUE_RIGHTCENTEREXTEND
Some documents can be special, for example a toolbox document, a navigator document and such. |
static int |
GLUE_RIGHTTOP
Some documents can be special, for example a toolbox document, a navigator document and such. |
static int |
TYPE_FIXED_SIZE
Some documents can be special, for example a toolbox document, a navigator document and such. |
static int |
TYPE_PACK_IS_OK
Some documents can be special, for example a toolbox document, a navigator document and such. |
static int |
TYPE_TOOLDOCUMENT
Some documents can be special, for example a toolbox document, a navigator document and such. |
| Method Summary | |
void |
closeHandler()
This method is a callback that is invoked before the document is closed. |
int |
getCopyCounter()
Returns the copy counter and increments it by one afterwards. |
DocumentDataProvider |
getDocumentDataProvider(java.lang.String key)
Returns the DocumentDataProvider that can provide
the requested information described by the given key. |
java.lang.Object |
getDocumentSetting(java.lang.String key)
Retrieves the value of an application defined document setting that has been previously stored in this instance. |
AttributeList |
getDocumentSettings()
Returns all document settings serialized as AttributeList. |
java.io.File |
getFile()
Gets the file of this document if it was saved or loaded before. |
int |
getFlags()
Returns flags describing the nature of the document. |
boolean |
isModified()
Returns a boolean flag which indicates if the document has been modified since the last save operation. |
void |
setDocumentSetting(java.lang.String key,
java.lang.Object value)
Stores the value for an application defined document setting. |
void |
setDocumentSettings(AttributeList settings)
Sets document settings from an AttributeList structure that
has usually been read from a file. |
void |
setFile(java.io.File file)
Sets the file for this document instance. |
void |
setModified()
Sets the modified flag to true. |
void |
setUnmodified()
Sets the modified flag to false. |
| Methods inherited from interface com.tensegrity.generic.util.Observer |
update |
| Methods inherited from interface com.tensegrity.gui.container.Container |
getApplicationFrame, getName, setName, setSelected |
| Field Detail |
public static final int TYPE_TOOLDOCUMENT
public static final int TYPE_PACK_IS_OK
public static final int TYPE_FIXED_SIZE
public static final int GLUE_LEFTTOP
public static final int GLUE_RIGHTTOP
public static final int GLUE_LEFTBOTTOM
public static final int GLUE_RIGHTBOTTOM
public static final int GLUE_LEFTCENTEREXTEND
public static final int GLUE_RIGHTCENTEREXTEND
| Method Detail |
public int getFlags()
public int getCopyCounter()
public java.io.File getFile()
public void setFile(java.io.File file)
file - the file of this document.public void closeHandler()
public boolean isModified()
public void setUnmodified()
public void setModified()
public void setDocumentSetting(java.lang.String key,
java.lang.Object value)
GraphDocumentReader and
GraphDocumentWriter). You may pass null as value to remove
the setting from the document.
key - The key to store the setting undervalue - The new value for the setting or null to remove the settingpublic java.lang.Object getDocumentSetting(java.lang.String key)
key - The key of the setting
setDocumentSetting(String, Object)public AttributeList getDocumentSettings()
GraphDocumentWriter to serialize the document.
public void setDocumentSettings(AttributeList settings)
AttributeList structure that
has usually been read from a file. The document will parse the contents
and will store the settings in an internal map.
Afterwards each of the settings will be available through the method
getDocumentSetting(String).
settings - all document settings as AttributeListpublic DocumentDataProvider getDocumentDataProvider(java.lang.String key)
DocumentDataProvider that can provide
the requested information described by the given key. The method returns
null, if there is no matching provider.
key - The key describing the requested information
DocumentDataProvider implementationDocumentDataProvider
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||