|File Search||Catalog||Content Search|
Design-by-contract means that a class guarantees that certain conditions will always hold, and that a routine guarantees certain results given certain specified inputs. The rules for inheritance mean that contracts can be relied on even when classes are reused through inheritance.
The Eiffel language is described and defined in the book "Eiffel: The Language" by Bertrand Meyer.
-- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) -- Dominique COLNET and Suzanne COLLIN -- email@example.com -- The random number generator library. Originally written by : Bruce Wielinga <firstname.lastname@example.org>
How to call Eiffel feature from C (see cecil.hlp).
How to perform external calls (see external.hlp) Directory C is for C calls. Directory JVM is for Java access.
-- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) -- Dominique COLNET and Suzanne COL more»
SMALLEIFFEL(1) SMALLEIFFEL(1) NAME smalleiffel - more»
SELIB2HTML(8) SELIB2HTML(8) NAME selib2html - a more»
smalleiffel (184.108.40.206-1) unstable; urgency=low * Removed my HTML class documentation, since the s more»
GNU GENERAL PUBLIC LICENSE Version 2, June 1991 Copyright (C) 1989, 1991 Free Soft more»