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

I

ides.api.cache - package ides.api.cache

ides.api.copypaste - package ides.api.copypaste

ides.api.core - package ides.api.core

ides.api.latex - package ides.api.latex

ides.api.model.fsa - package ides.api.model.fsa

ides.api.model.supeventset - package ides.api.model.supeventset

ides.api.notice - package ides.api.notice

ides.api.plugin - package ides.api.plugin

ides.api.plugin.io - package ides.api.plugin.io

ides.api.plugin.layout - package ides.api.plugin.layout

ides.api.plugin.model - package ides.api.plugin.model

ides.api.plugin.operation - package ides.api.plugin.operation

ides.api.plugin.presentation - package ides.api.plugin.presentation

ides.api.presentation.fsa - package ides.api.presentation.fsa

ides.api.ui - package ides.api.ui

ides.api.undo - package ides.api.undo

ides.api.utilities - package ides.api.utilities

ILLEGAL_ARGUMENT - Static variable in class ides.api.plugin.operation.FSAToolbox

A standard error message which can be used by Operations.

ILLEGAL_NUMBER_OF_ARGUMENTS - Static variable in class ides.api.plugin.operation.FSAToolbox

A standard error message which can be used by Operations.

ImportExportPlugin - Interface in ides.api.plugin.io

Interface for plugins which import/export DESModels.

importFile(File, File) - Method in interface ides.api.plugin.io.ImportExportPlugin

Import a DES model from a different format.

importFile(File, String) - Method in interface ides.api.plugin.io.IOSubsytem

Import a model.

IncompleteWorkspaceDescriptorException - Exception in ides.api.core

The data needed to construct a WorkspaceDescriptor is incomplete.

IncompleteWorkspaceDescriptorException() - Constructor for exception ides.api.core.IncompleteWorkspaceDescriptorException

Creates an expection with an empty list of models.

IncompleteWorkspaceDescriptorException(Collection<DESModel>) - Constructor for exception ides.api.core.IncompleteWorkspaceDescriptorException

Creates an exception which contains a list of the models which prevented the creation of the workspace descriptor.

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

Called once when the plugin has to be initialized.

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

Identifies the number of initial states in the model.

instance() - Static method in class ides.api.plugin.io.IOPluginManager

Provides access to the instance of the manager.

instance() - Static method in class ides.api.plugin.layout.FSALayoutManager

Provides access to the instance of the manager.

instance() - Static method in class ides.api.plugin.model.ModelManager

Provides access to the instance of the manager.

instance() - Static method in class ides.api.plugin.operation.OperationManager

Provides access to the instance of the manager.

instance() - Static method in class ides.api.plugin.presentation.ToolsetManager

Provides access to the instance of the manager.

intersect(DESEventSet) - Method in interface ides.api.model.supeventset.SupervisoryEventSet

Produce an event set which contains the intersection of this event set and the given event set.

intersect(DESEventSet) - Method in interface ides.api.plugin.model.DESEventSet

Produce an event set which contains the intersection of this event set and the given event set.

IOPluginManager - Class in ides.api.plugin.io

The manager of I/O plugins.

IOSubsytem - Interface in ides.api.plugin.io

Access to loading/saving and import/export of models.

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

Returns what is the permission for rendering LaTeX elements by the presentation.

isControllable() - Method in interface ides.api.model.supeventset.SupervisoryEvent

Returns true iff this event's controllable property is set to true.

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

Determine whether cut and copy should currently be available to the user.

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

Determines whether the model is deterministic, i.e.

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

Returns if the workspace is dirty (it has been changed since the last save).

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

Check if there are models open in the workspace.

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

Determines whether the language represented by the automaton is empty.

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

Determines whether the given model is empty (has no states).

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

Determines whether the language represented by the automaton is the epsilon language.

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

Check if this is an epsilon transition (with null event) or not.

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

Returns true iff this is an initial state.

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

Returns true if LaTeX rendering of labels is on, false otherwise.

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

Returns true iff this is a marked (final) state.

isObservable() - Method in interface ides.api.model.supeventset.SupervisoryEvent

Returns true iff this event's observable property is set to true.

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

Determine whether paste should currently be available to the user, depending on the state of the presentation and on the type of data on the clipboard.

isWindowActivationAfterNoticePopup(WindowEvent) - Method in interface ides.api.core.UserInterface

Returns true if the argument is a WindowEvent that describes the activation (gaining of focus) of the main window after the notices popup has just become deactivated (lost focus).

isWindowDeactivationDuetoNoticePopup(WindowEvent) - Method in interface ides.api.core.UserInterface

Returns true if the argument is a WindowEvent that describes the deactivation (loss of focus) of the main window due to the notices popup becoming activated (gaining focus).

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

Get an iterator for all the controllable SupervisoryEvents in the set.

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

Get an iterator for all the observable SupervisoryEvents in the set.

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

Get an iterator for all the SupervisoryEvents in the set.

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

Get an iterator for all the uncontrollable SupervisoryEvents in the set.

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

Get an iterator for all the unobservable SupervisoryEvents in the set.