dump


Description:

public void dump (string filename)