********************************************************************
* NOTE: This file is generated automatically from the event * definition file Hash.evt. ********************************************************************<* PRAGMA LL *> MODULE; <*NOWARN*> IMPORT HashAlgClass, IntList, ZeusClass, HashFmt; <*NOWARN*> IMPORT FormsVBT, ViewClass; REVEAL T = Public BRANDED OBJECT OVERRIDES <* LL.sup = VBT.mu *> isCompat := IsCompat; <* LL.sup < VBT.mu *> oeSetup := Setup; oeInsert := Insert; oeFind := Find; oeDelete := Delete; oeCompare := Compare; oeCheckDeletable := CheckDeletable; oeCheckHashPosition := CheckHashPosition; oeAddToBucket := AddToBucket; oeDeleteFromBucket := DeleteFromBucket; <* LL.sup = VBT.mu *> ueFindReport := FindReport; ueStopFindReport := StopFindReport; END; PROCEDURE HashViewClass IsCompat (<*UNUSED*> v: T; alg: ZeusClass.T): BOOLEAN = <* LL.sup = VBT.mu *> BEGIN RETURN ISTYPE(alg, HashAlgClass.T) END IsCompat; PROCEDURESetup (view: T ; <*UNUSED*> data: FormsVBT.T ; <*UNUSED*> nBuckets: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Setup; PROCEDUREInsert (view: T ; <*UNUSED*> key: TEXT ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Insert; PROCEDUREFind (view: T ; <*UNUSED*> key: TEXT ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Find; PROCEDUREDelete (view: T ; <*UNUSED*> key: TEXT ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Delete; PROCEDURECompare (view: T ; <*UNUSED*> bucket: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Compare; PROCEDURECheckDeletable (view: T ; <*UNUSED*> bucket: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END CheckDeletable; PROCEDURECheckHashPosition (view: T ; <*UNUSED*> bucket: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END CheckHashPosition; PROCEDUREAddToBucket (view: T ; <*UNUSED*> key: TEXT ; <*UNUSED*> bucket: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END AddToBucket; PROCEDUREDeleteFromBucket (view: T ; <*UNUSED*> key: TEXT ; <*UNUSED*> bucket: INTEGER ; <*UNUSED*> markEmpty: BOOLEAN ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END DeleteFromBucket; PROCEDUREFindReport (view: T ; <*UNUSED*> buckets: IntList.T ) = <* LL.sup = VBT.mu *> BEGIN view.evtHandled := FALSE; END FindReport; PROCEDUREStopFindReport (view: T ) = <* LL.sup = VBT.mu *> BEGIN view.evtHandled := FALSE; END StopFindReport; BEGIN END HashViewClass.