A B C D E F G H I L M N O P R S T U W X Y Z

G

GeneralUtils - Class in ides.api.utilities

A collection of methods and classes of general utility.

GeneralUtils() - Constructor for class ides.api.utilities.GeneralUtils

GeneralUtils.JOptionPaneKeyBinder - Class in ides.api.utilities

This class allows the use of simple keyboard shortcuts for the Yes/No/etc.

GeneralUtils.JOptionPaneKeyBinder() - Constructor for class ides.api.utilities.GeneralUtils.JOptionPaneKeyBinder

GeneralUtils.JOptionPaneKeyBinder.ShortcutHandler - Class in ides.api.utilities

Handler for the activation of the simplified custom shortcuts.

GeneralUtils.JOptionPaneKeyBinder.ShortcutHandler(String) - Constructor for class ides.api.utilities.GeneralUtils.JOptionPaneKeyBinder.ShortcutHandler

Create a handler which will activate the button with the given text.

get(String) - Method in interface ides.api.cache.Cache

Retrieve an object from the cache.

getActiveCopyPastePresentation() - Method in interface ides.api.copypaste.CopyPasteManager

Returns the active CopyPastePresentation, or null if there is no currently active CopyPastePresentation.

getActiveModel() - Method in interface ides.api.core.Workspace

Returns the model currently active in the workspace.

getActiveModelName() - Method in interface ides.api.core.Workspace

Returns the name of the model currently active in the workspace.

getActiveUID() - Method in interface ides.api.core.Workspace

Returns the UIDescriptor with the UI elements for the currently active model.

getAllTypes() - Method in class ides.api.plugin.model.ModelManager

Returns all model types registered with the manager.

getAnnotation(String) - Method in interface ides.api.core.Annotable

Returns the annotation for the given key.

getBoolean(String) - Method in class ides.api.core.PersistentProperties

Searches for the property with the specified key in this property list and parses the string value as a boolean.

getBoolean(String, boolean) - Method in class ides.api.core.PersistentProperties

Searches for the property with the specified key in this property list and parses the string value as a boolean.

getCache() - Static method in class ides.api.core.Hub

Provides access to the Cache maintained by IDES.

getCenteredLocationForDialog(Dimension) - Static method in class ides.api.core.Hub

Suggests the position of the top-left corner for a dialog box with the given dimensions so that it is located in the center of the main window of the application.

getChildModel(String) - Method in interface ides.api.plugin.model.ParentModel

Returns the child model identified by the given ID string.

getChildModelId(DESModel) - Method in interface ides.api.plugin.model.ParentModel

Returns the ID of a child model which can be used to obtain the child model.

getClipboard() - Method in interface ides.api.copypaste.CopyPasteManager

Returns the clipboard used by IDES.

getCopyAction() - Method in interface ides.api.plugin.presentation.CopyPastePresentation

Gives the appropriate action for copy.

getCopyOverwriteAction() - Method in interface ides.api.copypaste.CopyPasteManager

In order for copy and paste to work for swing components that already have a copy and paste implementation, the default functionality must be overwritten.

getCopyPasteManager() - Static method in class ides.api.core.Hub

Provides access to the cut, copy and paste facility in IDES.

getCredits() - Method in interface ides.api.plugin.Plugin

Retrieve the authorship of the plugin.

getCutAction() - Method in interface ides.api.plugin.presentation.CopyPastePresentation

Gives the appropriate action for cut.

getCutOverwriteAction() - Method in interface ides.api.copypaste.CopyPasteManager

In order for copy and paste to work for swing components that already have a copy and paste implementation, the default functionality must be overwritten.

getDataLoader(String) - Method in class ides.api.plugin.io.IOPluginManager

Returns a plugin which is capable of loading a DESModel of the given type (for example, the type of Finite-State Machines is "FSA").

getDataSaver(Class<?>) - Method in class ides.api.plugin.io.IOPluginManager

