Eiffel
  • welcome
  • documentation
  • resources
  • contribute
  • blogs
  • download
  • Sign in
  • Eiffel
    • Overview
      • Two-Minute fact sheet
      • Your next project in Eiffel
      • Learning Eiffel
      • Common myths and misconceptions about Eiffel
    • Tutorials
      • Invitation to Eiffel
        • I2E: What Must I Know First
        • I2E: Design Principles
        • I2E: Object-Oriented Design
        • I2E: Classes
        • I2E: Types
        • I2E: Design by Contract and Assertions
        • I2E: Exceptions
        • I2E: Event-Driven Programming and Agents
        • I2E: Genericity
        • I2E: Inheritance
        • I2E: Polymorphism and Dynamic Binding
        • I2E: Combining Genericity and Inheritance
        • I2E: Deferred Classes and Seamless Development
        • I2E: Putting a System Together
        • I2E: Invitation to Eiffel Copyright
      • Mini How-tos
        • NUMERIC to STRING
        • Iterating on a LIST
        • Removing object while iterating on a LIST
        • Managing CTRL+C in console application
      • Tutorial
        • ET: Overview
        • ET: General Properties
        • ET: The Software Process in Eiffel
        • ET: Hello World
        • ET: The Static Picture: System Organization
        • ET: The Dynamic Structure: Execution Model
        • ET: Genericity and Arrays
        • ET: Design by Contract (tm), Assertions and Exceptions
        • ET: Inheritance
        • ET: Instructions
        • ET: Once routines and shared objects
        • ET: Other Mechanisms
        • ET: Agents
        • ET: Lexical Conventions and Style Rules
        • ET: To Learn More
        • ET: Eiffel Tutorial Copyright
    • Language
      • Quick Reference
        • Syntax
        • Expressions
          • Conditional
          • Manifest array
        • Types
        • Reserved words
      • Void-safe programming
        • Background and tools
        • New void-safe project
        • Converting existing software to void-safety
          • Void-safe changes to Eiffel libraries
          • Mixing void-safe and void-unsafe software
        • What makes a Certified Attachment Pattern
    • Papers
      • Eiffel as an expression language
      • Void-safety: how Eiffel removes null-pointer dereferencing
      • Books
        • Touch of Class
        • OOSC2
        • ECMA Standard 367
        • Eiffel: The Language
        • OO Component Libraries
        • SOOSA
        • EiffelStudio Guided Tour
    • Coding Standards
      • Eiffel Code Comments
      • Eiffel Coding Standard
      • Local Declaration Guidelines
      • Style Guidelines
    • Examples
      • Introduction to the Examples Book
      • Example: Command line arguments