EiffelStudio interface mechanisms

cached: 04/22/2019 9:25:13.000 PM