Uses of Interface
ides.api.plugin.model.DESModel

Packages that use DESModel

ides.api.core
ides.api.model.fsa
ides.api.model.supeventset
ides.api.plugin.io
ides.api.plugin.model
ides.api.plugin.presentation
ides.api.undo

Uses of DESModel in ides.api.core

Fields in ides.api.core with type parameters of type DESModel

protected java.util.Collection<DESModel>

IncompleteWorkspaceDescriptorException.neverSavedModels A list of the models which prevented the creation of the workspace descriptor (new models which have never been saved).

Methods in ides.api.core that return DESModel

DESModel	Workspace.getActiveModel() Returns the model currently active in the workspace.
DESModel	Workspace.getModel(java.lang.String name) Finds a model open in the workspace by name.

Methods in ides.api.core that return types with arguments of type DESModel

java.util.Iterator<DESModel>	Workspace.getModels() Returns an iterator of all DESModels in this workspace.
java.util.Collection<DESModel>	IncompleteWorkspaceDescriptorException.getNeverSavedModels() Returns a list of the models which prevented the creation of the workspace descriptor (e.g., new models in the workspace which have never been saved and their file location is unavailable).

Methods in ides.api.core with parameters of type DESModel

void	Workspace.addModel(DESModel model) Adds the given DESModel to the set of models in the workspace.
static java.lang.String	Hub.getUserTextAnnotation(DESModel model) Retrieve the user-defined text annotation of the given model.
static void	Hub.setUserTextAnnotation(DESModel model, java.lang.String text) Set the user-defined text annotation of the given model.

Constructor parameters in ides.api.core with type arguments of type DESModel

IncompleteWorkspaceDescriptorException(java.util.Collection<DESModel> models)
Creates an exception which contains a list of the models which prevented the creation of the workspace descriptor.

Uses of DESModel in ides.api.model.fsa

Subinterfaces of DESModel in ides.api.model.fsa

interface	FSAModel Interface for models of Finite-State Automata.
interface	FSASupervisor An FSA supervisor is an FSA with a control map.

Uses of DESModel in ides.api.model.supeventset

Subinterfaces of DESModel in ides.api.model.supeventset

interface

SupervisoryEventSet Interface for models of SupervisoryEvent sets.

Uses of DESModel in ides.api.plugin.io

Fields in ides.api.plugin.io declared as DESModel

protected DESModel

FileLoadException.partialModel The partially-loaded model at the time of the exception.

Methods in ides.api.plugin.io that return DESModel

DESModel	FileLoadException.getPartialModel() Provides access to the partially-loaded model at the time of the exception.
DESModel	IOSubsytem.importFile(java.io.File src, java.lang.String description) Import a model.
DESModel	IOSubsytem.load(java.io.File file) Load a DES model from a file.
DESModel	FileIOPlugin.loadData(java.lang.String version, java.io.InputStream stream, java.lang.String fileName) Load a DES model from the provided stream.

Methods in ides.api.plugin.io with parameters of type DESModel

void	IOSubsytem.export(DESModel model, java.io.File dst, java.lang.String description) Export a model to the format given in the description.
java.io.File	IOSubsytem.getFileOfModel(DESModel model) Determine the file, if any, where the given model is saved.
void	FileIOPlugin.loadMeta(java.lang.String version, java.io.InputStream stream, DESModel model, java.lang.String tag) Loads meta-data for a given DES model from a meta-data section.
void	IOSubsytem.save(DESModel model, java.io.File file) Save a DES model to a file.
void	FileIOPlugin.saveData(java.io.PrintStream stream, DESModel model, java.lang.String fileName) Save the description of the DES model into the provided stream.
void	FileIOPlugin.saveMeta(java.io.PrintStream stream, DESModel model, java.lang.String tag) Save the meta-data section with the given "tag" for a given DES model.
void	IOSubsytem.setFileOfModel(DESModel model, java.io.File file) Specify the file where a model is saved.

Constructors in ides.api.plugin.io with parameters of type DESModel

FileLoadException(java.lang.String msg, DESModel partialModel)
Creates an exception which will give access to the partially-loaded model at the time of the exception.

UnsupportedVersionException(java.lang.String msg, DESModel partialModel)

Uses of DESModel in ides.api.plugin.model

Subinterfaces of DESModel in ides.api.plugin.model

interface

ParentModel Interface for DESModels which, in turn, contain other DESModels as child models.

Methods in ides.api.plugin.model that return DESModel

DESModel	DESModelType.createModel(java.lang.String name) Creates and returns a new model of this type.
DESModel	ParentModel.getChildModel(java.lang.String id) Returns the child model identified by the given ID string.
DESModel	DESModelMessage.getSource() Returns the model that sent this message.

Methods in ides.api.plugin.model with parameters of type DESModel

java.lang.String

ParentModel.getChildModelId(DESModel child) Returns the ID of a child model which can be used to obtain the child model.

Constructors in ides.api.plugin.model with parameters of type DESModel

DESModelMessage(int eventType, DESModel source)
Creates a change notification message for DESModels to pass to DESModelSubscribers.

DESModelMessage(int eventType, DESModel source, java.lang.String message)
Creates a change notification message for DESModels to pass to DESModelSubscribers.

Uses of DESModel in ides.api.plugin.presentation

Methods in ides.api.plugin.presentation that return DESModel

DESModel

Presentation.getModel() Retrieve the model rendered in the presentation.

Methods in ides.api.plugin.presentation with parameters of type DESModel

Presentation	Toolset.getModelThumbnail(DESModel model, int width, int height) Returns a Presentation element with a thumbnail view of the given DESModel.
Toolset	ToolsetManager.getToolset(DESModel model) Returns the Toolset registered for the "main" perspective of the given DESModel.
UIDescriptor	Toolset.getUIElements(DESModel model) Returns a descriptor of the GUI elements which will be used to display a DESModel.

Uses of DESModel in ides.api.undo

Methods in ides.api.undo with parameters of type DESModel

void	UndoManager.addEdit(DESModel model, javax.swing.undo.UndoableEdit edit) Adds an UndoableEdit to the undo stack of the specified model, if the model is loaded in the workspace.