MULTI expr1, ..., exprN [exclusionType]
MULTI operator creates a property which value will be the value of one of the properties specified in the operator. The property selection condition is that the parameters match this property signature.
expr1, ..., exprN
A list of expressions defining the properties from which the selection is made.
Type of mutual exclusion. Determines whether several conditions for the property selection can be met simultaneously with a certain set of parameters. It is specified by one of the keywords:
EXCLUSIVEtype indicates that the conditions for the property selection cannot be met simultaneously. The
OVERRIDEtype allows several conditions to be met simultaneously, in which case the first property in the list which selection condition is met will be selected.
EXCLUSIVEtype is used by default.
nameMulti (Human h) = MULTI 'Male' IF h IS Male, 'Female' IF h IS Female;
CLASS InLedger : Ledger;
quantity = DATA INTEGER (InLedger);
CLASS OutLedger : Ledger;
quantity = DATA INTEGER (OutLedger);
signedQuantity (Ledger l) = MULTI quantity[InLedger](l), quantity[OutLedger](l);