Operation not permitted.

Back to package page "criteria: Eiffel criteria".