get_filename


Description:

public unowned string get_filename ()

Gets the filename of the core.

Parameters:

this

a Core

Returns:

the filename of the core