destroy
Description:
public void destroy ()
Frees this.
As a precaution, the function will emit a warning to standard error and return without freeing this if this still has reserved keys.
Parameters:
| this |
Frees this.
As a precaution, the function will emit a warning to standard error and return without freeing this if this still has reserved keys.
| this |