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

F

FileIOPlugin - Interface in ides.api.plugin.io

Interface for plugins which save/load DESModels or which save/load meta-data sections in DESModel files.

FileLoadException - Exception in ides.api.plugin.io

Used when there is a problem loading a file.

FileLoadException() - Constructor for exception ides.api.plugin.io.FileLoadException

Creates an exception without specifying a partially-loaded model.

FileLoadException(String) - Constructor for exception ides.api.plugin.io.FileLoadException

Creates an exception without specifying a partially-loaded model.

FileLoadException(String, DESModel) - Constructor for exception ides.api.plugin.io.FileLoadException

Creates an exception which will give access to the partially-loaded model at the time of the exception.

FileSaveException - Exception in ides.api.plugin.io

Used when there is a problem saving the data in a file.

FileSaveException() - Constructor for exception ides.api.plugin.io.FileSaveException

FileSaveException(String) - Constructor for exception ides.api.plugin.io.FileSaveException

FileSaveException(Throwable) - Constructor for exception ides.api.plugin.io.FileSaveException

FileSaveException(String, Throwable) - Constructor for exception ides.api.plugin.io.FileSaveException

filter(Object[]) - Method in interface ides.api.plugin.operation.FilterOperation

Performs the operation directly on the input/output arguments.

FilterOperation - Interface in ides.api.plugin.operation

Interface for DES operations which modify their arguments.

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

Sends notification to subscribers that the the layout of the workspace is about to change (e.g., a new model is about to become the active model).

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

Triggers a notification to all subscribers that the event set of the FSA model has changed.

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

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

Triggers a notification to all subscribers that the structure of the FSA model has changed.

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

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

Sends a notification to subscribers that a repaint is required due to changes to the display options such as Zoom, or toggling show grid, LaTeX rendering, UniformNode size etc.

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

Triggers a notification to all subscribers that the event set has changed.

fixBoundingBox(Rectangle, File, File) - Method in class ides.api.latex.Renderer

Fixes the BoundingBox comment in EPS files so it reflects the true boundary of the graphic.

fontSize - Variable in class ides.api.ui.FontSizeSelector

The font size

FontSizeSelector - Class in ides.api.ui

The control for the font size when rendering models (to be used by Presentations which support different font sizes).

FontSizeSelector() - Constructor for class ides.api.ui.FontSizeSelector

Instantiate and set up the font selector.

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

Forces a repaint of the presentation.

FormatTranslationException - Exception in ides.api.plugin.io

Used when there is a problem during the import or export of a file.

FormatTranslationException() - Constructor for exception ides.api.plugin.io.FormatTranslationException

FormatTranslationException(String) - Constructor for exception ides.api.plugin.io.FormatTranslationException

FormatTranslationException(Exception) - Constructor for exception ides.api.plugin.io.FormatTranslationException

fsaEventSetChanged(FSAMessage) - Method in interface ides.api.model.fsa.FSASubscriber

The event set of the FSA changed.

FSALayouter - Interface in ides.api.plugin.layout

Interface for classes which layout FSAModels.

FSALayoutManager - Class in ides.api.plugin.layout

The manager of classes for the layout of FSAModels.

FSAMessage - Class in ides.api.model.fsa

Message sent to subscribers listening for changes to a FSA.

FSAMessage(int, int, long, FSAModel) - Constructor for class ides.api.model.fsa.FSAMessage

Creates an FSA modification message to be passed to FSASubscriber s.

FSAMessage(int, int, long, FSAModel, String) - Constructor for class ides.api.model.fsa.FSAMessage

Creates an FSA modification message to be passed to FSASubscriber s.

FSAModel - Interface in ides.api.model.fsa

Interface for models of Finite-State Automata.

FSAPublisher - Interface in ides.api.model.fsa

A publisher of FSA messages.

FSAPublisherAdaptor - Class in ides.api.model.fsa

Implementation of the FSAPublisher interface.

FSAPublisherAdaptor() - Constructor for class ides.api.model.fsa.FSAPublisherAdaptor

Initialize the adaptor.

FSAState - Interface in ides.api.model.fsa

The interface defining a representation of a state in a finite state automaton.

FSAStateLabeller - Class in ides.api.presentation.fsa

Provides state labelling services for FSAModels.

FSAStateLabeller() - Constructor for class ides.api.presentation.fsa.FSAStateLabeller

fsaStructureChanged(FSAMessage) - Method in interface ides.api.model.fsa.FSASubscriber

The structure (states and transitions) of the FSA changed.

FSASubscriber - Interface in ides.api.model.fsa

Subscriber to messages sent by FSA models.

FSASupervisor - Interface in ides.api.model.fsa

An FSA supervisor is an FSA with a control map.

FSAToolbox - Class in ides.api.plugin.operation

A class of methods useful for checking FSAModels for certain criteria.

FSATransition - Interface in ides.api.model.fsa

Transition of an FSAModel.