dump


Description:

public void dump (FILE file)