[ Course Documents ] : [ Object-Oriented Programming ]

Previous Contents Next Keyword Index

Eiffel

• Pure OOP with simple, clean design

• Design by contract

• Method pre- and postconditions captured as assertions

• Class invariants also recorded as assertions

• Run-time checking of preconditions, postconditions, and invariants

• Behavioral notion of "is-a" is (partially) enforced