OCLEditorHelp OclPreconditionQuery
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
All methods | 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 | 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 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?