Returns a plugin which is capable of saving DESModels of the given perspective (e.g.

getDefaultFSALayouter() - Method in class ides.api.plugin.layout.FSALayoutManager

Retrieve the default FSA layouter which is used by IDES.

getDescription() - Method in interface ides.api.plugin.model.DESModelType

Returns a human-readable description of this type of model.

getDescription() - Method in interface ides.api.plugin.operation.Operation

Description of the operation.

getDescription() - Method in interface ides.api.plugin.Plugin

Retrieve a short description of the plugin.

getDescriptionOfInputs() - Method in interface ides.api.plugin.operation.Operation

User-readable and understandable description for each input argument.

getDescriptionOfOutputs() - Method in interface ides.api.plugin.operation.Operation

User-readable and understandable description for each output argument.

getDESModelSubscribers() - Method in interface ides.api.plugin.model.DESModelPublisher

Returns all current subscribers to this publisher.

getDisabledEvents(FSAState) - Method in interface ides.api.model.fsa.FSASupervisor

Returns the events disabled at a given state.

getElementId() - Method in class ides.api.model.fsa.FSAMessage

Retrieve the ID of the element in the message.

getElementType() - Method in class ides.api.model.fsa.FSAMessage

Retrieve the type of the element in the message.

getEmptyImage() - Static method in class ides.api.latex.Renderer

Returns an empty image (1x1 pixel, white).

getEpsilonTransitions(FSAModel) - Static method in class ides.api.plugin.operation.FSAToolbox

Obtains a set of the ids of all epsilon transitions in the model.

getEvent(long) - Method in interface ides.api.model.fsa.FSAModel

Get the event with the given event id.

getEvent() - Method in interface ides.api.model.fsa.FSATransition

returns the event upon which this transition fires.

getEvent(long) - Method in interface ides.api.model.supeventset.SupervisoryEventSet

Get the event with the given event id.

getEventCount() - Method in interface ides.api.model.fsa.FSAModel

Get the number of events in the event set of the FSA.

getEventId() - Method in class ides.api.model.supeventset.SupEventSetMessage

Retrieve the ID of the SupervisoryEvent in the message.

getEventIterator() - Method in interface ides.api.model.fsa.FSAModel

Get an iterator for the events in the event set of the FSA.

getEventSet() - Method in interface ides.api.model.fsa.FSAModel

Obtains the set of events in the model.

getEventSet() - Method in interface ides.api.plugin.model.DESModel

Obtains the set of events in the model.

getEventType() - Method in class ides.api.core.WorkspaceMessage

Returns the type of event that occurred.

getEventType() - Method in class ides.api.model.fsa.FSAMessage

Retrieve the type of event (addition, removal or modification).

getEventType() - Method in class ides.api.model.supeventset.SupEventSetMessage

Retrieve the type of change (addition, removal or modification).

getEventType() - Method in class ides.api.plugin.model.DESModelMessage

Returns the type of event that occurred.

getExporters(Class<?>) - Method in class ides.api.plugin.io.IOPluginManager

Returns the set of plugins registered to export DESModels of the given perspective (e.g., FSAModel) to another file format.

getExporters() - Method in class ides.api.plugin.io.IOPluginManager

Returns the set of plugins registered to export to other file formats.

getFileDescription() - Method in interface ides.api.plugin.io.ImportExportPlugin

Return a human readable description of the file format supported by the plugin.

getFileExtension() - Method in interface ides.api.plugin.io.ImportExportPlugin

Return a string with the file extension of the foreign model format.

getFileOfModel(DESModel) - Method in interface ides.api.plugin.io.IOSubsytem

Determine the file, if any, where the given model is saved.

getFilterOperation(String) - Method in class ides.api.plugin.operation.OperationManager

Access a registered filter operation by name.

getFontSelector() - Method in interface ides.api.core.UserInterface

Access to the font selector element.

getFontSize() - Method in class ides.api.ui.FontSizeSelector

Retrieve the current font size.

getFSASubscribers() - Method in interface ides.api.model.fsa.FSAPublisher

Returns all current subscribers to this publisher.

getFSASubscribers() - Method in class ides.api.model.fsa.FSAPublisherAdaptor

Returns all current subscribers to this publisher.

getGUI() - Method in interface ides.api.plugin.presentation.Presentation

Returns the JComponent in which the DESModel is rendered.

getIcon() - Method in interface ides.api.plugin.model.DESModelType

Returns an small image (icon) which can be displayed to the user to identify the model type.

getId() - Method in interface ides.api.plugin.model.DESElement

Returns the id of this element.

getIDESResource(String) - Static method in class ides.api.core.Hub

Gets a resource from the IDES JAR file (icons and such).

getImporter(String) - Method in class ides.api.plugin.io.IOPluginManager

Returns the importing plugin which has the given file-format description.

getImporters() - Method in class ides.api.plugin.io.IOPluginManager

Returns the set of plugins registered to import from other file formats.

getIncomingTransitionsCount() - Method in interface ides.api.model.fsa.FSAState

Returns the number of transitions ending in this state.

getIncomingTransitionsListIterator() - Method in interface ides.api.model.fsa.FSAState

Returns an iterator for the transitions ending in this state.

getInitialStates(FSAModel) - Static method in class ides.api.plugin.operation.FSAToolbox

Obtains a set of the ids of all initial states in the model.

getInputOutputIndexes() - Method in interface ides.api.plugin.operation.FilterOperation

The indexes of the inputs which will be modified directly by FilterOperation.filter(Object[]).

getInt(String) - Method in class ides.api.core.PersistentProperties

Searches for the property with the specified key in this property list and parses the string value as an integer.

getInt(String, int) - Method in class ides.api.core.PersistentProperties

Searches for the property with the specified key in this property list and parses the string value as an integer.

getIOSubsystem() - Static method in class ides.api.core.Hub

Provides access to the IO subsystem of IDES.

getIOTypeDescriptor() - Method in interface ides.api.plugin.io.FileIOPlugin

Return the string describing the type of model handled by the plugin.

getLatexManager() - Static method in class ides.api.core.Hub

Provides access to the LaTeX rendering services in IDES.

getLayouter(String) - Method in class ides.api.plugin.layout.FSALayoutManager

Retrieve the layouter with the given name.

getLayouterNames() - Method in class ides.api.plugin.layout.FSALayoutManager

Retrieve the names of all registered FSALayouters.

getLeftPanePresentations() - Method in interface ides.api.plugin.presentation.UIDescriptor

As of IDES version 3, this method does nothing.

getLicense() - Method in interface ides.api.plugin.Plugin

Retrieve the license of the plugin.

getLocalResource(Class<?>, String) - Static method in class ides.api.core.Hub

Gets a resource from the JAR file of a plugin (icons and such).

getMainPanePresentations() - Method in interface ides.api.plugin.presentation.UIDescriptor

Retrieve the list of Presentations to be added to the main pane of the IDES interface when the model is activated.

getMainPerspective() - Method in interface ides.api.plugin.model.DESModelType

Returns the "main" perspective of models of this type.

getMainWindow() - Static method in class ides.api.core.Hub

Gets the main window of IDES.

getMarkedStates(FSAModel) - Static method in class ides.api.plugin.operation.FSAToolbox

Obtains a set of the ids of all marked states in the model.

getMenus() - Method in interface ides.api.plugin.presentation.UIDescriptor

Retrieve the menus to be added to the IDES menu when the model is activated.

getMessage() - Method in class ides.api.model.supeventset.SupEventSetMessage

Retrieve the description of the message.

getMessage() - Method in class ides.api.plugin.model.DESModelMessage

Returns a string describing the message.

getMessageText() - Method in class ides.api.core.WorkspaceMessage

Returns a string describing the message.

getMessageText() - Method in class ides.api.model.fsa.FSAMessage

Retrieve the description of the message.

getMetaLoaders(String, String) - Method in class ides.api.plugin.io.IOPluginManager

Returns the plugin registered to load meta-data with the given tag when loading DESModels of the given type (e.g., "FSA").

getMetaSavers(Class<?>) - Method in class ides.api.plugin.io.IOPluginManager

Returns the set of plugins registered to save meta-data when saving DESModels of the given perspective (e.g.

getMetaTags() - Method in interface ides.api.plugin.io.FileIOPlugin

Returns the set of meta-data "tags" handled by the plugin.

getMnemonicKey(String) - Static method in class ides.api.utilities.GeneralUtils.JOptionPaneKeyBinder

Retrieve the simple key from the menmonic shortcut for the given JOptionPane button.

getModel(String) - Method in interface ides.api.core.Workspace

Finds a model open in the workspace by name.

getModel() - Method in interface ides.api.plugin.presentation.Presentation

Retrieve the model rendered in the presentation.

getModelName() - Method in class ides.api.core.WorkspaceMessage

Returns the name of the model that was changed.

getModelPerspectives() - Method in interface ides.api.plugin.model.DESModelType

Returns all the DES model perspectives which models of this type implement.

getModels() - Method in interface ides.api.core.Workspace

Returns an iterator of all DESModels in this workspace.

getModelsForPerspective(Class<?>) - Method in class ides.api.plugin.model.ModelManager

Returns all model types that implement the given perspective.

getModelsOfType(Class<T>) - Method in interface ides.api.core.Workspace

Returns all models of the given type opened in the workspace.

getModelThumbnail(DESModel, int, int) - Method in interface ides.api.plugin.presentation.Toolset

Returns a Presentation element with a thumbnail view of the given DESModel.

getModelType() - Method in interface ides.api.plugin.model.DESModel

Returns the model type.

getName() - Method in interface ides.api.core.Workspace

Returns the name of the workspace.

getName() - Method in interface ides.api.model.fsa.FSAState

Gets the name of the state

getName() - Method in interface ides.api.plugin.layout.FSALayouter

Retrieve the name of the layout algorithm.

getName() - Method in interface ides.api.plugin.model.DESModel

Returns the display name of the model.

getName() - Method in interface ides.api.plugin.operation.Operation

Name of the operation.

getName() - Method in interface ides.api.plugin.Plugin

Retrieve the name of the plugin.

getName() - Method in interface ides.api.plugin.presentation.Presentation

Returns the title of this presentation.

getNeverSavedModels() - Method in exception ides.api.core.IncompleteWorkspaceDescriptorException

Returns a list of the models which prevented the creation of the workspace descriptor (e.g., new models in the workspace which have never been saved and their file location is unavailable).

getNoticeManager() - Static method in class ides.api.core.Hub

Provides access to the notice posting services in IDES.

getNumberOfInputs() - Method in interface ides.api.plugin.operation.Operation

Number of inputs for the operation.

getNumberOfOutputs() - Method in interface ides.api.plugin.operation.Operation

Number of outputs from the operation.

getOperation(String) - Method in class ides.api.plugin.operation.OperationManager

Access a registered operation by name.

getOperationNames() - Method in class ides.api.plugin.operation.OperationManager

Get the names of all registered operations.

getOutgoingTransitionsCount() - Method in interface ides.api.model.fsa.FSAState

Returns the number of transitions originating from this state.

getOutgoingTransitionsListIterator() - Method in interface ides.api.model.fsa.FSAState

Returns an iterator for the transitions originating from this state.

getPane() - Method in interface ides.api.core.OptionsPane

Returns the JPanel which contains the options controls for this OptionsPane.

getParentModel() - Method in interface ides.api.plugin.model.DESModel

Returns the parent model, if any, of the model.

getPartialModel() - Method in exception ides.api.plugin.io.FileLoadException

Provides access to the partially-loaded model at the time of the exception.

getPasteAction() - Method in interface ides.api.plugin.presentation.CopyPastePresentation

Gives the appropriate action for paste.

getPasteOverwriteAction() - Method in interface ides.api.copypaste.CopyPasteManager

In order for copy and paste to work for swing components that already have a copy and paste implementation, the default functionality must be overwritten.

getPersistentData() - Static method in class ides.api.core.Hub

Provides access to a list of settings which persist over sessions.

getPreferredSize() - Method in class ides.api.utilities.ContractableTextArea

getPresentations() - Method in interface ides.api.core.Workspace

Returns the set of presentations used as the UI for the currently active model.

getPresentationsOfType(Class<T>) - Method in interface ides.api.core.Workspace

Selects the presentation of the given type from the set of all presentations used as the UI for the currently active model.

getRedoAction() - Method in interface ides.api.undo.UndoManager

Returns an action which redoes the last undone entry in the undo manager, if any.

getRenderer() - Method in interface ides.api.latex.LatexManager

Returns the Renderer to be used for rendering LaTeX.

getRenderer(File, File) - Static method in class ides.api.latex.Renderer

Create a new Renderer which will use the provided paths when calling LaTeX, dvips and GhostScript.

getRightPanePresentations() - Method in interface ides.api.plugin.presentation.UIDescriptor

Retrieve the list of Presentations to appear on the right side of the main pane of IDES when the model is activated.

getSaveDataVersion() - Method in interface ides.api.plugin.io.FileIOPlugin

Returns the version of the format in which the model data is saved.

getSaveMetaVersion(String) - Method in interface ides.api.plugin.io.FileIOPlugin

Returns the version of the format in which the meta-data section with the given "tag" is saved.

getSource() - Method in class ides.api.model.fsa.FSAMessage

Retrieve the source of the message.

getSource() - Method in interface ides.api.model.fsa.FSATransition

Sets a new source, i.e., state from which this transition originates, for this transition.

getSource() - Method in class ides.api.model.supeventset.SupEventSetMessage

Retrieve the source of the message.

getSource() - Method in class ides.api.plugin.model.DESModelMessage

Returns the model that sent this message.

getState(long) - Method in interface ides.api.model.fsa.FSAModel

Get the state with the given id.

getStateCount() - Method in interface ides.api.model.fsa.FSAModel

Get the number of states in the FSA.

getStateIterator() - Method in interface ides.api.model.fsa.FSAModel

Get an iterator for the states in the FSA.

getStatusBar() - Method in interface ides.api.core.UserInterface

Access to the status bar.

getStatusBar() - Method in interface ides.api.plugin.presentation.UIDescriptor

Retrieve the Presentation which will be added to the status bar of IDES when the model is activated.

getSupEventSetSubscribers() - Method in interface ides.api.model.supeventset.SupEventSetPublisher

Returns all current subscribers to this publisher.

getSymbol() - Method in interface ides.api.plugin.model.DESEvent

Returns the symbol that represents this event in the (local?) alphabet.

getTarget() - Method in interface ides.api.model.fsa.FSATransition

returns the state this transition ends in.

getTitle() - Method in interface ides.api.core.OptionsPane

Returns the string which will appear in the list of sections in the Optins dialog box.

getToolbar() - Method in interface ides.api.plugin.presentation.UIDescriptor

Retrieve a toolbar with icons to be added to the IDES toolbar when the model is activated.

getToolset(DESModel) - Method in class ides.api.plugin.presentation.ToolsetManager

Returns the Toolset registered for the "main" perspective of the given DESModel.

getToolset(Class<?>) - Method in class ides.api.plugin.presentation.ToolsetManager

Returns the Toolset registered for the given DESModel perspective.

getTransition(long) - Method in interface ides.api.model.fsa.FSAModel

Get the transition with the given id.

getTransitionCount() - Method in interface ides.api.model.fsa.FSAModel

Get the number of transitions in the FSA.

getTransitionIterator() - Method in interface ides.api.model.fsa.FSAModel

Get an iterator for the transitions in the FSA.

getTypeOfInputs() - Method in interface ides.api.plugin.operation.Operation

Class types of the inputs.

getTypeOfOutputs() - Method in interface ides.api.plugin.operation.Operation

Class types of the outputs.

getUIElements(DESModel) - Method in interface ides.api.plugin.presentation.Toolset

Returns a descriptor of the GUI elements which will be used to display a DESModel.

getUndoAction() - Method in interface ides.api.undo.UndoManager

Returns an action which undoes the last entry in the undo manager, if any.

getUndoManager() - Static method in class ides.api.core.Hub

Provides access to the Undo facility in IDES.

getUnrenderedLatexElements() - Method in interface ides.api.latex.LatexPresentation

Returns a list of all LatexElements in the presentation which need to be rendered.

getUserInterface() - Static method in class ides.api.core.Hub

Gets the main UI of IDES.

getUserTextAnnotation(DESModel) - Static method in class ides.api.core.Hub

Retrieve the user-defined text annotation of the given model.

getVersion() - Method in interface ides.api.plugin.Plugin

Retrieve the version of the plugin.

getWarnings() - Method in interface ides.api.plugin.operation.Operation

When an operation is performed, it may generate warnings.

getWindow() - Method in interface ides.api.core.UserInterface

Access to the main window.

getWorkspace() - Static method in class ides.api.core.Hub

Gets the main workspace.

getZoom() - Method in class ides.api.ui.ZoomControl

Retrieve the current zoom level.

getZoomControl() - Method in interface ides.api.core.UserInterface

Access to the zoom control element.

GlobalFontSizePresentation - Interface in ides.api.plugin.presentation

An interface for Presentations that support the ability to change the font size.

gsPath - Variable in class ides.api.latex.Renderer

The path to ghostscript