EiffelStudio interface mechanisms

cached: 02/19/2018 8:39:25.000 PM