Documentation:OCLEditorHelp OclPreconditionQuery: Difference between revisions

OCLEditorHelp OclPreconditionQuery

Latest revision as of 05:54, 20 January 2025

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?

@@ Line 1: / Line 1: @@
-All methods allows you to define a precondition that must be met for execute of the method.
+<message>Write the content here to display this box</message>
+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?
+ [[Category:OCL Editor]]
+{{Edited|July|12|2025}}