Operation int getIndex (Event e), in Class PriorityQueue

Documentation
@param e the event we are looking for
@return the index, or 0 if not found


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPrivateAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
AbstractFalseStaticFalse
FinalFalseNativeFalse
SynchronizedFalse  


Data Modeler
dmItemFalseDMName 
IsConstraintFalseConstraintType 
IsIndexFalseIsTriggerFalse
IsClusterFalseTableSpace 
FillFactor0KeyList 
CheckPredicate IsUniqueFalse
DeferalMode InitialCheckTime 
TriggerType TriggerReferencePart 
IsInsertEventFalseIsUpdateEventFalse
IsDeleteEventFalse