Serialized Form

Package ides.api.cache

Class ides.api.cache.NotInCacheException extends java.lang.Exception implements Serializable

serialVersionUID: 7567544231199177891L

Package ides.api.core

Class ides.api.core.IncompleteWorkspaceDescriptorException extends java.lang.Exception implements Serializable

serialVersionUID: 3991559737853629043L

Serialized Fields

neverSavedModels

java.util.Collection<E> neverSavedModels

A list of the models which prevented the creation of the workspace descriptor (new models which have never been saved).

See Also:

WorkspaceBackend.getDescriptor()

Class ides.api.core.PersistentProperties extends java.util.Properties implements Serializable

Package ides.api.latex

Class ides.api.latex.LatexRenderException extends java.lang.Exception implements Serializable

serialVersionUID: 4399236169383418987L

Package ides.api.plugin

Class ides.api.plugin.PluginInitException extends java.lang.Exception implements Serializable

serialVersionUID: -1925207920485858643L

Package ides.api.plugin.io

Class ides.api.plugin.io.FileLoadException extends java.io.IOException implements Serializable

serialVersionUID: 8034841581346773517L

Serialized Fields

partialModel

DESModel partialModel

The partially-loaded model at the time of the exception.

Class ides.api.plugin.io.FileSaveException extends java.io.IOException implements Serializable

serialVersionUID: 1678695993655527352L

Class ides.api.plugin.io.FormatTranslationException extends java.io.IOException implements Serializable

serialVersionUID: -8596085812259995633L

Class ides.api.plugin.io.UnsupportedVersionException extends FileLoadException implements Serializable

serialVersionUID: -2729508909271561710L

Package ides.api.plugin.presentation

Class ides.api.plugin.presentation.UnsupportedModelException extends java.lang.RuntimeException implements Serializable

serialVersionUID: 1528723636728510491L

Package ides.api.ui

Class ides.api.ui.FontSizeSelector extends javax.swing.JComboBox implements Serializable

serialVersionUID: -6949888001861287432L

Serialized Fields

fontSize

int fontSize

The font size

Class ides.api.ui.ZoomControl extends javax.swing.JComboBox implements Serializable

serialVersionUID: 2215751287682688097L

Serialized Fields

zoomValue

int zoomValue

The zoom level.

Package ides.api.utilities

Class ides.api.utilities.ContractableTextArea extends javax.swing.JTextArea implements Serializable

serialVersionUID: 6803315264387461529L

Class ides.api.utilities.EscapeDialog extends javax.swing.JDialog implements Serializable

serialVersionUID: -6032942863756073899L

Serialized Fields

escapeListener

javax.swing.Action escapeListener

The listener for the user pressing the Escape key. Calls EscapeDialog.onEscapeEvent().

See Also:

EscapeDialog.onEscapeEvent(), EscapeDialog.bindEscapeListener()

Class ides.api.utilities.GeneralUtils.JOptionPaneKeyBinder.ShortcutHandler extends javax.swing.AbstractAction implements Serializable

serialVersionUID: -1159358315366596356L

Serialized Fields

buttonText

java.lang.String buttonText

The text of the button which has to be activated.