def eiffel_class_name (efile, hfilename):
    """Eiffel class name for Eiffel file 'efile', or if that is None, for the
       given C header file 'hfilename'."""
    if efile:
        return efile.split (".e")[0].upper ()
    else:
        return hfilename.split (".h")[0].upper () + "_C_HEADER_FILE"