dump_events


Description:

public void dump_events (FileStream file)