Documentation of OCL-Schemata

ProduceForAssociationSet


selectedParameter >= 0
AssociationRole->select(SelectionCriterion)->size = AssociationRole@pre->select(SelectionCriterion)->size + selectedParameter

RobustGetFromAssociation


AssociationRole->select(SelectionCriterion) = AssociationRole@pre->select(SelectionCriterion)->excluding(result)

GetFromAssociationSet


AssociationRole->select(SelectionCriterion)->notEmpty
AssociationRole->select(SelectionCriterion) = AssociationRole@pre->select(SelectionCriterion)->excluding(result)

ProduceForAssociationSet~


AssociationRole->select(SelectionCriterion)->size = AssociationRole@pre->select(SelectionCriterion)->size + selectedParameter

DecreaseAttribute


self.attr=self.attr@pre-1

IncreaseAttribute


self.attr=self.attr@pre+1