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: 03/19/2024 3:32:41.000 AM