OCLEditorHelp OclPreconditionQuery
No edit summary
No edit summary
Line 1: Line 1:
All methods allows you to define a precondition that must be met for execute of the method.
All methods allow you to define a precondition that must be met before you execute a method.


You can check this precondition with auto created PreconditionQuery operator that is your method name with an appended questionmark:
You can check this precondition with the auto-created PreconditionQuery operator which is your method name with an appended question mark:
  self.SomeMethod?
  self.SomeMethod?
[[Category:OCL Editor]]
[[Category:OCL Editor]]

Revision as of 07:13, 29 March 2023

This page was created by Hans.karlsen@mdriven.net on 2021-12-31. Last edited by Edgar on 2025-01-20.

All methods allow you to define a precondition that must be met before you execute a method.

You can check this precondition with the auto-created PreconditionQuery operator which is your method name with an appended question mark:

self.SomeMethod?