Operation not permitted.

Back to package page "espec: ESpec, an Eiffel Specification Library".