|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use DESEventSet | |
|---|---|
| ides.api.model.fsa | |
| ides.api.model.supeventset | |
| ides.api.plugin.model | |
| Uses of DESEventSet in ides.api.model.fsa |
|---|
| Methods in ides.api.model.fsa that return DESEventSet | |
|---|---|
DESEventSet |
FSASupervisor.getDisabledEvents(FSAState state)
Returns the events disabled at a given state. |
| Methods in ides.api.model.fsa with parameters of type DESEventSet | |
|---|---|
void |
FSASupervisor.setDisabledEvents(FSAState state,
DESEventSet set)
Sets the events disabled at a given state. |
| Uses of DESEventSet in ides.api.model.supeventset |
|---|
| Subinterfaces of DESEventSet in ides.api.model.supeventset | |
|---|---|
interface |
SupervisoryEventSet
Interface for models of SupervisoryEvent sets. |
| Methods in ides.api.model.supeventset with parameters of type DESEventSet | |
|---|---|
SupervisoryEventSet |
SupervisoryEventSet.intersect(DESEventSet set)
Produce an event set which contains the intersection of this event set and the given event set. |
SupervisoryEventSet |
SupervisoryEventSet.subtract(DESEventSet set)
Produce an event set which contains the events in this event minus the events in the given event set. |
SupervisoryEventSet |
SupervisoryEventSet.union(DESEventSet set)
Produce an event set which contains the union of this event set and the given event set. |
| Uses of DESEventSet in ides.api.plugin.model |
|---|
| Methods in ides.api.plugin.model that return DESEventSet | |
|---|---|
DESEventSet |
DESEventSet.copy()
Produce a (deep) copy of this event set. |
DESEventSet |
ModelManager.createEmptyEventSet()
Creates an empty event set. |
DESEventSet |
DESModel.getEventSet()
Obtains the set of events in the model. |
DESEventSet |
DESEventSet.intersect(DESEventSet set)
Produce an event set which contains the intersection of this event set and the given event set. |
DESEventSet |
DESEventSet.subtract(DESEventSet set)
Produce an event set which contains the events in this event minus the events in the given event set. |
DESEventSet |
DESEventSet.union(DESEventSet set)
Produce an event set which contains the union of this event set and the given event set. |
| Methods in ides.api.plugin.model with parameters of type DESEventSet | |
|---|---|
DESEventSet |
DESEventSet.intersect(DESEventSet set)
Produce an event set which contains the intersection of this event set and the given event set. |
DESEventSet |
DESEventSet.subtract(DESEventSet set)
Produce an event set which contains the events in this event minus the events in the given event set. |
DESEventSet |
DESEventSet.union(DESEventSet set)
Produce an event set which contains the union of this event set and the given event set. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||