|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface DESEvent
Defines an abstract event in a discrete-event system.
| Method Summary | |
|---|---|
boolean |
equals(java.lang.Object o)
Returns true iff o is of type DESEvent and has the same name
as this DESEvent. |
java.lang.String |
getSymbol()
Returns the symbol that represents this event in the (local?) alphabet. |
int |
hashCode()
Returns an integer for the event which can be used for hashing. |
void |
setSymbol(java.lang.String symbol)
Sets the symbol for this event to symbol. |
| Methods inherited from interface ides.api.plugin.model.DESElement |
|---|
getId, setId |
| Methods inherited from interface ides.api.core.Annotable |
|---|
getAnnotation, hasAnnotation, removeAnnotation, setAnnotation |
| Method Detail |
|---|
java.lang.String getSymbol()
void setSymbol(java.lang.String symbol)
symbol.
symbol - the symbol to setboolean equals(java.lang.Object o)
o is of type DESEvent and has the same name
as this DESEvent.
equals in class java.lang.Objecto - another object
o is of type DESEvent and has the same name
as this DESEvent.int hashCode()
equals(Object) returns true for another DESEvent,
the hashCode() methods for the two events have to return the
same integer.
hashCode in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||