• Eiffel.com
  • Documentation
  • Downloads
  • Support
  • Community
  • Home
  • Sign in
  • Register
Skip to Main Content
  • Home
  • Guide
  • EiffelStudio
  • Solutions
  • Platform Specifics
  • Method and Language
  • Why Eiffel?
  • Papers
  • Examples
  • Community
  • Contact Us
EiffelStudio > EiffelStudio Reference > Wizards and dialogs > Dialogs > New feature dialog

EiffelStudio

  • Software Installation
  • EiffelStudio How To's
  • EiffelStudio: A Guided Tour
  • EiffelStudio Reference
    • EiffelStudio release notes
    • EiffelStudio: General interface description
    • Browsing tools
    • EiffelStudio Editor
    • Contract Editor tool
    • EiffelStudio: Project settings window
    • Compiler
    • Debugger
    • Error List Tool
    • Diagram tool
    • Metrics tool
    • Console tool
    • Outputs tool
    • Eiffel Information System
    • AutoTest
    • Wizards and dialogs
      • Profiler Wizard
      • Dialogs
        • New feature dialog
          • New feature dialog overview
          • New procedure layout
          • New function layout
          • New attribute layout
          • New feature dialog: feature properties modification
            • Feature clauses
            • Name field
            • Argument list
            • Header comment
            • Precondition
            • Local variable
            • Feature body
            • Postcondition
            • Type selection
            • Invariant field
            • Set-procedure
        • Error wizard
        • External commands editor dialog
    • EiffelStudio Preferences
    • Formatted information about compiled classes and features
  • Beta documentation

Navigation

  • Books
  • Compose tips
  • Recent changes
  • Recent posts
  • Popular content

Tags

add Application book class Class Library Class name autocomplete cluster command line options compatibility Compiler concurrency debug debugger Editor EiffelCOM Wizard example feature Feature call autocomplete Guided Tour Metric New new feature dialog release ribbon SCOOP search Search Tool syntax testing View void-safety void safety
more tags

New feature dialog: feature properties modification

  • View
  • Comments
  • References
tags:
  • feature properties modification
  • new feature dialog
  • Feature clauses
  • Name field
  • Argument list
  • Header comment
  • Precondition
  • Local variable
  • Feature body
  • Postcondition
  • Type selection
  • Invariant field
  • Set-procedure
‹ New attribute layout up Feature clauses ›
  • Printer-friendly version
  • Add new comment
  • PDF version
UUID: 60825ef4-7bc2-d472-8b09-25769689bb34
Would like to improve the documentation? Become a contributor
Copyright 1993-2013 Eiffel Software.
Reproduction permitted provided a link is included to http://docs.eiffel.com/