#NEWLINE# def short( a_project , * arguments ) : #NEWLINE# #INDENT# '\n    The contract view displays the contracts of all written-in features of the\n    current class.\n\n    a_project: The current openned eiffel project\n    arguments: A tuple that optionnaly contain the class name as first element\n\n    See: https://docs.eiffel.com/book/eiffelstudio/contract-view\n    ' #NEWLINE# l_class_name = None #NEWLINE# if l_class_name : #NEWLINE# #INDENT# l_class_name = arguments [ 0 ] #NEWLINE# #UNINDENT# class_execute ( a_project , 'Contract View' , ( lambda a_class , a_buffer : a_project . fetch_class_short ( a_class , a_buffer ) ) , l_class_name ) #NEWLINE# environment . eiffel_fold ( )