ides.api.model.supeventset
Interface SupervisoryEvent

All Superinterfaces:

Annotable, java.lang.Comparable<DESEvent>, DESElement, DESEvent

public interface SupervisoryEvent
extends DESEvent, java.lang.Comparable<DESEvent>

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

Author:

Helen Bretzke

Method Summary

boolean	equals(java.lang.Object o) Returns true iff o is of type DESEvent and has the same name as this SupervisoryEvent.
boolean	isControllable() Returns true iff this event's controllable property is set to true.
boolean	isObservable() Returns true iff this event's observable property is set to true.
void	setControllable(boolean b) Sets this event's controllable property to b.
void	setObservable(boolean b) Sets this event's observable property to b.

Methods inherited from interface ides.api.plugin.model.DESEvent

getSymbol, hashCode, setSymbol

Methods inherited from interface ides.api.plugin.model.DESElement

getId, setId

Methods inherited from interface ides.api.core.Annotable

getAnnotation, hasAnnotation, removeAnnotation, setAnnotation

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

isControllable

boolean isControllable()

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

Returns:

true iff this event is controllable

setControllable

void setControllable(boolean b)

Sets this event's controllable property to b.

Parameters:

b - the value to set

isObservable

boolean isObservable()

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

Returns:

true iff this event is observable

setObservable

void setObservable(boolean b)

Sets this event's observable property to b.

Parameters:

b - the value to set

equals

boolean equals(java.lang.Object o)

Returns true iff o is of type DESEvent and has the same name as this SupervisoryEvent.

Specified by:

equals in interface DESEvent

Overrides:

equals in class java.lang.Object

Parameters:

o - another object

Returns:

true iff o is of type DESEvent and has the same name as this SupervisoryEvent.