|
|
| (104 intermediate revisions by 6 users not shown) |
| Line 1: |
Line 1: |
| == General operators == | | <message>Please add something to the text</message>OCL operators define constraints and operations on objects in an object-oriented programming language like Java, C++, or C#. OCL operators can be used in OCL expressions to specify constraints on objects or to perform operations on object properties. |
| To find all available you can open the OCL-Editor and type in a class:
| | === Examples === |
| | Let's say we have a class called "Person" with properties like "name," "age," and "gender." We can use OCL operators to define constraints on the properties of the "Person" class. Here are some examples: |
|
| |
|
| [[File:Ocl-editor 1.png|frameless|433x433px|link=https://wiki.mdriven.net/index.php/File:Ocl-editor_1.png]]
| | '''1.''' To define a constraint that ensures that the "age" property of a "Person" object is greater than or equal to 18, we can use the greater than or equal to (>=) operator as follows: |
| {| class="wikitable"
| | context Person inv: self.age >= 18 |
| !Operators
| | '''2.''' To define a constraint that ensures that the "gender" property of a "Person" object is either "Male" or "Female," we can use the OR (||) operator as follows: |
| !Description
| | context Person inv: self.gender = 'Male' or self.gender = 'Female' |
| |-
| | '''3.''' To define a constraint that ensures that the "name" property of a "Person" object starts with an uppercase letter, we can use the dot notation (.) and the regular expression operator (matches) as follows: |
| |'''[[Allinstances operator|Allinstances]]'''
| | context Person inv: self.name.matches('^[A-Z]') |
| |All the objects of the class
| | In addition to defining constraints, OCL operators are useful for performing operations on object properties. For example, we can use the sum() operator to calculate the sum of all the elements in a collection property of a "Person" object as follows: |
| |-
| | context Person inv: self.salary.sum() < 100000 |
| |'''[[OCLOperators allInstancesAtTime|allinstancesAtTime]]'''
| | OCL operators provide a powerful way to define constraints and operations on objects, making it easy to write correct and maintainable object-oriented programs. |
| |All the currently loaded instances
| |
| |-
| |
| |[[OCLOperators allLoadedObjects|allLoadedObjects]]
| |
| |All objects currently in memory, exckluding deleted objects
| |
| |-
| |
| |'''[[OCLOperators allStates|allStates]]'''
| |
| |Meta information about available states in state machines the class may contain
| |
| |- | |
| |'''[[OCLOperators allSubClasses|allSubClasses]]''' | |
| |Meta information on all the sub classes this class has
| |
| |-
| |
| |'''[[OCLOperators allSuperTypes|allSuperTypes]]'''
| |
| |Meta information on all the super classes – in inheritance order the class has
| |
| |-
| |
| |[[OCLOperators ASCII|ASCII]]
| |
| |
| |
| |-
| |
| |'''[[OCLOperators associationEnds|associationEnds]]'''
| |
| |Returns a collection of strings with association names for the class
| |
| |-
| |
| |[[OCLOperators associationEndsWithType|associationEndsWithType]]
| |
| |Returns a collection of strings with association names and type information for the class
| |
| |-
| |
| |'''[[OCLOperators asString|Asstring]]'''
| |
| |The string representation of the class – the asString operation is available on everything
| |
| |-
| |
| |[[OCLOperators AsTaJson|asTaJson]]
| |
| |Returns ajson string defined by the ViewModel
| |
| |-
| |
| |[[OCLOperators atTime|atTime]]
| |
| |
| |
| |-
| |
| |'''[[OCLOperators attributes|Attributes]]'''
| |
| |Meta information about what attributes the class has
| |
| |-
| |
| |[[OCLOperators BigEndianUnicode|BigEndianUnicode]]
| |
| |
| |
| |-
| |
| |[[OCLOperators brokenConstraints|brokenConstraints]]
| |
| |Returns a collection of the names of broken constraints for the class and object.
| |
| |-
| |
| |[[OCLOperators canAccess|canAccess]]
| |
| |
| |
| |-
| |
| |'''[[OCLOperators constraints|Contraints]]'''
| |
| |Meta information on what constraints the class has
| |
| |-
| |
| |[[OCLOperators count|count]]
| |
| |Returns how many times ''object'' is in the collection ''self''.
| |
| |-
| |
| |[[OCLOperators Default|Default]]
| |
| |
| |
| |-
| |
| |'''[[OCLOperators emptyList|emptylist]]'''
| |
| |Returns an empty list typed to hold objects of the class
| |
| |-
| |
| |'''isDirtyMember'''
| |
| |
| |
| |-
| |
| |'''isNull'''
| |
| |
| |
| |-
| |
| |'''[[OCLOperators nullValue|nullValue]]'''
| |
| |A typed null value
| |
| |-
| |
| |'''[[OCLOperators objectfromExternalId|objectFromExternalId]]'''
| |
| |An external identity will be resolved to the object
| |
| |-
| |
| |'''[[OCLOperators oclAsType|oclAsType]]'''
| |
| |The type of the class
| |
| |-
| |
| |[[OCLOperators oclGetStates|oclGetStates]]
| |
| |
| |
| |-
| |
| |'''[[oclIsInvalid]]'''
| |
| |Returns true if ''self'' is equal to *invalid*.
| |
| |-
| |
| |'''[[OCLOperators oclIsKindOf|oclIsKindOf]]'''
| |
| |This is to if a class is a subclass or a the class itself and not unrelated
| |
| |-
| |
| |'''[[OCLOperators oclIsTypeOf|oclIsTypeOf]]'''
| |
| |Returns true if
| |
| |-
| |
| |'''[[OCLOperators oclSingleton|oclSingleton]]'''
| |
| |Classes that implements the Singleton pattern – by setting IsSingleton=true – will return the singleton instance with this operator
| |
| |-
| |
| |[[oclIsUndefined]]
| |
| |Returns true if ''self'' is equal to invalid or null.
| |
| |-
| |
| |'''[[OclType]]'''
| |
| |
| |
| |-
| |
| |'''safeCast'''
| |
| |
| |
| |-
| |
| |'''superTypes'''
| |
| |
| |
| |-
| |
| |'''[[OCLOperators taggedValue|TaggedValue]]'''
| |
| |Meta information on tagged values set in the class
| |
| |-
| |
| |'''[[OCLOperators taggedValueOnFeature|TaggedValueOnFeature]]'''
| |
| |Meta information on Tagged values set on a named feature in the class
| |
| |-
| |
| |'''[[OCLOperators typename|Typename]]'''
| |
| |The type name as a string
| |
| |-
| |
| |'''[[OCLOperators ViewModels|ViewModels]]'''
| |
| |A tuple with the ViewModels for this class a members
| |
| |}
| |
|
| |
|
| == Collection operators ==
| | OCL operators make it easy to write correct and maintainable object-oriented programs. |
| Once you have a collection of objects there are certain operators that are applicable to it.
| |
|
| |
|
| See this page for [[examples on collection operators]]
| | === Examples of OCL Operators === |
| | |
| Again you can use the OCL-Editor to see what they are:
| |
| | |
| [[File:Collection of objects operators.png|frameless|453x453px|link=https://wiki.mdriven.net/index.php/File:Collection_of_objects_operators.png]]
| |
| {| class="wikitable" | | {| class="wikitable" |
| !Operators
| | |'''Type''' |
| !Description
| | |'''Description''' |
| |-
| |
| |'''[[OCLOperators any|->any]]''' | |
| |Returns any element contained in ''self'' that validates the condition ''expr'', null otherwise. | |
| |-
| |
| |'''[[OCLOperators append|->append]]'''
| |
| |Add another object last
| |
| |-
| |
| |'''[[OCLOperators asBag|->asBag]]'''
| |
| |Collapses to one list
| |
| |-
| |
| |'''[[OCLOperators asSequence|->asSequence]]'''
| |
| |Collapses to one list
| |
| |-
| |
| |'''[[OCLOperators asSet|->asSet]]'''
| |
| |Returns a Set containing all elements of ''self''.
| |
| |-
| |
| |'''[[OCLOperators at|->at]]'''
| |
| |Get the objects at X where the first index is 1
| |
| |-
| |
| |'''[[OCLOperators at0|->at0]]'''
| |
| |Get the objects at X where the first index is 0
| |
| |-
| |
| |'''[[OCLOperators collect|->collect]]'''
| |
| |Iterate over the collection and build a tuple result
| |
| |-
| |
| |'''[[OCLOperators count|->count]]'''
| |
| |Count how many meet a certain criteria
| |
| |-
| |
| |[[OCLOperators dictionary|'''->dictionary''']]
| |
| |Efficiently looks up values
| |
| |-
| |
| |'''[[OCLOperators difference|->difference]]'''
| |
| |The difference between 2 collections
| |
| |-
| |
| |'''[[OCLOperators excluding|->excluding]]'''
| |
| |The collection except this single object
| |
| |-
| |
| |'''[[OCLOperators exists|->exists]]'''
| |
| |Are there any objects that fulfill the criteria
| |
| |-
| |
| |'''[[OCLOperators filterOnType|->filterOnType]]'''
| |
| |Only keep the ones of a certain type
| |
| |- | | |- |
| |'''[[OCLOperators first|->first]]''' | | |[[Documentation:OCL General Operators|General Operators]] |
| |Return the first object | | |used to manipulate and query objects |
| |- | | |- |
| |'''[[OCLOperators forAll|->forAll]]''' | | |[[Documentation:OCL Collection Operators|Collection Operators]] |
| |Iterate all that fulfills the critera | | |operators applicable to a collection of objects |
| |- | | |- |
| |'''[[OCLOperators groupBy|->groupBy]]''' | | | [[Documentation:OCL String Operators|String Operators]] |
| |Build collection of tuples grouped by some aspect | | |used to manipulate and compare string values |
| |- | | |- |
| |'''[[OCLOperators includes|->includes]]''' | | |[[Documentation:OCL Number Operators|Number Operators]] |
| |Does the collection include the object | | |used to perform arithmetic and comparison operations on numeric values |
| |- | | |- |
| |'''[[OCLOperators includesAll|->includesAll]]''' | | |[[Documentation:OCL Boolean Operators|Boolean Operators]] |
| |Does the collection include the whole other collection | | |used to evaluate and compare Boolean expressions |
| |- | | |- |
| |'''[[OCLOperators including|->including]]''' | | |[https://wiki.mdriven.net/index.php/Category:OCL_ViewModel_Operators ViewModel Operators](on selfVM variable) |
| |Returns the list with the element in the parameter included.
| | |used to manipulate and interact with data in a ViewModel class of an application. |
| |-
| |
| |'''[[OCLOperators indexOf|->IndexOf]]'''
| |
| |The 1 based index of an object in the collection possibly -1 if not existing
| |
| |-
| |
| |'''[[OCLOperators indexOf0|->indexOf0]]'''
| |
| |The 0 based index of an object in the collection possibly -1 if not existing
| |
| |-
| |
| |'''[[OCLOperators intersection|->intersection]]'''
| |
| |The intersection of two collections
| |
| |-
| |
| |'''[[OCLOperators isEmpty|->isEmpty]]'''
| |
| |Returns true if the collection is empty
| |
| |-
| |
| |'''[[OCLOperators last|->last]]'''
| |
| |Returns the last object in the collection
| |
| |-
| |
| |'''[[OCLOperators notEmpty|->notEmpty]]'''
| |
| |Returns true of the collection is not empty
| |
| |-
| |
| |'''[[OCLOperators orderBy|->orderBy]]'''
| |
| |Sorts the collection on one or more properties
| |
| |-
| |
| |'''[[OCLOperators orderDescending|->orderDescending]]''' | |
| |Sort the from biggest to smallest
| |
| |-
| |
| |'''[[OCLOperators orderGeneric|->orderGeneric]]'''
| |
| |Sorts the list of properties with interchangeable sort order: (expr1, OclSortDirection::ascending, expr2, OclSortDirection::descending...)
| |
| |-
| |
| |'''[[OCLOperators prepend|->prepend]]'''
| |
| |Returns an OrderedSet containing ''object'' followed by all elements of ''self''.
| |
| |-
| |
| |'''[[OCLOperators reject|->reject]]'''
| |
| |Returns the objects not matching the criteria
| |
| |-
| |
| |'''[[OCLOperators select|->select]]'''
| |
| |Returns the objects matching the criteria
| |
| |-
| |
| |'''[[OCLOperators size|->size]]'''
| |
| |Returns the number of elements in the collection
| |
| |-
| |
| |'''[[OCLOperators subSequence|->subsequence]]'''
| |
| |Returns a smaller collection from a start to stop
| |
| |-
| |
| |'''[[OCLOperators symmetricDifference|->symmetricDifference]]'''
| |
| |The symmetric difference between the collections; ie all the objects in collection1 or collection2 but not in both
| |
| |-
| |
| |'''[[OCLOperators union|->union]]'''
| |
| |The set of objects in collection1 and objects in collection2
| |
| |} | | |} |
| | | {{Edited|July|12|2025}} |
| == String operators ==
| |
| {| class="wikitable" | |
| !Operators
| |
| !Description
| |
| |- | |
| |[[Escape codes]]
| |
| |Escape (special) characters used in OCL
| |
| |-
| |
| |[[OCLOperators StringToAnsiBase64|StringToAnsiBase64]]
| |
| |Convert a string to an ANSI (1252) and as a base64 string
| |
| |-
| |
| |[[OCLOperators StringToEncodedBase64|StringToEncodedBase64]]
| |
| |Convert a string to a specific encoding and as a base64 string. For example Western Eauropean (ISO) Codepage 28591
| |
| |} | |
| | |
| == Viewmodel operators (on selfVM variable) ==
| |
| See page [[SelfVM]]
| |
| [[Category:OCL]] | | [[Category:OCL]] |
| [[Category:Beginner]] | | [[Category:Beginner]] |
| [[Category:OCLOperators]] | | [[Category:OCLOperators]] |
