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

R

read() - Method in class ides.api.utilities.HeadTailInputStream

read(byte[], int, int) - Method in class ides.api.utilities.HeadTailInputStream

read(byte[]) - Method in class ides.api.utilities.HeadTailInputStream

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

Updates the enabled status of the cut/copy/paste items on the menu and toolbar.

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

Register a DES operation with IDES.

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

Registers a plugin which can load models of the given type (for example, the type of Finite-State Machines is "FSA").

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

Registers a plugin which can save DESModels of the given perspective (e.g., FSAModel).

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

Registers a plugin which can export DESModels of the given perspective (e.g., FSAModel) to another file format.

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

Registers a plugin which can import models from other file formats.

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

Register an FSALayouter with IDES.

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

Registers a plugin which can load meta-data with the given "tag" for the given type of DES models.

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

Registers a plugin which can load meta-data with the given "tag" for any type of DES models (a generic plugin).

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

Registers a plugin which can save meta-data for the given DESModel perspective.

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

Registers a plugin which can save meta-data for any DESModel perspective (a generic plugin).

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

Registers a model type so that the corresponding DES model type becomes available to IDES.

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

Register an options pane with the options dialog box.

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

Registers a Toolset to handle a specific kind of DESModel perspective.

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

Detach from the underlying DESModel and releases any resources used to present it.

REMOVE - Static variable in class ides.api.core.WorkspaceMessage

Removal of a model.

REMOVE - Static variable in class ides.api.model.fsa.FSAMessage

The element was removed.

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

removes the state from the automaton and all transitions leading to the state and originating from the state

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

Removes a transition from the automaton.

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

Removes an event from the automaton.

REMOVE - Static variable in class ides.api.model.supeventset.SupEventSetMessage

The supervisory event was removed

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

Removes the annotation for the given key.

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

Removes a transition that ends in this state.

removeLatexPresentation(LatexPresentation) - Method in interface ides.api.latex.LatexManager

Removes a LatexPresentation from the list of LatexPresentations which need to be included in the automatic prerendering when LaTeX rendering is turned on.

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

Removes a model from the workspace.

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

Removes a transition that originates from this state.

removeSubscriber(WorkspaceSubscriber) - Method in interface ides.api.core.Workspace

Removes the given subscriber to this publisher.

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

Removes the given subscriber to this publisher.

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

Removes the given subscriber to this publisher.

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

Removes the given subscriber to this publisher.

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

Removes the given subscriber to this publisher.

renderDocument(String, File) - Method in class ides.api.latex.Renderer

Render the first page of a LaTeX document into a PNG image file.

renderDocument(String, OutputStream) - Method in class ides.api.latex.Renderer

Render the first page of a LaTeX document into a PNG image and output to a stream.

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

Render the first page of a LaTeX document into a PNG image file.

renderDocument(File, OutputStream) - Method in class ides.api.latex.Renderer

Render the first page of a LaTeX document into a PNG image and output to a stream.

renderDocument(InputStream, File) - Method in class ides.api.latex.Renderer

Render the first page of a LaTeX document into a PNG image file.

renderDocument(InputStream, OutputStream) - Method in class ides.api.latex.Renderer

Render the first page of a LaTeX document into a PNG image and output to a stream.

renderDocument(String) - Method in class ides.api.latex.Renderer

Render the first page of a LaTeX document.

renderDocument(File) - Method in class ides.api.latex.Renderer

Render the first page of a LaTeX document.

renderDocument(InputStream) - Method in class ides.api.latex.Renderer

Render the first page of a LaTeX document.

Renderer - Class in ides.api.latex

This class allows for rendering of LaTeX documents from within Java.

renderIfNeeded() - Method in interface ides.api.latex.LatexElement

Request for the element to render itself if it needs to get rendered.

renderString(String, File) - Method in class ides.api.latex.Renderer

Render a piece of LaTeX code into a PNG image file.

renderString(String, OutputStream) - Method in class ides.api.latex.Renderer

Render a piece of LaTeX code into a PNG image and output to a stream.

renderString(String, String, File) - Method in class ides.api.latex.Renderer

Render a piece of LaTeX code into a PNG image file.

renderString(String, String, OutputStream) - Method in class ides.api.latex.Renderer

Render a piece of LaTeX code into a PNG image and output to a stream.

renderString(String) - Method in class ides.api.latex.Renderer

Render a piece of LaTeX code.

renderString(String, String) - Method in class ides.api.latex.Renderer

Render a piece of LaTeX code.

renderTempFile(File) - Method in class ides.api.latex.Renderer

Render the first page of the LaTeX document contained in a temporary file.

repaintRequired() - Method in interface ides.api.core.WorkspaceSubscriber

Notifies this subscriber that a change requiring a repaint has occurred in the workspace.

reset() - Method in class ides.api.utilities.HeadTailInputStream

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

Reset all settings of the controls in the JPanel.

revoke(int) - Method in interface ides.api.notice.NoticeManager

Revokes a notice.