R1226 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1226 / Mc:Mc-1

Method Call fills out zero, one or many Parameter

Parameter is filled out by zero, one or many Method Call

---

A Method Call must fill out the associated Method Signature, supplying a value for each specified Parameter. Each 'filling out' is a Method Call Parameter.

Let's say we see the same Method called from two different Activities. In some state, for example, we might see: my floor.Select cabin( dir: _up ) and maybe in another state we see highest floor.Select cabin( dir: _down ).

For the Method Select cabin defined on the Bank Level Class, a single dir Parameter is defined. But each invocation of this Method is a distinct Method Call that supplies its own value for that required Parameter.

The Method Signature may specify any number or Parameters or none at all.

If a Method is not invoked by any Activity, which means it won't be used at runtime, then its required Parameters won't be filled in for any Method Call. Normally, though, each Parameter defined on a Method will be used at least once.