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

S

save(DESModel, File) - Method in interface ides.api.plugin.io.IOSubsytem

Save a DES model to a file.

saveData(PrintStream, DESModel, String) - Method in interface ides.api.plugin.io.FileIOPlugin

Save the description of the DES model into the provided stream.

saveMeta(PrintStream, DESModel, String) - Method in interface ides.api.plugin.io.FileIOPlugin

Save the meta-data section with the given "tag" for a given DES model.

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

The "saved" (or dirty) status of the model changed (i.e., the model had unsaved modifications and they were saved, or there were no unsaved modifications and now there is an unsaved modification).

SCREEN_RESOLUTION - Static variable in class ides.api.latex.Renderer

The resolution to be used when rendering LaTeX files

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

Sets the active model to the DESModel with the given name.

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

Makes the specified presentation active in the user interface.

setAllowedRendering(boolean) - Method in interface ides.api.latex.LatexPresentation

Allows or disallows rendering of LaTeX elements by the presentation.

setAnnotation(String, Object) - Method in interface ides.api.core.Annotable

Sets an annotation for a given key.

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

Calls the Hashtable method put.

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

Sets this event's controllable property to b.

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

Register the given layout and start using it as the default layouter for FSAModels.

setDirty(boolean) - Method in interface ides.api.core.Workspace

Sets the dirty flag of the workspace (i.e., whether it has been changed since the last save).

setDisabledEvents(FSAState, DESEventSet) - Method in interface ides.api.model.fsa.FSASupervisor

Sets the events disabled at a given state.

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

set the event upon which this transition fires.

setFileOfModel(DESModel, File) - Method in interface ides.api.plugin.io.IOSubsytem

Specify the file where a model is saved.

setFontSize(float) - Method in interface ides.api.plugin.presentation.GlobalFontSizePresentation

Sets the font size for the presentation.

setFontSize(float) - Method in class ides.api.ui.FontSizeSelector

Set the font size.

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

Sets the id of this element to the given id.

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

Sets the "initial" property of the state.

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

Calls the Hashtable method put.

setLatexEnabled(boolean) - Method in interface ides.api.latex.LatexManager

Switches LaTeX rendering of labels on and off.

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

Sets the "marked" property of the state.

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

Sets an annotation for the name of the state

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

Sets the display name of the model.

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

Sets this event's observable property to b.

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

Sets the parent model of the model.

setScaleFactor(float) - Method in interface ides.api.plugin.presentation.ZoomablePresentation

Sets the scale factor for the presentation.

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

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

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

Sets the symbol for this event to symbol.

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

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

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

Sets if changes in the DESModel have to be tracked by this presentation or not.

setUserTextAnnotation(DESModel, String) - Static method in class ides.api.core.Hub

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

setZoom(float) - Method in class ides.api.ui.ZoomControl

Set the zoom level.

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

Get the number of models in the workspace

skip(long) - Method in class ides.api.utilities.HeadTailInputStream

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

The message is about a state.

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

Stores the settings from the list of settings Hub.getPersistentData() into the file settings.ini.

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

Gets from the resource bundle Hub.stringResource the string which corresponds to the given key.

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

Produce an event set which contains the events in this event minus the events in the given event set.

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

Produce an event set which contains the events in this event minus the events in the given event set.

SupervisoryEvent - Interface in ides.api.model.supeventset

Defines an event in a finite state automaton or event set.

SupervisoryEventSet - Interface in ides.api.model.supeventset

Interface for models of SupervisoryEvent sets.

supEventSetChanged(SupEventSetMessage) - Method in interface ides.api.model.supeventset.SupEventSetSubscriber

The event set changed.

SupEventSetMessage - Class in ides.api.model.supeventset

A message sent to subscribers listening to a SupervisoryEventSet.

SupEventSetMessage(int, long, SupervisoryEventSet, String) - Constructor for class ides.api.model.supeventset.SupEventSetMessage

Creates a SupervisoryEventSet message to be passed on to any SupervisoryEventSet subscribers.

SupEventSetMessage(int, long, SupervisoryEventSet) - Constructor for class ides.api.model.supeventset.SupEventSetMessage

Creates a SupervisoryEventSet message to be passed on to any SupervisoryEventSet subscribers.

SupEventSetPublisher - Interface in ides.api.model.supeventset

A publisher of SupervisoryEventSet messages.

SupEventSetSubscriber - Interface in ides.api.model.supeventset

A subscriber to messages sent by SupervisoryEventSet models.