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: 02/14/2025 3:31:20.000 PM