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

M

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

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

Identifies the number of marked states in the model.

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

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

Wraps a message in a JComponent with simplified key bindings for the JOptionPane buttons.

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

Notifies the model that some associated metadata has been changed.

MODEL_FILE_EXT - Static variable in interface ides.api.plugin.io.IOSubsytem

Extension for model files.

modelCollectionChanged(WorkspaceMessage) - Method in interface ides.api.core.WorkspaceSubscriber

Notifies this subscriber that a model collection change (a DES model is created or opened (added) or closed (removed), etc.) has occurred in the workspace.

modelFromList(List<DESEvent>) - Static method in class ides.api.plugin.operation.FSAToolbox

Constructs an FSAModel representing a string from a list of DESEvents.

ModelManager - Class in ides.api.plugin.model

The manager of model types available to IDES.

modelNameChanged(DESModelMessage) - Method in interface ides.api.plugin.model.DESModelSubscriber

The name of the model was modified.

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

Notifies the model that it has been saved.

modelSwitched(WorkspaceMessage) - Method in interface ides.api.core.WorkspaceSubscriber

Notifies this subscriber that a new model has become the active model in the workspace.

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

Other change of the workspace which cannot be described as addition or removal of a model, such as switching the active model.

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

The element was modified.

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

The supervisory event was modified