EiffelStudio interface mechanisms

cached: 04/21/2018 3:07:29.000 AM