Learn EIFFEL with Real Code Examples

Bank account management system with contracts

Inventory management with inheritance

Reusable generic container library

GUI applications using EiffelVision

Safety-critical simulation modules

Check contract violations during runtime

Validate inheritance and feature resolution

Verify compilation with Eiffel compiler

Review generic type parameters

Use IDE debugger for feature execution

Enable assertions to test contracts

Use EiffelUnit for unit testing

Validate preconditions and postconditions

Test inheritance hierarchies

Stress-test reusable components

Compile to native executables

Package libraries for reuse

Deploy GUI apps with EiffelVision runtime

Embed in larger multi-language systems

Deploy safety-critical modules with verification

EiffelStudio IDE

SmartEiffel compiler

ISE Eiffel libraries

EiffelBuild tools

EiffelVision GUI toolkit

Integration with C/C++ libraries

COM or .NET interoperability

Database connectivity via Eiffel libraries

Web services interaction

EiffelVision for GUI applications

Leverage EiffelStudio templates

Reuse generic classes

Write contracts for all critical features

Use unit tests extensively

Document invariants and assumptions

Implement a bank account system with preconditions

Create a generic container library

Develop a small GUI app with EiffelVision

Refactor code to maximize contract coverage

Build a safety-critical module