Adding a function

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

  1. Choose a feature clause
  2. Type a name
  3. Select formal parameters
  4. Select the type
  5. Type a header comment
  6. Enter precondition , local variable , body and postcondition
1175bdb8-b8a0-e4c4-c083-3d624ae1e501
cached: 02/27/2017 8:05:03.000 PM