NAME file_name - return filename of an object SYNOPSIS varargs string file_name(object ob) DESCRIPTION Returns the filename of object ob or this_object(). If the object is a clone the name will be postpended with a '#number'. SEE ALSO efun/source_file_name, efun/directory_name, efun/base_name