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: @@
+<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 the auto-created PreconditionQuery operator which is your method name with an appended question mark:
+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}}