eiffelstudio
:: New feature dialog: feature properties modification
Version
New feature dialog: feature properties modification
Read more
- Feature clauses
- Name field
- Argument list
- Header comment
- Precondition
- Local variable
- Feature body
- Postcondition
- Type selection
- Invariant field
- Set-procedure
Back to New feature dialog
cached: 06/08/2025 9:32:15.000 AM