Documentation:Methods: Difference between revisions

Methods

Latest revision as of 15:37, 10 February 2024

You may define methods in classes and implement these with OCL:

Do this in the OCL implementation in the Body-property:

Notice that since this was a method, MDriven will treat your OCL as EAL – something that has side effects. In this case, our method does not have any side effects and you may want to be able to use this method in OCL, but trying to use it in OCL will not succeed. Methods with side effects are not recognized by OCL. There is a flag on the Method definition called IsQuery and if this is set, we “promise” that it does not have intentional side effects. Now it is seen by OCL:

We can then use our IsQuery method in any expression in OCL. Thing.allinstances- >select(x|x.MyMethod(x.SomeInt))

Parameters and Return Types

Give parameters and return types in this format:

SomeMethod(myparam:String):String

SomeMethod(myparam:String,SomeOtherParam:Integer):String

SomeMethod(myparam:String,SomeOtherParam:Integer,aListOfValue:Collection(String)):String

SomeMethodThatReturnsList(myparam:String,SomeOtherParam:Integer,aListOfValue:Collection(String)):Collection(String)
SomeMethodThatReturnsList(myparam:String,SomeOtherParam:Integer,aListOfValue:Collection(SomeClass)):Collection(SomeClass)

This page was edited 125 days ago on 02/10/2024. What links here

@@ Line 1: / Line 1: @@
-You may define methods in classes to and implement these with OCL:
+You may define methods in classes and implement these with OCL:
 [[File:My method.png|frameless|419x419px]]
-You will in the OCL implementation in the Body-property:
+Do this in the OCL implementation in the Body-property:
 [[File:Method ocl.png|frameless|411x411px]]
-Notice that since this was a method MDriven will treat you OCL as EAL – something that is allowed to have side effects. In this case our method do not have any side effects and I may want to be able to use this method in OCL. But trying to use it in OCL will not succeed. Methods with side effects are not recognized by OCL . There is a flag on the Method definition called IsQuery and if this is set we “promise” that it does not have intentional side effects. Now it is seen by OCL:
+Notice that since this was a method, MDriven will treat your OCL as EAL – something that has side effects. In this case, our method does not have any side effects and you may want to be able to use this method in OCL, but trying to use it in OCL will not succeed. Methods with side effects are not recognized by OCL. There is a flag on the Method definition called IsQuery and if this is set, we “promise” that it does not have intentional side effects. Now it is seen by OCL:
 [[File:Method ocl2.png|frameless|415x415px]]
-We can then use our IsQuery method in any expression in OCL. Thing.allinstances- >select(x|x.MyMethod(x.SomeInt))
+We can then use our IsQuery method in any expression in OCL. '''Thing.allinstances- >select(x|x.MyMethod(x.SomeInt))'''
-==== Parameters and return types ====
+==== Parameters and Return Types ====
-You give parameters and return types in this format:
+Give parameters and return types in this format:
   SomeMethod(myparam:String):String
@@ Line 23: / Line 23: @@
   SomeMethodThatReturnsList(myparam:String,SomeOtherParam:Integer,aListOfValue:Collection(String)):Collection(String)
   SomeMethodThatReturnsList(myparam:String,SomeOtherParam:Integer,aListOfValue:Collection(SomeClass)):Collection(SomeClass)
+ [[Category:OCL]]
+{{Edited|July|12|2024}}