• 25.02 (released) ...
  • trunk (trunk)
  • 25.02 (released)
  • 24.05
  • 23.09
  • 22.12

Adding a procedure

Once the new feature dialog is displayed and procedure selected in feature type, follow the following steps:

1. Choose a feature clause
2. Type a name
3. Select formal parameters
4. Type a header comment
5. Enter precondition , local variable , body and postcondition