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
      • Example: Environment variables
      • Example: File IO
      • Example: Polymorphism
      • Example: Reverse a string
      • Example: Self-initializing attributes and assigner commands
      • Example: Sieve of Eratosthenes
      • Example: Sleep
  • EiffelStudio
    • Getting started
      • Setup and installation
        • Software Installation for EiffelStudio
          • FreeBSD
          • HP OpenVMS
          • HP Tru64 UNIX
          • HP-UX
          • Linux
          • Mac OS X
          • OpenBSD
          • SGI Irix
          • Solaris
          • Windows
            • MS C compiler
        • Third Party Tools Installation Help
      • Introducing EiffelStudio
    • Tutorials
      • Copying the Example Files
      • Starting EiffelStudio and Opening a Project
      • Compiling and Executing a System
      • A Look at the Project Directory
      • Starting To Browse
      • Viewing Classes
      • Customizing the tools layout and toolbars
      • Producing and Exporting Documentation
      • Browsing Features
      • Retargeting Through Pick-and-Drop
      • Recompiling and Editing
      • Handling Syntax and Validity Errors
      • Debugging and Run-time Monitoring
      • Using AutoTest
        • Testing: Background and basics
        • Create a manual test
        • Execute tests
        • Using extracted tests
        • Using generated tests
        • Managing tests
      • Computing Project Metrics
      • Graphics-based Design
      • Using automatic class licensing
      • How EiffelStudio Compiles
      • Papers
      • The Command-Line Compiler
      • Executing a System Within and Without EiffelStudio
      • Writing Filters with EFF
      • Manual identification and copyright
    • Reference
      • Release Notes
        • 25.12
        • 25.02
        • 24.05
        • 23.09
        • 22.12
          • 22.12 - macosx
        • 22.05
        • 21.11
        • 20.11
        • 20.05
        • 19.12
        • 19.05
        • 18.11
        • 18.07
        • 18.01
        • 17.05
        • 17.01
        • 16.05
        • 15.12
        • 15.08
        • 15.01
        • 14.05
        • 13.11
        • 7.x
          • 7.3
          • 7.2
          • 7.1
          • 7.0
        • 6.x
          • 6.8
          • 6.7
          • 6.6
          • 6.5
          • 6.4
          • 6.3
          • 6.2
          • 6.1
          • 6.0
        • 5.x
          • 5.7
          • 5.6
          • 5.5
          • 5.4
          • 5.3
          • 5.2
          • 5.1
          • 5.0
      • General Description
        • EiffelStudio interface mechanisms
          • Pick-and-drop mechanism
          • Pick-and-drop shortcut
          • Toolbar customization
        • EiffelStudio: All shortcuts
        • EiffelStudio window overview
        • Main toolbars
        • EiffelStudio: Key shortcuts
      • Browsing tools
        • Address bars
          • Main address bar
          • Context tool address bar
          • Change data share mode
        • Groups tool
          • System tree representation
          • New cluster command
          • New class command
          • Locate command
        • Features tool