Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
ADT
ADT.History

Method ADT.History()->flush()


Method flush

void flush()

Description

Empties the history. All entries in the history are removed, to allow garbage collect to remove them. The entry sequence counter is not reset.