R829 - modelint/shlaer-mellor-metamodel GitHub Wiki

R829 / 1:Mc-1

Method yields output of zero or one Type

Type constrains output of zero, one or many Method

---

The output of a Method, if it has one, is a Synchronous Output.

A Method may output any Type of data including Scalar values, Tables, and even a set of instance references.

To yield multiple scalar values, a tuple can be produced.

A given Type may or may not be used to constrain any number of Synchronous Outputs as there are many other uses for a Type.

By definition, a Synchronous Output is the output of a single Method.