def attributes(a_project, *arguments):
    l_class_name = None
    if arguments:
        l_class_name = arguments[0]
    class_execute(a_project, "Attributes",
                  lambda a_class, a_buffer:
                      a_project.fetch_class_attributes(a_class, a_buffer),
                  l_class_name)
The attributes view displays all the attributes of the current class,
dataset/ETHPy150Open tioui/Vim_Eiffel_IDE/pyplugin/eiffel_class.py/attributes